Wilf-Zeilberger seeds and non-trivial hypergeometric identities

Kam Cheong Au

2024-10-10

Abstract:Through a systematic approach on generating Wilf-Zeilberger-pairs, we prove some hypergeometric identities conjectures due to Z.W. Sun, J. Guillera and Y. Zhao etc., including two Ramanujan-$1/\pi^4$, one $1/\pi^3$ formulas as well as a remarkable series for $\zeta(5)$.

Combinatorics,Classical Analysis and ODEs,Number Theory

What problem does this paper attempt to address?

Multiple zeta values, WZ-pairs and infinite sums computations

Kam Cheong Au

2023-10-04

Abstract:We combine the powerful method of Wilf-Zeilberger pairs with systematic theory of multiple zeta values to prove a large number of series identities due to Z.W. Sun, many of them have been long standing conjectures.

Number Theory,Combinatorics
Wilf-Zeilberger seeds: $q$-analogues

Kam Cheong Au

2024-03-07

Abstract:We point out a correspondence between many classical and $q$-hypergeometric Wilf-Zeilberger seeds, it enables us to find $q$-analogues of many classical hypergeometric series identities, and offers a conceptual explanation to why such $q$-analogue should exist.

Combinatorics,Classical Analysis and ODEs,Number Theory
How to generate all possible rational Wilf-Zeilberger forms?

Shaoshi Chen,Christoph Koutschan,Yisen Wang

2024-05-04

Abstract:Wilf-Zeilberger pairs are fundamental in the algorithmic theory of Wilf and Zeilberger for computer-generated proofs of combinatorial identities. Wilf-Zeilberger forms are their high-dimensional generalizations, which can be used for proving and discovering convergence acceleration formulas. This paper presents a structural description of all possible rational such forms, which can be viewed as an additive analog of the classical Ore-Sato theorem. Based on this analog, we show a structural decomposition of so-called multivariate hyperarithmetic terms, which extend multivariate hypergeometric terms to the additive setting.

Symbolic Computation
$p$-adic analogues of two ${}_4F_3$ hypergeometric identities and their applications

Wang Chen,Sun Zhi-Wei

2019-01-01

Abstract: In this paper, we mainly study the congruence properties of the following truncated hypergeometric series $$ {}_4F_3\bigg[\begin{matrix}\alpha&1+\frac{\alpha}{2}&\alpha&\alpha\\ &\frac{\alpha}{2}&1&1\end{matrix}\bigg|\ \lambda\bigg]_{p-1}, $$ where $p$ is an odd prime, $\lambda=\pm1$ and $\alpha\in\mathbb{Z}_p^{\times}$. For example, for $\lambda=-1$ we obtain $$ {}_4F_3\bigg[\begin{matrix}\alpha&1+\frac{\alpha}{2}&\alpha&\alpha\\ &\frac{\alpha}{2}&1&1\end{matrix}\bigg|-1\bigg]_{p-1}\equiv\frac{\alpha+\langle-\alpha\rangle_p}{\Gamma_p(1+\alpha)\Gamma_p(1-\alpha)}\pmod{p^3}, $$ where $\langle x\rangle_p$ is the least nonnegative residue of $x$ modulo $p$ and $\Gamma_p$ is the well-known $p$-adic gamma function. As applications, we confirm several conjectures posed by Sun recently; for example, we determine $$\sum_{k=0}^{p-1}(-1)^k(2k+1)\sum_{j=0}^k\binom {-x}j^3\binom{x-1}{k-j}^3$$ modulo $p^2$ for any prime $p>3$ and $p$-adic integer $x$.
Nonterminating Basic Hypergeometric Series and the $q$-Zeilberger Algorithm

William Y.C. Chen,Qing-Hu Hou,Yan-Ping Mu

DOI: https://doi.org/10.48550/arXiv.math/0509281

2005-09-13

