Showing 1–34 of 34 results for author: Takayama, N

Restrictions of Pfaffian Systems for Feynman Integrals

Authors: Vsevolod Chestnov, Saiei J. Matsubara-Heo, Henrik J. Munch, Nobuki Takayama

Abstract: This work studies limits of Pfaffian systems, a class of first-order PDEs appearing in the Feynman integral calculus. Such limits appear naturally in the context of scattering amplitudes when there is a separation of scale in a given set of kinematic variables. We model these limits, which are often singular, via restrictions of D-modules. We thereby develop two different restriction algorithms: o… ▽ More This work studies limits of Pfaffian systems, a class of first-order PDEs appearing in the Feynman integral calculus. Such limits appear naturally in the context of scattering amplitudes when there is a separation of scale in a given set of kinematic variables. We model these limits, which are often singular, via restrictions of D-modules. We thereby develop two different restriction algorithms: one based on gauge transformations, and another relying on the Macaulay matrix. These algorithms output Pfaffian systems containing fewer variables and of smaller rank. We show that it is also possible to retain logarithmic corrections in the limiting variable. The algorithms are showcased in many examples involving Feynman integrals and hypergeometric functions coming from GKZ systems. △ Less

Submitted 16 May, 2023; v1 submitted 2 May, 2023; originally announced May 2023.

Comments: 81 page, 2 figures, fixed minor typos

Macaulay Matrix for Feynman Integrals: Linear Relations and Intersection Numbers

Authors: Vsevolod Chestnov, Federico Gasparotto, Manoj K. Mandal, Pierpaolo Mastrolia, Saiei J. Matsubara-Heo, Henrik J. Munch, Nobuki Takayama

Abstract: We elaborate on the connection between Gel'fand-Kapranov-Zelevinsky systems, de Rham theory for twisted cohomology groups, and Pfaffian equations for Feynman integrals. We propose a novel, more efficient algorithm to compute Macaulay matrices, which are used to derive Pfaffian systems of differential equations. The Pfaffian matrices are then employed to obtain linear relations for ${\cal A}$-hyper… ▽ More We elaborate on the connection between Gel'fand-Kapranov-Zelevinsky systems, de Rham theory for twisted cohomology groups, and Pfaffian equations for Feynman integrals. We propose a novel, more efficient algorithm to compute Macaulay matrices, which are used to derive Pfaffian systems of differential equations. The Pfaffian matrices are then employed to obtain linear relations for ${\cal A}$-hypergeometric (Euler) integrals and Feynman integrals, through recurrence relations and through projections by intersection numbers. △ Less

Submitted 21 May, 2023; v1 submitted 27 April, 2022; originally announced April 2022.

Comments: 51 page, 5 figures, matches published version

Comparison of Numerical Solvers for Differential Equations for Holonomic Gradient Method in Statistics

Authors: Nobuki Takayama, Takaharu Yaguchi, Yi Zhang

Abstract: Definite integrals with parameters of holonomic functions satisfy holonomic systems of linear partial differential equations. When we restrict parameters to a one dimensional curve, the system becomes a linear ordinary differential equation (ODE) with respect to a curve in the parameter space. We can evaluate the integral by solving the linear ODE numerically. This approach to evaluate numerically… ▽ More Definite integrals with parameters of holonomic functions satisfy holonomic systems of linear partial differential equations. When we restrict parameters to a one dimensional curve, the system becomes a linear ordinary differential equation (ODE) with respect to a curve in the parameter space. We can evaluate the integral by solving the linear ODE numerically. This approach to evaluate numerically definite integrals is called the holonomic gradient method (HGM) and it is useful to evaluate several normalizing constants in statistics. We will discuss and compare methods to solve linear ODE's to evaluate normalizing constants. △ Less

Submitted 14 August, 2023; v1 submitted 21 November, 2021; originally announced November 2021.

Comments: 21 pages

MSC Class: 62-8; 62E17; 65L04

Algebraic algorithm for direct sampling from toric models

Authors: Shuhei Mano, Nobuki Takayama

