arXiv++ Combinatorics

Around 1991, J.M. and P.B. Borwein established a cubic analogue of Jacobi's fundamental identity for theta functions. Their identity serves as the foundation for the subsequent development by B.C. Berndt, S. Bhargava, and F.G. Garvan of Ramanujan's theory of elliptic functions to the cubic base. In 2013, D. Schultz discovered an identity for theta series in three variables which generalizes the Borweins' identity. In this article, we revisit Schultz's identity and present two distinct approaches to its derivation. Our investigation not only provides new proofs but also yields several identities of a similar type. Furthermore, this study enables us to construct new two-variable generalizations of Jacobi's original classical identity.

We review "creative" strategies of closed-form evaluations of hypergeometric functions.

In a spirit of Apéry's proof of the irrationality of $ζ(3)$, we construct a sequence $p_n/q_n$ of rational approximations to the $2$-adic zeta value $ζ_2(5)$ which satisfy $0 < |ζ_2(5)-p_n/q_n|_2 < \max\{|p_n|,|q_n|\}^{-1-δ}$ for an explicit constant $δ>0$. This leads to a new proof of the irrationality of $ζ_2(5)$, the result established recently by Calegari, Dimitrov and Tang using a different method. Furthermore, our approximations allow us to obtain an upper bound for the irrationality measure of this $2$-adic quantity; namely, we show that $μ(ζ_2(5)) \le (16\log2)/(8\log2-5) = 20.342\dots$.

We generalise our still-wide-open $q$-rious positivity conjecture from 2011 to a $q$-rious unimodality conjecture.

Apéry's remarkable discovery of rapidly converging continued fractions with small coefficients for $ζ(2)$ and $ζ(3)$ has led to a flurry of important activity in an incredible variety of different directions. Our purpose is to show that modifications of Apéry's continued fractions can give interesting results including new rapidly convergent continued fractions for certain interesting constants.

We establish new explicit connections between classical (scalar) and matrix Gegenbauer polynomials, which result in new symmetries of the latter and further give access to several properties that have been out of reach before: generating functions, distribution of zeros for individual entries of the matrices and new type of differential-difference structure. We further speculate about other potentials of the connection formulas found. Part of our proofs makes use of creative telescoping in a matrix setting$-$the strategy which is not yet developed algorithmically.

The product sides of the Rogers--Ramanujan identities and alike often appear to be "transparently modular" (functions). The old work by Rogers (1894) and recent work by Rosengren make use (somewhat implicitly) of this fact for proving the identities with the help of underlying modular equations$-$the main challenge is verifying the latter for the sum sides. Here we speculate on the potentials of using the asymptotics of such $q$-identities or their finite versions for proving them.

We give a closed form for $quotients$ of truncated basic hypergeometric series where the base $q$ is evaluated at roots of unity.

We relate two different solutions of a Mahler equation; one solution is only defined at certain roots of unity, while the other is an analytic function inside the unit disk.

We decompose the generating function $\sum_{n=0}^\infty\binom{2n}nP_n(y)^2z^n$ of the squares of Legendre polynomials as a product of periods of hyperelliptic curves. These periods satisfy a family of $\textit{second}$ order differential equations. This is highly unusual since $\textit{four}$ is the expected order for genus 2. These second order equations are arithmetic and yet, surprisingly, their monodromy group is dense in $\operatorname{SL}_2(\mathbb{R})$. This suggests that they cannot be solved in terms of hypergeometric functions, which is novel for arithmetic second order differential equations that are $\textit{defined over}$ $\mathbb{Q}$, and also novel for a $\textit{family}$ of such equations. We complement our analysis with a recipe for constructing similar examples. Maple's support for the paper is available at https://www.math.fsu.edu/~hoeij/saga/.

We analyse a certain family of cellular integrals, which are period integrals on the moduli space $\mathcal{M}_{0,8}$ of curves of genus zero with eight marked points, and give rise to simultaneous rational approximations to $ζ(3)$ and $ζ(5)$. By exploiting the action of a large symmetry group on these integrals, we construct an infinite $effective$ sequence of rational approximations $p/q$ to $ζ(5)$ satisfying \[ 0<\bigg|ζ(5)-\frac pq\bigg|<\frac1{q^{0.86}}. \]

We explicitly determine the Apéry limits for the sums of powers of binomial coefficients. As an application, we prove a weak version of Franel's conjecture on the order of the recurrences for these sequences. Namely, we prove the conjectured minimal order under the assumption that such a recurrence can be obtained via creative telescoping.

For an (irreducible) recurrence equation with coefficients from $\mathbb Z[n]$ and its two linearly independent rational solutions $u_n,v_n$, the limit of $u_n/v_n$ as $n\to\infty$, when exists, is called the Apéry limit. We give a construction that realises certain quotients of $L$-values of elliptic curves as Apéry limits.

It is the first paper which relates Apéry limits to Mahler measures.

We discuss some (conjectural) evaluations of $L$-values attached to elliptic curves of conductors 15, 21, 24 and 32 as "hypergeometric periods". These numerical observations are motivated by the Mahler measures of three-variable polynomials.

In their recent preprint arXiv:2101.08308, Robert Dougherty-Bliss, Christoph Koutschan and Doron Zeilberger come up with a powerful strategy to prove the irrationality, in a quantitative form, of some numbers that are given as multiple integrals or quotients of such. What is really missing there, for many examples given, is an explicit identification of those irrational numbers; the authors comment on this task, "The output file [...] contains many such conjectured evaluations, (very possibly many of them are equivalent via a hypergeometric transformation rule) and we challenge [...], the birthday boy, or anyone else, to prove them." Without an identification, the numbers are hardly appealing to human (number theorists). The goal of this note is to outline a strategy to do the job and illustrate it on several promising entries discussed in the preprint above.

We prove general Dwork-type congruences for constant terms attached to tuples of Laurent polynomials. We apply this result to establishing arithmetic and $p$-adic analytic properties of functions originating from polynomial solutions modulo $p^s$ of hypergeometric and KZ equations, solutions which come as coefficients of master polynomials and whose coefficients are integers. As an application we show that the simplest example of a $p$-adic KZ connection has an invariant line subbundle while its complex analog has no nontrivial subbundles due to the irreducibility of the monodromy group.

We examine complexity and versatility of five modulo 9 Kanade--Russell identities through their finite (aka polynomial) versions and images under the $q\mapsto1/q$ reflection.

Motivated by a famous question of Lehmer about the Mahler measure we study and solve its analytic analogue.

Using an intrinsic $q$-hypergeometric strategy, we generalise Dwork-type congruences $H(p^{s+1})/H(p^s)\equiv H(p^s)/H(p^{s-1})\pmod{p^3}$ for $s=1,2,\dots$ and $p$ a prime, when $H(N)$ are truncated hypergeometric sums corresponding to the periods of rigid Calabi--Yau threefolds.