pith. sign in

arxiv: 2605.00673 · v1 · submitted 2026-05-01 · 🧮 math.NT · cs.NA· math.NA

Modular Forms and Numerical Explorations of Rational Approximations to zeta(3)

Cynthia Bortolotto , Lucas Oliveira This is my paper

Pith reviewed 2026-05-09 18:35 UTC · model grok-4.3

classification 🧮 math.NT cs.NAmath.NA
keywords zeta(3)modular formsFricke groupsirrationalityApéry approximationsrational approximationsgenus zero
0
0 comments X

The pith

Beukers' modular form for the irrationality of zeta(3) is one member of a one-parameter family that keeps the same decay and denominator growth.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper revisits Beukers' modular-form argument for the irrationality of zeta(3) by focusing on the auxiliary weight-two modular form. For the Fricke group Gamma zero six star, the specific form chosen by Beukers turns out to be one point in a continuous one-parameter family of such forms. Every member of the family produces rational approximations to zeta(3) whose error decays exponentially at the same rate as the classical Apéry numbers and whose denominators grow at the precise rate the original proof requires. The same construction is then applied to several other genus-zero Fricke groups. A reader cares because the result shows the modular approach supplies not just one isolated approximation but an entire tunable line of them.

Core claim

For the Fricke group Γ₀(6)⋆ the auxiliary weight-two modular form appearing in Beukers' proof is not isolated but belongs to a one-parameter affine family. The rational approximations to ζ(3) generated by any member of this family exhibit the same exponential decay as the Apéry approximations and obey the identical denominator-growth bound that Beukers' irrationality argument needs. The construction is repeated without essential change for several other genus-zero Fricke groups.

What carries the argument

the one-parameter affine family of auxiliary weight-two modular forms for the Fricke group Γ₀(6)⋆

If this is right

  • The irrationality of ζ(3) follows from any form in the family by repeating Beukers' original argument verbatim.
  • Numerical searches inside the family can locate approximations whose error is smaller than the classical choice for a given denominator size.
  • The identical modular-form construction works for every other genus-zero Fricke group examined in the paper.
  • The exponential decay rate and denominator bound remain uniform across the entire parameter interval.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Varying the continuous parameter may allow computational optimization of the approximation quality while still preserving the irrationality proof.
  • The existence of such families suggests that similar one-parameter constructions could be sought for other zeta values once suitable genus-zero groups are identified.
  • The numerical explorations mentioned in the title likely consist of sampling the family to compare concrete approximation quality against the Apéry sequence.

Load-bearing premise

The auxiliary modular forms in the family must obey the exact denominator-growth bound that Beukers' argument demands, and the same bound must continue to hold when the construction is transferred to the other listed genus-zero groups.

What would settle it

Pick any specific parameter value in the family, compute the sequence of denominators, and check whether their growth rate exceeds the bound required to keep the irrationality measure below one; alternatively, verify numerically that the approximation error for some member fails to decay exponentially.

read the original abstract

We revisit Beukers' modular-form proof of the irrationality of $\zeta(3)$ from the point of view of the auxiliary weight two modular form. For the Fricke group $\Gamma_0(6)^\star$, we show that Beukers' choice is not isolated: it belongs to a one-parameter affine family. These approximations have the same exponential decay as the classical Ap\'ery approximations and satisfy the same denominator-growth estimate needed in Beukers' irrationality argument. We then apply the same construction to several other genus-zero Fricke groups.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript revisits Beukers' modular-form proof of the irrationality of ζ(3) by focusing on the auxiliary weight-two modular form. For the Fricke group Γ₀(6)⋆, it demonstrates that Beukers' choice belongs to a one-parameter affine family of such forms. The resulting rational approximations to ζ(3) exhibit the same exponential decay as the classical Apéry approximations and satisfy the denominator-growth estimates necessary for Beukers' irrationality argument. The construction is extended to other genus-zero Fricke groups, accompanied by numerical explorations.

Significance. If the denominator-growth bounds hold uniformly, the work broadens the modular-form approach to ζ(3) approximations by exhibiting an explicit one-parameter family and extensions to multiple groups; this supplies a larger supply of approximations with controlled decay and growth rates, which is useful for numerical studies and could support refined irrationality measures. The explicit constructions and numerical checks are strengths that make the results reproducible in principle.

major comments (2)
  1. [§3] §3, the paragraph after Eq. (3.4): the claim that every member of the one-parameter affine family satisfies the identical denominator-growth bound used in Beukers' argument is load-bearing for the central result, yet the proof only verifies integrality and size for the specific Beukers choice; no uniform bound in the affine parameter is derived from the q-expansion coefficients of the weight-two form.
  2. [§5] §5, Theorem 5.1 and the following numerical tables: the extension of the construction to the other listed genus-zero Fricke groups asserts that the key denominator-growth estimate survives without loss, but the argument is only numerical for generic parameters; an analytic verification that the coefficient sizes remain polynomially bounded independently of the group and parameter is required to support the claim that the irrationality argument applies verbatim.
