arXiv subjects
Publications and source records attributed to Nobuki Takayama.
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$.
We study properties of Fisher distribution (von Mises-Fisher distribution, matrix Langevin distribution) on the rotation group SO(3). In particular we apply the holonomic gradient descent, introduced by Nakayama et al. (2011), and a method of series expansion for evaluating the normalizing constant of the distribution and for computing the maximum likelihood estimate. The rotation group can be identified with the Stiefel manifold of two orthonormal vectors. Therefore from the viewpoint of statistical modeling, it is of interest to compare Fisher distributions on these manifolds. We illustrate the difference with an example of near-earth objects data.
We apply the holonomic gradient method introduced by Nakayama et al.(2011) to the evaluation of the exact distribution function of the largest root of a Wishart matrix, which involves a hypergeometric function 1F1 of a matrix argument. Numerical evaluation of the hypergeometric function has been one of the longstanding problems in multivariate distribution theory. The holonomic gradient method offers a totally new approach, which is complementary to the infinite series expansion around the origin in terms of zonal polynomials. It allows us to move away from the origin by the use of partial differential equations satisfied by the hypergeometric function. From numerical viewpoint we show that the method works well up to dimension 10. From theoretical viewpoint the method offers many challenging problems both to statistics and D-module theory.
We determine the singular locus of the Lauricella function $F_C$ by utilizing the theory of $D$-modules and Gröbner basis. The $A$-hypergeometric system associated to $F_C$ is also discussed.
The incomplete beta function is an important special function in statistics. In modern theory of hypergeometric functions, we regard hypergeometric functions as pairings of twisted cycles and twisted cocycles. However, the incomplete beta function cannot be understood in this scheme; in other words, the domain of the integration is not cycle (incomplete). We will generalize the theory of A-hypergeometric systems for incomplete functions. We give a general study as well as a detailed study on an incomplete Gauss hypergeometric function.
We give an approximate algorithm of computing holonomic systems of linear differential equations for definite integrals with parameters. We show that this algorithm gives a correct answer in finite steps, but we have no general stopping condition. We apply the approximate method to find differential equations for integrals associated to smooth Fano polytopes. They are interested in the study of K3 surfaces and the toric mirror symmetry. In this class of integrals, we can apply Stienstra's rank formula to our algorithm, which gives a stopping condition of the approximate algorithm.
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 propose a general algorithm to enumerate all solutions of a zero-dimensional polynomial system with respect to a given cost function. The algorithm is developed and is used to study a polynomial system obtained by discretizing the steady cavity flow problem in two dimensions. The key technique on which our algorithm is based is to solve polynomial optimization problems via sparse semidefinite programming relaxations (SDPR), which has been adopted successfully to solve reaction-diffusion boundary value problems recently. The cost function to be minimized is derived from discretizing the fluid's kinetic energy. The enumeration algorithm's solutions are shown to converge to the minimal kinetic energy solutions for SDPR of increasing order. We demonstrate the algorithm with SDPR of first and second order on polynomial systems for different scenarios of the cavity flow problem and succeed in deriving the $k$ smallest kinetic energy solutions. The question whether these solutions converge to solutions of the steady cavity flow problem is discussed, and we pose a conjecture for the minimal energy solution for increasing Reynolds number.
We will introduce a modified system of A-hypergeometric system (GKZ system) by applying a change of variables for Groebner deformations and study its Groebner basis and the indicial polynomials along the "exceptional hypersurface".
We give algorithms of computing bases of logarithmic cohomology groups for square-free polynomials in two variables. (Fixed typos of v1)
We introduce A-hypergeometric differential-difference equation and prove that its holonomic rank is equal to the normalized volume of A with giving a set of convergent series solutions.
The goal of this paper is to show that the local Gröbner fan is a polyhedral fan for ideals in the ring of power series and the homogenized ring of analytic differential operators. We will also discuss about relations between the local Gröbner fan and the (global) Gröbner fan for a given ideal and algorithms of computing local Gröbner fans. In rings of differential operators, finiteness and convexity of local Gröbner fans were firstly proved by Assi, Castro-Jiménez and Granger. But they did not prove that they are polyhedral fans.
We present an algorithm to construct a basis of k-th extension group of a D-module M in ring of the formal power series Ext_D^k(M,O).
We present a method to compute the holonomic extension of a $D$-module from a Zariski open set in affine space to the whole space. A particular application is the localization of coherent $D$-modules which are holonomic on the complement of an affine variety.
We describe algorithms for computing various functors for algebraic D-modules, i.e. systems of linear partial differential equations with polynomial coefficients. We will give algorithms for restriction, tensor product, localization, and local cohomology groups for all degrees.
We give an algorithm to compute the following cohomology groups on $U = \C^n \setminus V(f)$ for any non-zero polynomial $f \in \Q[x_1, ..., x_n]$; 1. $H^k(U, \C_U)$, $\C_U$ is the constant sheaf on $U$ with stalk $\C$. 2. $H^k(U, \Vsc)$, $\Vsc$ is a locally constant sheaf of rank 1 on $U$. We also give partial results on computation of cohomology groups on $U$ for a locally constant sheaf of general rank and on computation of $H^k(\C^n \setminus Z, \C)$ where $Z$ is a general algebraic set. Our algorithm is based on computations of Gröbner bases in the ring of differential operators with polynomial coefficients.