Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.02912

A new upper bound for the irrationality exponent of $ζ(2)$

David Niedbala Giraudin
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove that the irrationality exponent of $ζ(2)=π^2/6$ satisfies $μ(ζ(2))<5.0193784$. The best published bound is 5.095412 (Zudilin, 2014); a bound 5.0495243 with a machine-checked proof was made public in September 2026 by J. Kleid. We use Zudilin's two hypergeometric constructions at a new choice of parameters. The two families of linear forms in 1 and $ζ(2)$ so obtained coincide for every sufficiently large index: this coincidence, an instance of an identity conjectured by Zudilin, is established by comparing an arithmetic bound for the denominators of the difference with an analytic bound for its size, without creative telescoping. All numerical constants are certified in ball arithmetic.

Explore related subjects

math.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

David Niedbala Giraudin. 2026-10-02. A new upper bound for the irrationality exponent of $ζ(2)$. https://arxiv.org/abs/2610.02912

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Visiting early at prime times

Given an integer $m \geqslant 2$ and a sufficiently large $q$, we prove that there always exists an arithmetic progression with common difference $q$ for which the $m$-th least prime in such progression is $\ll q \exp(3.8075 m)$. This is obtained using a minorant for the indicator of primes in the Maynard--Tao sieve, in parallel with Baker--Irving and Stadlmann's work on bounded gaps between primes. The dependence on $q$ is best possible. Furthermore, we generalize our result to dynamical systems. The quality of the result depends crucially on the first return time, which we illustrate in the case of Diophantine approximation.

math.NT↗
arXiv2026

On residual automorphic representations and period integrals for symplectic groups

We construct new irreducible components in the discrete automorphic spectrum of symplectic groups. The construction lifts a cuspidal automorphic representation of $\mathrm{GL}_{2n}$ with a linear period to an irreducible component of the residual spectrum of the rank $k$ symplectic group $\mathrm{Sp}_k$ for any $k\ge 2n$. We show that this residual representation admits a non-zero $\mathrm{Sp}_n\times \mathrm{Sp}_{k-n}$-invariant linear form. This generalizes a construction of Ginzburg, Rallis and Soudry, the case $k=2n$, that arises in the descent method.

math.NT↗
arXiv2026

A Hasse principle for higher Chow groups of curves over a global field

Let $X$ be a smooth projective curve over a global field $F$, and let $V(X)$ denote the kernel of the push-forward map $CH^2(X,1)\to CH^1(F,1) = F^\times$ of the higher Chow groups. For an odd prime $l$ different from the characteristic of $F$, we describe the structure of $V(X)/lV(X)$ by combining Bloch's exact sequence with a Hasse principle in Galois cohomology for the mod-$l$ Galois representation of the Jacobian variety $J$ of $X$. We also give explicit computations for elliptic curves.

math.NT↗