arxiv: 2604.03662 · v1 · submitted 2026-04-04 · 🪐 quant-ph · hep-th

Recognition: 2 theorem links

· Lean Theorem

Quantum Realization of the Wallis Formula

Bin Ye , Ruitao Chen , Lei Yin

Authors on Pith no claims yet

Pith reviewed 2026-05-13 16:49 UTC · model grok-4.3

classification 🪐 quant-ph hep-th

keywords Wallis formularadial probability densityharmonic oscillatorFock-Darwin systemangular momentumquantum mechanicspi product

0 comments

The pith

Two quantum systems realize the Wallis formula for π through a scale-independent ratio that approaches unity at high angular momentum.

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

The paper derives the Wallis product for π from the radial probability densities of two exactly solvable systems: the circular states of the three-dimensional isotropic harmonic oscillator and the lowest-radial states of the planar Fock-Darwin problem. Both densities take the form P(r) proportional to r to some power times an exponential decay in r squared, which produces an observable Q equal to the product of the average radius and the average of its reciprocal. This Q is independent of the overall scale and fixes finite partial products built from Gamma-function branches. When angular momentum becomes large the states localize onto a thin spherical shell or narrow annulus so that Q approaches 1 and the partial products converge to the infinite Wallis formula.

Core claim

The finite Wallis partial products are fixed by the value of the scale-independent ratio Q in one system and by its reciprocal in the other; both representations reduce exactly to the Wallis formula once Q reaches 1 in the large-angular-momentum regime where the states localize on thin shells or annuli.

What carries the argument

The scale-independent ratio Q = average of r times average of 1/r, obtained directly from the exact radial probability density P(r) proportional to r^ν exp(-λ r²).

If this is right

The even and odd half-integer branches of the Gamma-function moment formula each correspond to one of the two quantum systems.
The classical limit of thin-shell localization recovers the infinite product for π as a direct consequence of Q reaching unity.
Finite truncations of the product are given by explicit functions of the measured value of Q.
The same radial-density form appears in both the three-dimensional oscillator and the two-dimensional Fock-Darwin problem, unifying the even and odd cases.

Where Pith is reading between the lines

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

Similar scale-independent ratios constructed from other solvable radial potentials could yield quantum realizations of additional infinite-product identities.
High-angular-momentum states in trapped-ion or cold-atom experiments could be prepared and probed to extract Q and thereby test the approach to the Wallis limit.
The derivation supplies a physical picture in which the convergence of the product is tied to the vanishing relative width of the radial probability distribution.

Load-bearing premise

The radial probability density must take exactly the form proportional to r to a power times an exponential of minus lambda r squared so that the ratio Q remains independent of the overall length scale.

What would settle it

A direct measurement of Q in states with successively larger angular momentum that fails to approach 1 would show that the partial products do not reduce to the Wallis formula.

Figures

Figures reproduced from arXiv: 2604.03662 by Bin Ye, Lei Yin, Ruitao Chen.

**Figure 1.** Figure 1: Scaled defects 4𝓁(𝑄 (osc) 𝓁 − 1) and 4𝑚(𝑄(FD) 𝑚 − 1). Both approach unity, showing the common leading asymptotic law 𝑄 = 1 + 1 4𝑛 + 𝑂(𝑛 −2) underlying the two Wallis-product realizations. Yin Lei et al.: Preprint submitted to Elsevier Page 9 of 8 [PITH_FULL_IMAGE:figures/full_fig_p009_1.png] view at source ↗

read the original abstract

We present a unified quantum-mechanical derivation of the Wallis formula from two solvable radial systems: the circular states of the three-dimensional isotropic harmonic oscillator and the lowest-radial-branch states of the planar Fock--Darwin problem, including the lowest Landau level sector. In both cases, the radial probability density has the exact form $P(r)\propto r^\nu e^{-\lambda r^2}$, which yields the scale-independent reciprocal observable $Q=\langle r\rangle\langle r^{-1}\rangle$. The two systems realize the even and odd half-integer Gamma-function branches of the same moment formula, so that the associated finite Wallis partial products are determined by $Q$ in one case and by $Q^{-1}$ in the other. In the large-angular-momentum regime, the corresponding states become localized on a thin spherical shell or a narrow annulus, with vanishing relative radial width, so that $Q\to1$ and both finite-product representations reduce to the Wallis formula for $\pi$.

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

The paper maps radial moments from two solvable quantum systems onto Wallis partial products via Gamma functions, but the exact finite-term identification looks forced rather than natural.

read the letter