Abstract:We present a systematic method for proving nonterminating basic hypergeometric identities. Assume that $k$ is the summation index. By setting a parameter $x$ to $xq^n$, we may find a recurrence relation of the summation by using the $q$-Zeilberger algorithm. This method applies to almost all nonterminating basic hypergeometric summation formulas in the book of Gasper and Rahman. Furthermore, by comparing the recursions and the limit values, we may verify many classical transformation formulas, including the Sears-Carlitz transformation, transformations of the very-well-poised $_8\phi_7$ series, the Rogers-Fine identity, and the limiting case of Watson's formula that implies the Rogers-Ramanujan identities.

Combinatorics
Hypergeometric evaluation identities and supercongruences

Ling Long

DOI: https://doi.org/10.48550/arXiv.0912.0197

2010-12-16

Abstract:In this article, we provide an application of hypergeometric evaluation identities, including a strange valuation of Gosper, to prove several supercongruences related to special valuations of truncated hypergeometric series. In particular, we prove a conjecture of van Hamme.

Number Theory
Proof of Some Conjectural Hypergeometric Supercongruences Via Curious Identities

Chen Wang,Zhi-Wei Sun

DOI: https://doi.org/10.1016/j.jmaa.2021.125575

IF: 1.417

2021-01-01

Journal of Mathematical Analysis and Applications

