REVIEW 3 major objections 3 minor 17 references
The dyadic denominator law for the phase constants of the Jacobi zeros
T0 review · 3 major / 3 minor · reviewed 2026-08-28 · deepseek-v4-flash
Pith's one-line read The dyadic denominator law for Jacobi phase constants is exact
desk verdict The self-contained 2-adic results are real and clean, but the advertised sharp denominator law is not proved in this manuscript—it is deferred to an inaccessible companion—so read it as a strong reduction, not the final word. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central mechanism is a division-free Horn-style recurrence for the logarithmic-derivative coefficients $U_n,V_n$ of the resummed amplitude; because no division occurs until the final evaluation, the 2-adic denominators are produced only by the radial degree $c+d$ and the midpoint value. The exact midpoint cost computes $\nu_2(\operatorname{Im}\,x_0^c y_0^d/(c+d))$, and its maximum up to $2r-1$ gives the coarse integrality bound. The arithmetic heart is the 2-adic vanishing $\sum_{k\ge0}k!/(2k+1)!!=0$ in $\mathbb{Q}_2$, which, through binomial-moment manipulations, yields $\nu_2(J_m)=m+\nu_2(m+1)$. The transfer uses the Borel transform $\Phi$ of the tangent and $W(t)=\sinh(2t)\operatorname{Im}\Phi(t)/t^2$; the two mutual convolutions with $\sinh(2t)/(2t)$ and its reciprocal have tails that are strictly subdominant in 2-adic valuation, making the resummation exact on valuations.
What would settle it
Run the included exact recurrence to compute $\nu_2(\ell_{49})$: the sharp law predicts $-E_{49}=-192$, while the previous verification stops at $r=48$; one mismatch would disprove the law in all orders. A second check is to compute the phase constants by an independent Stirling-Newton phase engine for $r=9$ and compare with formula (3); disagreement would show the denominator law is about a different sequence.
Extended reading notes
Core claim
On its own terms, the paper claims that the denominators of the phase constants $\kappa_r$ are governed exactly by powers of 2, with odd prime content bounded by the lcm of odd integers up to $2r-1$. Concretely, for the Legendre-tangent coefficient $\ell_r=[A^1B^0]\kappa_r$ it asserts $\nu_2(\ell_r)=-E_r$ in every order, where $E_r=3r-1+\nu_2((r-1)!)$. The route has two halves: a proved valuation law $\nu_2(\sum_{j=0}^{m}\binom{m}{j}\frac{1}{2j+1})=m+\nu_2(m+1)$, derived from the 2-adic identity $\sum_{k\ge0}k!/(2k+1)!!=0$ in $\mathbb{Q}_2$, fixes the extremal coefficient; and a valuation-exact transfer theorem rewrites the whole family of sharp denominator statements as the single integrality condition $((2m)!)^2w_m\in\mathbb{Z}_2^\times$ for $W(t)=\sinh(2t)\,\operatorname{Im}\Phi(t)/t^2$. The note added to the paper states that this last integrality has been proved in a companion manuscript, so the sharp law holds in all orders.
Load-bearing premise
The load-bearing premise is that the sequence $\kappa_r$ defined by $\kappa_r=2^{-(2r-1)}\operatorname{Im}L_{2r-1}(x_0,y_0)$ really is the phase-constant sequence from the Liouville normal form; the identification is verified in exact arithmetic only for $r\le8$, and all denominator results concern that sequence.
Editorial extensions
If this is right
- For every order $r$, the physical-basis coefficient $\ell_r$ has exactly the power $2^{-E_r}$ in its denominator, with $E_r=3r-1+\nu_2((r-1)!)$.
- The odd part of any denominator divides $\operatorname{lcm}(1,3,\dots,2r-1)$, so no odd prime larger than $2r-1$ can occur for any parameter values $\alpha,\beta$.
- The sharp law is equivalent, index by index, to $((2m)!)^2w_m\in\mathbb{Z}_2^\times$ for every $m$; checking either statement settles the other.
- The 2-adic identity $\sum_{k\ge0}k!/(2k+1)!!=0$ makes the extremal coefficient a 2-adic unit after multiplication by $2^{2r+\nu_2((r-1)!)}$.
- Because no small annihilating operator exists up to the certified bound, a proof of the integrality via p-adic dominance cannot start from a guessed differential or recurrence equation; it must use the structural recurrence.
Reading between the lines
- Editorial inference: the same valuation-exact resummation may work for phase constants of other orthogonal polynomial families, provided their amplitude logarithm satisfies a division-free recurrence and the convolution partner has 2-adic valuations at least $s_2(k)$.
- Editorial inference: the identity $\sum_{k\ge0}k!/(2k+1)!!=0$ in $\mathbb{Q}_2$ stands on its own as a 2-adic fact; its real-analytic counterpart is $\pi/2$, so the same series encodes complementary information in the two completions of $\mathbb{Q}$.
- Editorial inference: if the absence of small annihilating operators persists at every size, $W$ is not D-finite; then no creative-telescoping route can prove the integrality, and the structural proof in the companion manuscript is not merely convenient but necessary.
- Editorial inference: the identification of $\kappa_r$ with the amplitude-logarithm values is exact only up to $r=8$; an independent phase engine run at $r=9$ or $10$ would be a cheap way to remove the largest stated assumption.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the denominators, and in particular the 2-adic valuations, of the phase constants kappa_r appearing in the asymptotic phase of Jacobi polynomial zeros. After transforming the Jacobi equation to Liouville normal form, kappa_r is defined through Eq. (3) as 2^{-(2r-1)} Im L_{2r-1}(x0,y0). The self-contained part proves an integral Horn recurrence (Theorem 2.2), the odd-denominator bound (Theorem 1.1), coarse 2-adic integrality (Theorem 1.2), the vanishing of sum_{k>=0} k!/(2k+1)!! in Q_2 (Theorem 3.5), the binomial-moment valuation law (Theorem 1.4), and a transfer theorem (Theorem 1.6) that equates the sharp law nu_2(ell_r) = -E_r with an integrality statement for the coefficients w_m of W(t). Conjecture 1.7, the needed integrality of ((2m)!)^2 w_m, is stated as open and then asserted to be proved in a companion paper [17], while the present paper verifies it computationally for m <= 46 and the sharp law for r <= 48, and reports that no small annihilating operator exists for the relevant series.
Significance. The self-contained contributions are meaningful and, as far as I can check, sound: the Horn recurrence is division-free and gives explicit denominator control; the 2-adic vanishing theorem and the valuation law are elegant, parameter-free, and supported by exact rational computations; and the transfer theorem is an original reduction of a coefficient family to a single even power series, with exact index-by-index valuation transfer. The paper ships complete code in exact arithmetic with no floating point, so the computational claims are reproducible. If the proof of Conjecture 1.7 in [17] is correct, the sharp law follows, but the present manuscript does not contain that proof, so the advertised claim that the sharp denominator law holds in all orders is not verifiable from this submission alone.
major comments (3)
- [§1 (Note added) and §8] The headline theorem nu_2(ell_r) = -E_r for all r is not proved in this manuscript. Conjecture 1.7 is asserted to be proved in the companion paper [17], which is described as 'submitted', carries no arXiv identifier, and is not reproduced; the only indication is the paraphrase 'a Genocchi-form exponent whose unique 2-adically dominant partition is the all-ones one'. Since Theorem 1.6 transfers equality index by index, the central claim rests entirely on an external and currently inaccessible proof. The abstract's unqualified statement that the sharp denominator law holds in all orders is therefore not supported within the text. The authors must either include a complete proof of Conjecture 1.7 or clearly state the sharp law as conditional on [17].
- [Remark 2.1] The working definition (3) is identified with the phase constants Psi_r(1) of Eq. (1) only for r <= 8, by exact arithmetic. All subsequent theorems (Theorems 1.1, 1.2, 1.4, 1.6, and the claimed sharp law) are formulated for the sequence defined by (3). If this identification fails for some r > 8, the results would concern a different sequence and would not apply to the Jacobi phase constants. This is an acknowledged gap, but it is load-bearing for the paper's interpretation, and the text should either prove the identification for all r or explicitly restrict the claims to the sequence (3).
- [§3.1, Proposition 3.1] The extremal-unit statement Corollary 1.5 and the lower bound in Remark 3.8 depend on the top-layer formula [mu_alpha^r]kappa_r = gamma_r I_r, which is verified only for r <= 20 in exact arithmetic, not proved. The text in §3 says everything after Proposition 3.1 is proved, but this parent proposition is only computationally established for finitely many orders. The paper should either prove Proposition 3.1, or state the extremal-unit result and the Bessel-basis gap as finite-order verified observations rather than as unconditional results.
minor comments (3)
- [§7.1, code] The code comment 'print partial sums -> unbounded, so the sum is 0' is not a proof: the printed finite list of valuations does not establish unboundedness. The proof is in Theorem 3.5, but the code comment should be phrased as an illustration rather than a verification of the vanishing.
- [§4, Theorem 1.6 and §8] The transfer theorem is purely dyadic: it preserves 2-adic valuations but does not transport the odd part of the denominator. The status table correctly lists 'Odd-prime transport through D,S not proved', but the main text should state explicitly that Theorem 1.6 does not transfer the odd-denominator information and that no claim about odd primes is made.
- [References] Reference [17] is cited as 'submitted, 2026' with no arXiv number, DOI, or repository identifier. Since the central claim depends on it, a stable and accessible identifier or an appendix containing the proof is necessary for verifiability.
Circularity Check
Sharp all-orders denominator law is not proved here: it is delegated to the same-author companion [17]; the identification of the working definition (3) with the phase constants is checked only to r≤8.
-
self citation load bearing
[Note added, p. 3; Theorem 1.6 and Conjecture 1.7; Section 8 status table]
"Conjecture 1.7 (and with it, by Theorem 1.6, the sharp law ν2(ℓr) = −Er for every r) is proved in [17]: the transverse tangent is computed there in closed form ... and an elementary 2-adic dominance argument ... gives ν2(wm) = −2ν2((2m)!) for every m."
The advertised sharp law is not proved in this manuscript. The self-contained Theorem 1.6 only establishes an equivalence: ν2(ℓr) ≥ −Er for all r iff ν2(wm) ≥ τ(m) for all m, with equality transferring index by index. The all-orders equality is then delegated to Conjecture 1.7, whose proof is cited to [17], a companion paper by the same author described as 'submitted' with no public version. The status table repeats 'Conjecture W proved [17]' and 'ν2(ℓr) = −Er proved [17]'. Because [17] is not reproduced, not machine-checked, and not independently available, the central claim rests on the author's own unverified companion rather than on a derivation in this paper: the headline result is forced by a self-citation chain, not demonstrated here.
-
other
[Remark 2.1, Section 2.1; Equation (3)]
"In this paper (3) is taken as the definition of κr; its identification with the constants Ψr(1) of (1) is verified in exact rational arithmetic for r ≤ 8 against an independent Stirling–Newton implementation of the phase recursion"
This is a flagged limitation rather than a proof of circularity, but it is load-bearing for the paper's interpretation: all theorems about κr are theorems about the sequence defined by (3), and the identification of that sequence with the actual Liouville-normal-form phase constants Ψr(1) is checked only through r=8. If the identification fails at higher r, the sharp denominator law concerns a different sequence than the advertised Jacobi phase constants. The paper states this openly, so it is not a hidden reduction, but it is an unproved identification supporting the main claim and should be weighed in the verdict.
full rationale
The paper's internal derivation chain is largely non-circular: Theorems 1.1, 1.2, 1.4 and Theorem 1.6 are proved from explicit recurrences with no fitted constants, and the 2-adic valuation law ν2(Jm)=m+ν2(m+1) is derived self-containedly from a proven vanishing theorem. The circularity score is raised by two load-bearing gaps. First, the central advertised result, ν2(ℓr)=−Er for all r, is not established in this paper. The paper reduces it, via Theorem 1.6, to Conjecture 1.7, and then the 'Note added' asserts that Conjecture 1.7 is proved in [17], a same-author companion that is submitted and not publicly available. That is a self-citation chain carrying the headline claim: the sharp law is not derived here but imported from an inaccessible companion. Second, the working definition (3) of κr is identified with the true phase constants Ψr(1) only for r≤8, so all-orders results are conditional on an unproved identification. These are not cases of fitted parameters being renamed as predictions, and the paper is admirably explicit about both gaps, but the main theorem's decisive step is external to the submission and depends on the author's own companion. The self-contained theorems give the paper real independent content, so the score is 6 rather than 8 or 10.
Assumptions & free parameters
assumptions (4)
- standard math Kummer's theorem: ν_2( binomial(2k,k) ) = s_2(k).
- standard math von Staudt-Clausen theorem: the denominator of B_{2k} contains each prime p with p-1 | 2k to the first power.
- domain assumption The identification of the working definition (3) with the original phase constants Ψ_r(1) holds beyond r=8.
- domain assumption The companion paper [17] correctly proves Conjecture 1.7.
Cite this review
Pith. "Pith review of The dyadic denominator law for the phase constants of the Jacobi zeros." pith.science (2026). https://pith.science/paper/III7H5A2
@misc{pith2026260823006,
author = {Pith},
title = {Pith review of: The dyadic denominator law for the phase constants of the Jacobi zeros},
year = {2026},
howpublished = {\url{https://pith.science/paper/III7H5A2}},
note = {Machine review of arXiv:2608.23006}
}
abstract
The asymptotic phase for the zeros of a Jacobi polynomial contains additive constants $\kappa_r$ that are not determined by the phase equation. We study their denominators as polynomials in $A=\alpha^2$ and $B=\beta^2$. We prove that the odd part of $\den\kappa_r$ divides $\operatorname{lcm}(1,3,\ldots,2r-1)$ and that $2^{E_r}\kappa_r$ is $2$-adically integral, where $E_r=3r-1+\nu_2((r-1)!)$. The extremal coefficient is governed by the valuation law \[ \nu_2\!\left(\sum_{j=0}^{m}\binom mj\frac1{2j+1}\right) =m+\nu_2(m+1), \] which follows from the identity $\sum_{k\ge0}k!/(2k+1)!!=0$ in $\mathbb Q_2$. We also transform the conjectural sharp denominator law into a single coefficientwise statement. If $\Phi$ is the Borel transform of the Legendre tangent and $W(t)=\sinh(2t)\operatorname{Im}\Phi(t)/t^2=\sum_{m\ge0}w_mt^{2m}$, then the sharp law is equivalent, with equality preserved at each index, to $((2m)!)^2w_m\in\mathbb Z_2^\times$ for every $m$. This final integrality statement (Conjecture~W below) has since been proved in the companion paper of this series, so the sharp denominator law holds in all orders; the present paper establishes the normal form and the valuation-exact transfer, and records the exact evidence and the structural obstructions that delimited that proof.
Reference graph
Works this paper leans on
-
[17]
I. Area, The ultraspherical background of the Jacobi phase expansion, in closed form, submitted, 2026, (I. Area)IFCAE, Universidade de Vigo, Departamento de Matem ´atica Aplicada II, E. E. Aeron´autica e do Espazo, Campus As Lagoas s/n, 32004 Ourense, Spain Email address, I. Area:area@uvigo.gal
work page 2026
-
[1]
Szeg˝ o,Orthogonal Polynomials, 4th ed., American Mathematical Society Colloquium Publications, vol
G. Szeg˝ o,Orthogonal Polynomials, 4th ed., American Mathematical Society Colloquium Publications, vol. 23, American Mathematical Society, Providence, RI, 1975. ISBN 978-0-8218-1023-1
work page 1975
-
[2]
F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl and M. A. McClain, eds.,NIST Digital Library of Mathematical Functions, Release 1.2.7 of 2026-06-15,https://dlmf.nist.gov/
work page 2026
-
[3]
N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd ed., Graduate Texts in Mathematics, vol. 58, Springer, New York, 1984.doi:10.1007/978-1-4612-1112-9
-
[4]
E. E. Kummer, ¨Uber die Erg¨ anzungss¨ atze zu den allgemeinen Reciprocit¨ atsgesetzen,J. Reine Angew. Math.44(1852), 93–146.doi:10.1515/crll.1852.44.93
-
[5]
Mihet, Legendre’s and Kummer’s theorems again,Resonance15(2010), 1111–1121
D. Mihet, Legendre’s and Kummer’s theorems again,Resonance15(2010), 1111–1121. doi: 10.1007/s12045-010-0123-4
-
[6]
[T. Clausen], Theorem,Astronomische Nachrichten17(1840), cols. 351–352. doi:10.1002/asna. 18400172204. (The note is unsigned inAN; the attribution to Clausen is the standard one.)
-
[7]
Rado, A new proof of a theorem of V
R. Rado, A new proof of a theorem of V. Staudt,J. London Math. Soc.s1-9(1934), 85–88. doi:10.1112/jlms/s1-9.2.85
Show all 17 references
-
[8]
Carlitz, The Staudt–Clausen theorem,Math
L. Carlitz, The Staudt–Clausen theorem,Math. Mag.34(1961), 131–146
1961
-
[9]
Dwork, p-adic cycles,Publ
B. Dwork, p-adic cycles,Publ. Math. Inst. Hautes ´Etudes Sci.37(1969), 27–115. doi:10.1007/ BF02684886
1969
-
[10]
Nemoto, Transformation formula of Dwork’s p-adic hypergeometric function,Bull
Y. Nemoto, Transformation formula of Dwork’s p-adic hypergeometric function,Bull. Aust. Math. Soc.113(2026), 553–564.doi:10.1017/S0004972725100580
2026 doi
-
[11]
R. R. Aidagulov and M. A. Alekseyev, On p-adic approximation of sums of binomial coefficients,J. Math. Sci.233(2018), 626–634.doi:10.1007/s10958-018-3948-0
2018 doi
-
[12]
Zhang and P
Y. Zhang and P. Yuan, The p-adic valuations of sums of binomial coefficients,J. Math.2021(2021), Article ID 9570350, 12 pp.doi:10.1155/2021/9570350
2021 doi
-
[13]
G. E. Andrews, R. Askey and R. Roy,Special Functions, Encyclopedia of Mathematics and its Appli- cations, vol. 71, Cambridge University Press, Cambridge, 1999.doi:10.1017/CBO9781107325937
1999 doi
-
[14]
Vid¯ unas, Specialization of Appell’s functions to univariate hypergeometric functions,J
R. Vid¯ unas, Specialization of Appell’s functions to univariate hypergeometric functions,J. Math. Anal. Appl.355(2009), 145–163.doi:10.1016/j.jmaa.2009.01.047
2009 doi
-
[15]
G. D. Anderson, R. W. Barnard, K. C. Richards, M. K. Vamanamurthy and M. Vuorinen, Inequalities for zero-balanced hypergeometric functions,Trans. Amer. Math. Soc.347(1995), 1713–1723. doi:10.1090/S0002-9947-1995-1264800-3
1995 doi
-
[16]
Simi´ c and M
S. Simi´ c and M. Vuorinen, Landen inequalities for zero-balanced hypergeometric functions,Abstr. Appl. Anal.2012(2012), Article ID 932061, 11 pp.doi:10.1155/2012/932061
2012 doi
Reviewed August 28, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.