Abstract: We show that Pfaffians or contiguity relations of hypergeometric functions of several variables give a direct sampling algorithm from toric models in statistics, which is a Markov chain on a lattice generated by a matrix $A$. A correspondence among graphical toric models and $A$-hypergeometric system is discussed and we give a sum formula of special values of $A$-hypergeometric polynomials. Some h… ▽ More We show that Pfaffians or contiguity relations of hypergeometric functions of several variables give a direct sampling algorithm from toric models in statistics, which is a Markov chain on a lattice generated by a matrix $A$. A correspondence among graphical toric models and $A$-hypergeometric system is discussed and we give a sum formula of special values of $A$-hypergeometric polynomials. Some hypergeometric series which are interesting in view of statistics are presented. △ Less

Submitted 28 October, 2021; originally announced October 2021.

Comments: 40 pages, 2 figures

Fast evaluation of some p-adic transcendental functions

Authors: Xavier Caruso, Marc Mezzarobba, Nobuki Takayama, Tristan Vaccon

Abstract: We design algorithms for computing values of many p-adic elementary and special functions, including logarithms, exponentials, polylogarithms, and hypergeometric functions. All our algorithms feature a quasi-linear complexity with respect to the target precision and most of them are based on an adaptation to the-adic setting of the binary splitting and bit-burst strategies. We design algorithms for computing values of many p-adic elementary and special functions, including logarithms, exponentials, polylogarithms, and hypergeometric functions. All our algorithms feature a quasi-linear complexity with respect to the target precision and most of them are based on an adaptation to the-adic setting of the binary splitting and bit-burst strategies. △ Less

Submitted 17 June, 2021; originally announced June 2021.

An algorithm of computing cohomology intersection number of hypergeometric integrals

Authors: Saiei-Jaeyeong Matsubara-Heo, Nobuki Takayama

Abstract: We show that the cohomology intersection number of a twisted Gauss-Manin connection with regularization condition is a rational function. As an application, we obtain a new quadratic relation associated to period integrals of a certain family of K3 surfaces. We show that the cohomology intersection number of a twisted Gauss-Manin connection with regularization condition is a rational function. As an application, we obtain a new quadratic relation associated to period integrals of a certain family of K3 surfaces. △ Less

Submitted 3 March, 2021; v1 submitted 2 April, 2019; originally announced April 2019.

Comments: 16 pages, final version, to appear in Nagoya Mathematical Journal

Computation of the Expected Euler Characteristic for the Largest Eigenvalue of a Real Non-central Wishart Matrix

Authors: Nobuki Takayama, Lin Jiu, Satoshi Kuriki, Yi Zhang

Abstract: We give an approximate formula for the distribution of the largest eigenvalue of real Wishart matrices by the expected Euler characteristic method for the general dimension. The formula is expressed in terms of a definite integral with parameters. We derive a differential equation satisfied by the integral for the $2 \times 2$ matrix case and perform a numerical analysis of it. We give an approximate formula for the distribution of the largest eigenvalue of real Wishart matrices by the expected Euler characteristic method for the general dimension. The formula is expressed in terms of a definite integral with parameters. We derive a differential equation satisfied by the integral for the $2 \times 2$ matrix case and perform a numerical analysis of it. △ Less

Submitted 21 May, 2020; v1 submitted 24 March, 2019; originally announced March 2019.

Holonomic Gradient Method for Two Way Contingency Tables

Authors: Yoshihito Tachibana, Yoshiaki Goto, Tamio Koyama, Nobuki Takayama

Abstract: The holonomic gradient method gives an algorithm to efficiently and accurately evaluate normalizing constants and their derivatives. We apply the holonomic gradient method in the case of the conditional Poisson or multinomial distribution on two way contingency tables. We utilize the modular method in computer algebra for an efficient and exact evaluation, and we discuss on complexities of these a… ▽ More The holonomic gradient method gives an algorithm to efficiently and accurately evaluate normalizing constants and their derivatives. We apply the holonomic gradient method in the case of the conditional Poisson or multinomial distribution on two way contingency tables. We utilize the modular method in computer algebra for an efficient and exact evaluation, and we discuss on complexities of these algorithms and their implementation. We also discuss on a theoretical aspect of the distribution from the viewpoint of the conditional maximum likelihood estimation. △ Less

