Showing 1–33 of 33 results for author: Ochiai, H

Quaternion Domain Super MDS for 3D Localization

Authors: Keigo Masuoka, Takumi Takahashi, Giuseppe Thadeu Freitas de Abreu, Hideki Ochiai

Abstract: We propose a novel low-complexity three-dimensional (3D) localization algorithm for wireless sensor networks, termed quaternion-domain super multidimensional scaling (QD-SMDS). This algorithm reformulates the conventional SMDS, which was originally developed in the real domain, into the quaternion domain. By representing 3D coordinates as quaternions, the method enables the construction of a rank-… ▽ More We propose a novel low-complexity three-dimensional (3D) localization algorithm for wireless sensor networks, termed quaternion-domain super multidimensional scaling (QD-SMDS). This algorithm reformulates the conventional SMDS, which was originally developed in the real domain, into the quaternion domain. By representing 3D coordinates as quaternions, the method enables the construction of a rank-1 Gram edge kernel (GEK) matrix that integrates both relative distance and angular (phase) information between nodes, maximizing the noise reduction effect achieved through low-rank truncation via singular value decomposition (SVD). The simulation results indicate that the proposed method demonstrates a notable enhancement in localization accuracy relative to the conventional SMDS algorithm, particularly in scenarios characterized by substantial measurement errors. △ Less

Submitted 28 April, 2025; v1 submitted 24 April, 2025; originally announced April 2025.

Comments: 5 pages, 9 figures, submitted to SPAWC2025

First and Second Fundamental Theorems for Invariant Rings Generated by Circulant Determinants

Authors: Naoya Yamaguchi, Hiroyuki Ochiai, Yuka Yamaguchi

Abstract: In this paper, we give the first and second fundamental theorems of invariant theory for certain invariant rings whose generators are expressed by circulant determinants. In this paper, we give the first and second fundamental theorems of invariant theory for certain invariant rings whose generators are expressed by circulant determinants. △ Less

Submitted 8 April, 2025; originally announced April 2025.

MSC Class: 13A50; 15A15; 13N15

Discrete-Valued Signal Estimation via Low-Complexity Message Passing Algorithm for Highly Correlated Measurements

Authors: Tomoharu Furudoi, Takumi Takahashi, Shinsuke Ibi, Hideki Ochiai

Abstract: This paper considers a discrete-valued signal estimation scheme based on a low-complexity Bayesian optimal message passing algorithm (MPA) for solving massive linear inverse problems under highly correlated measurements. Gaussian belief propagation (GaBP) can be derived by applying the central limit theorem (CLT)-based Gaussian approximation to the sum-product algorithm (SPA) operating on a dense… ▽ More This paper considers a discrete-valued signal estimation scheme based on a low-complexity Bayesian optimal message passing algorithm (MPA) for solving massive linear inverse problems under highly correlated measurements. Gaussian belief propagation (GaBP) can be derived by applying the central limit theorem (CLT)-based Gaussian approximation to the sum-product algorithm (SPA) operating on a dense factor graph (FG), while matched filter (MF)-expectation propagation (EP) can be obtained based on the EP framework tailored for the same FG. Generalized approximate message passing (GAMP) can be found by applying a rigorous approximation technique for both of them in the large-system limit, and these three MPAs perform signal detection using MF by assuming large-scale uncorrelated observations. However, each of them has a different inherent self-noise suppression mechanism, which makes a significant difference in the robustness against the correlation of the observations when we apply an annealed discrete denoiser (ADD) that adaptively controls its nonlinearity with the inverse temperature parameter corresponding to the number of iterations. In this paper, we unravel the mechanism of this interesting phenomenon, and further demonstrate the practical applicability of the low-complexity Bayesian optimal MPA with ADD under highly correlated measurements. △ Less

Submitted 13 November, 2024; v1 submitted 12 November, 2024; originally announced November 2024.

Comments: Submission notification added, Fig size adjusted, typos corrected

A D-module approach to invariant distributions with finitely many orbits

Authors: Hiroyuki Ochiai

Abstract: Tauchi provides an example illustrating the action of a real algebraic subgroup $H$ of $GL(2n, \mathbb{R})$ with finitely many orbits on $\mathbb{R}^{2n}$, while the dimension of the space of relative $H$-invariant distributions on $\mathbb{R}^{2n}$ is infinite. We offer a perspective on this example from the viewpoint of D-modules, where we explicitly determine the simple quotient regular holonom… ▽ More Tauchi provides an example illustrating the action of a real algebraic subgroup $H$ of $GL(2n, \mathbb{R})$ with finitely many orbits on $\mathbb{R}^{2n}$, while the dimension of the space of relative $H$-invariant distributions on $\mathbb{R}^{2n}$ is infinite. We offer a perspective on this example from the viewpoint of D-modules, where we explicitly determine the simple quotient regular holonomic D-modules and demonstrate that the distributions exhibit an enlarged symmetry. △ Less

Submitted 8 July, 2024; v1 submitted 27 February, 2024; originally announced February 2024.

