Related papers: Short Proofs of Summation and Transformation Formu…
The virtual Betti number conjecture states that any hyperbolic three-manifold has a finite cover with positive first Betti number. We show that this would follow if it were known that the derived series of the fundamental group $G$ of a…
We prove some weighted sum formulas for half multiple zeta values, half finite multiple zeta values, and half symmetric multiple zeta values. The key point of our proof is Dougall's identity for the generalized hypergeometric function…
The beta integral method proved itself as a simple nonetheless powerful method of generating hypergeometric identities at a fixed argument. In this paper we propose a generalization by substituting the beta density with a particular type of…
We present two general finite extensions for each of the two Rogers-Ramanujan identities. Of these one can be derived directly from Watson's transformation formula by specialization or through Bailey's method, the second similar formula can…
Recently, Kajihara gave a Bailey-type transformation relating basic hypergeometric series on the root system An, with different dimensions n. We give, with a new, elementary, proof, an elliptic analogue of this transformation. We also…
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…
By systematically applying ten well-known and inequivalent two-part relations between hypergeometric sums 3F2(...|1) to the published database of all such sums, 62 new sums are obtained. The existing literature is summarized, and many…
Sequences that are defined by multisums of hypergeometric terms with compact support occur frequently in enumeration problems of combinatorics, algebraic geometry and perturbative quantum field theory. The standard recipe to study the…
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 examine hypergeometric functions in the finite field, p-adic and classical settings. In each setting, we prove a formula which splits the hypergeometric function into a sum of lower order functions whose arguments differ by roots of…
We prove a number of new Rogers-Ramanujan type identities involving double, triple and quadruple sums. They were discovered after an extensive search using Maple. The main idea of proofs is to reduce them to some known identities in the…
In this note, we firstly establish an extended Gauss's summation identity. Using this identity, we compute values of a family of $_4F_3$ hypergeometric functions, which generalize the results obtained by Ferretti et al..
The main result of the present paper is the construction of fundamental solutions for a class of multidimensional elliptic equations with several singular coefficients. These fundamental solutions are directly connected with multiple…
We present an understandable, efficient, and streamlined proof of the Holonomy Decomposition for finite transformation semigroups and automata. This constructive proof closely follows the existing computational implementation. Its novelty…
We state and prove three general formulas allowing to transform formal finite sums into formal continued fractions and apply them to generalize certain expansions in continued fractions given by Hone and Varona.
An elementary proof is given for a nonterminating "strange" cubic $_7F_6$-series summation formula of Gasper and Rahman, through the modified Abel lemma on summation by parts. As a byproduct, an interesting nonterminating…
An infinite summation formula of Hall-Littlewood polynomials due to Kawanaka is generalized to a finite summation formula, which implies, as applications, twelve multiple q-identities of Rogers-Ramanujan type.
A general formula for bound-continuous transition form factors is derived. It is shown that these form factors can be represented in the form of finite sum of terms with simple analytical structure.
We construct standard resolutions for analytic local modules on complex hypersurfaces using standard basis methods, with extensions to complete intersections. The algebraic version over arbitrary infinite fields is also suggested.…
We prove and generalize some recent conjectures of Z.-W. Sun on infinite series whose summands involve products of harmonic numbers and several binomial coefficients. We evaluate various classes of infinite sums in closed form by…