Submitted 5 July, 2019; v1 submitted 12 March, 2018; originally announced March 2018.

Comments: 30 papges, 4 figures

MSC Class: 33C90; 65Q10; 62B05; 62H17

Journal ref: Alg. Stat. 11 (2020) 125-153

Holonomic Gradient Method-Based CDF Evaluation for the Largest Eigenvalue of a Complex Noncentral Wishart Matrix

Authors: Fadil Habibi Danufane, Katsuyoshi Ohara, Nobuki Takayama, Constantin Siriteanu

Abstract: The outage probability of maximal-ratio combining (MRC) for a multiple-input multiple-output (MIMO) wireless communications system under Rician fading is given by the cumulative distribution function (CDF) for the largest eigenvalue of a complex noncentral Wishart matrix. This CDF has previously been expressed as a determinant whose elements are integrals of a confluent hypergeometric function. Fo… ▽ More The outage probability of maximal-ratio combining (MRC) for a multiple-input multiple-output (MIMO) wireless communications system under Rician fading is given by the cumulative distribution function (CDF) for the largest eigenvalue of a complex noncentral Wishart matrix. This CDF has previously been expressed as a determinant whose elements are integrals of a confluent hypergeometric function. For the determinant elements, conventional evaluation approaches, e.g., truncation of infinite series ensuing from the hypergeometric function or numerical integration, can be unreliable and slow even for moderate antenna numbers and Rician $ K $-factor values. Therefore, herein, we derive by hand and by computer algebra also differential equations that are then solved from initial conditions computed by conventional approaches. This is the holonomic gradient method (HGM). Previous HGM-based evaluations of MIMO relied on differential equations that were not theoretically guaranteed to converge, and, thus, yielded reliable results only for few antennas or moderate $ K $. Herein, we reveal that gauge transformations can yield differential equations that are {\emph{stabile}}, i.e., guarantee HGM convergence. The ensuing HGM-based CDF evaluation is demonstrated reliable, accurate, and expeditious in computing the MRC outage probability even for very large antenna numbers and values of $ K $. △ Less

Submitted 30 April, 2018; v1 submitted 9 July, 2017; originally announced July 2017.

Distribution of ratio of two Wishart matrices and evaluation of cumulative probability by holonomic gradient method

Authors: Hiroki Hashiguchi, Nobuki Takayama, Akimichi Takemura

Abstract: We study the distribution of the ratio of two central Wishart matrices with different covariance matrices. We first derive the density function of a particular matrix form of the ratio and show that its cumulative distribution function can be expressed in terms of the hypergeometric function 2F1 of a matrix argument. Then we apply the holonomic gradient method for numerical evaluation of the hyper… ▽ More We study the distribution of the ratio of two central Wishart matrices with different covariance matrices. We first derive the density function of a particular matrix form of the ratio and show that its cumulative distribution function can be expressed in terms of the hypergeometric function 2F1 of a matrix argument. Then we apply the holonomic gradient method for numerical evaluation of the hypergeometric function. This approach enables us to compute the power function of Roy's maximum root test for testing the equality of two covariance matrices. △ Less

Submitted 28 October, 2016; originally announced October 2016.

MSC Class: 62H10; 13N10

Journal ref: Journal of Multivariate Analysis 165 (2018) 270-278

$A$-Hypergeometric Distributions and Newton Polytopes

Authors: Nobuki Takayama, Satoshi Kuriki, Akimichi Takemura

Abstract: We give a bijection between a quotient space of the parameters and the space of moments for any $A$-hypergeometric distribution. An algorithmic method to compute the inverse image of the map is proposed utilizing the holonomic gradient method and an asymptotic equivalence of the map and the iterative proportional scaling. The algorithm gives a method to solve a conditional maximum likelihood estim… ▽ More We give a bijection between a quotient space of the parameters and the space of moments for any $A$-hypergeometric distribution. An algorithmic method to compute the inverse image of the map is proposed utilizing the holonomic gradient method and an asymptotic equivalence of the map and the iterative proportional scaling. The algorithm gives a method to solve a conditional maximum likelihood estimation problem in statistics. Our interplay between the theory of hypergeometric functions and statistics gives some new formulas of $A$-hypergeometric polynomials. △ Less

