pith. sign in

arxiv: 2604.09723 · v1 · submitted 2026-04-09 · 🧮 math.NT

Order-3 pi-formulas, Apery-like kernels, and Clausen functoriality for Conservative Matrix Fields

Alex Shvets This is my paper

Pith reviewed 2026-05-10 18:23 UTC · model grok-4.3

classification 🧮 math.NT
keywords order-3 recurrencespi formulasApery-like kernelsDomb numbersconservative matrix fieldsSym2 frameworkBelyi pullbackshypergeometric squares
0
0 comments X

The pith

Order-3 recurrences for pi formulas are shifted summation lifts of explicit order-2 Apéry-like kernels.

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

The paper establishes that the order-3 polynomial recurrences used to generate formulas for pi and related constants are not primitive objects. Instead, each one arises as a summation lift of a simpler order-2 kernel drawn from known integer sequences. The two pi kernels are rescalings of the sequences A036917 and the Domb numbers, while the Catalan kernel is a hypergeometric twist of a Gauss-square coefficient sequence. These kernels are placed inside a unified Sym² extension of the Conservative Matrix Field framework, where pullback-twist operations remain compatible. The work also gives an inverse classification that locates the unique Sym²(Gauss) point inside each one-parameter family of Fuchsian operators and reports eleven new integral sequences obtained from a Belyi-pullback scan.

Core claim

We prove that each order-3 recurrence explicitly printed in the public Appendix B.6 of their paper is a shifted summation lift of an explicit order-2 kernel, and identify all three kernels: the two π-kernels are explicit rescalings of the sporadic Apéry-like sequences A036917 and A002895 (Domb numbers, case (α)), while the Catalan kernel is a hypergeometric twist of the Gauss-square coefficient sequence at (a,b,c)=(1/2,1,3/2). We place these kernels in a unified Sym² framework: the first π-kernel and the Catalan kernel come directly from Gauss-square coefficient sequences, while the Domb kernel is recovered by recasting the classical degree-3 Belyi pullback φ(x)=108x²/(1-4x)³ and the 1-4x)^3

What carries the argument

The Sym² extension of the Conservative Matrix Field together with the standard pullback-twist transport on hypergeometric kernels and the closed-form accessory-parameter condition that cuts out the Sym²(Gauss) point.

If this is right

  • All three kernels in the appendix are accounted for by rescalings or twists of the named Apéry-like and Gauss sequences.
  • The Domb kernel arises directly from the classical Belyi map φ(x)=108x²/(1-4x)³ recast in CMF language.
  • For any fixed Sym²-type Riemann scheme the one-parameter Fuchsian family contains exactly one Sym²(Gauss) point defined by the accessory condition λ₀=2γ₁γ₂(1-2α).
  • The Belyi-pullback scan over 5040 configurations yields eleven additional sequences of the form [xⁿ]λⁿ ₂F₁(a,b;c;φ(x))² that are integral and fit the same framework.

Where Pith is reading between the lines

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

  • The inverse classification supplies a concrete test for whether an arbitrary recurrence originates from a hypergeometric square without first constructing the full lift.
  • The same Sym²-pullback construction may generate integer sequences attached to other constants once suitable algebraic maps replace the Belyi maps used here.
  • Compatibility of the transport with Sym² raises the possibility that higher symmetric powers or other algebraic twists preserve integrality under analogous scans.
  • The eleven new sequences furnish concrete test cases for searching additional functional equations or congruence properties that follow from their hypergeometric origin.

Load-bearing premise

The Conservative Matrix Field framework and its pullback-twist transport extend compatibly to the Sym² setting for these specific recurrences without hidden extra conditions or case-by-case adjustments.

What would settle it

Compute the explicit order-2 kernel for any single order-3 recurrence listed in Appendix B.6 and check whether the shifted summation exactly reproduces the printed recurrence coefficients and initial terms.

Figures

Figures reproduced from arXiv: 2604.09723 by Alex Shvets.

