Gaussian Hypergeometric series and supercongruences

DOI10.1090/S0025-5718-08-02118-2zbMath1209.11049arXivmath/0610281MaRDI QIDQ3055094

Robert Osburn, Carsten Schneider

Publication date: 7 November 2010

Published in: Mathematics of Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0610281

zbMATH Keywords

symbolic computationbinomial coefficientssupercongruenceshypergeometric series over finite fieldsgeneralized harmonic sums

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Other analytic theory (analogues of beta and gamma functions, (p)-adic integration, etc.) (11S80) Congruences for modular and (p)-adic modular forms (11F33) Special functions in characteristic (p) (gamma functions, etc.) (33E50) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items

Harmonic number identities via hypergeometric series and Bell polynomials ⋮ Proof of two conjectural supercongruences involving Catalan-Larcombe-French numbers ⋮ Edwards curves and Gaussian hypergeometric series ⋮ On Van Hamme's (A.2) and (H.2) supercongruences ⋮ On the period mod $m$ of polynomially-recursive sequences: a case study ⋮ Finite Mixed Sums wih Harmonic Terms ⋮ Algebraic independence of sequences generated by (cyclotomic) harmonic sums ⋮ A local-global theorem for \(p\)-adic supercongruences ⋮ Iterated binomial sums and their associated iterated integrals ⋮ A new series for π³and related congruences ⋮ Riordan arrays and harmonic number identities ⋮ Super congruences and Euler numbers ⋮ Transformations for Appell series over finite fields and traces of Frobenius for elliptic curves ⋮ Values of Gaussian hypergeometric series and their connections to algebraic curves ⋮ On two congruences involving Franel numbers ⋮ \(p\)-adic congruences motivated by series ⋮ A modular supercongruence for _6F_5: An Apéry-like story ⋮ Euler-related sums ⋮ On two congruences involving Apéry and Franel numbers ⋮ Polynomial reduction and supercongruences ⋮ A supercongruence motivated by the Legendre family of elliptic curves ⋮ A refined difference field theory for symbolic summation ⋮ Semi-automated proof of supercongruences on partial sums of hypergeometric series ⋮ On the divisibility of some truncated hypergeometric series ⋮ A difference ring theory for symbolic summation ⋮ Congruences corresponding to hypergeometric identities. I: \(_2F_1\) transformations ⋮ Congruences and telescopings of P-recursive sequences ⋮ Congruences for generalized Apéry numbers and Gaussian hypergeometric series ⋮ On an extension of a Van Hamme supercongruence ⋮ Harmonic number identities via the Newton-Andrews method ⋮ Hypergeometric functions over finite fields ⋮ Supercongruences on some binomial sums involving Lucas sequences ⋮ Supercongruences for sporadic sequences ⋮ Sequences, modular forms and cellular integrals ⋮ Another proof of a supercongruence conjecture of Z.-W. Sun ⋮ CONGRUENCES FOR TRUNCATED HYPERGEOMETRIC SERIES ⋮ Supercongruences concerning truncated hypergeometric series ⋮ Simplifying Multiple Sums in Difference Fields ⋮ Symbolic summation methods and congruences involving harmonic numbers ⋮ On the divisibility of the truncated hypergeometric function \({}_3F_2\) ⋮ On two supercongruences involving Almkvist-Zudilin sequences ⋮ A family of shifted harmonic sums

Uses Software

• SIGMA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation
• A \(p\)-adic analogue of a formula of Ramanujan
• Theory of summation in finite terms
• On the mod \(p^2\) determination of \(\binom{(p-1)/2}{(p-1)/4}\)
• Identities for products of Gauss sums over finite fields
• The method of creative telescoping
• Gauss sums and the p-adic \(\Gamma\)-function
• A binomial coefficient identity associated to a conjecture of Beukers
• Computer proofs of a new family of harmonic number identities.
• Hypergeometric functions over finite fields.
• The number of rhombus tilings of a symmetric hexagon which contain a fixed rhombus on the symmetry axis. II
• A supercongruence conjecture of Rodriguez-Villegas for a certain truncated hypergeometric function.
• The enumeration of totally symmetric plane partitions
• Orthogonal matrices obtained from hypergeometric series over finite fields and elliptic curves over finite fields
• Plane partitions. VI: Stembridge's TSPP theorem
• Symbolic summation assists combinatorics
• An extension of the Apéry number supercongruence
• Hypergeometric Functions Over Finite Fields
• Summation in Finite Terms
• Applications of Basic Hypergeometric Functions
• Values of Gaussian hypergeometric series
• Hypergeometric functions over an arbitrary field
• Supercongruences between truncated $_{2}F_{1}$ hypergeometric functions and their Gaussian analogs
• Supercongruences for truncated _{𝑛+1}𝐹_{𝑛} hypergeometric series with applications to certain weight three newforms
• A Gaussian hypergeometric series evaluation and Apéry number congruences
• Human proofs of identities by Osburn and Schneider
• p-ADIC AND COMBINATORIAL PROPERTIES OF MODULAR FORM COEFFICIENTS
• On a conjecture of hasse concerning multiplicative relations of Gaussian sums
• A formula and a congruence for Ramanujan’s 𝜏-function