Submitted 11 November, 2015; v1 submitted 8 October, 2015; originally announced October 2015.

MSC Class: 33C65; 33C90; 62H12; 62H17

Pfaffian Systems of A-Hypergeometric Systems II --- Holonomic Gradient Method

Authors: Katsuyoshi Ohara, Nobuki Takayama

Abstract: We give two efficient methods to derive Pfaffian systems for A-hypergeometric systems for the application to the holonomic gradient method for statistics. We utilize the Hilbert driven Buchberger algorithm and Macaulay type matrices in the two methods. We give two efficient methods to derive Pfaffian systems for A-hypergeometric systems for the application to the holonomic gradient method for statistics. We utilize the Hilbert driven Buchberger algorithm and Macaulay type matrices in the two methods. △ Less

Submitted 12 May, 2015; originally announced May 2015.

Pfaffian Systems of A-Hypergeometric Equations I: Bases of Twisted Cohomology Groups

Authors: Takayuki Hibi, Kenta Nishiyama, Nobuki Takayama

Abstract: This is the third revision. We study bases of Pfaffian systems for $A$-hypergeometric system. Gröbner deformations give bases. These bases also give those for twisted cohomology groups. For hypergeometric system associated to a class of order polytopes, these bases have a combinatorial description. The size of the bases associated to a subclass of the order polytopes have the growth rate of the po… ▽ More This is the third revision. We study bases of Pfaffian systems for $A$-hypergeometric system. Gröbner deformations give bases. These bases also give those for twisted cohomology groups. For hypergeometric system associated to a class of order polytopes, these bases have a combinatorial description. The size of the bases associated to a subclass of the order polytopes have the growth rate of the polynomial order. Bases associated to two chain posets and bouquets are studied. △ Less

Submitted 17 June, 2014; v1 submitted 25 December, 2012; originally announced December 2012.

Irregular Modified $A$-Hypergeometric Systems

Authors: Francisco-Jesus Castro-Jimenez, Maria-Cruz Fernandez-Fernandez, Tatsuya Koike, Nobuki Takayama

Abstract: A modified $A$-hypergeometric system is a system of differential equations for the function $f(t^w \cdot x)$ where $f(y)$ is a solution of an $A$-hypergeometric system in $n$ variables and $w$ is an $n$ dimensional integer vector, which is called the weight vector. We study the irregularity of modified systems by adapting to this case the notion of umbrella introduced by M. Schulze and U. Walther.… ▽ More A modified $A$-hypergeometric system is a system of differential equations for the function $f(t^w \cdot x)$ where $f(y)$ is a solution of an $A$-hypergeometric system in $n$ variables and $w$ is an $n$ dimensional integer vector, which is called the weight vector. We study the irregularity of modified systems by adapting to this case the notion of umbrella introduced by M. Schulze and U. Walther. Especially, we study slopes and Gevrey series solutions. We develop some applications of this study. Under some conditions we give Laplace integral representations of divergent series solutions of the modified system and we show that certain Gevrey series solutions of the original $A$-hypergeometric system along coordinate varieties are Gevrey asymptotic expansions of holomorphic solutions of the $A$-hypergeometric system. △ Less

Submitted 3 July, 2013; v1 submitted 6 July, 2012; originally announced July 2012.