Comments: 11 pages

Expansions of the Characteristic Polynomial of a Perturbed Positive Semidefinite Matrix and Convergence Analysis of Alternating Projections

Authors: Hiroyuki Ochiai, Yoshiyuki Sekiguchi, Hayato Waki

Abstract: We observe that the characteristic polynomial of a linearly perturbed semidefinite matrix can be used to give the convergence rate of alternating projections for the positive semidefinite cone and a line. As a consequence, we show that such alternating projections converge at $O(k^{-1/2})$, independently of the singularity degree. A sufficient condition for the linear convergence is also obtained.… ▽ More We observe that the characteristic polynomial of a linearly perturbed semidefinite matrix can be used to give the convergence rate of alternating projections for the positive semidefinite cone and a line. As a consequence, we show that such alternating projections converge at $O(k^{-1/2})$, independently of the singularity degree. A sufficient condition for the linear convergence is also obtained. Our method directly analyzes the defining equation for an alternating projection sequence and does not use error bounds. △ Less

Submitted 16 April, 2025; v1 submitted 29 January, 2024; originally announced January 2024.

Comments: 22 pages, 8 figures

MSC Class: Primary 90C25; 41A25; Secondary 65K10

Analytic Formulas for Alternating Projection Sequences for the Positive Semidefinite Cone and an Application to Convergence Analysis

Authors: Hiroyuki Ochiai, Yoshiyuki Sekiguchi, Hayato Waki

Abstract: We derive analytic formulas for the alternating projection method applied to the cone $\mathbb{S}^n_+$ of positive semidefinite matrices and an affine subspace. More precisely, we find recursive relations on parameters representing a sequence constructed by the alternating projection method. By applying these formulas, we analyze the alternating projection method in detail and show that the upper… ▽ More We derive analytic formulas for the alternating projection method applied to the cone $\mathbb{S}^n_+$ of positive semidefinite matrices and an affine subspace. More precisely, we find recursive relations on parameters representing a sequence constructed by the alternating projection method. By applying these formulas, we analyze the alternating projection method in detail and show that the upper bound given by the singularity degree is actually tight when the alternating projection method is applied to $\mathbb{S}^3_+$ and a $3$-plane whose intersection is a singleton with singularity degree $2$. △ Less

Submitted 15 January, 2025; v1 submitted 26 January, 2024; originally announced January 2024.

Comments: 31 pages, 5 figures

MSC Class: Primary 90C25; 41A25; Secondary 65K10

Journal ref: Journal of Mathematical Analysis and Applications 544 (2025), no. 1, Paper No. 129070

Convergence rate of alternating projection method for the intersection of an affine subspace and the second-order cone

Authors: Hiroyuki Ochiai, Yoshiyuki Sekiguchi, Hayato Waki

Abstract: We study the convergence rate of the alternating projection method (APM) applied to the intersection of an affine subspace and the second-order cone. We show that when they intersect non-transversally, the convergence rate is $O(k^{-1/2})$, where $k$ is the number of iterations of the APM. In particular, when the intersection is not at the origin or forms a half-line with the origin as the endpoin… ▽ More We study the convergence rate of the alternating projection method (APM) applied to the intersection of an affine subspace and the second-order cone. We show that when they intersect non-transversally, the convergence rate is $O(k^{-1/2})$, where $k$ is the number of iterations of the APM. In particular, when the intersection is not at the origin or forms a half-line with the origin as the endpoint, the obtained convergence rate can be exact because a lower bound of the convergence rate is evaluated. These results coincide with the worst-case convergence rate obtained from the error bound discussed in [Borwein et al., SIOPT, 2014] and [Drusvyatskiy et al., Math. Prog., 2017]. Moreover, we consider the convergence rate of the APM for the intersection of an affine subspace and the product of two second-order cones. We provide an example that the worst-case convergence rate of the APM is better than the rate expected from the error bound for the example. △ Less

Submitted 4 January, 2024; originally announced January 2024.

Comments: All comments and suggestions are welcome

MSC Class: Primary 41A25; 90C25; Secondary 65K10

Computations of algebraic modular forms associated with the definite quaternion algebra of discriminant $2$

Authors: Hiroyuki Ochiai, Satoshi Wakatsuki, Shun'ichi Yokoyama

Abstract: In this paper, we present an algorithm to compute a basis of the space of algebraic modular forms on the maximal order of the definite quaternion algebra of discriminant $2$, and provide a database of such bases. One of our motivations is to study congruence relations of algebraic modular forms. In this paper, we present an algorithm to compute a basis of the space of algebraic modular forms on the maximal order of the definite quaternion algebra of discriminant $2$, and provide a database of such bases. One of our motivations is to study congruence relations of algebraic modular forms. △ Less

Submitted 3 June, 2024; v1 submitted 26 December, 2023; originally announced December 2023.

Fuchsian differential equations of order 3,...,6 with three singular points and an accessory parameter II, Equations of order 3

Authors: Yoshishige Haraoka, Hiroyuki Ochiai, Takeshi Sasaki, Masaaki Yoshida

