Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.37459

A closed-form law for the Salikhov-Zeilberger-Zudilin-Bai family, and computational evidence that Bai's point is optimal

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

Abstract

Salikhov (2008), Zeilberger-Zudilin (2020) and Bai (2026) all bound the irrationality measure of pi with the same shape of complex contour integral, differing only in three exponents. We give one closed-form expression for the resulting bound as a function of those exponents. The saddle-point data come from an explicit cubic; the arithmetic factor -- the power of 2, the range of the lcm, and the prime-elimination window generalising Zeilberger-Zudilin's Lemma 2 -- is written down for arbitrary exponents, so no arithmetic lemma has to be redone for a new choice. The law returns 7.1032053341370017 at (2,2,3), agreeing with Zeilberger-Zudilin to 17 digits, and 7.1018628323563507 at Bai's point (1857,1857,2785), agreeing with his published 7.101862832357; it reproduces Salikhov's 7.606308 from his own two-branch window. We prove that the window measure is exactly homogeneous, W = a1.Jhat(a0/a1, b/a1), so the bound depends only on two ratios and the three-parameter lattice collapses to a two-dimensional object; that the pi-coefficient is a single coefficient extraction; and that at j = 0 the divisibility criterion is exact, a super-Catalan number appearing and Kummer's theorem then giving ord_p with equality rather than inequality. On that two-dimensional search we give computational evidence that Bai's point is the global minimum of the family: on the slice a0 = a1 the bound is a function of Q = 2a0/(3a0-2b) alone, with a sharp vertex at Q = 3714, realised primitively only by (1857,1857,2785). This rests on three finite computations and is labelled verified, not proved; the resulting floor 7.101862832356 is stated as a conjecture. An ancillary Python script (standard library only) re-derives every claim in about half a minute.

Explore related subjects

math.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

David Niedbala Giraudin. 2026-09-28. A closed-form law for the Salikhov-Zeilberger-Zudilin-Bai family, and computational evidence that Bai's point is optimal. https://arxiv.org/abs/2609.37459

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

KEEP EXPLORING

Related papers

arXiv2026

Asymptotic Fermat for signatures $(r,r,p)$ using the modular approach

Let $K$ be a totally real field, and $r\geq 5$ a fixed rational prime. In this paper, we use the modular method as presented in the work of Freitas and Siksek to study non-trivial, primitive solutions $(x,y,z) \in \mathcal{O}_K^3$ of the signature $(r,r,p)$ equation $x^r+y^r=z^p$ (where $p$ is a prime that varies). An adaptation of the modular method is needed, and we follow the work of Freitas which constructs Frey curves over totally real subfields of $K(ζ_r)$. When $K=\mathbb{Q}$ we get that for most of the primes $5\leq r<150$ with $r\equiv 3,5\mod 8$ there are no non-trivial, primitive integer solutions $(x,y,z)$ with $2|z$ for signatures $(r,r,p)$ when $p$ is sufficiently large. Similar results hold for quadratic fields, for example when $K=\mathbb{Q}(\sqrt{2})$ there are no non-trivial, primitive solutions $(x,y,z)\in \mathcal{O}_K^3$ with $\sqrt{2}|z$ for signatures $(5,5,p), (11,11,p), (13,13,p)$ and sufficiently large $p$.

math.NT↗
arXiv2026

Algebraic approximations to linear combinations of S-units

Let $Γ\subset \bar{\Q}^{\times}$ be a finitely generated multiplicative group of algebraic numbers, let $α_1,\ldots,α_m$ be non-zero algebraic numbers, and let $\varepsilon >0$ be fixed. In this paper, we prove that there exist only finitely many tuples $(u_1, \ldots, u_m, q, p)\in Γ^m\times\mathbb{Z}^2$ with $d = [\mathbb{Q}(u_1, \ldots, u_m):\mathbb{Q}]$ such that for any two tuples $(u_1,\ldots,u_m)$ and $(u'_1,\ldots,u'_m)$, we have $\frac{u_{i_1}}{u_{i_2}}\neq \frac{u'_{i_1}}{u'_{i_2}}$ for $1\leq i_1\neq i_2\leq m$ and it is stable under Galois conjugation over $\Q$, $\max\{|α_1 qu_1|, \ldots, |α_m qu_m|\}>1$, the tuple $(α_1qu_1, \ldots, α_mq u_m)$ is not pseudo-Pisot and \[0< \left|\sum_{i=1}^m α_iq u_i - p\right|<\frac{1}{\left(\prod_{i=1}^mH( u_i)\right)^{\varepsilon} |q|^{md+\varepsilon}},\] where $H(u_i)$ denotes the absolute Weil height. This result extends one of the main results of Corvaja-Zannier \cite{corv}. In addition, we prove a result similar to \cite[Theorem 1.4]{kul} in a more general setting. In our proofs, we exploit the subspace theorem based on the work of Corvaja-Zannier.

math.NT↗
arXiv2026

Rational points on modular curves via maps to elliptic curves with rank zero

A fundamental problem in arithmetic geometry is to determine the image of the mod $N$ Galois representation for all elliptic curves over $\mathbb{Q}$ and integers $N \geq 1$. For a given subgroup $G \le \mathrm{GL}_2(\mathbb{Z}/N\mathbb{Z})$, there is a modular curve $X_G$ whose rational points parametrize elliptic curves for which the image of the mod $N$ Galois representation is contained in $G$. If $X_G$ admits a map to an elliptic curve $E/\mathbb{Q}$ for which $E(\mathbb{Q})$ has rank $0$, then its rational points can be effectively determined, provided that a map $X_G \to E$ is known. In this article, we give a method for constructing such maps. Using this method, together with existing methods and results, we systematically determine the rational points of $X_G$ for more than $99\%$ of modular curves of level at most $70$.

math.NT↗