arxiv: 2604.14219 · v2 · submitted 2026-04-13 · 🧮 math.NT

Recognition: unknown

Eta-products, Eichler integrals, and the level-8 Apery limit

Alex Shvets

Authors on Pith no claims yet

Pith reviewed 2026-05-10 15:41 UTC · model grok-4.3

classification 🧮 math.NT MSC 11F1111B3711F67

keywords eta-productsEichler integralsApery limitlevel-8zeta(3)continued fractionsFricke period polynomialbinomial sums

0 comments

The pith

An eta-product derivation recovers the level-8 Apery limit as (7/32) zeta(3) for the binomial-sum sequence and its cubic recurrence companion.

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

The paper rederives, from first principles in the language of eta-products, the already-known limit lim B_n^{(8)} / s_n = (7/32) zeta(3), where s_n is the sum of squared binomial coefficients C(n,k)^2 C(2k,n)^2 and B_n^{(8)} obeys the same recurrence with B_0=0, B_1=1. It supplies explicit steps for the Wronskian identity, the normalization of the associated Eichler integral, the residue extraction from the Fricke period polynomial, and the conversion to a continued fraction. The work therefore supplies an independent verification of the limit inside the eta-product normalization rather than through modular methods or motivic normal functions.

Core claim

What carries the argument

eta-product normalization of the Eichler integral together with the residue computation on the Fricke period polynomial

If this is right

The Wronskian identity holds explicitly for the eta-products attached to the level-8 case.
The normalized Eichler integral produces the correct Fricke period polynomial whose residue yields the Apery constant.
The same eta-product data converts directly into the continued fraction PCF((2n+1)(3n^2+3n+1),-n^6) = 8/(7 zeta(3)).
The elementary continuant conversion recovers the rational sequence B_n^{(8)} from the modular data.

Where Pith is reading between the lines

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

The eta-product method may supply similar independent derivations for Apery limits at other small levels once the corresponding eta-products and period polynomials are identified.
The explicit residue calculation offers a template for checking whether other known zeta(3) multiples arise from period polynomials of Fricke type.
If the normalization works uniformly, the approach could connect binomial-sum recurrences at level 8 to a broader family of eta-product identities without invoking motivic cohomology.

Load-bearing premise

The chosen normalization of the Eichler integral and the residue computation of the Fricke period polynomial correctly recover the limit without hidden adjustments in the eta-product setting.

What would settle it

An explicit numerical mismatch between the computed residue of the Fricke period polynomial and (7/32) zeta(3), or a failure of the Wronskian identity for the specific eta-products used.

read the original abstract

We give an independent eta-product derivation of the level-8 Apery limit lim B_n^{(8)}/s_n = (7/32) zeta(3), where s_n = sum_{k=0}^n C(n,k)^2 C(2k,n)^2 and B_n^{(8)} is the rational companion sequence satisfying the same cubic recurrence with initial values B_0^{(8)}=0, B_1^{(8)}=1. This value was identified numerically by Almkvist-van Straten-Zudilin and was proved by Golyshev via Beukers's Atkin-Lehner modular method; it was later recomputed by Golyshev-Kerr-Sasaki in the motivic/normal-function framework. The continued fraction PCF((2n+1)(3n^2+3n+1),-n^6) = 8/(7 zeta(3)) already appears in Batut-Olivier and was later rediscovered by the Ramanujan Machine as conjecture Z1. The contribution of the present paper is an explicit rederivation, in the eta-product normalization, of the already-known level-8 Apery limit. We spell out the eta-product verification of the Wronskian identity, the normalization of the Eichler integral, the residue computation of the Fricke period polynomial, and the elementary continuant conversion.

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.

Desk Editor's Note private letter to a colleague

This paper rederives the known level-8 Apéry limit using eta-products in a self-contained way but adds no new results.

read the letter

The core point is that this work supplies an explicit eta-product derivation of the limit lim B_n^{(8)}/s_n = (7/32) zeta(3), walking through the Wronskian identity for the relevant eta-products, the normalization of the Eichler integral, the residue of the Fricke period polynomial, and the final continuant step. It positions itself as independent of Golyshev's earlier Atkin-Lehner modular proof and the later motivic treatment by Golyshev-Kerr-Sasaki. That independence is the main practical contribution: someone who prefers to stay inside eta-product identities can now follow the argument without switching frameworks. The steps are spelled out plainly, which makes the calculation easier to check or adapt. The paper also notes the prior numerical identification by Almkvist-van Straten-Zudilin and the continued-fraction appearance in Batut-Olivier and the Ramanujan Machine, so the context is clear. The limitation is straightforward: the target value was already proved, so this is a rederivation rather than a new theorem. No hidden parameters or post-hoc fitting appear in the outline, and the stress-test found no internal contradictions. The normalization choices for the Eichler integral and residue look consistent within the eta-product setting, though a referee would still want to see the full expansions to confirm there are no arithmetic slips. This is useful for readers already working on Apéry-type sequences, eta-products, or explicit continued fractions in number theory. Someone chasing new irrationality proofs or broader conjectures will not find fresh territory here. A specialized journal that values careful explicit derivations could reasonably send it to referees; the work is narrow but technically honest and self-contained.

Referee Report

0 major / 3 minor