Abstract: Fuchsian differential equations of order 3 with three singular points and with an accessory parameter are studied. When local exponents are generic, no shift operator is found, for codimension-1 subfamilies, neither. We found shift operators for several codimension-2 subfamilies of which accessory parameter is assigned as a cubic polynomial in the local exponents. The Dotsenko-Fateev equation is o… ▽ More Fuchsian differential equations of order 3 with three singular points and with an accessory parameter are studied. When local exponents are generic, no shift operator is found, for codimension-1 subfamilies, neither. We found shift operators for several codimension-2 subfamilies of which accessory parameter is assigned as a cubic polynomial in the local exponents. The Dotsenko-Fateev equation is one of them. △ Less

Submitted 3 July, 2023; originally announced July 2023.

Comments: 30 pages. arXiv admin note: substantial text overlap with arXiv:2111.11192

MSC Class: Primary 34A30; Secondary 34M35; 33C05; 33C20; 34M03

Fuchsian differential equations of order 3,...,6 with three singular points and an accessory parameter I, Equations of order 6

Authors: Yoshishige Haraoka, Hiroyuki Ochiai, Takeshi Sasaki, Masaaki Yoshida

Abstract: Fuchsian differential equations $H_j$ of order $j=3,\dots,6$ with three singular points and one accessory parameter are presented. The shift operators for $H_6$ are studied, which lead to assign the accessory parameter of $H_6$ a cubic polynomial of local exponents so that the equations have nice properties: shift operators and several symmetries. The other equations will be studied in the forthco… ▽ More Fuchsian differential equations $H_j$ of order $j=3,\dots,6$ with three singular points and one accessory parameter are presented. The shift operators for $H_6$ are studied, which lead to assign the accessory parameter of $H_6$ a cubic polynomial of local exponents so that the equations have nice properties: shift operators and several symmetries. The other equations will be studied in the forthcoming papers. △ Less

Submitted 28 July, 2023; v1 submitted 3 July, 2023; originally announced July 2023.

Comments: 61 pages. arXiv admin note: substantial text overlap with arXiv:2111.11192

MSC Class: Primary 34A30; Secondary 34M35; 33C05; 33C20; 34M03

Multi-order asymptotic expansion of blow-up solutions for autonomous ODEs. II -- Dynamical Correspondence

Authors: Hisatoshi Kodani, Kaname Matsue, Hiroyuki Ochiai, Akitoshi Takayasu

Abstract: In this paper, we provide a natural correspondence of eigenstructures of Jacobian matrices associated with equilibria for appropriately transformed two systems describing finite-time blow-ups for ODEs with quasi-homogeneity in an asymptotic sense. As a corollary, we see that asymptotic expansions of blow-ups proposed in Part I themselves provide a criterion of the existence of blow-ups with an int… ▽ More In this paper, we provide a natural correspondence of eigenstructures of Jacobian matrices associated with equilibria for appropriately transformed two systems describing finite-time blow-ups for ODEs with quasi-homogeneity in an asymptotic sense. As a corollary, we see that asymptotic expansions of blow-ups proposed in Part I themselves provide a criterion of the existence of blow-ups with an intrinsic gap structure of stability information among two systems. Examples provided in Part I are revisited to show the above correspondence. △ Less

Submitted 30 November, 2022; v1 submitted 13 November, 2022; originally announced November 2022.

Comments: 51 pages. This is the first part in the present subject. Part I entitled "Multi-order asymptotic expansion of blow-up solutions for autonomous ODEs. I - Method and Justification" is also uploaded (arXiv:2211.06865). In v2, several expressions are unified

MSC Class: 34A26; 34D05; 34E05; 34E10; 58K55

Multi-order asymptotic expansion of blow-up solutions for autonomous ODEs. I -- Method and Justification

Authors: Taisei Asai, Hisatoshi Kodani, Kaname Matsue, Hiroyuki Ochiai, Takiko Sasaki

Abstract: In this paper, we provide a systematic methodology for calculating multi-order asymptotic expansion of blow-up solutions near blow-up for autonomous ordinary differential equations (ODEs). Under the specific form of the principal term of blow-up solutions for a class of vector fields, we extract algebraic objects determining all possible orders in the asymptotic expansions. Examples for calculatin… ▽ More In this paper, we provide a systematic methodology for calculating multi-order asymptotic expansion of blow-up solutions near blow-up for autonomous ordinary differential equations (ODEs). Under the specific form of the principal term of blow-up solutions for a class of vector fields, we extract algebraic objects determining all possible orders in the asymptotic expansions. Examples for calculating concrete multi-order asymptotic expansions of blow-up solutions are finally collected. △ Less

Submitted 30 November, 2022; v1 submitted 13 November, 2022; originally announced November 2022.

Comments: 78 pages. This is the first part in the present subject. Part II entitled "Multi-order asymptotic expansion of blow-up solutions for autonomous ODEs. II - Dynamical Correspondence" is also uploaded (arXiv:2211.06868). In v2, unclear expressions are corrected