Comments: 39 pages, 3 figures. Proposition 5 is corrected (previous version of this proposition wasn't true without the new additional condition, as proved by Example 8). Theorem 9 added. Some corrected typos

MSC Class: 33C70

Journal ref: Trans. Amer. Math. Soc. 367 (2015), 5415-5445

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 method for the distribution function of the largest root of a Wishart matrix

Authors: Hiroki Hashiguchi, Yasuhide Numata, Nobuki Takayama, Akimichi Takemura

Abstract: 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 off… ▽ More 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. △ Less

Submitted 20 January, 2013; v1 submitted 2 January, 2012; originally announced January 2012.

MSC Class: 62H10; 13N10

Journal ref: Journal of Multivariate Analysis 117 (2031) 296-312

The singular locus of Lauricella's F_C

Authors: Ryohei Hattori, Nobuki Takayama

Abstract: 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. 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. △ Less

Submitted 30 October, 2011; originally announced October 2011.

Comments: 16 pages

Properties and applications of Fisher distribution on the rotation group

Authors: Tomonari Sei, Hiroki Shibata, Akimichi Takemura, Katsuyoshi Ohara, Nobuki Takayama

Abstract: 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 ide… ▽ More 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. △ Less

Submitted 3 February, 2013; v1 submitted 4 October, 2011; originally announced October 2011.

Comments: 25 pages, 1 figures

Computing Differential Equations for Integrals Associated to Smooth Fano Polytopes

Authors: Hiromasa Nakayama, Nobuki Takayama

Abstract: 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 stop** 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… ▽ More 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 stop** 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 stop** condition of the approximate algorithm. △ Less

Submitted 24 December, 2010; originally announced December 2010.

Comments: 13 pages

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

Incomplete A-Hypergeometric Systems

Authors: Kenta Nishiyama, Nobuki Takayama

Abstract: 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-hyperge… ▽ More 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. △ Less

Submitted 1 September, 2011; v1 submitted 4 July, 2009; originally announced July 2009.

Comments: 18 pages, 2 figures

MSC Class: 33C70

Solutions of Polynomial Systems Derived from the Steady Cavity Flow Problem

Authors: Martin Mevissen, Kosuke Yokoyama, Nobuki Takayama

Abstract: 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… ▽ More 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. △ Less

Submitted 13 November, 2008; originally announced November 2008.

Comments: 27 pages

MSC Class: 65H10; 65N06; 90C26; 90C22

The Computation of the Logarithmic Cohomology for Plane Curves

Authors: Francisco Jesus Castro-Jimenez, Nobuki Takayama

Abstract: We give algorithms of computing bases of logarithmic cohomology groups for square-free polynomials in two variables. (Fixed typos of v1) We give algorithms of computing bases of logarithmic cohomology groups for square-free polynomials in two variables. (Fixed typos of v1) △ Less

Submitted 20 January, 2008; v1 submitted 30 November, 2007; originally announced December 2007.

Comments: 19 pages

MSC Class: 14F43; 14F40; 13N10

Modified A-hypergeometric Systems

Authors: Nobuki Takayama

Abstract: 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 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". △ Less

Submitted 20 January, 2008; v1 submitted 30 June, 2007; originally announced July 2007.

Comments: 8 pages

MSC Class: 33C70

Holonomic rank of A-hypergeometric differential-difference equations

Authors: Katsuyoshi Ohara, Nobuki Takayama

Abstract: 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. 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. △ Less

Submitted 18 June, 2007; originally announced June 2007.

Comments: 16 pages

MSC Class: 33C70; 33C10; 39A99

Local Gröbner fan: polyhedral and computational approach

Authors: Rouchdi Bahloul, Nobuki Takayama

Abstract: 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 conv… ▽ More 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. △ Less

Submitted 16 October, 2006; v1 submitted 2 December, 2004; originally announced December 2004.

Comments: 34 pages, 2 figures. Version 2: mainly, we corrected the definition of the Newton polyhedron in 3.3

An Algorithm of Constructing Cohomological Series Solutions of Holonomic Systems

Authors: Nobuki Takayama

Abstract: 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 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). △ Less

Submitted 30 March, 2004; v1 submitted 23 September, 2003; originally announced September 2003.

Journal ref: Journal of Japan Society for Symbolic and Algebraic Computation, vol10, 2004

Slopes of a Hypergeometric System Associated to a Monomial Curve

Authors: F. J. Castro-Jimenez, N. Takayama

Abstract: We compute, by D-module restrictions, the slopes of irregular hypergeometric systems associated to a monomial curve. We compute, by D-module restrictions, the slopes of irregular hypergeometric systems associated to a monomial curve. △ Less

Submitted 6 July, 2001; originally announced July 2001.

Comments: 2 Postscript figures

MSC Class: 32C38; 13N10; 13P10

Study on the family of K3 surfaces induced from the lattice $(D_4)^3 \oplus < -2 > \oplus < 2 >

