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

DOI10.1016/J.AAM.2023.102568zbMATH Open1525.11028arXiv2205.11129OpenAlexW4381433495MaRDI QIDQ6170337FDOQ6170337

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

Publication date: 12 July 2023

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

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.

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

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 \)

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)

Cites Work

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

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)