Abstract:In this paper, we prove several supercongruences conjectured by Z.-W. Sun ten years ago via certain strange hypergeometric identities. For example, for any prime p>3, we show that∑k=0p−1(4k2k+1)(2kk)48k≡0(modp2), and∑k=0p−1(2kk)(3kk)24k≡{((2p−2)/3(p−1)/3)(modp2)ifp≡1(mod3),p/((2p+2)/3(p+1)/3)(modp2)ifp≡2(mod3). We also obtain some other results of such types.
Hypergeometric modular equations

Shaun Cooper,Wadim Zudilin

DOI: https://doi.org/10.1017/S144678871800037X

2016-09-23

Abstract:We record $$ \binom{42}2+\binom{23}2+\binom{13}2=1192 $$ functional identities that, apart from being amazingly amusing by themselves, find applications in derivation of Ramanujan-type formulas for $1/\pi$ and in computation of mathematical constants.

Number Theory,Classical Analysis and ODEs
On some conjectural series containing binomial coefficients and harmonic numbers

Chuanan Wei

2023-06-05

Abstract:Binomial coefficients and harmonic numbers are important in many branches of number theory. With the help of the operator method and several summation and transformation formulas for hypergeometric series, we prove eight conjectural series of Z.-W. Sun containing binomial coefficients and harmonic numbers in this paper.

Combinatorics
Certain extensions of results of Siegel, Wilton and Hardy

Pedro Ribeiro,Semyon Yakubovich

DOI: https://doi.org/10.1016/j.aam.2024.102676

IF: 1.271

2024-05-01

Advances in Applied Mathematics

Abstract:Recently, Dixit et al. [24] established a very elegant generalization of Hardy's theorem concerning the infinitude of zeros that the Riemann zeta function possesses at its critical line. By introducing a general transformation formula for the theta function involving the Bessel and modified Bessel functions of the first kind, we extend their result to a class of Dirichlet series satisfying Hecke's functional equation. In the process, we also find new generalizations of classical identities in Analytic number theory.

mathematics, applied
Proof of some supercongruences via the Wilf-Zeilberger method

Guo-Shuai Mao

DOI: https://doi.org/10.1080/10236198.2020.1854239

2019-09-29

Abstract:In this paper, we prove some supercongruences via the Wilf-Zeilberger method. For instance, for any odd prime $p$ and positive integer $r$ and $\delta\in\{1,2\}$, we have \begin{align*} \sum_{n=0}^{(p^r-1)/\delta} \frac{\left(\frac12\right)^5_n}{n!^5}(10n^2+6n+1)(-4)^n &\equiv\begin{cases}p^{2r}\ \pmod{p^{r+4}} &\tt{if}\ r\leq4, \\0\ \pmod{p^{r+4}} &\tt{if}\ r \geq5. \end{cases} \end{align*}

Number Theory,Combinatorics
On two conjectural series involving Riemann zeta function

Chuanan Wei,Ce Xu

2023-10-07

Abstract:Riemann zeta function is important in a lot of branches of number theory. With the help of the operator method and several transformation formulas for hypergeometric series, we prove four series involving Riemann zeta function. Two of them are series expansions for $\zeta(7)$ and $\zeta(3)^2$ recently conjectured by Z.-W. Sun.

Combinatorics
A binomial coefficient identity associated to a conjecture of Beukers

Scott Ahlgren,Shalosh B. Ekhad,Ken Ono,Doron Zeilberger

DOI: https://doi.org/10.48550/arXiv.math/9806040

1998-06-08

Abstract:A combinatorial identity that was needed in Ahlgren and Ono's proof of a certain congruence conjecture of Frits Beukers is stated, and a pointer to its WZ proof is given.

Combinatorics
On A Pair of Zeta Functions

Zhi-Wei Sun

DOI: https://doi.org/10.1142/s1793042116501396

2016-01-01

International Journal of Number Theory

Abstract:Let [Formula: see text] be a positive integer, and define [Formula: see text] for [Formula: see text], where [Formula: see text] denotes the number of distinct prime factors of [Formula: see text], and [Formula: see text] represents the total number of prime factors of [Formula: see text] (counted with multiplicity). In this paper, we study these two zeta functions and related arithmetical functions. We show that [Formula: see text] which is similar to the known identity [Formula: see text] equivalent to the Prime Number Theorem. For [Formula: see text], we prove that [Formula: see text] We also raise a hypothesis on the parities of [Formula: see text] which implies the Riemann Hypothesis.
Polynomial identities and Fermat quotients

Takao Komatsu,B. Sury

2023-09-18

Abstract:We prove some polynomial identities from which we deduce congruences modulo $p^2$ for the Fermat quotient $\frac{2^p-2}{p}$ for any odd prime $p$ (Proposition 1 and Theorem 1). These congruences are simpler than the one obtained by Jothilingam in 1985 which involves listing quadratic residues in some order. On the way, we also observe some more congruences for the Fermat quotient that generalize Eisenstein's classical congruence. Using such polynomial identities, we obtain some sums involving harmonic numbers. We also prove formulae for binomial sums of harmonic numbers of higher order.

Number Theory
Power series expansion of Wilf function

Feng Qi

2024-07-29

Abstract:In the research, with aid of the Faà di Bruno formula, be virtue of several identities for the Bell polynomials of the second kind, with help of two combinatorial identities, by means of the (logarithmically) complete monotonicity of generating functions of several integer sequences, and in light of the Wronski theorem, the author \begin{enumerate} \item establishes the Taylor power series expansions of several functions involving the inverse (hyperbolic) tangent function; \item finds out the Maclaurin power series expansion of the Wilf function, which is a composite of the inverse tangent, square root, and exponential functions; \item expresses the coefficients in the Maclaurin power series expansion of the Wilf function in terms of the Stirling numbers of the second kind; \item analyzes some properties, including generating functions, limits, positivity, monotonicity, and logarithmic convexity, of the coefficients in the Maclaurin power series expansion of the Wilf function; \item derives a closed-form formula for a sequence of special values of the Gauss hypergeometric function; \item discovers a closed-form formula for a sequence of special values of the Bell polynomials of the second kind; \item presents several infinite series representations of the circular constant and other sequences; \item recovers an asymptotic rational approximation to the circular constant; \item and connects several integer sequences by determinants. \end{enumerate}

Combinatorics,Classical Analysis and ODEs
On various combinatorial sums and related identities

Zhi-Wei Sun

2004-01-01

Abstract:In this talk we give a survey of results and methods on some combinatorial sums involving binomial coefficients and related to Bernoulli and Euler polynomials. We will also talk about certain sums of minima and maxima related to Dedekind sums. Some interesting identities associated with the various sums will also be introduced. 1. A curious identity and the sum ∑ k≡r (mod m) ( n k ) In 1988 Zhi-Wei Sun proved a conjecture of his twin brother Zhi-Hong Sun, later he made a further extension by establishing the following result. Theorem 1.1 [Z. W. Sun, Integers 2(2002)]. Let m ∈ N = {0, 1, 2, . . . }. Then we have the curious identity
Recent progress on congruences involving binomial coefficients

Zhi-Wei Sun

2006-01-01

Abstract:In 1913 A. Fleck proved that if p is a prime, and n > 0 and r are integers then ∑ k≡r (mod p) (n k ) (−1) ≡ 0 ( mod pb(n−1)/(p−1)c ) . Only recently the significance of Fleck’s congruence was realized. It plays a fundamental role in Colmez’ and Wan’s investigation of the ψ-operator related to Fontaine’s theory and p-adic Langlands correspondence. In this talk we give a survey of the recent developments of Fleck’s congruence and its various extensions, as well as some important applications to Stirling numbers of the second kind and homotopy exponents of special unitary groups given by Davis and the speaker. Both number-theoretic and combinatorial approaches will be introduced. 1. Lucas’ and Wolstenholeme’s congruences Let (x)0 = 1 and (x)k = x(x−1) · · · (x−k+1) for k ∈ Z = {1, 2, 3, . . . }. For k ∈ N = {0, 1, 2, . . . }, define the binomial coefficient ( x k ) = (x)k k! 1
Proof of conjectures on series with summands involving $ \binom{2k}{k}8^k/(\binom{3k}{k}\binom{6k}{3k})$

Zhi-Wei Sun,Yajun Zhou

2024-01-25

Abstract:Using cyclotomic multiple zeta values of level $8$, we confirm and generalize several conjectural identities on infinite series with summands involving $\binom{2k}k8^k/(\binom{3k}k\binom{6k}{3k})$. For example, we prove that \[\sum_{k=0}^\infty\frac{(350k-17)\binom{2k}k8^k} {\binom{3k}k\binom{6k}{3k}}=15\sqrt2\,\pi+27\] and \[\sum_{k=1}^\infty\frac{\left\{(5k-1)\left[16\mathsf H_{2k-1}^{(2)}-3\mathsf H_{k-1}^{(2)}\right]-\frac{12(6k-1)}{(2k-1)^2}\right\}\binom{2k}k8^k} {k(2k-1)\binom{3k}k\binom{6k}{3k}}=\frac{\pi^3}{12\sqrt2},\] where $\mathsf H^{(2)}_m$ denotes the second-order harmonic number $\sum_{0<j\leq m}\frac1{j^2}$.

Classical Analysis and ODEs,Number Theory

Wilf-Zeilberger seeds and non-trivial hypergeometric identities

Multiple zeta values, WZ-pairs and infinite sums computations

Wilf-Zeilberger seeds: $q$-analogues

How to generate all possible rational Wilf-Zeilberger forms?

$p$-adic analogues of two ${}_4F_3$ hypergeometric identities and their applications

Nonterminating Basic Hypergeometric Series and the $q$-Zeilberger Algorithm

Hypergeometric evaluation identities and supercongruences

Proof of Some Conjectural Hypergeometric Supercongruences Via Curious Identities

Hypergeometric modular equations

On some conjectural series containing binomial coefficients and harmonic numbers

Certain extensions of results of Siegel, Wilton and Hardy

Proof of some supercongruences via the Wilf-Zeilberger method

On two conjectural series involving Riemann zeta function

A binomial coefficient identity associated to a conjecture of Beukers

On A Pair of Zeta Functions

Polynomial identities and Fermat quotients

Power series expansion of Wilf function

On various combinatorial sums and related identities

Recent progress on congruences involving binomial coefficients

Proof of conjectures on series with summands involving $ \binom{2k}{k}8^k/(\binom{3k}{k}\binom{6k}{3k})$