Polynomial reduction for holonomic sequences and applications in -series and congruences

DOI10.1016/J.AAM.2023.102568MaRDI QIDQ6170337zbMATH OpenOpenAlexFDO

Authors Rong-Hua Wang, Michael X. X. Zhong

Publication date 12 July 2023

Published in Advances in Applied Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

congruencepolynomial reductionholonomic sequence\(\pi\)-series

Mathematics Subject Classification ID

Factorials, binomial coefficients, combinatorial functions (05A10) Combinatorial identities, bijective combinatorics (05A19) Special sequences and polynomials (11B83) Binomial coefficients; factorials; (q)-identities (11B65) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Abstract: Polynomial reduction, designed first for hypergeometric terms, can be used to automatically prove and generate new hypergeometric identities from old ones. In this paper, we extend the reduction method to holonomic sequences. As applications, we describe an algorithmic way to prove and generate new multi-summation identities. Especially we present new families of $pi$-series involving Domb numbers and Franel numbers.

Recommendations

• \(q\)-rational reduction and \(q\)-analogues of series for \(\pi\)
• Polynomial reduction and supercongruences
• An extension of Zeilberger's fast algorithm to general holonomic functions
• Power-partible reduction and congruences for Apéry numbers
• Holonomic alchemy and series for \(1/\pi \)

Cites work

• scientific article; zbMATH DE number 1254263 (Why is no real title available?)
• scientific article; zbMATH DE number 7730645 (Why is no real title available?)
• A fast algorithm for proving terminating hypergeometric identities
• A holonomic systems approach to special functions identities
• A modified Abramov-Petkovsek reduction and creative telescoping for hypergeometric terms
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• Complexity of creative telescoping for bivariate rational functions
• Computing periods of rational integrals
• Congruences and telescopings of \(P\)-recursive sequences
• Congruences for Franel numbers
• Constructing minimal telescopers for rational functions in three discrete variables
• Constructing reductions for creative telescoping. The general differentially finite case
• Creative telescoping for rational functions using the Griffiths-Dwork method
• Divisibility results on Franel numbers and related polynomials
• Domb's numbers and Ramanujan-Sato type series for \(1/\pi\)
• Existence problem of telescopers for rational functions in three variables. The mixed cases
• Existence problem of telescopers: beyond the bivariate case
• Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions
• Gosper summability of rational multiples of hypergeometric terms
• Integration of solutions of linear functional equations
• Level 10 analogues of Ramanujan's series for \(1/\pi\)
• Minimal decomposition of indefinite hypergeometric sums
• New Bounds for Hypergeometric Creative Telescoping
• New \(_{5}F_{4}\) hypergeometric transformations, three-variable Mahler measures, and formulas for \(1/ \pi \)
• New analogues of Clausen's identities arising from the theory of modular forms
• On the existence of telescopers for mixed hypergeometric terms
• Polynomial reduction and supercongruences
• Proof of two conjectures of Sun on congruences for Franel numbers
• Rational normal forms and minimal decompositions of hypergeometric terms
• Rational solutions of linear differential and difference equations with polynomial coefficients
• Reduction-based creative telescoping for Fuchsian D-finite functions
• Reduction-based creative telescoping for algebraic functions
• The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
• The method of creative telescoping
• The rational component of the solution of a first-order linear recurrence relation with a rational right side
• \(q\)-rational reduction and \(q\)-analogues of series for \(\pi\)

Cited in

(3)

• Power-partible reduction and congruences for Schröder polynomials
• Reduction for congruences of partial sums of P-recursive sequences
• Power-partible reduction and congruences for Apéry numbers

This page was built for publication: Polynomial reduction for holonomic sequences and applications in \(\pi\)-series and congruences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6170337)