The core idea is to use the radial probability densities in the 3D isotropic harmonic oscillator and the Fock-Darwin system, both of which have the exact form P(r) ∝ r^ν exp(-λ r²). From this they compute the scale-independent quantity Q = ⟨r⟩⟨1/r⟩, express it with Gamma functions, and state that Q or 1/Q supplies the finite Wallis partial products for the even and odd branches. In the large-angular-momentum limit the states localize radially, Q approaches 1, and the products recover the usual Wallis formula for π. That limit part is straightforward and follows from standard localization arguments in these systems. The solvable radial wavefunctions are also correctly recalled, so the setup itself is clean. What is new is the explicit claim that these two particular quantum systems realize the even and odd Gamma branches in a way that directly ties the moments to the partial products. The soft spot is the precise identification step. The Gamma formula for Q is correct and scale-free, but matching it to the standard finite product ∏ 4k²/(4k²-1) requires a specific reparametrization of ν in terms of the product index. For ν=2 the resulting Q equals 4/π, which is already the infinite-product value rather than the first partial term 4/3. The odd branch similarly lands on the limit rather than a finite term. If the paper simply chooses ν(n) to make the expressions coincide, the claim that the partial products are “determined by Q” becomes partly tautological. The manuscript would need to show an exact, branch-specific equality without extra fitting. This is a niche observation in mathematical physics rather than a result that opens new questions or applications. Readers who work on exactly solvable models or Gamma-function identities might find the link worth a look, but it does not reorganize anything. I would send it to referees so they can verify the explicit derivations and the claimed equality for small n; the abstract alone leaves the central step uncheckable. It is not strong enough for a high-impact venue but deserves a proper review rather than an immediate desk reject.

Referee Report

1 major / 1 minor

Summary. The paper claims a unified quantum-mechanical derivation of the Wallis formula for π from two solvable radial systems: the circular states of the 3D isotropic harmonic oscillator and the lowest-radial-branch states of the planar Fock-Darwin problem (including lowest Landau level). In both cases the radial density takes the form P(r)∝r^ν e^{-λ r²}, yielding the scale-independent ratio Q=⟨r⟩⟨r^{-1}⟩ as a ratio of Gamma functions. The even and odd half-integer branches are asserted to determine the finite Wallis partial products (via Q or Q^{-1}), which reduce to the infinite product when Q→1 in the large-angular-momentum limit where the states localize on a thin shell or annulus.

Significance. If the exact, non-tautological identification of the quantum moment ratio Q with the finite Wallis partial products holds, the work would supply a physical realization of the identity through expectation values in exactly solvable systems. The localization argument supporting Q→1 is standard and robust for these Hamiltonians. The unification of even/odd branches across two distinct physical models is a constructive feature.

major comments (1)

[Derivation of Q and mapping to Wallis partial products] The Gamma-function formula for Q=Γ((ν+2)/2)Γ(ν/2)/[Γ((ν+1)/2)]² is correctly obtained from the moments of the given P(r). However, the central claim that this Q (or Q^{-1}) exactly determines the finite Wallis partial products ∏_{k=1}^n 4k²/(4k²-1) (or its Gamma equivalent) requires an explicit, branch-specific ν-to-n reparametrization. For ν=2 the expression yields 4/π while the n=1 even term is 4/3; the manuscript must demonstrate how the mapping produces equality for arbitrary finite n rather than an analogous or asymptotic form, as this identification is load-bearing for the assertion that the partial products are “determined by Q”.

minor comments (1)

[Setup of the two radial systems] Clarify the precise relation between the exponent ν and the angular-momentum quantum number in each system (e.g., ν=2L for the oscillator circular states) so that the even/odd branches are unambiguously tied to integer or half-integer L.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the positive assessment of the derivation of Q and the physical significance of the localization argument. We address the major comment below and will incorporate the requested clarifications in a revised version.

read point-by-point responses

Referee: The Gamma-function formula for Q=Γ((ν+2)/2)Γ(ν/2)/[Γ((ν+1)/2)]² is correctly obtained from the moments of the given P(r). However, the central claim that this Q (or Q^{-1}) exactly determines the finite Wallis partial products ∏_{k=1}^n 4k²/(4k²-1) (or its Gamma equivalent) requires an explicit, branch-specific ν-to-n reparametrization. For ν=2 the expression yields 4/π while the n=1 even term is 4/3; the manuscript must demonstrate how the mapping produces equality for arbitrary finite n rather than an analogous or asymptotic form, as this identification is load-bearing for the assertion that the partial products are “determined by Q”.

Authors: We agree that the manuscript would be strengthened by an explicit demonstration of the branch-specific reparametrization that establishes the exact identification for finite n. The current text states that the even and odd half-integer branches of the Gamma expression for Q determine the finite partial products (via Q or Q^{-1}), but does not spell out the ν(n) mapping or verify equality with the Gamma equivalent of the partial product for arbitrary n. In the revision we will add a short subsection that (i) defines the even branch as ν = 2n (n = 1, 2, …) realized by the circular states of the 3D oscillator and the odd branch as ν = 2n + 1 realized by the lowest-radial-branch states of the Fock–Darwin system, (ii) substitutes these into the Gamma formula for Q, and (iii) shows by direct algebraic identity that the resulting expression coincides with the known Gamma-function representation of the partial product ∏_{k=1}^n 4k²/(4k²-1) (or its reciprocal, depending on the branch). We will include explicit checks for small n (including the ν = 2 case) and the general-n proof. This addition will make the finite-n claim fully rigorous while leaving the asymptotic Q → 1 argument and the overall conclusions unchanged. revision: yes

Circularity Check