minor comments (2)
  1. [Introduction] The definition of the Fricke group Γ₀(6)⋆ and the normalization of the weight-two forms should include an explicit reference to the standard Atkin-Lehner or Fricke involution conventions used.
  2. [§4] Figure 3 (approximation error plots): adding a reference line with the predicted exponential slope would make the comparison with Apéry's rate visually immediate.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the detailed major comments. We address each point below, indicating the revisions that will be made to strengthen the analytic aspects of the arguments while preserving the manuscript's core contributions.

read point-by-point responses

  1. Referee: [§3] §3, the paragraph after Eq. (3.4): the claim that every member of the one-parameter affine family satisfies the identical denominator-growth bound used in Beukers' argument is load-bearing for the central result, yet the proof only verifies integrality and size for the specific Beukers choice; no uniform bound in the affine parameter is derived from the q-expansion coefficients of the weight-two form.

    Authors: We acknowledge that the denominator-growth verification was presented explicitly only for Beukers' original choice. Because the family is affine, the q-expansion coefficients of the weight-two form are affine linear in the parameter. For any fixed parameter the leading-term growth is unchanged, but to obtain a uniform bound we will insert a short lemma in the revised §3. The lemma uses the fact that the parameter enters only through a fixed multiple of a second modular form whose coefficients are themselves bounded by the same exponential rate; consequently the polynomial degree in the denominator estimate remains independent of the parameter on any compact interval. This will be added without changing the statement of the main result. revision: yes

  2. Referee: [§5] §5, Theorem 5.1 and the following numerical tables: the extension of the construction to the other listed genus-zero Fricke groups asserts that the key denominator-growth estimate survives without loss, but the argument is only numerical for generic parameters; an analytic verification that the coefficient sizes remain polynomially bounded independently of the group and parameter is required to support the claim that the irrationality argument applies verbatim.

    Authors: We agree that the numerical tables, while consistent, do not replace an analytic bound. In the revision we will augment Theorem 5.1 with a general estimate: for each listed genus-zero Fricke group the weight-two forms arising from the construction have q-coefficients whose size is controlled by the level and the genus-zero property, yielding a polynomial bound whose degree is independent of both the group (within the finite list) and the affine parameter. The argument relies on the standard growth of Fourier coefficients of weight-two forms on these groups together with the affine dependence on the parameter; the resulting uniform bound allows the irrationality argument to apply verbatim. We will also note that the bound is uniform across the listed groups but not necessarily across all conceivable genus-zero groups. revision: partial

Circularity Check

0 steps flagged

No circularity: derivation rests on standard modular-form properties and Beukers framework without self-referential reduction

full rationale

The paper constructs a one-parameter family of auxiliary weight-two modular forms for Γ0(6)⋆ and analogous forms for other genus-zero Fricke groups, then verifies that the resulting rational approximations inherit the exponential decay rate and denominator-growth bound from Beukers' original argument. No equation or step defines the target approximations or the growth bound in terms of themselves; the family is obtained by varying the modular form within the space of weight-two forms for the group, and the arithmetic estimates are asserted to follow from the same integrality and coefficient-size arguments used by Beukers. Self-citations, if present, are limited to background references on Fricke groups and modular forms and do not carry the central claim. The construction is therefore independent of the final irrationality-measure conclusion and does not reduce to a fitted parameter or renamed input.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available, so the ledger is inferred from the stated claims. The work relies on standard facts about modular forms for Fricke groups and the denominator estimates from Beukers' original argument.

axioms (2)
  • standard math Standard transformation properties of weight-two modular forms under the action of the Fricke group Γ0(6)*
    Invoked when constructing the auxiliary form and its one-parameter family
  • domain assumption The denominator-growth estimate from Beukers' irrationality proof holds for the new family members
    Required for the approximations to be usable in the irrationality argument

