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.
Saved in:
| Published in: | Symmetry, Integrability and Geometry: Methods and Applications |
|---|---|
| Date: | 2015 |
| Main Authors: | , |
| Format: | Article |
| Language: | English |
| Published: |
Інститут математики НАН України
2015
|
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/147145 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Hankel Determinants of Zeta Values / A. Haynes, W. Zudilin // Symmetry, Integrability and Geometry: Methods and Applications. — 2015. — Т. 11. — Бібліогр.: 6 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1860037333961670656 |
|---|---|
| author | Haynes, A. Zudilin, W. |
| author_facet | Haynes, A. Zudilin, W. |
| citation_txt | Hankel Determinants of Zeta Values / A. Haynes, W. Zudilin // Symmetry, Integrability and Geometry: Methods and Applications. — 2015. — Т. 11. — Бібліогр.: 6 назв. — англ. |
| collection | DSpace DC |
| container_title | Symmetry, Integrability and Geometry: Methods and Applications |
| description | 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.
|
| first_indexed | 2025-12-07T16:54:18Z |
| format | Article |
| fulltext |
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 11 (2015), 101, 5 pages
Hankel Determinants of Zeta Values?
Alan HAYNES † and Wadim ZUDILIN ‡
† Department of Mathematics, University of York,
York, YO10 5DD, UK
E-mail: akh502@york.ac.uk
URL: http://www-users.york.ac.uk/~akh502/
‡ School of Mathematical and Physical Sciences, The University of Newcastle,
Callaghan NSW 2308, Australia
E-mail: wzudilin@gmail.com
URL: http://wain.mi.ras.ru/
Received October 19, 2015, in final form December 16, 2015; Published online December 17, 2015
http://dx.doi.org/10.3842/SIGMA.2015.101
Abstract. 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.
Key words: irrationality; Hankel determinant; zeta value
2010 Mathematics Subject Classification: 11J72; 11C20; 11M06; 41A60
1 Introduction
In the recent work [4], H. Monien investigated analytic aspects of the Hankel determinants
H(r)
n = H(r)
n [ζ] = det
1≤i,j≤n
(
ζ(i+ j + r)
)
for r = 0, 1,
where ζ(s) denotes the Riemann zeta function. He also studied more general determinants
constructed using values of Dirichlet series. One focus of that work was the asymptotic behaviour
of H
(0)
n and H
(1)
n as n→∞, and a heuristic justification for the simplified asymptotic formula
logH(r)
n = −n2 log n+O
(
n2
)
as n→∞ for r ≥ 0.
In [5] Monien developed these ideas further and rigorously justified the above asymptotics
in the case r = 0, by explicitly constructing a family of orthogonal polynomials related to the
corresponding Riemann–Hilbert problem. However, his approach does not readily generalize to
prove the expected asymptotics for determinants built on the zeta values ζ(an + b) along an
arithmetic progression, which are more interesting from an arithmetical point of view. To be
precise, for positive integers a and b, we expect that
log det
1≤i,j≤n
(
ζ(a(i+ j) + b)
)
= −an2 log n+O
(
n2
)
as n→∞.
This type of result is of interest, for example, when a is even and b is odd, so that the obviously
irrational (and transcendental) zeta values at positive even integers are excluded.
?This paper is a contribution to the Special Issue on Orthogonal Polynomials, Special Functions and Applica-
tions. The full collection is available at http://www.emis.de/journals/SIGMA/OPSFA2015.html
mailto:akh502@york.ac.uk
http://www-users.york.ac.uk/~akh502/
mailto:wzudilin@gmail.com
http://wain.mi.ras.ru/
http://dx.doi.org/10.3842/SIGMA.2015.101
http://www.emis.de/journals/SIGMA/OPSFA2015.html
2 A. Haynes and W. Zudilin
In this brief note we demonstrate how elementary means can be used to prove the weaker
asymptotic inequality
log
∣∣∣ det
1≤i,j≤n
(
ζ(a(i+ j) + b)
)∣∣∣ ≤ −a
2
n2 log n+O
(
n2
)
as n→∞,
which leads us to the following arithmetic application.
Theorem 1. For any pair of positive integers a and b, either there are infinitely many n ∈ N for
which ζ(an+ b) is irrational, or the sequence {qn}∞n=1 of common denominators of the rational
elements of the set {ζ(a+ b), ζ(2a+ b), . . . , ζ(an+ b)} grows super-exponentially, i.e., q
1/n
n →∞
as n→∞.
The current knowledge about the arithmetic of odd zeta values – the numbers ζ(n) for n ≥ 2
odd – can be summarised as follows. In 1978 R. Apéry proved [1] the irrationality of ζ(3), and in
2000 K. Ball and T. Rivoal showed [2] that there are infinitely many irrational numbers among
the odd zeta values. At the same time, it is widely believed that all of the numbers ζ(n), for
n ≥ 2, are irrational and transcendental. Our result in Theorem 1 is very far from proving
this. The goal of this paper is, rather, to demonstrate how very simple analytic arguments can
be used to derive some information about the Diophantine approximation properties of these
numbers.
2 Asymptotic upper bounds
Suppose that {an}∞n=1 is a sequence of complex numbers which satisfies an � n1−δ for some
δ > 0. Then the Dirichlet series
f(s) =
∞∑
n=1
an
ns
converges in the region Re(s) > σ0 for some σ0 > 2− δ. For each n ∈ Z>0, let
Hn[f ] = det
1≤i,j≤n
(
f(i+ j)
)
.
Lemma 1. As n→∞, the following estimate is valid:
log |Hn[f ]| ≤ −1
2
n2 log n+O
(
n2
)
.
Proof. Using the linearity of determinant with respect to each row and the formula for the
Vandermonde determinant we have that
Hn[f ] =
∞∑
k1=1
· · ·
∞∑
kn=1
ak1 · · · akn
k21k
3
2 · · · k
n+1
n
∏
1≤i<j≤n
(
k−1i − k
−1
j
)
.
Now by considering one of the n! possible orderings of the integers k1, . . . , kn, and using our
assumption on the numbers an we obtain that
|Hn[f ]| ≤ n!
∑
1≤k1<···<kn
ak1 · · · akn
k21k
3
2 · · · k
n+1
n
� n!
∞∑
k1=1
· · ·
∞∑
kn=1
1
k1+δ1 k1+δ2 · · · k1+δn
(
n∏
i=1
ii−1
)−1
� n! exp
(
−1
2
n2 log n+O
(
n2
))
,
Hankel Determinants of Zeta Values 3
where the estimate
n∑
i=1
(i− 1) log i >
∫ n
2
(x− 2) log x dx for n ≥ 3
is invoked. Finally, taking logarithms gives the desired result. �
As a slight generalization of the above argument, let a and b be positive integers and consider
the Hankel determinants
H(a,b)
n [f ] = det
1≤i,j≤n
(
f(a(i+ j) + b)
)
.
By the same steps as before, we obtain that
|H(a,b)
n [f ]| � n!
(
n∏
i=1
iai
)−1
= n! exp
(
−a
2
n2 log n+O
(
n2
))
,
and taking logarithms gives us the following result.
Lemma 2. As n→∞, the following estimate is valid:
log |H(a,b)
n [f ]| ≤ −a
2
n2 log n+O
(
n2
)
.
3 Nonvanishing
In this section, suppose that 2 ≤ n1 < n2 < · · · < nm < · · · is an arbitrary sequence, and assume
that the corresponding zeta values ζ(n1), ζ(n2), . . . , ζ(nm), . . . are rational numbers.
Lemma 3. The function f(z) =
∞∑
m=1
ζ(nm)zm is not rational.
Proof. Suppose that the statement of the lemma is not true. Then the quantities ζ(nm) satisfy
a linear recurrence with constant coefficients. By our hypothesis that the numbers ζ(nm) are
all rational, we may assume that the coefficients in the recurrence equation are all rational
numbers, in other words that the recurrence rule is given by
r0ζ(nm) + r1ζ(nm+1) + · · ·+ rkζ(nm+k) = 0 for m = m1,m1 + 1, . . . ,
with r0, . . . , rk ∈ Q and r0, rk 6= 0. Then, for all m ≥ m1, we have that
∞∑
`=1
( r0
`nm
+
r1
`nm+1
+ · · ·+ rk
`nm+k
)
= 0,
and taking the limit as m→∞ this gives that
r0 + r1 + · · ·+ rk = 0.
This in turn implies that
∞∑
`=2
( r0
`nm
+
r1
`nm+1
+ · · ·+ rk
`nm+k
)
= 0.
4 A. Haynes and W. Zudilin
Multiplying by 2nm and taking the limit as m → ∞ (which clearly exists since the right-hand
side is 0), we obtain that
lim
m→∞
∞∑
`=2
(
r0
(`/2)nm
+
r1
`nm+1/2nm
+ · · ·+ rk
`nm+k/2nm
)
= lim
m→∞
(
r0 +
r1
2nm+1−nm
+ · · ·+ rk
2nm+k−nm
)
= 0.
Since r0 6= 0 and nm < nm+1 < · · · < nm+k, the final equality here implies that the quantity
r0 +
r1
2nm+1−nm
+ · · ·+ rk
2nm+k−nm
is actually constant for all m ≥ m2 (with some m2 ≥ m1). Therefore we conclude that
r0
2nm
+
r1
2nm+1
+ · · ·+ rk
2nm+k
= 0 for m ≥ m2.
Proceeding in a similar way, we deduce that for each integer 1 ≤ ` ≤ k, there is an integer mk
such that
r0
`nm
+
r1
`nm+1
+ · · ·+ rk
`nm+k
= 0 for m ≥ mk.
This implies that r0 = r1 = · · · = rk = 0, which is a contradiction. �
Lemma 4. The Hankel determinants det
1≤i,j≤n
(
ζ(ni+j−1)
)
are not zero for infinitely many n.
Proof. This follows from Lemma 3, together with a well known result of Kronecker (see [3,
pp. 566–567] or [6, Division 7, Problem 24]). �
Note that the statement of Lemma 4 in the case when nm = am + b can be obtained using
the argument from [4, Lemma 2.3]: in fact, the Hankel determinants are all positive in this case.
4 Proof of Theorem 1
If there are only finitely many n ∈ N for which ζ(an + b) is irrational, then we can assume
without loss of generality, by replacing b with an0 + b for a suitable choice of n0, that all of the
numbers ζ(an+ b) are rational. It is clear from the definition that qk | qn for all k ≤ n, and that
qn+1qn+2 · · · q2nH(a,b)
n [ζ] = det
1≤i,j≤n
(
qi+nζ(a(i+ j) + b)
)
∈ Z for n ∈ N.
By Lemma 4 there are infinitely many indices n for which the determinants H
(a,b)
n [ζ] are nonzero,
therefore
qn+1qn+2 · · · q2n · |H(a,b)
n [ζ]| ≥ 1.
If it were the case that qn ≤ Cn for some C > 0 and all n, then we would deduce that
|H(a,b)
n [ζ]| ≥ C−n(3n+1)/2 for infinitely many n. However, for sufficiently large n this would
contradict Lemma 2, which leads us to conclude that the sequence q
1/n
n is unbounded as n→∞.
Hankel Determinants of Zeta Values 5
5 Concluding remarks
The same techniques used to prove Theorem 1 can also be applied to a much broader class of
Dirichlet series. For example, similar results can be obtained for more Dirichlet L-functions
and even L-functions attached to modular forms, by extending the argument in the proof of
Lemma 3. In fact, one does not even need to restrict to values of these functions at integers.
In a different direction, one can deal with the values at subsequences which tend to infinity
faster than arithmetic progressions (for example, the sequence ζ(2n2 + 1), where n = 1, 2, . . . ).
The estimates from Section 2 would then become sharper, and the corresponding growth of
the common denominators, provided infinitely many of the L-values are rational, can be then
shown to be faster. Of course, as mentioned in the introduction, we expect that the nonzero zeta
and L-function values at positive integers are always irrational (and even transcendental). Our
principal result here is only to serve as an illustration of a much deeper relationship between
Hankel determinants and arithmetic.
Acknowledgements
We would like to thank the anonymous referees for their healthy criticism on the earlier draft of
the note. Research of first author (Alan Haynes) was supported by EPSRC grants EP/L001462,
EP/J00149X, EP/M023540. Research of second author (Wadim Zudilin) was supported by
Australian Research Council grant DP170100466.
References
[1] Apéry R., Irrationalité de ζ(2) et ζ(3), Astérisque 61 (1979), 11–13.
[2] Ball K., Rivoal T., Irrationalité d’une infinité de valeurs de la fonction zêta aux entiers impairs, Invent.
Math. 146 (2001), 193–207.
[3] Kronecker L., Zur Theorie der Elimination einer Variabeln aus zwei algebraischen Gleichungen, Berl. Monats-
ber. 1881 (1881), 535–600.
[4] Monien H., Hankel determinants of Dirichlet series, arXiv:0901.1883.
[5] Monien H., Personal communication, 2011.
[6] Pólya G., Szegő G., Problems and theorems in analysis, Vol. II, Springer-Verlag, New York – Heidelberg,
1976.
http://dx.doi.org/10.1007/s002220100168
http://dx.doi.org/10.1007/s002220100168
http://arxiv.org/abs/0901.1883
http://dx.doi.org/10.1007/978-1-4757-6292-1
1 Introduction
2 Asymptotic upper bounds
3 Nonvanishing
4 Proof of Theorem 1
5 Concluding remarks
References
|
| id | nasplib_isofts_kiev_ua-123456789-147145 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1815-0659 |
| language | English |
| last_indexed | 2025-12-07T16:54:18Z |
| publishDate | 2015 |
| publisher | Інститут математики НАН України |
| record_format | dspace |
| spelling | Haynes, A. Zudilin, W. 2019-02-13T17:27:36Z 2019-02-13T17:27:36Z 2015 Hankel Determinants of Zeta Values / A. Haynes, W. Zudilin // Symmetry, Integrability and Geometry: Methods and Applications. — 2015. — Т. 11. — Бібліогр.: 6 назв. — англ. 1815-0659 2010 Mathematics Subject Classification: 11J72; 11C20; 11M06; 41A60 DOI:10.3842/SIGMA.2015.101 https://nasplib.isofts.kiev.ua/handle/123456789/147145 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. This paper is a contribution to the Special Issue on Orthogonal Polynomials, Special Functions and Applications.
 The full collection is available at http://www.emis.de/journals/SIGMA/OPSFA2015.html.
 We would like to thank the anonymous referees for their healthy criticism on the earlier draft of
 the note. Research of first author (Alan Haynes) was supported by EPSRC grants EP/L001462,
 EP/J00149X, EP/M023540. Research of second author (Wadim Zudilin) was supported by
 Australian Research Council grant DP170100466. en Інститут математики НАН України Symmetry, Integrability and Geometry: Methods and Applications Hankel Determinants of Zeta Values Article published earlier |
| spellingShingle | Hankel Determinants of Zeta Values Haynes, A. Zudilin, W. |
| title | Hankel Determinants of Zeta Values |
| title_full | Hankel Determinants of Zeta Values |
| title_fullStr | Hankel Determinants of Zeta Values |
| title_full_unstemmed | Hankel Determinants of Zeta Values |
| title_short | Hankel Determinants of Zeta Values |
| title_sort | hankel determinants of zeta values |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/147145 |
| work_keys_str_mv | AT haynesa hankeldeterminantsofzetavalues AT zudilinw hankeldeterminantsofzetavalues |