Related papers: Pfaff's Method Revisited
We show how the Fourier transform of a shape in any number of dimensions can be simplified using Gauss's law and evaluated explicitly for polygons in two dimensions, polyhedra three dimensions, etc. We also show how this combination of…
In 2017, He [Proc. Amer. Math. Soc. 145 (2017), 501--508] established two spuercongruences on truncated hypergeometric series and further proposed two related conjectures. Subsequently, Liu [Results Math. 72 (2017), 2057--2066] extended…
Using an identity due to Gessel and Stanton and some properties of the $p$-adic Gamma function, we establish a $p$-adic supercongruence for truncated hypergeometric series ${}_7F_6$. From it we deduce some related supercongruences, which…
The initial purpose of this paper is to provide a combinatorial proof of the minor summation formula of Pfaffians based on the lattice path method. There we related Pl\"ucker relations with the minor summation formula of Pfaffians to…
In recent years, Karr's difference field theory has been extended to the so-called $R\Pi\Sigma$-extensions in which one can represent not only indefinite nested sums and products that can be expressed by transcendental ring extensions, but…
In 1888, Hilbert proved that every nonnegative quartic form $f=f(x,y,z)$ with real coefficients is a sum of three squares of quadratic forms. His proof was ahead of its time and used advanced methods from topology and algebraic geometry. In…
Fischer provided a new type of binomial determinant for the number of alternating sign matrices involving the third root of unity. In this paper we prove that her formula, when replacing the third root of unity by an indeterminate $q$, is…
In the previous paper (J. Combin. Theory Ser. A, 120, 2013, 1263--1284) H. Tagawa and the two authors proposed an algebraic method to compute certain Pfaffians whose form resemble to Hankel determinants associated with moment sequences of…
We define transgressions of arbitrary order, with respect to families of unit-vector fields indexed by a polytope, for the Pfaffian of metric connections for semi-Riemannian metrics on vector bundles. We apply this formula to compute the…
We prove a general quadratic formula for basic hypergeometric series, from which simple proofs of several recent determinant and Pfaffian formulas are obtained. A special case of the quadratic formula is actually related to a Gram…
We present recent computer algebra methods that support the calculations of (multivariate) series solutions for (certain coupled systems of partial) linear differential equations. The summand of the series solutions may be built by…
Several new identities for elliptic hypergeometric series are proved. Remarkably, some of these are elliptic analogues of identities for basic hypergeometric series that are balanced but not very-well-poised.
Let $F(n,k)$ be a hypergeometric function that may be expressed so that $n$ appears within initial arguments of inverted Pochhammer symbols, as in factors of the form $\frac{1}{(n)_{k}}$. Only in exceptional cases is $F(n, k)$ such that…
Building on the developments of many people including Evans, Greene, Katz, McCarthy, Ono, Roberts, and Rodriguez-Villegas, we consider period functions for hypergeometric type algebraic varieties over finite fields and consequently study…
We prove supercongruences modulo $p^2$ for values of truncated hypergeometric series at some special points. The parameters of the hypergeometric series are $d$ copies of $1/2$ and $d$ copies of $1$ for any integer $d\ge2$.
A proof of an unusual summation formula for a basic hypergeometric series associated to the affine root system $\tilde A_n$ that was conjectured by Warnaar is given. It makes use of Milne's $A_n$ extension of Watson's transformation,…
In this note, we present a probabilistic proof of the well-known finite geometric series. The proof follows by taking the moments of the sum and the difference of two independent exponentially distributed random variables.
The main goal of this paper is to derive a number of identities for the generalized hypergeometric function evaluated at unity and for certain terminating multivariate hypergeometric functions from the symmetries and other properties of…
Using integration by parts relations, Feynman integrals can be represented in terms of coupled systems of differential equations. In the following we suppose that the unknown Feynman integrals can be given in power series representations,…
A complete characterization of two functions $f(x,y)$ and $g(x,y)$ in the $(f,g)$-inversion is presented. As an application to the theory of hypergeometric series, a general bibasic summation formula determined by $f(x,y)$ and $g(x,y)$ as…