MSC Class: 34A26; 34D05; 34E05; 34E10; 58K55

Fuchsian differential equations of order 3,...,6 with three singular points and an accessory parameter III, Higher order versions of the Dotsenko-Fateev equation

Authors: Yoshishige Haraoka, Hiroyuki Ochiai, Takeshi Sasaki, Masaaki Yoshida

Abstract: For the three Fuchsian differential equations of order 4, 5 and 6, connected with the Dotsenko-Fateev equation of order 3, via addition and middle convolution, we find shift operators and reducibility conditions, and study reducible cases. For the three Fuchsian differential equations of order 4, 5 and 6, connected with the Dotsenko-Fateev equation of order 3, via addition and middle convolution, we find shift operators and reducibility conditions, and study reducible cases. △ Less

Submitted 12 July, 2023; v1 submitted 22 November, 2021; originally announced November 2021.

Comments: 62 pages

MSC Class: Primary 34A30; Secondary 34M35; 33C05; 33C20; 34M03

Exact Convergence Rates of Alternating Projections for Nontransversal Intersections

Authors: Hiroyuki Ochiai, Yoshiyuki Sekiguchi, Hayato Waki

Abstract: We consider the convergence rate of the alternating projection method for the nontransversal intersection of a semialgebraic set and a linear subspace. For such an intersection, the convergence rate is known as sublinear in the worst case. We study the exact convergence rate for a given semialgebraic set and an initial point, and investigate when the convergence rate is linear or sublinear. As a c… ▽ More We consider the convergence rate of the alternating projection method for the nontransversal intersection of a semialgebraic set and a linear subspace. For such an intersection, the convergence rate is known as sublinear in the worst case. We study the exact convergence rate for a given semialgebraic set and an initial point, and investigate when the convergence rate is linear or sublinear. As a consequence, we show that the exact rates are expressed by multiplicities of the defining polynomials of the semialgebraic set, or related power series in the case that the linear subspace is a line, and we also decide the convergence rate for given data by using elimination theory. Our methods are also applied to give upper bounds for the case that the linear subspace has the dimension more than one. The upper bounds are shown to be tight by obtaining exact convergence rates for a specific semialgebraic set, which depend on the initial points. △ Less

Submitted 26 April, 2023; v1 submitted 12 August, 2021; originally announced August 2021.

Comments: 22 pages, 1 figure

MSC Class: 41A25; 90C25 (Primary); 65K10 (Secondary)

Method of fundamental solutions for Neumann problems of the modified Helmholtz equation in disk domains

Authors: Shin-Ichiro Ei, Hiroyuki Ochiai, Yoshitaro Tanaka

Abstract: The method of the fundamental solutions (MFS) is used to construct an approximate solution for a partial differential equation in a bounded domain. It is demonstrated by combining the fundamental solutions shifted to the points outside the domain and determining the coefficients of the linear sum to satisfy the boundary condition on the finite points of the boundary. In this paper, the existence o… ▽ More The method of the fundamental solutions (MFS) is used to construct an approximate solution for a partial differential equation in a bounded domain. It is demonstrated by combining the fundamental solutions shifted to the points outside the domain and determining the coefficients of the linear sum to satisfy the boundary condition on the finite points of the boundary. In this paper, the existence of the approximate solution by the MFS for the Neumann problems of the modified Helmholtz equation in disk domains is rigorously demonstrated. We reveal the sufficient condition of the existence of the approximate solution. Applying Green's theorem to the Neumann problem of the modified Helmholtz equation, we bound the error between the approximate solution and exact solution into the difference of the function of the boundary condition and the normal derivative of the approximate solution by boundary integrations. Using this estimate of the error, we show the convergence of the approximate solution by the MFS to the exact solution with exponential order, that is, $N^2a^N$ order, where $a$ is a positive constant less than one and $N$ is the number of collocation points. Furthermore, it is demonstrated that the error tends to $0$ in exponential order in the numerical simulations with increasing number of collocation points $N$. △ Less

Submitted 29 September, 2020; originally announced September 2020.

A study of a Fuchsian system of rank 8 in 3 variables and the ordinary differential equations as its restrictions

Authors: Akihito Ebisu, Yoshishige Haraoka, Masanobu Kaneko, Hiroyuki Ochiai, Takeshi Sasaki, Masaaki Yoshida

Abstract: A Fuchsian system of rank 8 in 3 variables with 4 parameters is presented. The singular locus consists of six planes and a cubic surface. The restriction of the system onto the intersection of two singular planes is an ordinary differential equation of order four with three singular points. A middle convolution of this equation turns out to be the tensor product of two Gauss hypergeometric equatio… ▽ More A Fuchsian system of rank 8 in 3 variables with 4 parameters is presented. The singular locus consists of six planes and a cubic surface. The restriction of the system onto the intersection of two singular planes is an ordinary differential equation of order four with three singular points. A middle convolution of this equation turns out to be the tensor product of two Gauss hypergeometric equation, and another middle convolution sends this equation to the Dotsenko-Fateev equation. Local solutions to these ordinary differential equations are found. Their coefficients are sums of products of the Gamma functions. These sums can be expressed as special values of the generalized hypergeometric series $_4F_3$ at 1. Keywords: Fuchsian differential equation, hypergeometric differential equation, middle convolution, Dotsenko-Fateev equation, recurrence formula, series solution △ Less