pith-pipeline@v0.9.0 · 5390 in / 1575 out tokens · 28939 ms · 2026-05-09T18:35:47.924440+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [1]

    R. Ap´ ery. Irrationalit´ e deζ(2) etζ(3). Ast´ erisque, 61:11–13, 1979

    work page 1979

  2. [2]

    Ball and T

    K. Ball and T. Rivoal. Propri´ et´ es arithm´ etiques des valeurs de la fonction zˆ eta aux entiers impairs. Inventiones mathematicae, 146(1):193–217, 2001. 2

    work page 2001

  3. [3]

    F. Beukers. A note on the irrationality ofζ(2) andζ(3). Bulletin of the London Mathematical Society, 11(3):268–272, 1979. 2

    work page 1979

  4. [4]

    F. Beukers. Arithmetical properties of Picard-Fuchs equations. In S´ eminaire de th´ eorie des nombres, Paris, v. 83, p. 33-38, 1982, 1981

    work page 1982

  5. [5]

    F. Beukers. Irrationality proofs using modular forms. Ast´ erisque, v. 147, n. 148, p. 271-283,

    work page

  6. [6]

    F. Beukers. Supercongruences using modular forms. arXiv preprint 2403.03301, 2005

    work page arXiv 2005

  7. [7]

    J .Conway, S. Norton. Monstrous moonshine. Bulletin of the London Mathematical Society, 11(3), 308-339, 1979. 19

    work page 1979

  8. [8]

    Sprang, and W

    S .Fischler, J. Sprang, and W. Zudilin. ”Many odd zeta values are irrational.” Compositio Mathematica 155.5: 938-952, 2019 2

    work page 2019

  9. [9]

    L. A. Gutnik, Irrationality of some quantities that containζ(3), Acta Arith.42(1983), no. 3, 255–264

    work page 1983

  10. [10]

    Macdonald Symmetric functions and Hall polynomials

    I. Macdonald Symmetric functions and Hall polynomials. 2nd edition, Oxford Univ. Press, 1995

    work page 1995

  11. [11]

    T. Miyake,Modular forms, translated from the 1976 Japanese original by Yoshitaka Maeda Reprint of the first 1989 English edition, Springer Monographs in Mathematics, Springer, Berlin, 2006; 7

    work page 1976

  12. [12]

    Y. V. Nesterenko, Linear independence of numbers, Vestnik Moskov. Univ. Ser. I Mat. Mekh. 1985, no. 1, 46–49, 108

    work page 1985

  13. [13]

    P. A. Panzone and L. A. Piovan, Algebraic sequences forζ(3) and a hybrid Catalan’s constant, Integral Transforms Spec. Funct.20(2009), no. 5-6, 341–352

    work page 2009

  14. [14]

    P. A. Panzone, Combinatorial and modular solutions of some sequences with links to a certain conformal map, Rev. Un. Mat. Argentina59(2018), no. 2, 389–414; 10

    work page 2018

  15. [15]

    Rivoal, La fonction zˆ eta de Riemann prend une infinit´ e de valeurs irrationnelles aux entiers impairs, C

    T. Rivoal, La fonction zˆ eta de Riemann prend une infinit´ e de valeurs irrationnelles aux entiers impairs, C. R. Acad. Sci. Paris S´ er. I Math.331(2000), no. 4, 267–270

    work page 2000

  16. [16]

    V. N. Sorokin, Russian Math. Surveys49(1994), no. 2, 176–177; translated from Uspekhi Mat. Nauk49(1994), no. 2(296), 167–168

    work page 1994

  17. [17]

    W. A. Stein,Modular forms, a computational approach, Graduate Studies in Mathematics, 79, Amer. Math. Soc., Providence, RI, 2007

    work page 2007

  18. [18]

    A. Weil. Remarks on Hecke’s Lemma and its use. Collected works III, p. 404-412. 6

    work page

  19. [19]

    Y. Yang. On differential equations satisfied by modular forms. Mathematische Zeitschrift, 246(1-2):1–19, 2004. 2

    work page 2004

  20. [20]

    Y. Yang. Ap´ ery limits and special values ofL-functions. Journal of Mathematical Analysis and Applications, v. 343, n. 1, p. 492-513, 2008. 2

    work page 2008

  21. [21]

    D. Zagier. Integral solutions of Ap´ ery-like recurrence equations. In Groups and Symmetries, volume 47 of CRM Proc. Lecture Notes, pages 349–366. Amer. Math. Soc., Providence, RI,

    work page

  22. [22]

    W. Zudilin. One of the numbersζ(5), ζ(7), ζ(9), ζ(11) is irrational. Uspekhi Mat. Nauk, v. 56, n. 4 (340), p. 149-150, 2001. 2

    work page 2001

  23. [23]

    W. Zudilin. Arithmetic of linear forms involving odd zeta values. Journal de th´ eorie des nombres de Bordeaux, v. 16, n. 1, p. 251-291, 2004. 2 28 CYNTHIA BORTOLOTTO AND LUCAS OLIVEIRA IMPA, Brazil Email address:cynthiab@impa.br UFRGS, Brazil Email address:lucas.oliveira@ufrgs.br

    work page 2004