Reflecting (on) the modulo 9 Kanade--Russell (conjectural) identities
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.
Source author record
Wadim Zudilin
Wadim Zudilin appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
38works
15topics
4close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
38 published item(s)
preprint2021arXiv
Apéry limits for elliptic $L$-values
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.
0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv
Hedgehogs in Lehmer's problem
Motivated by a famous question of Lehmer about the Mahler measure we study and solve its analytic analogue.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
A case study for $ζ(4)$
Using symbolic summation tools in the setting of difference rings, we prove a two-parametric identity that relates rational approximations to $ζ(4)$.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Diophantine problems related to the Omega constant
Some diophantine problems are stated for the Omega constant and, more generally, the values of Lambert $W$-function and their $p$-adic extensions.
0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv
A common $q$-analogue of two supercongruences
We give a $q$-congruence whose specializations $q=-1$ and $q=1$ correspond to supercongruences (B.2) and (H.2) on Van Hamme's 1997 list: $$ \sum_{k=0}^{(p-1)/2}(-1)^k(4k+1)A_k\equiv p(-1)^{(p-1)/2}\pmod{p^3} \quad\text{and}\quad \sum_{k=0}^{(p-1)/2}A_k\equiv a(p)\pmod{p^2}, $$ where $p>2$ is prime, $$ A_k=\prod_{j=0}^{k-1}\biggl(\frac{1/2+j}{1+j}\biggr)^3=\frac1{2^{6k}}{\binom{2k}k}^3 \quad\text{for}\ k=0,1,2,\dots, $$ and $a(p)$ is the $p$-th coefficient of (the weight 3 modular form) $q\prod_{j=1}^\infty(1-q^{4j})^6$. We complement our result with a general common $q$-congruence for related hypergeometric sums.
0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv
Hypergeometric rational approximations to $ζ(4)$
We give a new hypergeometric construction of rational approximations to $ζ(4)$, which absorbs the earlier one from 2003 based on Bailey's ${}_9F_8$ hypergeometric integrals. With the novel ingredients we are able to get a better control of arithmetic and produce a record irrationality measure for $ζ(4)$.
0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv
A note on odd zeta values
Using a new construction of rational linear forms in odd zeta values and the saddle point method, we prove the existence of at least two irrational numbers amongst the 33 odd zeta values $ζ$(5), $ζ$(7),. .. , $ζ$(69).
0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv
Short walk adventures
We review recent development of short uniform random walks, with a focus on its connection to (zeta) Mahler measures and modular parametrisation of the density functions. Furthermore, we extend available "probabilistic" techniques to cover a variation of random walks and reduce some three-variable Mahler measures, which are conjectured to evaluate in terms of $L$-values of modular forms, to hypergeometric form.
0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv
A modular supercongruence for $_6F_5$: an Apéry-like story
We prove a supercongruence modulo $p^3$ between the $p$th Fourier coefficient of a weight 6 modular form and a truncated ${}_6F_5$-hypergeometric series. Novel ingredients in the proof are the comparison of two rational approximations to $ζ(3)$ to produce non-trivial harmonic sum identities and the reduction of the resulting congruences between harmonic sums via a congruence between the Apéry numbers and another Apéry-like sequence.
0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv
On a family of polynomials related to $ζ(2,1)=ζ(3)$
We give a new proof of the identity $ζ(\{2,1\}^l)=ζ(\{3\}^l)$ of the multiple zeta values, where $l=1,2,\dots$, using generating functions of the underlying generalized polylogarithms. In the course of study we arrive at (hypergeometric) polynomials satisfying 3-term recurrence relations, whose properties we examine and compare with analogous ones of polynomials originated from an (ex-)conjectural identity of Borwein, Bradley and Broadhurst.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
On the irrationality of generalized $q$-logarithm
For integer $p$, $|p|>1$, and generic rational $x$ and $z$, we establish the irrationality of the series $$\ell_p(x,z)=x\sum_{n=1}^\infty\frac{z^n}{p^n-x}.$$ It is a symmetric ($\ell_p(x,z)=\ell_p(z,x)$) generalization of the $q$-logarithmic function ($x=1$ and $p=1/q$ where $|q|<1$), which in turn generalizes the $q$-harmonic series ($x=z=1$). Our proof makes use of the Hankel determinants built on the Padé approximations to $\ell_p(x,z)$.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Algebraic independence of Mahler functions via radial asymptotics
We present a new method for algebraic independence results in the context of Mahler's method. In particular, our method uses the asymptotic behaviour of a Mahler function $f(z)$ as $z$ goes radially to a root of unity to deduce algebraic independence results about the values of $f(z)$ at algebraic numbers. We apply our method to the canonical example of a degree two Mahler function; that is, we apply it to $F(z)$, the power series solution to the functional equation $F(z)-(1+z+z^2)F(z^4)+z^4F(z^{16})=0$. Specifically, we prove that the functions $F(z)$, $F(z^4)$, $F'(z)$, and $F'(z^4)$ are algebraically independent over $\mathbb{C}(z)$. An application of a celebrated result of Nishioka then allows one to replace $\mathbb{C}(z)$ by $\mathbb{Q}$ when evaluating these functions at a nonzero algebraic number $α$ in the unit disc.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Further explorations of Boyd's conjectures and a conductor 21 elliptic curve
We prove that the (logarithmic) Mahler measure $m(P)$ of $P(x,y)=x+1/x+y+1/y+3$ is equal to the $L$-value $2L'(E,0)$ attached to the elliptic curve $E:P(x,y)=0$ of conductor 21. In order to do this we investigate the measure of a more general Laurent polynomial $P_{a,b,c}(x,y)=a(x+1/x)+b(y+1/y)+c$ and show that the wanted quantity $m(P)$ is related to a "half-Mahler" measure of $\tilde P(x,y)=P_{\sqrt{7},1,3}(x,y)$. In the finale we use the modular parametrization of the elliptic curve $\tilde P(x,y)=0$, again of conductor 21, due to Ramanujan and the Mellit--Brunault formula for the regulator of modular units.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Hankel Determinants of Zeta Values
We study the asymptotics of Hankel determinants constructed using the values $ζ(an+b)$ of the Riemann zeta function at positive integers in an arithmetic progression. Our principal result is a Diophantine application of the asymptotics.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Multiple $q$-zeta brackets
The multiple zeta values (MZVs) possess a rich algebraic structure of algebraic relations, which is conjecturally determined by two different (shuffle and stuffle) products of a certain algebra of noncommutative words. In a recent work, Bachmann constructed a $q$-analogue of the MZVs -- the so-called bi-brackets -- for which the two products are dual to each other, in a very natural way. We overview Bachmann's construction and discuss the radial asymptotics of the bi-brackets, its links to the MZVs, and related linear (in)dependence questions of the $q$-analogue.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
On the (K.2) supercongruence of Van Hamme
We prove the last remaining case of the original 13 Ramanujan-type supercongruence conjectures due to Van Hamme from 1997. The proof utilizes classical congruences and a WZ pair due to Guillera. Additionally, we mention some future directions concerning this type of supercongruence.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
On the Mahler measure of a family of genus 2 curves
We establish a general identity between the Mahler measures $m(Q_k(x,y))$ and $m(P_k(x,y))$ of two polynomial families, where $Q_k(x,y)=0$ and $P_k(x,y)=0$ are generically hyperelliptic and elliptic curves, respectively.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
On simultaneous diophantine approximations to $ζ(2)$ and $ζ(3)$
We present a hypergeometric construction of rational approximations to $ζ(2)$ and $ζ(3)$ which allows one to demonstrate simultaneously the irrationality of each of the zeta values, as well as to estimate from below certain linear forms in 1, $ζ(2)$ and $ζ(3)$ with rational coefficients. A new notion of (simultaneous) diophantine exponent is introduced to formalise the arithmetic structure of these specific linear forms. Finally, the properties of this newer concept are studied and linked to the classical irrationality exponent and its generalisations given recently by S. Fischler.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Positivity of rational functions and their diagonals
The problem to decide whether a given rational function in several variables is positive, in the sense that all its Taylor coefficients are positive, goes back to Szegő as well as Askey and Gasper, who inspired more recent work. It is well known that the diagonal coefficients of rational functions are $D$-finite. This note is motivated by the observation that, for several of the rational functions whose positivity has received special attention, the diagonal terms in fact have arithmetic significance and arise from differential equations that have modular parametrization. In each of these cases, this allows us to conclude that the diagonal is positive. Further inspired by a result of Gillis, Reznick and Zeilberger, we investigate the relation between positivity of a rational function and the positivity of its diagonal.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Two hypergeometric tales and a new irrationality measure of $ζ(2)$
We prove the new upper bound 5.095412 for the irrationality exponent of $ζ(2)=π^2/6$; the earlier record bound 5.441243 was established in 1996 by G. Rhin and C. Viola.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Apéry's theorem and problems for the values of Riemann's zeta function and their $q$-analogues
This monograph is intended to be considered as my habilitation (D.Sc.) thesis; because of that and as everything has already appeared in English, it is performed exclusively in Russian. The monograph comprises a detailed introduction and seven chapters that represent part of my work influenced by Apéry's proof from 1978 of the irrationality of $ζ(2)$ and $ζ(3)$, the values of Riemann's zeta function. Chapter 1 is about "at least one of the four numbers $ζ(5)$, $ζ(7)$, $ζ(9)$ and $ζ(11)$ is irrational" (based in part on arXiv:math.NT/0206176). Chapter 2 explains a connection between the generalized multiple integrals introduced by Beukers in his proof of Apéry's result and the very-well-poised hypergeometric series; it is based on arXiv:math.CA/0206177. Chapter 3 surveys some arithmetic and hypergeometric $q$-analogies and establishes the irrationality measure $μ(ζ_q(2))<3.518876$ for a $q$-analogue of $ζ(2)$; it closely follows the text in Sb. Math. 193 (2002), 1151--1172, but also incorporates the sharper analysis of the hypergeometric construction by Smet and Van Assche (arXiv:0809.2501 [math.CA]) to produce the improvement upon the 2002 result. Chapter 4 is devoted to the measure $μ(ζ(2))<5.095412$ and is based on arXiv:1310.1526 [math.NT]; Chapter 5 is establishing the estimate $||(3/2)^k||>0.5803^k$ for the distance from $(3/2)^k$ to the nearest integer, with the English version published in J. Théor. Nombres Bordeaux 19 (2007), 313--325. Chapter 6 reproduces the solution (from arXiv:math.CA/0311195) to the problem of Asmus Schmidt about generalized Apéry's numbers. Finally, Chapter 7 is about expressing the special $L$-values as periods (in the sense of Kontsevich and Zagier), in particular, as values of hypergeometric functions; it is based on the publication in Springer Proc. Math. Stat. 43 (2013), 381--395.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
On three theorems of Folsom, Ono and Rhoades
In his deathbed letter to Hardy, Ramanujan gave a vague definition of a mock modular function: at each root of unity its asymptotics matches the one of a modular form, though a choice of the modular function depends on the root of unity. Recently Folsom, Ono and Rhoades have proved an elegant result about the match for a general family related to Dyson's rank (mock theta) function and the Andrews--Garvan crank (modular) function---the match with explicit formulae for implied $O(1)$ constants. In this note we give another elementary proof of Ramanujan's original claim and outline some heuristics which may be useful for obtaining a new proof of the general Folsom--Ono--Rhoades theorem.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Ramanujan-type formulae for $1/π$: the art of translation
We outline an elementary method for proving numerical hypergeometric identities, in particular, Ramanujan-type identities for $1/π$. The principal idea is using algebraic transformations of arithmetic hypergeometric series to translate non-singular points into singular ones, where the required constants can be computed using asymptotic analysis.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Logarithmic and complex constant term identities
In recent work on the representation theory of vertex algebras related to the Virasoro minimal models M(2,p), Adamovic and Milas discovered logarithmic analogues of (special cases of) the famous Dyson and Morris constant term identities. In this paper we show how the identities of Adamovic and Milas arise naturally by differentiating as-yet-conjectural complex analogues of the constant term identities of Dyson and Morris. We also discuss the existence of complex and logarithmic constant term identities for arbitrary root systems, and in particular prove complex and logarithmic constant term identities for the root system G_2.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Lost in translation
We explain the use and set grounds about applicability of algebraic transformations of arithmetic hypergeometric series for proving Ramanujan's formulae for $1/π$ and their generalisations.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Transformations of $L$-values
In our recent work with Mat Rogers on resolving some Boyd's conjectures on two-variate Mahler measures, a new analytical machinery was introduced to write the values $L(E,2)$ of $L$-series of elliptic curves as periods in the sense of Kontsevich and Zagier. Here we outline, in slightly more general settings, the novelty of our method with Rogers, and provide a simple illustrative example.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Densities of short uniform random walks
We study the densities of uniform random walks in the plane. A special focus is on the case of short walks with three or four steps and less completely those with five steps. As one of the main results, we obtain a hypergeometric representation of the density for four steps, which complements the classical elliptic representation in the case of three steps. It appears unrealistic to expect similar results for more than five steps. New results are also presented concerning the moments of uniform random walks and, in particular, their derivatives. Relations with Mahler measures are discussed.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
On the Mahler measure of $1+X+1/X+Y+1/Y$
We prove a conjectured formula relating the Mahler measure of the Laurent polynomial $1+X+X^{-1}+Y+Y^{-1}$, to the $L$-series of a conductor 15 elliptic curve.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
"Divergent" Ramanujan-type supercongruences
"Divergent" Ramanujan-type series for $1/π$ and $1/π^2$ provide us with new nice examples of supercongruences of the same kind as those related to the convergent cases. In this paper we manage to prove three of the supercongruences by means of the Wilf--Zeilberger algorithmic technique.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
A q-rious positivity
The $q$-binomial coefficients $\qbinom{n}{m}=\prod_{i=1}^m(1-q^{n-m+i})/(1-q^i)$, for integers $0\le m\le n$, are known to be polynomials with non-negative integer coefficients. This readily follows from the $q$-binomial theorem, or the many combinatorial interpretations of $\qbinom{n}{m}$. In this note we conjecture an arithmetically motivated generalisation of the non-negativity property for products of ratios of $q$-factorials that happen to be polynomials.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Dedekind's eta-function and Rogers-Ramanujan identities
We prove a q-series identity that generalises Macdonald's A_{2n}^{(2)} eta-function identity and the Rogers-Ramanujan identities. We conjecture our result to generalise even further to also include the Andrews-Gordon identities.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Tables of Calabi--Yau equations
The main part of this paper is a big table containing what we believe to be a complete list of all fourth order equations of Calabi--Yau type known so far. In the text preceding the tables we explain what a differential equation of Calabi--Yau type is and we briefly discuss how we found these equations. We also describe an electronic version of this list.
0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv
The Erdős--Moser equation $1^k+2^k+...+(m-1)^k=m^k$ revisited using continued fractions
If the equation of the title has an integer solution with $k\ge2$, then $m>10^{9.3\cdot10^6}$. This was the current best result and proved using a method due to L. Moser (1953). This approach cannot be improved to reach the benchmark $m>10^{10^7}$. Here we achieve $m>10^{10^9}$ by showing that $2k/(2m-3)$ is a convergent of $\log2$ and making an extensive continued fraction digits calculation of $(\log2)/N$, with $N$ an appropriate integer. This method is very different from that of Moser. Indeed, our result seems to give one of very few instances where a large scale computation of a numerical constant has an application.
0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv
Ramanujan-type supercongruences
We present several supercongruences that may be viewed as $p$-adic analogues of Ramanujan-type series for $1/π$ and $1/π^2$, and prove three of these examples.
0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv
Euler's constant, q-logarithms, and formulas of Ramanujan and Gosper
The aim of the paper is to relate computational and arithmetic questions about Euler's constant $γ$ with properties of the values of the $q$-logarithm function, with natural choice of $q$. By these means, we generalize a classical formula for $γ$ due to Ramanujan, together with Vacca's and Gosper's series for $γ$, as well as deduce irrationality criteria and tests and new asymptotic formulas for computing Euler's constant. The main tools are Euler-type integrals and hypergeometric series.
0 citations0 reviewsNo code linkedOpen access
preprint2002arXiv
An elementary proof of Apery's theorem
We present a new `elementary' proof of the irrationality of $ζ(3)$ based on some recent `hypergeometric' ideas of Yu.Nesterenko, T.Rivoal, and K.Ball, and on Zeilberger's algorithm of creative telescoping.
0 citations0 reviewsNo code linkedOpen access
preprint2001arXiv
Irrationality of values of zeta-function
We present several results on the number of irrational and linear independent values among $ζ(s),ζ(s+2),...,ζ(s+2n)$, where $s>2$ is an odd integer and $n>0$ is an integer. The main tool in our proofs is a certain generalization of Rivoal's construction (math.NT/0008051, math.NT/0104221).
0 citations0 reviewsNo code linkedOpen access