Submitted 27 March, 2022; v1 submitted 9 May, 2020; originally announced May 2020.

Comments: 47pages, 3tables

MSC Class: 33C05; 33C20; 34M03

Zeta functions of periodic cubical lattices and cyclotomic-like polynomials

Authors: Yasuaki Hiraoka, Hiroyuki Ochiai, Tomoyuki Shirai

Abstract: Zeta functions of periodic cubical lattices are explicitly derived by computing all the eigenvalues of the adjacency operators and their characteristic polynomials. We introduce cyclotomic-like polynomials to give factorization of the zeta function in terms of them and count the number of orbits of the Galois action associated with each cyclotomic-like polynomial to obtain its further factorizatio… ▽ More Zeta functions of periodic cubical lattices are explicitly derived by computing all the eigenvalues of the adjacency operators and their characteristic polynomials. We introduce cyclotomic-like polynomials to give factorization of the zeta function in terms of them and count the number of orbits of the Galois action associated with each cyclotomic-like polynomial to obtain its further factorization. We also give a necessary and sufficient condition for such a polynomial to be irreducible and discuss its irreducibility from this point of view. △ Less

Submitted 27 February, 2020; originally announced February 2020.

Comments: Advanced Studies in Pure Mathematics 84, 2020, Various Aspects of Multiple Zeta Functions, in honor of Professor Kohji Matsumoto's 60th birthday, pp. 93-121

MSC Class: 11R09; 11S40; 05E45; 05C50; 58C40

On solutions of linear fractional differential equations and systems thereof

Authors: Khongorzul Dorjgotov, Hiroyuki Ochiai, Uuganbayar Zunderiya

Abstract: It is well-known that one-dimensional time fractional diffusion-wave equations with variable coefficients can be reduced to ordinary fractional differential equations and systems of linear fractional differential equations via scaling transformations. We then derive exact solutions to classes of linear fractional differential equations and systems thereof expressed in terms of Mittag-Leffler funct… ▽ More It is well-known that one-dimensional time fractional diffusion-wave equations with variable coefficients can be reduced to ordinary fractional differential equations and systems of linear fractional differential equations via scaling transformations. We then derive exact solutions to classes of linear fractional differential equations and systems thereof expressed in terms of Mittag-Leffler functions, generalized Wright functions and Fox H-functions. These solutions are invariant solutions of diffusion-wave equations obtained through certain transformations, which are briefly discussed. We show that the solutions given in this work contain previously known results as particular cases. △ Less

Submitted 24 March, 2018; originally announced March 2018.

Comments: 25 pages

Journal ref: Fractional Calculus and Applied Analysis, Volume 22, No 2 (2019), 479--494

Lie symmetry analysis of a class of time fractional nonlinear evolution systems

Authors: Khongorzul Dorjgotov, Hiroyuki Ochiai, Uuganbayar Zunderiya

Abstract: We study a class of nonlinear evolution systems of time fractional partial differential equations using Lie symmetry analysis. We obtain not only infinitesimal symmetries but also a complete group classification and a classification of group invariant solutions of this class of systems. We find that the class of systems of differential equations studied is naturally divided into two cases on the b… ▽ More We study a class of nonlinear evolution systems of time fractional partial differential equations using Lie symmetry analysis. We obtain not only infinitesimal symmetries but also a complete group classification and a classification of group invariant solutions of this class of systems. We find that the class of systems of differential equations studied is naturally divided into two cases on the basis of the type of a function that they contain. In each case, the dimension of the Lie algebra generated by the infinitesimal symmetries is greater than 2, and for this reason we present the structures and one-dimensional optimal systems of these Lie algebras. The reduced systems corresponding to the optimal systems are also obtained. Explicit group invariant solutions are found for particular cases. △ Less

Submitted 12 February, 2018; v1 submitted 11 April, 2017; originally announced April 2017.

Comments: 14 pages. To appear in Applied Mathematics and Computation

Journal ref: Applied Mathematics and Computation, Vol 329 (2018), 105--117

Eigenvalue problem for some special class of anti-triangular matrices

Authors: Hiroyuki Ochiai, Makiko Sasada, Tomoyuki Shirai, Takashi Tsuboi