Figure 1
Figure 1. Figure 1: Structural map of the three printed order- [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The one-parameter deformation in Theorem [PITH_FULL_IMAGE:figures/full_fig_p020_2.png] view at source ↗
read the original abstract

Raz, Shalyt, Leibtag, Kalisch, Weinbaum, Hadad, and Kaminer recently showed that formulas for $\pi$ can be organized by canonical polynomial recurrences and partially unified by a rank-$2$ Conservative Matrix Field (CMF). We prove that each order-$3$ recurrence explicitly printed in the public Appendix~B.6 of their paper is a shifted summation lift of an explicit order-$2$ kernel, and identify all three kernels: the two $\pi$-kernels are explicit rescalings of the sporadic Ap\'ery-like sequences $A036917$ and $A002895$ (Domb numbers, case~$(\alpha)$), while the Catalan kernel is a hypergeometric twist of the Gauss-square coefficient sequence at $(a,b,c)=(\tfrac12,1,\tfrac32)$. We place these kernels in a unified $\operatorname{Sym}^2$ framework: the first $\pi$-kernel and the Catalan kernel come directly from Gauss-square coefficient sequences, while the Domb kernel is recovered by recasting the classical degree-$3$ Belyi pullback $\phi(x)=108x^2/(1-4x)^3$ and the associated algebraic twist in CMF language. We write an explicit square-gauge matrix for the Gauss CMF, formulate the standard pullback--twist transport in CMF terms, and show that for rank-$2$ objects it is compatible with $\operatorname{Sym}^2$. We further prove an inverse classification: for a fixed $\operatorname{Sym}^2$-type Riemann scheme, the one-parameter family of Fuchsian operators contains a unique $\operatorname{Sym}^2(\mathrm{Gauss})$ point, cut out by the closed-form condition $\lambda_0=2\gamma_1\gamma_2(1-2\alpha)$ on the accessory parameter. Finally, a Belyi-pullback scan over $5040$ configurations produces $11$ additional integer sequences of the form $[x^n]\lambda^n\,{}_2F_1(a,b;c;\phi(x))^2$; we prove their integrality and place them in the same $\operatorname{Sym}^2$-pullback framework.

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

0 major / 2 minor

Summary. The manuscript proves that each order-3 recurrence in the public Appendix B.6 of Raz et al. is a shifted summation lift of an explicit order-2 kernel. It identifies the two π-kernels as rescalings of the Apéry-like sequences A036917 and A002895 (Domb numbers) and the Catalan kernel as a hypergeometric twist of the Gauss-square coefficient sequence at (a,b,c)=(1/2,1,3/2). These are placed in a unified Sym² framework on the Gauss Conservative Matrix Field (CMF), with an explicit square-gauge matrix, a formulation of pullback-twist transport compatible with Sym² for rank-2 objects, and an inverse classification for Sym²-type Riemann schemes cut out by the accessory-parameter condition λ₀=2γ₁γ₂(1-2α). A Belyi-pullback scan over 5040 configurations yields 11 further integral sequences of the form [x^n] λ^n ₂F₁(a,b;c;ϕ(x))² whose integrality is proved in the same framework.

Significance. If the identifications and compatibility hold, the work supplies a concrete algebraic unification of order-3 π-formulas with classical order-2 kernels inside the CMF formalism, together with a parameter-free inverse classification and a systematic source of additional integral hypergeometric squares. The explicit rescalings, the recasting of the degree-3 Belyi map ϕ(x)=108x²/(1-4x)³ in CMF language, and the closed-form accessory condition are strengths that make the results falsifiable and potentially extensible.

minor comments (2)
  1. [§3] §3 (or the section introducing the square-gauge matrix): the explicit matrix entries for the Gauss CMF should be written out in full so that the subsequent pullback-twist transport formulas can be verified by direct substitution without external lookup.
  2. The enumeration underlying the 5040 Belyi configurations (the paragraph reporting the scan) is stated only by its cardinality; a brief description of the parameter ranges or symmetry reduction used would improve reproducibility.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of the main results, and recommendation for minor revision. No major comments are listed in the report, so we have no specific points requiring rebuttal or clarification at this stage. We will incorporate any minor editorial improvements suggested during the revision process to enhance readability and presentation.

Circularity Check

0 steps flagged

No significant circularity; derivations rest on external sequences and independent closed-form conditions

full rationale

The paper's central claims consist of explicit algebraic identifications of order-3 recurrences as summation lifts of known order-2 kernels (rescalings of A036917, A002895, and a hypergeometric twist of the Gauss-square sequence), placed inside a Sym² pullback-twist transport on the Gauss CMF. These rest on standard hypergeometric identities, classical Belyi maps from the literature, and OEIS sequences that predate the work. The inverse classification is cut out by the closed-form accessory-parameter condition λ₀ = 2γ₁γ₂(1-2α), which is independent of the target result. The Belyi scan over 5040 configurations and the integrality proofs for the 11 additional sequences are parameter-free and do not reduce to self-definition or fitted inputs renamed as predictions. No load-bearing step relies on self-citation chains, ansatzes smuggled via prior work by the same author, or uniqueness theorems imported from the authors' own earlier papers. The derivation chain is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The work rests on standard properties of hypergeometric functions, Fuchsian differential operators, and the prior definition of Conservative Matrix Fields; no new free parameters are introduced in the abstract, but the CMF and Sym² frameworks are treated as given domain tools.

axioms (2)
  • standard math Standard properties of hypergeometric series, Riemann schemes, and Fuchsian operators hold for the given parameters.
    Invoked throughout the classification and pullback arguments.
  • domain assumption The Conservative Matrix Field and pullback-twist transport are compatible with Sym² for rank-2 objects.
    Central modeling assumption for the unification.
invented entities (1)
  • Sym² framework for CMF no independent evidence
    purpose: To unify Gauss-square kernels and Belyi-twisted kernels under one transport rule.
    Extended application of prior CMF ideas; no independent evidence supplied in abstract.

pith-pipeline@v0.9.0 · 5711 in / 1588 out tokens · 79253 ms · 2026-05-10T18:23:09.738946+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    Almkvist, D

    G. Almkvist, D. van Straten, and W. Zudilin, Generalizations of Clausen’s Formula and algebraic transformations of Calabi–Yau differential equations,Proc. Edinburgh Math. Soc. 54(2) (2011), 273–295

    work page 2011

  2. [2]

    H. H. Chan and H. Verrill, The Apéry numbers, the Almkvist–Zudilin numbers and new series for1/π,Math. Res. Lett.16(2009), 405–420

    work page 2009

  3. [3]

    H. H. Chan, S. H. Chan, and Z.-G. Liu, Domb’s numbers and Ramanujan–Sato type series for 1/π,Adv. Math.186(2004), 396–410

    work page 2004

  4. [4]

    H. H. Chan and W. Zudilin, New representations for Apéry-like sequences,Mathematika56 (2010), 107–117

    work page 2010

  5. [5]

    T. W. Chaundy, On Clausen’s hypergeometric identity,Quart. J. Math. Oxford Ser. (2)9 (1958), 265–274

    work page 1958

  6. [6]

    Clausen, Ueber die Fälle, wenn die Reihe von der Formy = 1 +···ein Quadrat von der Formz= 1 +···hat,Journal für die reine und angewandte Mathematik3(1828), 89–91

    Th. Clausen, Ueber die Fälle, wenn die Reihe von der Formy = 1 +···ein Quadrat von der Formz= 1 +···hat,Journal für die reine und angewandte Mathematik3(1828), 89–91

    work page

  7. [7]

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

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

    work page 2012

  8. [8]

    David, The conservative matrix field, preprint,arXiv:2303.09318

    O. David, The conservative matrix field, preprint,arXiv:2303.09318

    work page arXiv

  9. [9]

    Delaygue, Arithmetic properties of Apéry-like numbers,Compos

    E. Delaygue, Arithmetic properties of Apéry-like numbers,Compos. Math.154(2018), no. 2, 249–274; preprintarXiv:1310.4131

    work page arXiv 2018

  10. [10]

    Gorodetsky, New representations for all sporadic Apéry-like sequences, with applications to congruences,Exp

    O. Gorodetsky, New representations for all sporadic Apéry-like sequences, with applications to congruences,Exp. Math.32(2023), no. 4, 641–656

    work page 2023

  11. [11]

    Mao and J.-F

    Z.-X. Mao and J.-F. Tian, Recurrence relations and applications for the Maclaurin coefficients of squared and cubic hypergeometric functions, preprint,arXiv:2601.09154

    work page arXiv

  12. [12]

    OEIS Foundation Inc., Entry A002895 inThe On-Line Encyclopedia of Integer Sequences, https://oeis.org/A002895. 31

    work page

  13. [13]

    OEIS Foundation Inc., Entry A036917 inThe On-Line Encyclopedia of Integer Sequences, https://oeis.org/A036917

    work page

  14. [14]

    T. Raz, M. Shalyt, E. Leibtag, R. Kalisch, S. Weinbaum, Y. Hadad, and I. Kaminer, From Euler to AI: Unifying formulas for mathematical constants, inAdvances in Neural Information Processing Systems 38(NeurIPS 2025), with extended versionarXiv:2502.17533v4

    work page arXiv 2025

  15. [15]

    M. F. Singer, Solving homogeneous linear differential equations in terms of second order linear differential equations,Amer. J. Math.107(1985), 663–696

    work page 1985

  16. [16]

    van Hoeij, Decomposing a 4th order linear differential equation as a symmetric product, Banach Center Publications58(2002), 89–96

    M. van Hoeij, Decomposing a 4th order linear differential equation as a symmetric product, Banach Center Publications58(2002), 89–96

    work page 2002

  17. [17]

    Vid¯ unas, A generalization of Clausen’s identity,Ramanujan J.26(2011), 133–146; preprint arXiv:0906.1862

    R. Vid¯ unas, A generalization of Clausen’s identity,Ramanujan J.26(2011), 133–146; preprint arXiv:0906.1862

    work page arXiv 2011

  18. [18]

    Weinbaum, E

    S. Weinbaum, E. Leibtag, R. Kalisch, M. Shalyt, and I. Kaminer, On Conservative Matrix Fields: Continuous Asymptotics and Arithmetic, preprint,arXiv:2507.08138

    work page arXiv

  19. [19]

    Zudilin, Hypergeometric heritage of W

    W. Zudilin, Hypergeometric heritage of W. N. Bailey. With an appendix: Bailey’s letters to F. Dyson,Not. Int. Congr. Chinese Math.7(2019), no. 2, 32–46; preprintarXiv:1611.08806. 32

    work page arXiv 2019