arXiv subjects
Publications and source records attributed to Wadim Zudilin.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
We present a proof of the formula, due to Mellit and Brunault, which evaluates an integral of the regulator of two modular units to the value of the $L$-series of a modular form of weight 2 at $s=2$. Applications of the formula to computing Mahler measures are discussed.
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.
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.
We relate a one-parametric generating function for the squares of Legendre polynomials to an arithmetic hypergeometric series whose parametrisation by a level 7 modular function was recently given by Shaun Cooper. By using this modular parametrisation we resolve a subfamily of identities involving $1/π$ which was experimentally observed by Zhi-Wei Sun.
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.
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.
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.
We prove the conjectural relations between Mahler measures and $L$-values of elliptic curves of conductors 20 and 24. We also present new hypergeometric expressions for $L$-values of CM elliptic curves of conductors 27 and 36. Furthermore, we prove a new functional equation for the Mahler measure of the polynomial family $(1+X)(1+Y)(X+Y)-αXY$, $α\in\mathbb R$.