Abstract: We study the eigenvalue problem for some special class of anti-triangular matrices. Though the eigenvalue problem is quite classical, as far as we know, almost nothing is known about properties of eigenvalues for anti-triangular matrices. In this paper, we show that there is a nice class of anti-triangular matrices whose eigenvalues are given explicitly by their elements. Moreover, this class cont… ▽ More We study the eigenvalue problem for some special class of anti-triangular matrices. Though the eigenvalue problem is quite classical, as far as we know, almost nothing is known about properties of eigenvalues for anti-triangular matrices. In this paper, we show that there is a nice class of anti-triangular matrices whose eigenvalues are given explicitly by their elements. Moreover, this class contains several interesting subclasses which we characterize in terms of probability measures. We also discuss the application of our main theorem to the study of interacting particle systems, which are stochastic processes studied in extensive literature. △ Less

Submitted 14 March, 2014; originally announced March 2014.

MSC Class: Primary 15A18; 15B51; Secondary 60K35

Zeros of Witten zeta functions and absolute limit

Authors: Nobushige Kurokawa, Hiroyuki Ochiai

Abstract: We introduce multiple versions of L-functions for Witten zeta functions. We study their algebraic and analytic properties. Especially we investigate the existence of zeros at negative integers. These results strongly suggest the universal zero at -2. We look at their absolute limits also. We introduce multiple versions of L-functions for Witten zeta functions. We study their algebraic and analytic properties. Especially we investigate the existence of zeros at negative integers. These results strongly suggest the universal zero at -2. We look at their absolute limits also. △ Less

Submitted 12 April, 2013; originally announced April 2013.

MSC Class: 11M06

Dualities for absolute zeta functions and multiple gamma functions

Authors: Nobushige Kurokawa, Hiroyuki Ochiai

Abstract: We study absolute zeta functions from the view point of a canonical normalization. We introduce the absolute Hurwitz zeta function for the normalization. In particular, we show that the theory of multiple gamma and sine functions gives good normalizations in cases related to the Kurokawa tensor product. In these cases, the functional equation of the absolute zeta function turns out to be equivalen… ▽ More We study absolute zeta functions from the view point of a canonical normalization. We introduce the absolute Hurwitz zeta function for the normalization. In particular, we show that the theory of multiple gamma and sine functions gives good normalizations in cases related to the Kurokawa tensor product. In these cases, the functional equation of the absolute zeta function turns out to be equivalent to the simplicity of the associated non-classical multiple sine function of negative degree. △ Less

Submitted 9 April, 2013; originally announced April 2013.

MSC Class: 11M06

On orbits in double flag varieties for symmetric pairs

Authors: Xuhua He, Kyo Nishiyama, Hiroyuki Ochiai, Yoshiki Oshima

Abstract: Let $ G $ be a connected, simply connected semisimple algebraic group over the complex number field, and let $ K $ be the fixed point subgroup of an involutive automorphism of $ G $ so that $ (G, K) $ is a symmetric pair. We take parabolic subgroups $ P $ of $ G $ and $ Q $ of $ K $ respectively and consider the product of partial flag varieties $ G/P $ and $ K/Q $ with diagonal $ K $-action, wh… ▽ More Let $ G $ be a connected, simply connected semisimple algebraic group over the complex number field, and let $ K $ be the fixed point subgroup of an involutive automorphism of $ G $ so that $ (G, K) $ is a symmetric pair. We take parabolic subgroups $ P $ of $ G $ and $ Q $ of $ K $ respectively and consider the product of partial flag varieties $ G/P $ and $ K/Q $ with diagonal $ K $-action, which we call a \emph{double flag variety for symmetric pair}. It is said to be \emph{of finite type} if there are only finitely many $ K $-orbits on it. In this paper, we give a parametrization of $ K $-orbits on $ G/P \times K/Q $ in terms of quotient spaces of unipotent groups without assuming the finiteness of orbits. If one of $ P \subset G $ or $ Q \subset K $ is a Borel subgroup, the finiteness of orbits is closely related to spherical actions. In such cases, we give a complete classification of double flag varieties of finite type, namely, we obtain classifications of $ K $-spherical flag varieties $ G/P $ and $ G $-spherical homogeneous spaces $ G/Q $. △ Less

Submitted 27 July, 2013; v1 submitted 10 August, 2012; originally announced August 2012.

Comments: 47 pages, 3 tables; add all the details of the classification

MSC Class: 14M15 (Primary) 53C35; 14M17 (Secondary)

Closed orbits on partial flag varieties and double flag variety of finite type

Authors: Kensuke Kondo, Kyo Nishiyama, Hiroyuki Ochiai, Kenji Taniguchi

Abstract: Let $ G $ be a connected reductive algebraic group over $ \C $. We denote by $ K = (G^θ)_{0} $ the identity component of the fixed points of an involutive automorphism $ θ$ of $ G $. The pair $ (G, K) $ is called a symmetric pair. Let $Q$ be a parabolic subgroup of $K$. We want to find a pair of parabolic subgroups $P_{1}$, $P_{2}$ of $G$ such that (i) $P_{1} \cap P_{2} = Q$ and (ii)… ▽ More Let $ G $ be a connected reductive algebraic group over $ \C $. We denote by $ K = (G^θ)_{0} $ the identity component of the fixed points of an involutive automorphism $ θ$ of $ G $. The pair $ (G, K) $ is called a symmetric pair. Let $Q$ be a parabolic subgroup of $K$. We want to find a pair of parabolic subgroups $P_{1}$, $P_{2}$ of $G$ such that (i) $P_{1} \cap P_{2} = Q$ and (ii) $P_{1} P_{2}$ is dense in $G$. The main result of this article states that, for a simple group $G$, we can find such a pair if and only if $(G, K)$ is a Hermitian symmetric pair. The conditions (i) and (ii) yield to conclude that the $K$-orbit through the origin $(e P_{1}, e P_{2})$ of $G/P_{1} \times G/P_{2}$ is closed and it generates an open dense $G$-orbit on the product of partial flag variety. From this point of view, we also give a complete classification of closed $K$-orbits on $G/P_{1} \times G/P_{2}$. △ Less