Authors: K Koike, H Shiga, N Takayama, T Tsutsui

Abstract: Let us consider the rank 14 lattice $P=D_4^3\oplus < -2> \oplus < 2>$. We define a K3 surface S of type P with the property that $P\subset {\rm Pic}(S) $, where ${\rm Pic}(S) $ indicates the Picard lattice of S. In this article we study the family of K3 surfaces of type P with a certain fixed multipolarization. We note the orthogonal complement of P in the K3 lattice takes the form… ▽ More Let us consider the rank 14 lattice $P=D_4^3\oplus < -2> \oplus < 2>$. We define a K3 surface S of type P with the property that $P\subset {\rm Pic}(S) $, where ${\rm Pic}(S) $ indicates the Picard lattice of S. In this article we study the family of K3 surfaces of type P with a certain fixed multipolarization. We note the orthogonal complement of P in the K3 lattice takes the form $$ U(2)\oplus U(2)\oplus (-2I_4). $$ We show the following results: \item{(1)} A K3 surface of type P has a representation as a double cover over ${\bf P}^1\times {\bf P}^1$ as the following affine form in (s,t,w) space: $$ S=S(x): w^2=\prod_{k=1}^4 (x_{1}^{(k)}st+x_{2}^{(k)}s+x_{3}^{(k)}t+x_{4}^{(k)}), \ x_k=\pmatrix{x_{1}^{(k)}&x_{2}^{(k)}\cr x_{3}^{(k)}&x_{4}^{(k)}} \in M(2,{\bf C}). $$ We make explicit description of the Picard lattice and the transcendental lattice of S(x). \item{(2)} We describe the period domain for our family of marked K3 surfaces and determine the modular group. \par \noindent \item{(3)} We describe the differential equation for the period integral of S(x) as a function of $x\in (GL(2,{\bf C}))^4$. That bocomes to be a certain kind of hypergeometric one. We determine the rank, the singular locus and the monodromy group for it. \par \noindent \item{(4)} It appears a family of 8 dimensional abelian varieties as the family of Kuga-Satake varieties for our K3 surfaces. The abelian variety is characterized by the property that the endomorphism algebra contains the Hamilton quarternion field over ${\bf Q}$. △ Less

Submitted 23 March, 2000; originally announced March 2000.

Comments: 26 pages, 12 figures

MSC Class: 14J28; 33C70; 14K99

Polynomial and rational solutions of holonomic systems

Authors: T. Oaku, N. Takayama, H. Tsai

Abstract: The aim of this paper is to give two new algorithms, which are elimination free, to find polynomial and rational solutions for a given holonomic system associated to a set of linear differential operators in the Weyl algebra D = k<x_1, ..., x_n, dx_1, ..., dx_n> where k is a subfield of the complex numbers. The aim of this paper is to give two new algorithms, which are elimination free, to find polynomial and rational solutions for a given holonomic system associated to a set of linear differential operators in the Weyl algebra D = k<x_1, ..., x_n, dx_1, ..., dx_n> where k is a subfield of the complex numbers. △ Less

Submitted 11 January, 2000; originally announced January 2000.

Comments: 20 pages

MSC Class: 35C05 (Primary); 14Q99; 33F10; 35N10 (Secondary)

A Localization Algorithm for $D$-modules

Authors: Toshinori Oaku, Nobuki Takayama, Uli Walther

Abstract: 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 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. △ Less

Submitted 15 July, 1999; v1 submitted 6 November, 1998; originally announced November 1998.

Comments: 9 pages, amslatex

Algorithms for D-modules --- restriction, tensor product, localization, and local cohomology groups

Authors: Toshinori Oaku, Nobuki Takayama

Abstract: 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 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. △ Less

Submitted 2 May, 1998; originally announced May 1998.

MSC Class: 14F40;14Q99;55N30

An algorithm for de Rham cohomology groups of the complement of an affine variety via D-module computation

Authors: Toshinori Oaku, Nobuki Takayama

Abstract: 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 ge… ▽ More 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. △ Less

Submitted 25 January, 1998; originally announced January 1998.

Comments: 38 pages

MSC Class: 14F40;14Q99;55N30