Showing 1–10 of 10 results for author: Nakayama, H

Sliding possibility of the Julia sets

Authors: Hiromichi Nakayama, Takuya Takahashi

Abstract: A. Sannami constructed an example of the differentiable Cantor set embedded in the real line whose difference set has a positive measure. In this paper, we generalize the definition of the difference sets for sets of the two dimensional Euclidean space as the sets of vectors between two sets, and estimate their measures. For the quadratic map Q_c(z)=z^2+c, we obtain that the measure of the differe… ▽ More A. Sannami constructed an example of the differentiable Cantor set embedded in the real line whose difference set has a positive measure. In this paper, we generalize the definition of the difference sets for sets of the two dimensional Euclidean space as the sets of vectors between two sets, and estimate their measures. For the quadratic map Q_c(z)=z^2+c, we obtain that the measure of the difference set of its Julia set vanishes if |c|>3+sqrt{3}. △ Less

Submitted 8 April, 2020; originally announced April 2020.

Comments: 7 pages, 2 figures

MSC Class: 37E30

Groebner basis and singular locus of Lauricella's hypergeometric differential equations

Authors: Hiromasa Nakayama

Abstract: We derive Groebner bases for Lauricella's hypergeometric differential equations $I_A(m), I_B(m), I_C(m)$ with respect to a monomial order. By using these Groebner bases, we determine characteristic varieties and the singular loci of $I_A(m), I_B(m), I_C(m)$. We derive Groebner bases for Lauricella's hypergeometric differential equations $I_A(m), I_B(m), I_C(m)$ with respect to a monomial order. By using these Groebner bases, we determine characteristic varieties and the singular loci of $I_A(m), I_B(m), I_C(m)$. △ Less

Submitted 7 March, 2013; originally announced March 2013.

The Holonomic Rank of the Fisher-Bingham System of Differential Equations

Authors: Tamio Koyama, Hiromasa Nakayama, Kenta Nishiyama, Nobuki Takayama

Abstract: The Fisher-Bingham system is a system of linear partial differential equations satisfied by the Fisher-Bingham integral for the $n$-dimensional sphere $S^n$. The system is given in [Nakayama et al. (2011), Theorem 2] and it is shown that it is a holonomic system [Koyama]. We show that the holonomic rank of the system is equal to $2n+2$. The Fisher-Bingham system is a system of linear partial differential equations satisfied by the Fisher-Bingham integral for the $n$-dimensional sphere $S^n$. The system is given in [Nakayama et al. (2011), Theorem 2] and it is shown that it is a holonomic system [Koyama]. We show that the holonomic rank of the system is equal to $2n+2$. △ Less

Submitted 17 February, 2013; v1 submitted 28 May, 2012; originally announced May 2012.

Comments: 15 pages

Holonomic Gradient Descent for the Fisher-Bingham Distribution on the $d$-dimensional Sphere

Authors: Tamio Koyama, Hiromasa Nakayama, Kenta Nishiyama, Nobuki Takayama

Abstract: We propose an accelerated version of the holonomic gradient descent and apply it to calculating the maximum likelihood estimate (MLE) of the Fisher-Bingham distribution on a $d$-dimensional sphere. We derive a Pfaffian system (an integrable connection) and a series expansion associated with the normalizing constant with an error estimation. These enable us to solve some MLE problems up to dimensio… ▽ More We propose an accelerated version of the holonomic gradient descent and apply it to calculating the maximum likelihood estimate (MLE) of the Fisher-Bingham distribution on a $d$-dimensional sphere. We derive a Pfaffian system (an integrable connection) and a series expansion associated with the normalizing constant with an error estimation. These enable us to solve some MLE problems up to dimension $d=7$ with a specified accuracy. △ Less

Submitted 22 June, 2013; v1 submitted 16 January, 2012; originally announced January 2012.

Comments: 23 pages

MSC Class: 90C52; 16Z99; 62F10; 33F10; 32C38

Holonomic Gradient Descent and its Application to Fisher-Bingham Integral

Authors: Tomonari Sei, Nobuki Takayama, Akimichi Takemura, Hiromasa Nakayama, Kenta Nishiyama, Masayuki Noro, Katsuyoshi Ohara

Abstract: We give a new algorithm to find local maximum and minimum of a holonomic function and apply it for the Fisher-Bingham integral on the sphere $S^n$, which is used in the directional statistics. The method utilizes the theory and algorithms of holonomic systems. We give a new algorithm to find local maximum and minimum of a holonomic function and apply it for the Fisher-Bingham integral on the sphere $S^n$, which is used in the directional statistics. The method utilizes the theory and algorithms of holonomic systems. △ Less

Submitted 6 September, 2010; v1 submitted 28 May, 2010; originally announced May 2010.

Comments: 23 pages, 1 figure

Journal ref: Advances in Applied Mathematics 47 (2011) 639-658