Submitted 5 April, 2012; originally announced April 2012.

Comments: 7 pages

MSC Class: Primary 14M15; Secondary 14M17; 14M27

Double flag varieties for a symmetric pair and finiteness of orbits

Authors: Kyo Nishiyama, Hiroyuki Ochiai

Abstract: Let G be a reductive algebraic group over the complex number filed, and K = G^θ be the fixed points of an involutive automorphism θof G so that (G, K) is a symmetric pair. We take parabolic subgroups P and Q of G and K respectively and consider a product of partial flag varieties G/P and K/Q with diagonal K-action. The double flag variety G/P \times K/Q thus obtained is said to be of finite type i… ▽ More Let G be a reductive algebraic group over the complex number filed, and K = G^θ be the fixed points of an involutive automorphism θof G so that (G, K) is a symmetric pair. We take parabolic subgroups P and Q of G and K respectively and consider a product of partial flag varieties G/P and K/Q with diagonal K-action. The double flag variety G/P \times K/Q thus obtained is said to be of finite type if there are finitely many K-orbits on it. A triple flag variety G/P^1 \times G/P^2 \times G/P^3 is a special case of our double flag varieties, and there are many interesting works on the triple flag varieties. In this paper, we study double flag varieties G/P \times K/Q of finite type. We give efficient criterion under which the double flag variety is of finite type. The finiteness of orbits is strongly related to spherical actions of G or K. For example, we show a partial flag variety G/P is K-spherical if a product of partial flag varieties G/P \times G/θ(P) is G-spherical. We also give many examples of the double flag varieties of finite type, and for type AIII, we give a classification when P = B is a Borel subgroup of G. △ Less

Submitted 28 October, 2010; v1 submitted 27 September, 2010; originally announced September 2010.

Comments: 20 pages

MSC Class: Primary 14M15; Secondary 53C35; 14M17

Journal ref: Journal of Lie Theory, volume 21 (2011), 79--99

Higher Mahler measures and zeta functions

Authors: Nobushige Kurokawa, Matilde Lalin, Hiroyuki Ochiai

Abstract: We consider a generalization of the Mahler measure of a multivariable polynomial $P$ as the integral of $\log^k|P|$ in the unit torus, as opposed to the classical definition with the integral of $\log|P|$. A zeta Mahler measure, involving the integral of $|P|^s$, is also considered. Specific examples are computed, yielding special values of zeta functions, Dirichlet $L$-functions, and polylogari… ▽ More We consider a generalization of the Mahler measure of a multivariable polynomial $P$ as the integral of $\log^k|P|$ in the unit torus, as opposed to the classical definition with the integral of $\log|P|$. A zeta Mahler measure, involving the integral of $|P|^s$, is also considered. Specific examples are computed, yielding special values of zeta functions, Dirichlet $L$-functions, and polylogarithms. △ Less

Submitted 2 August, 2009; originally announced August 2009.

MSC Class: 11M06; 11R09

Journal ref: Acta Arith. 135 (2008), no. 3, 269--297

Spectra of alternating Hilbert operators

Authors: Nobushige Kurokawa, Hiroyuki Ochiai

Abstract: Spectra of real alternating operators seem to be quite interesting from the view point of explaining the Riemann Hypothesis for various zeta functions. Unfortunately we have not sufficient experiments concerning this theme. Necessary works would be to supply new examples of spectra related to zeros and poles of zeta functions. A century ago Hilbert (1907) considered a kind of operators represent… ▽ More Spectra of real alternating operators seem to be quite interesting from the view point of explaining the Riemann Hypothesis for various zeta functions. Unfortunately we have not sufficient experiments concerning this theme. Necessary works would be to supply new examples of spectra related to zeros and poles of zeta functions. A century ago Hilbert (1907) considered a kind of operators representing quadratic forms of infinitely many variables. Demonstrating the calculation of spectra for alternating Hilbert operators we hope to present a novel scheme in this paper. Authors expect this study encourages experts for further studies. △ Less

Submitted 28 September, 2007; v1 submitted 17 September, 2007; originally announced September 2007.

Comments: 11 pages; corrected typos

MSC Class: 11M06

Invariant distributions on a non-isotropic pseudo-Riemannian symmetric space of rank one

Authors: Hiroyuki Ochiai

