This is the third revision. We study bases of Pfaffian systems for $A$-hypergeometric system. Grobner 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.
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 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.
The Cholesky factorization of the moment matrix is applied to discrete orthogonal polynomials on the homogeneous lattice. In particular, semiclassical discrete orthogonal polynomials, which are built in terms of a discrete Pearson equation, are studied. The Laguerre-Freud structure semi-infinite matrix that models the shifts by $pm 1$ in the independent variable of the set of orthogonal polynomials is introduced. In the semiclassical case it is proven that this Laguerre-Freud matrix is banded. From the well known fact that moments of the semiclassical weights are logarithmic derivatives of generalized hypergeometric functions, it is shown how the contiguous relations for these hypergeometric functions translate as symmetries for the corresponding moment matrix. It is found that the 3D Nijhoff-Capel discrete Toda lattice describes the corresponding contiguous shifts for the squared norms of the orthogonal polynomials. The continuous Toda for these semiclassical discrete orthogonal polynomials is discussed and the compatibility equations are derived. It also shown that the Kadomtesev-Petvishvilii equation is connected to an adequate deformed semiclassical discrete weight, but in this case the deformation do not satisfy a Pearson equation.
Here we present some compliments to theorems of Gerard and Sibuya, on the convergence of multivariate formal power series solutions of nonlinear meromorphic Pfaffian systems. Their the most known results concern completely integrable systems with nondegenerate linear parts, whereas we consider some cases of non-integrability and degeneracy.
HYPERDIRE is a project devoted to the creation of a set of Mathematica-based programs for the differential reduction of hypergeometric functions. The current version allows for manipulations involving the full set of Horn-type hypergeometric functions of two variables, including 30 functions.