An algorithm of computing inhomogeneous differential equations for definite integrals

Authors: Hiromasa Nakayama, Kenta Nishiyama

Abstract: We give an algorithm to compute inhomogeneous differential equations for definite integrals with parameters. The algorithm is based on the integration algorithm for $D$-modules by Oaku. Main tool in the algorithm is the Gröbner basis method in the ring of differential operators. We give an algorithm to compute inhomogeneous differential equations for definite integrals with parameters. The algorithm is based on the integration algorithm for $D$-modules by Oaku. Main tool in the algorithm is the Gröbner basis method in the ring of differential operators. △ Less

Submitted 14 July, 2010; v1 submitted 19 May, 2010; originally announced May 2010.

Comments: 12 pages, 1 table

Continua as minimal sets of homeomorphisms of S^2

Authors: Shigenori Matsumoto, Hiromichi Nakayama

Abstract: Let $f$ be an orientation preserving homeomorphism of $S^2$ which has a (nontrivial) continuum $X$ as a minimal set. Then there are exactly two connected components of $S^2\setminus X$ which are left invariant by $f$ and all the others are wandering. The Carathéodory rotation number of an invariant component is irrational. Let $f$ be an orientation preserving homeomorphism of $S^2$ which has a (nontrivial) continuum $X$ as a minimal set. Then there are exactly two connected components of $S^2\setminus X$ which are left invariant by $f$ and all the others are wandering. The Carathéodory rotation number of an invariant component is irrational. △ Less

Submitted 19 April, 2011; v1 submitted 3 May, 2010; originally announced May 2010.

Comments: 16 pages, 15 figures

MSC Class: 37E30; 37B45

Journal ref: l'Enseig. Math. 57(2011), 373-392

An Algorithm Computing the Local $b$ Function by an Approximate Division Algorithm in $\hat{\mathcal{D}}$

Authors: Hiromasa Nakayama

Abstract: We give an algorithm to compute the local $b$ function. In this algorithm, we use the Mora division algorithm in the ring of differential operators and an approximate division algorithm in the ring of differential operators with power series coefficient. We give an algorithm to compute the local $b$ function. In this algorithm, we use the Mora division algorithm in the ring of differential operators and an approximate division algorithm in the ring of differential operators with power series coefficient. △ Less

Submitted 19 June, 2006; originally announced June 2006.

Comments: 19 pages

Every non-Euclidean oriented matroid admits a biquadratic final polynomial

Authors: Komei Fukuda, Sonoko Moriyama, Hiroki Nakayama

Abstract: Richter-Gebert proved that every non-Euclidean uniform oriented matroid admits a biquadratic final polynomial. We extend this result to the non-uniform case. Richter-Gebert proved that every non-Euclidean uniform oriented matroid admits a biquadratic final polynomial. We extend this result to the non-uniform case. △ Less

Submitted 24 October, 2005; originally announced October 2005.

Comments: 5 pages, 1 figure

MSC Class: 05B35

Dualistic computational algebraic analyses of primal and dual minimum cost flow problems on acyclic tournament graphs

Authors: Takayuki Ishizeki, Hiroki Nakayama, Hiroshi Imai

Abstract: To integer programming problems, computational algebraic approaches using Grobner bases or standard pairs via the discreteness of toric ideals have been studied in recent years. Although these approaches have not given improved time complexity bound compared with existing methods for solving integer programming problems, these give algebraic analysis of their structures. In this paper, we focus… ▽ More To integer programming problems, computational algebraic approaches using Grobner bases or standard pairs via the discreteness of toric ideals have been studied in recent years. Although these approaches have not given improved time complexity bound compared with existing methods for solving integer programming problems, these give algebraic analysis of their structures. In this paper, we focus on the case that the coefficient matrix is unimodular, especially on the primal and dual minimum cost flow problems, whose structure is rather well-known, but new structures can be revealed by our approach. We study the Grobner bases and standard pairs for unimodular programming, and give the maximum number of dual feasible bases in terms of the volume of polytopes. And for the minimum cost flow problems, we characterize reduced Grobner bases in terms of graphs, and give bounds for the number of dual (resp. primal) feasible bases of the primal (resp. dual) problems: for the primal problems the minimum and the maximum are shown to be 1 and the Catalan number $\frac{1}{d}\tbinom{2(d-1)}{d-1}$, while for the dual problems the lower bound is shown to be $Ω(2^{\lfloor d/6\rfloor})$. To analyze arithmetic degrees, we use two approaches: one is the relation between reduced Gr{ö}bner bases and standard pairs, where the corresponding relation on the minimum cost flow -- between a subset of circuits and dual feasible bases -- has not been so clear, the other is the results in combinatorics related with toric ideals. △ Less

Submitted 30 September, 2002; v1 submitted 17 June, 2002; originally announced June 2002.

Comments: 20 pages, 6 figures

MSC Class: 90C35; 13P10; 05C20