Abstract: We investigate the structure of invariant distributions on a non-isotropic non-Riemannian symmetric space of rank one. Especially, the $J$-criterion related to the generalized Gelfand pair is shown for this space without imposing the condition on the eigenfuction of the Laplace-Bertrami operator. We investigate the structure of invariant distributions on a non-isotropic non-Riemannian symmetric space of rank one. Especially, the $J$-criterion related to the generalized Gelfand pair is shown for this space without imposing the condition on the eigenfuction of the Laplace-Bertrami operator. △ Less

Submitted 8 October, 2005; originally announced October 2005.

Comments: 9 pages, no figures

MSC Class: 22E45; 43A90

A special value of the spectral zeta function of the non-commutative harmonic osciallators

Authors: Hiroyuki Ochiai

Abstract: The non-commutative harmonic oscillator is a $2\times2$-system of harmonic oscillators with a non-trivial correlation. We write down explicitly the special value at $s=2$ of the spectral zeta function of the non-commutative harmonic oscillator in terms of the complete elliptic integral of the first kind, which is a special case of a hypergeometric function. The non-commutative harmonic oscillator is a $2\times2$-system of harmonic oscillators with a non-trivial correlation. We write down explicitly the special value at $s=2$ of the spectral zeta function of the non-commutative harmonic oscillator in terms of the complete elliptic integral of the first kind, which is a special case of a hypergeometric function. △ Less

Submitted 6 July, 2005; originally announced July 2005.

Comments: 5 pages, no figures

MSC Class: 11M36; 33C20

Theta lifting of nilpotent orbits for symmetric pairs

Authors: Kyo Nishiyama, Hiroyuki Ochiai, Chen-bo Zhu

Abstract: We consider a reductive dual pair (G, G') in the stable range with G' the smaller member and of Hermitian symmetric type. We study the theta lifting of nilpotent K'_C-orbits, where K' is a maximal compact subgroup of G' and we describe the precise K_C-module structure of the regular function ring of the closure of the lifted nilpotent orbit of the symmetric pair (G, K). As an application, we pro… ▽ More We consider a reductive dual pair (G, G') in the stable range with G' the smaller member and of Hermitian symmetric type. We study the theta lifting of nilpotent K'_C-orbits, where K' is a maximal compact subgroup of G' and we describe the precise K_C-module structure of the regular function ring of the closure of the lifted nilpotent orbit of the symmetric pair (G, K). As an application, we prove sphericality and normality of the closure of certain nilpotent K_C-orbits obtained in this way. We also give integral formulas for their degrees. △ Less

Submitted 24 December, 2003; originally announced December 2003.

Comments: 26 pages

MSC Class: 22E46; 11F27

Journal ref: Trans. Amer. Math. Soc., 358(2006), no. 6, 2713--2734

On coefficients of Yablonskii-Vorob'ev polynomial

Authors: Masanobu Kaneko, Hiroyuki Ochiai

Abstract: We give a formula for the coefficients of the Yablonskii-Vorob'ev polynomial. Also the reduction modulo a prime number of the polynomial is studied. We give a formula for the coefficients of the Yablonskii-Vorob'ev polynomial. Also the reduction modulo a prime number of the polynomial is studied. △ Less

Submitted 15 May, 2002; originally announced May 2002.

Comments: 11 pages, no figures

MSC Class: 34M55 (Primary) 33E17 (Secondary)

Arithmetic structure of CMSZ fake projective planes

Authors: Fumiharu Kato, Hiroyuki Ochiai

Abstract: We prove that the fake projective planes constructed from the diadic discrete group discovered by Cartwright, Mantero, Steger, and Zappa are connected Shimura varieties associated to a certain unitary group. The necessary Shimura data, as well as the unitary group, are explicitly described. We also give a field of definition of these fake projective planes. We prove that the fake projective planes constructed from the diadic discrete group discovered by Cartwright, Mantero, Steger, and Zappa are connected Shimura varieties associated to a certain unitary group. The necessary Shimura data, as well as the unitary group, are explicitly described. We also give a field of definition of these fake projective planes. △ Less

Submitted 29 June, 2000; originally announced June 2000.

Comments: 14 pages, LaTeX2e + Euler font

MSC Class: 14G35; 14J29; 11G15; 11Q25

Counting functions for branched covers of elliptic curves and quasi-modular forms

Authors: Hiroyuki Ochiai

Abstract: We prove that each counting function of the m-simple branched covers with a fixed genus of an elliptic curve is expressed as a polynomial of the Eisenstein series E_2, E_4 and E_6 . The special case m=2 is considered by Dijkgraaf. We prove that each counting function of the m-simple branched covers with a fixed genus of an elliptic curve is expressed as a polynomial of the Eisenstein series E_2, E_4 and E_6 . The special case m=2 is considered by Dijkgraaf. △ Less

Submitted 19 September, 1999; originally announced September 1999.

Comments: LaTeX, 16 pages, no figures

MSC Class: 11F11 (Primary); 05E05 (Secondary)