Showing 1–7 of 7 results for author: Aoki, H

Existence of primes in the interval $ [15x,16x] $ -- An entirely elementary proof --

Authors: Hiroki Aoki, Riku Higa, Ryosei Sugawara

Abstract: In this paper, we give a short and entirely elementary proof of the proposition ``For any positive integer $ N $, there exists a real number $ L $ such that for any real number $ x \geqq L $, there are at least $ N $ primes in the interval $ [kx, (k+1)x] $'' for $ k \leqq 15 $. Our proof is based on the idea of the proof by Erdös for $ k=1 $ and its improvement by Hitotsumatsu and by Sainose for… ▽ More In this paper, we give a short and entirely elementary proof of the proposition ``For any positive integer $ N $, there exists a real number $ L $ such that for any real number $ x \geqq L $, there are at least $ N $ primes in the interval $ [kx, (k+1)x] $'' for $ k \leqq 15 $. Our proof is based on the idea of the proof by Erdös for $ k=1 $ and its improvement by Hitotsumatsu and by Sainose for $ k=2 $. In the case of $ k=3 $ and $ k=4 $, the method is very similar to the case of $ k=2 $, however, in the case of $ k \geqq 5 $, we need new idea to complete the proof. △ Less

Submitted 25 June, 2025; v1 submitted 8 March, 2025; originally announced March 2025.

Comments: 15 pages

MSC Class: 11A41; 11N05

A characterization of root systems from the viewpoint of denominator formulae

Authors: Hiroki Aoki, Hiraku Kawanoue

Abstract: Root systems are sets with remarkable symmetries and therefore they appear in many situations in mathematics. Among others, denominator formulae of root systems are very beautiful and mysterious equations which have several meanings from a variety of disciplines in mathematics. In this paper, we show a converse statement of this phenomena. Namely, for a given finite subset $ S $ of a Euclidean vec… ▽ More Root systems are sets with remarkable symmetries and therefore they appear in many situations in mathematics. Among others, denominator formulae of root systems are very beautiful and mysterious equations which have several meanings from a variety of disciplines in mathematics. In this paper, we show a converse statement of this phenomena. Namely, for a given finite subset $ S $ of a Euclidean vector space $ V $, define an equation $ F $ in the group ring $ {\mathbb{Z}}[V] $ featuring the product part of denominator formulae. Then, a geometric condition for the support of $ F $ characterizes $ S $ being a set of positive roots of a finite/affine root system, recovering the denominator formula. This gives a novel characterization of the sets of positive roots of reduced finite/affine root systems. △ Less

Submitted 14 June, 2025; v1 submitted 5 March, 2025; originally announced March 2025.

Comments: 16 pages

MSC Class: 17B22

Formal series of Jacobi forms

Authors: Hiroki Aoki, Tomoyoshi Ibukiyama, Cris Poor

Abstract: We prove for general paramodular level that formal series of scalar Jacobi forms with an involution condition necessarily converge and are therefore the Fourier-Jacobi expansions at the standard 1-cusp of paramodular Fricke eigenforms. We prove for general paramodular level that formal series of scalar Jacobi forms with an involution condition necessarily converge and are therefore the Fourier-Jacobi expansions at the standard 1-cusp of paramodular Fricke eigenforms. △ Less

Submitted 24 December, 2024; originally announced December 2024.

On holomorphicity of Hartogs series satisfying algebraic relations

Authors: Hiroki Aoki, Kyoji Saito

Abstract: We consider a formal power series in one variable whose coefficients are holomorphic functions in a given multidimensional complex domain. Assume the following two conditions on the series. (C1) The restriction of the series at each point of a dense subset of the domain converges in an open disk of a fixed radius. (C2) The series is algebraic over the ring of holomophic functions on the direct pro… ▽ More We consider a formal power series in one variable whose coefficients are holomorphic functions in a given multidimensional complex domain. Assume the following two conditions on the series. (C1) The restriction of the series at each point of a dense subset of the domain converges in an open disk of a fixed radius. (C2) The series is algebraic over the ring of holomophic functions on the direct product space of the domain and the disk. The main theorem of the present note is that the series defines a holomorphic function on the direct product space. We lso give an example where the condition (C2) is essentially necessary. △ Less

Submitted 15 November, 2024; originally announced November 2024.

Comments: 9 pages

MSC Class: primary: 32A05; secondary: 32A10; 32D15

Modular forms from the Weierstrass functions

Authors: Hiroki Aoki, Kyoji Saito

Abstract: We construct holomorphic elliptic modular forms of weight 2 and weight 1, by special values of Weierstrass p-functions, and by differences of special values of Weierstrass zeta-functions, respectively. Also we calculated the values of these forms at some cusps. We construct holomorphic elliptic modular forms of weight 2 and weight 1, by special values of Weierstrass p-functions, and by differences of special values of Weierstrass zeta-functions, respectively. Also we calculated the values of these forms at some cusps. △ Less

Submitted 12 September, 2019; originally announced September 2019.

Comments: 13 pages

Generalizations of Ho-Lee's binomial interest rate model I: from one- to multi-factor

Authors: Jirô Akahori, Hiroki Aoki, Yoshihiko Nagata

Abstract: In this paper a multi-factor generalization of Ho-Lee model is proposed. In sharp contrast to the classical Ho-Lee, this generalization allows for those movements other than parallel shifts, while it still is described by a recombining tree, and is stationary to be compatible with principal component analysis. Based on the model, generalizations of duration-based hedging are proposed. A continuo… ▽ More In this paper a multi-factor generalization of Ho-Lee model is proposed. In sharp contrast to the classical Ho-Lee, this generalization allows for those movements other than parallel shifts, while it still is described by a recombining tree, and is stationary to be compatible with principal component analysis. Based on the model, generalizations of duration-based hedging are proposed. A continuous-time limit of the model is also discussed. △ Less

Submitted 8 June, 2006; originally announced June 2006.

Comments: 34 pages, 3 figures

MSC Class: 91B28; 60G50

Ginsparg-Wilson Relation, Topological Invariants and Finite Noncommutative Geometry

Authors: Hajime Aoki, Satoshi Iso, Keiichi Nagao

Abstract: We show that the Ginsparg-Wilson (GW) relation can play an important role to define chiral structures in {\it finite} noncommutative geometries. Employing GW relation, we can prove the index theorem and construct topological invariants even if the system has only finite degrees of freedom. As an example, we consider a gauge theory on a fuzzy two-sphere and give an explicit construction of a nonc… ▽ More We show that the Ginsparg-Wilson (GW) relation can play an important role to define chiral structures in {\it finite} noncommutative geometries. Employing GW relation, we can prove the index theorem and construct topological invariants even if the system has only finite degrees of freedom. As an example, we consider a gauge theory on a fuzzy two-sphere and give an explicit construction of a noncommutative analog of the GW relation, chirality operator and the index theorem. The topological invariant is shown to coincide with the 1st Chern class in the commutative limit. △ Less

Submitted 16 April, 2003; v1 submitted 26 September, 2002; originally announced September 2002.

Comments: Revtex4 file, 5 pages, references added, typo corrected, the final version to appear in Phys.Rev.D

Report number: Saga-HE-190, KEK-TH-843

Journal ref: Phys.Rev. D67 (2003) 085005