Summary. The manuscript presents an eta-product derivation of the known level-8 Apéry limit, specifically showing that the ratio of the sequence B_n^{(8)} satisfying a cubic recurrence to the binomial sum s_n tends to (7/32)ζ(3) as n tends to infinity. The derivation proceeds by verifying a Wronskian identity for eta-products, normalizing an Eichler integral, computing the residue of the associated Fricke period polynomial, and converting the result via continuants. This is positioned as independent of previous modular and motivic proofs.

Significance. If the derivations are correct, the paper provides a valuable explicit rederivation in the language of eta-products and Eichler integrals. This approach may offer new insights or simplifications for similar limits at other levels. The self-contained nature of the steps, including the Wronskian verification and residue computation, is a positive aspect, as it allows for independent verification without relying on prior frameworks.

minor comments (3)

The relation between the continued fraction PCF((2n+1)(3n^2+3n+1), -n^6) and the Apéry limit could be made more explicit in the introduction for readers unfamiliar with the Ramanujan Machine conjectures.
Ensure that all initial conditions and recurrence relations for B_n^{(8)} are stated clearly at the beginning of the relevant section.
Check for consistency in the notation of binomial coefficients and sums throughout the text.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, their assessment of its significance as a self-contained eta-product rederivation, and the recommendation for minor revision. The description of the approach via Wronskian identity, Eichler integral normalization, Fricke period polynomial residue, and continuant conversion is accurate.

Circularity Check

0 steps flagged

No significant circularity; self-contained eta-product rederivation

full rationale

The paper frames its contribution as an explicit, independent rederivation of the known level-8 Apéry limit using eta-product identities to verify the Wronskian, normalize the Eichler integral, compute the Fricke period-polynomial residue, and convert via continuants. These steps are presented as proceeding directly from the eta-product normalization and standard modular-form tools without fitting parameters to the target limit, without load-bearing self-citations, and without reducing the final equality to an input by construction. Prior proofs (Golyshev/Beukers, Golyshev-Kerr-Sasaki) are cited only for historical context, not as premises in the derivation chain. The construction therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The derivation rests on standard properties of the Dedekind eta function, Eichler integrals, and Fricke period polynomials drawn from prior modular-forms literature; no new free parameters or invented entities are introduced.

axioms (2)

standard math Standard transformation and product properties of the Dedekind eta function
Invoked for the eta-product representation of the sequences and the Wronskian identity
domain assumption Existence and normalization properties of Eichler integrals and Fricke period polynomials
Used for the normalization step and the residue computation that yields the limit

pith-pipeline@v0.9.0 · 5544 in / 1353 out tokens · 48310 ms · 2026-05-10T15:41:13.803561+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

12 extracted references · 4 canonical work pages · 1 internal anchor

[1]

Almkvist, D

G. Almkvist, D. van Straten, and W. Zudilin,Apéry limits of differential equations of order4and5, in:Modular forms and string duality(Banff 2006), Fields Inst. Commun.54, Amer. Math. Soc., Providence, RI, 2008, pp. 105–123

2006
[2]

Batut and M

C. Batut and M. Olivier,Sur l’accélération de la convergence de certaines fractions continues, Séminaire de Théorie des Nombres de Bordeaux 1979–1980, exposé 23, 26 pp

1979
[3]

Cooper,Apéry-like sequences defined by four-term recurrence relations, arXiv:2302.00757 [math.NT], 2023

S. Cooper,Apéry-like sequences defined by four-term recurrence relations, arXiv:2302.00757 [math.NT], 2023

work page arXiv 2023
[4]

Cooper,Sporadic sequences, modular forms and new series for1/π, Ramanujan J

S. Cooper,Sporadic sequences, modular forms and new series for1/π, Ramanujan J. 29(2012), 163–183

2012
[5]

Diamond and J

F. Diamond and J. Shurman,A First Course in Modular Forms, Graduate Texts in Mathematics, vol. 228, Springer, New York, 2005

2005
[6]

Flajolet and R

P. Flajolet and R. Sedgewick,Analytic Combinatorics, Cambridge University Press, Cambridge, 2009

2009
[7]

Golyshev, M

V. Golyshev, M. Kerr, and T. Sasaki,Apéry extensions, J. London Math. Soc.109 (2024), e12825; preprint arXiv:2009.14762

work page arXiv 2024
[8]

Deresonating a Tate period

V. Golyshev,Deresonating a Tate period, preprint, arXiv:0908.1458, 2009

work page arXiv 2009
[9]

Ligozat,Courbes modulaires de genre1, Bull

G. Ligozat,Courbes modulaires de genre1, Bull. Soc. Math. France, Mémoire43, Société Mathématique de France, Paris, 1975

1975
[10]

Raayoni, S

G. Raayoni, S. Gottlieb, Y. Manor, G. Pisha, Y. Harris, U. Mendlovic, D. Haviv, Y. Hadad, and I. Kaminer,Generating conjectures on fundamental constants with the Ramanujan Machine, Nature590(2021), no. 7844, 67–73

2021
[11]

The Domb Ap'ery-limit and a proof of the Ramanujan Machine conjecture Z2

A. Shvets,The Domb Apéry-limit and a proof of the Ramanujan Machine conjecture Z2, arXiv:2604.06239 [math.NT], 2026

work page internal anchor Pith review Pith/arXiv arXiv 2026
[12]

Yang,Apéry limits and special values ofL-functions, J

Y. Yang,Apéry limits and special values ofL-functions, J. Math. Anal. Appl.343 (2008), no. 1, 492–513. Haifa, Israel Email address:alex@shvets.io URL:ORCID 0009-0005-9802-379X

2008