0 steps flagged

No significant circularity; QM moments and limit are independent of Wallis identification

full rationale

The derivation computes the scale-independent Q = ⟨r⟩⟨r^{-1}⟩ directly from the exact radial density P(r) ∝ r^ν e^{-λ r²} using standard Gamma-function moment formulas for the two solvable systems. The large-angular-momentum localization argument (vanishing relative width implying Q → 1) is a physical statement about the states and does not presuppose the value of the Wallis product. The mapping of Q (or Q^{-1}) onto finite Wallis partial products is presented as a consequence of the shared Gamma branches; this relies on external mathematical identities rather than any self-definition, fitted parameter renamed as prediction, or load-bearing self-citation within the paper. No equation is shown to equal its own input by construction, and the central claim remains self-contained against the external benchmark of the known Wallis formula.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The derivation rests on standard exactly solvable radial wavefunctions for the isotropic oscillator and Fock-Darwin Hamiltonian together with the known moment formulas for Gamma functions; no new free parameters, ad-hoc axioms, or postulated entities are introduced.

axioms (2)

standard math Radial wavefunctions of the 3D isotropic harmonic oscillator and the planar Fock-Darwin problem are exactly solvable with known closed-form expressions.
Standard results in quantum mechanics textbooks; invoked to justify the form P(r)∝ r^ν e^{-λ r²}.
standard math Expectation values of r and r^{-1} for these states can be expressed exactly via Gamma functions.
Standard integral evaluation for power-law times Gaussian densities.

pith-pipeline@v0.9.0 · 5459 in / 1536 out tokens · 61030 ms · 2026-05-13T16:49:29.526389+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Cost Jcost definition and washburn_uniqueness_aczel matches

?

matches
MATCHES: this paper passage directly uses, restates, or depends on the cited Recognition theorem or module.

Q_ν := ⟨r⟩_ν,λ ⟨r^{-1}⟩_ν,λ = Γ((ν+2)/2) Γ(ν/2) / [Γ((ν+1)/2)]² ... 1 ≤ Q_ν ... Q→1 in the large-angular-momentum regime
IndisputableMonolith/Foundation/Cost reciprocal cost uniqueness echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

P(r) ∝ r^ν e^{-λ r²} yields the scale-independent reciprocal observable Q

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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Emergence of $\pi$ from Equatorial Quantum Localization
quant-ph 2026-04 unverdicted novelty 6.0

A natural geometric rigidity index for equatorial localization on the sphere in highest-weight spherical harmonics is exactly a Wallis partial product, recovering π via the correspondence principle in the large-quantu...

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages · cited by 1 Pith paper

[1]

Friedmann and C

T. Friedmann and C. R. Hagen,Quantum mechanical derivation of the wallis formula for𝜋,Journal of Mathematical Physics56(2015) 112101, [1510.07813]

work page arXiv 2015
[2]

O. I. Chashchina and Z. K. Silagadze,On the quantum mechanical derivation of the wallis formula for𝜋,Physics Letters A381(2017) 2593–2597, [1704.06153]

work page arXiv 2017
[3]

Cortese and J

I. Cortese and J. A. García,Wallis formula from the harmonic oscillator,Journal of Geometry and Physics124 (2018) 249–254, [1709.01214]

work page arXiv 2018
[4]

F. W. J. Olver, D. W. Lozier, R. F. Boisvert and C. W. Clark, eds.,NIST Handbook of Mathematical Functions. Cambridge University Press, New York, 2010

work page 2010
[5]

F. G. Tricomi, A. Erdélyi et al.,The asymptotic expansion of a ratio of gamma functions,Pacific J. Math1(1951) 133–142

work page 1951
[6]

Gamma function: Asymptotic expansions, 5.11(iii) ratios

NIST Digital Library of Mathematical Functions, “Gamma function: Asymptotic expansions, 5.11(iii) ratios.” https://dlmf.nist.gov/5.11, 2025

work page 2025
[7]

Fock,Bemerkung zur quantelung des harmonischen oszillators im magnetfeld,Zeitschrift für Physik47(1928) 446–448

V. Fock,Bemerkung zur quantelung des harmonischen oszillators im magnetfeld,Zeitschrift für Physik47(1928) 446–448

work page 1928
[8]

C. G. Darwin,The diamagnetism of the free electron,Mathematical Proceedings of the Cambridge Philosophical Society27(1931) 86–90

work page 1931
[9]

Landau,Diamagnetismus der metalle,Zeitschrift für Physik64(1930) 629–637

L. Landau,Diamagnetismus der metalle,Zeitschrift für Physik64(1930) 629–637. Yin Lei et al.:Preprint submitted to ElsevierPage 8 of 8 Quantum Realization of the Wallis Formula y = 1 oscillator branch Fock-Darwin branch 10 20 30 40 50 600.7 0.8 0.9 1.0 1.1 quantum number 4n (Qn - 1) Figure 1:Scaled defects4𝓁(𝑄 (osc) 𝓁 − 1)and4𝑚(𝑄 (FD) 𝑚 − 1). Both approach...

work page 1930