REVIEW 3 major objections 4 minor 13 references
Sheffer sequences with zeros on a line
T0 review · 3 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read Zeros of a broad Sheffer polynomial family fall on one vertical line
desk verdict A genuine generalization of Bump et al. with a real proof gap: the final zero-counting step is outsourced to an unpublished companion, so the main theorem is not yet established as written. 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 object is the Sheffer sequence {h_n(s)} for the pair (g(z), f(z)) with g(z)=∏_{i=0}^N G_i(z) and f(z)=log((1−α_0z)/(1+α_0z)). The load-bearing identity is the exponential Riordan matrix factorization ⟨g(z),z⟩ = ⟨∏_{i=1}^N G_i(z),z⟩ ⟨G_0(z),z⟩, which writes h_n(s)=∑_{k=0}^n n!b_{n−k}q_k(s)/k! and isolates the two-factor core q_k(s) whose zeros are tractable. That core is studied through the contour integral p_n(t)=∫_{Γ_2}ψ(z)e^{nϕ(z,t)}dz, where ϕ(z,t)=it Log(1+z)−it Log(1−z)−Log z; the saddle-point curve z(y) with −y²=ϕ(z(y),t)−ϕ(ζ,t) and the sign of Im z′(y) are what make the central piece dominate the tails. The zeta connection rides on the Mellin-transform chain (2.13), (2.19)
What would settle it
For a concrete case with p+p*>0 (e.g. p=0, p*=1, N=0, α_0=1), compute the zeros of q_n(s) for n up to, say, 40 and compare the number of off-line zeros with 2⌈c+p⌉; additionally, recompute the constrained extrema in Lemma 18 with high precision—if the minimum t is less than 0.924256... or the maximum exceeds 0.707107..., the sign of Im z′(y) can be wrong and the tail estimate fails.
Extended reading notes
Core claim
Theorem 1 states that for real parameters α_i, p_i, p, p* with |α_0|<|α_1|<...<|α_N|, the polynomials h_n(s) defined by relation (2.4) have all their zeros on Re(s)=c=(p*−p)/2 when p*+p≤0, and all but a specified finite set of 2⌈c+p⌉ zeros there when p*+p>0. The proof splits h_n through an exponential Riordan factorization into a finite linear combination of intermediate polynomials q_k(s) generated by the two-factor core (1−z)^(p+s)(1+z)^(p*−s); the zero-location theorem is proved for q_k by an integral representation on a Hankel contour, a saddle-point deformation through ζ(t)=−it+√(1−t²), and saddle-point asymptotics, with the off-line exception count obtained by comparing the change of a
Load-bearing premise
The final zero count and the asymptotic tail estimates rely on arguments in the authors' companion manuscript [5], which is not yet available, and on numerical Lagrange-multiplier extrema (0.924256... and 0.707107...) in Lemma 18; if the analogy to [5] fails for the generalized family, the exceptional-zero count 2⌈c+p⌉ is not proved.
Editorial extensions
If this is right
- For p*+p≤0 every q_n(s) has all of its zeros on Re(s)=c; for p*+p>0, the only off-line zeros are the 2⌈c+p⌉ exceptions counted in Theorem 1.
- The q_n(s) interlace after the affine change s=c+it: q_n⪯q_{n+1} for n≥1, so they behave like real-rooted polynomials in the vertical coordinate.
- The scaled Mellin identity ∫_0^∞ ψ*_j(x)x^(s/2−1)dx = q_j(s/2)π^(−s/2)Γ(s/2)ζ(s) means information about zeros of these transforms is information about zeros of ζ(s).
- The limiting density of zeros of h_n(c−int) on t∈(0,1) is D(x)=1/(2π) ln((1+√(1−x²))/(1−√(1−x²))).
- Bump's local Riemann hypothesis is recovered as the special case N=0, α_0=1, p=−1−α/2, p*=−α/2.
Reading between the lines
- Inference: the exceptional count 2⌈c+p⌉ suggests a phase transition controlled by p*+p; a cheap test is to compute the zeros of q_n(s) for p=0, p*=1, N=0 for moderate n and count off-line zeros.
- Inference: the Mellin identity points to a family of Dirichlet-series-like objects whose non-vanishing on Re(s)=1/2 could be equivalent to a Riemann hypothesis for that family; constructing an explicit Euler product for ∫ψ*_j would make that precise.
- Inference: the proof's tail estimates hinge on the numerically verified extrema in Lemma 18; replacing those Lagrange-multiplier checks with an analytic inequality would remove a computational dependency from the theorem.
- Inference: the same Riordan splitting should in principle work for other products of even factors, so a natural conjecture is that the zero-line statement persists for more general palindromic generating functions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims a substantial generalization of Bump et al.'s result on zeros of Sheffer polynomials. For real parameters satisfying the hypotheses of Theorem 1, the sequence {h_n(s)} generated by (1 - α_0 z)^{p+s}(1 + α_0 z)^{p*-s} ∏_{i=1}^N (1 - α_i^2 z^2)^{p_i} is asserted to have all zeros on the vertical line Re(s) = (p* - p)/2, except possibly for 2⌈c+p⌉ zeros when p*+p > 0. The authors also derive recurrences for the auxiliary polynomials q_n(s), prove an interlacing result for p*+p ≤ 0, establish a Mellin-transform identity connecting q_n with the Riemann zeta function, and compute a limiting zero density. The proof of Theorem 1 follows the contour-deformation/saddle-point strategy of Bump et al., but several decisive asymptotic lemmas and the final zero-counting step are explicitly delegated to the unpublished companion manuscript [5].
Significance. If completely proved, the zero-location theorem would be a meaningful extension of the known local Riemann hypothesis results, and the Mellin-transform factorization in Theorem 11 is an explicit and verifiable identity. The paper has clear strengths: the recurrences in Theorems 4 and 5 are correctly derived, the Riordan-matrix viewpoint is informative, and the calculation of the limiting density is elegant. However, as submitted, the main theorem is not proven within the paper: key Lemmas 14 and 17 depend on [5], the final comparison with Eq. (3.21) of [5] is not shown, and the Appendix relies on unsupported numerical extrema. These are load-bearing gaps in the central claim, so the significance of the paper cannot be assessed as a proof.
major comments (3)
- [§3.3 (after Eq. (3.17))] The proof of Theorem 1 is not contained in the paper. Lemmas 14 and 17 invoke Lemma 10 and Lemmas 10/12 of the unpublished manuscript [5], and the final jump from (3.17) to the exceptional-zero count 2⌈c+p⌉ is left to 'arguments completely analogous to those in [5]' without showing the comparison to Eq. (3.21) of [5]. Since [5] is not available to the reader, the claim that all but 2⌈c+p⌉ zeros lie on Re(s)=c is unproven as submitted. This is the central result, so the gap is load-bearing.
- [Appendix, Lemma 18] The proof that Im z'(y) > 0 for y > 0 rests on two 'numerical' Lagrange-multiplier extrema (0.924256... and 0.707107...) computed from algebraic constraints. No rigorous certificate, interval bound, or exact rational enclosure is provided. Floating-point output is not a proof. This inequality is used in Lemma 15 to show the central saddle-point section dominates the tails, and hence Lemma 16 also depends on it. Without a rigorous proof of these extrema, the saddle-point argument is incomplete.
- [§2.1, Theorem 7] The proof begins 'It can be readily shown that bq_n(s) ∈ R[s] and all zeros of bq_n(s) are real.' The real-rootedness is exactly the conclusion of Corollary 3/Theorem 1 for p*+p ≤ 0, which is not proved at that point and is the main theorem of the paper. As written, Theorem 7 is either circular or lacks the key input. The theorem should be stated after Theorem 1, or the real-rootedness should be proved independently.
minor comments (4)
- [Throughout] There are numerous typos and corrupted display artifacts ('poynomials', 'fucntions', 'generealized', 'Appel', 'NY' in the abstract/intro). The paper needs careful proofreading.
- [Lemma 13] The assertion tπ/2 > ln z* for all t ∈ (0,1) is justified only by 'perhaps with a CAS'. This is elementary but should be proved explicitly.
- [Theorem 11 proof] In the last line of the proof, the index switches from j to n: 'qn(s/2)' should be 'qj(s/2)'. Also, the interchange of summation and integration in the derivation of (2.23) should be justified by a convergence or dominated-convergence argument.
- [§3 notation] The symbol p_n(t) is used for the Hankel integral in (3.4), which conflicts with the earlier use of p_n for polynomial sequences. Consider denoting the integral by I_n(t) or similar.
Circularity Check
Theorem 1's decisive zero-counting step is outsourced to the same authors' unpublished companion [5], so the central claim rests on a load-bearing self-citation.
-
self citation load bearing
[Section 3.3, final paragraph after equation (3.17); cf. Lemma 14 and Lemma 17 proofs]
"The completion of the proof of Theorem 1, i.e. the claim about the location of the zeros of the polynomials pn(t), is obtained using arguments completely analogous to those in [5], after comparing the right hand side of equation (3.17) to the absolute value of (3.21) in [5]."
This is the step that converts the asymptotic change-of-argument in (3.17) into the claimed zero count on Re(s)=c except for 2⌈c+p⌉ zeros. The conversion is not carried out in the paper; it is asserted by analogy to [5]. The same dependency appears earlier: Lemma 14's Hankel asymptotics invoke 'Lemma 10 in [5]', and Lemma 17 invokes 'Lemma 10 in [5] once more' and 'the computations in the proof of Lemma 12 in [5]' for the Gamma argument change. Reference [5] is the authors' own manuscript 'under review', not machine-checked or independently reproduced, so the central theorem's exceptional-zero count is justified by a self-citation chain rather than by a proof contained in the paper.
full rationale
Most of the paper is not circular. The interlacing proof (Theorem 7) uses the three-term recurrence and Lemma 6 directly. The zeta connection (Theorem 11) is an identity: substituting y=n√x into the definition ψ*_j(x)=∑Φ*_j(n√x) and using (2.21) literally produces q_j(s/2)π^{-s/2}Γ(s/2)ζ(s); this is a factorization, not a derivation of one side from the other in a circular sense. The contour deformations and saddle-point estimates in Lemmas 12, 13, 15 are self-contained. However, the completion of the proof of Theorem 1—the argument-principle count that yields the finite exceptional set 2⌈c+p⌉—is not proved in this paper. The final sentence delegates it to the same authors' unpublished companion [5], and Lemmas 14 and 17, which feed the change-of-argument estimate (3.17), borrow Lemmas 10 and 12 from [5]. Because [5] is under review with overlapping authorship and is not independently certified, the central claim's decisive step is load-bearing self-citation. This is a partial circularity/completeness dependence rather than an identity-of-inputs circularity. The numerical Lagrange-multiplier extrema in Lemma 18 are an additional rigor gap, but that is a correctness risk, not circularity. Score 6 reflects that the main theorem's exceptional-zero count rests on the self-citation chain while substantial independent content remains.
Assumptions & free parameters
assumptions (4)
- domain assumption The lemmas and final argument of the unpublished companion paper [5] apply verbatim to the generalized family of Theorem 1.
- ad hoc to paper The numerical Lagrange multiplier computations in Lemma 18 (minimum 0.924256..., maximum 0.707107...) are accurate enough to prove the required inequalities for all t in (0,1).
- domain assumption Bump et al. theorem [4]: zeros of P_n^{(α)}(s) generated by (1-z)^{s-1-α/2}(1+z)^{-s-α/2} lie on Re(s)=1/2.
- standard math Mellin transform identities (2.13) and (2.15) as stated in [2] and [11].
invented entities (1)
-
Polynomial families {h_n(s)} and {q_n(s)}
Cite this review
Pith. "Pith review of Sheffer sequences with zeros on a line." pith.science (2026). https://pith.science/paper/GPXGQCEM
@misc{pith2026250818229,
author = {Pith},
title = {Pith review of: Sheffer sequences with zeros on a line},
year = {2026},
howpublished = {\url{https://pith.science/paper/GPXGQCEM}},
note = {Machine review of arXiv:2508.18229}
}
read the original abstract
We extend a result of Bump et al. to show that a large family of Sheffer sequences has their zeros - up to perhaps a finite number of exceptions - on a vertical line. We connect a particular such sequence to the Riemann zeta function via a product representation of a scaled Mellin transform, analogously to the product decomposition of a Mellin transform involving the generalized Laguerre polynomials into factors of the Gamma function and Meixner polynomials.
Figures
Figures from the paper (5 more)
Reference graph
Works this paper leans on
- [5]
-
[1]
G. E. Andrews, R. Askey, and R. Roy, Special functions, Cambridge University Press (1999)
work page 1999
-
[2]
M. K. Atakishiyeva and N. M. Atakishiyev, On the Mellin transform of hypergeometric polynomials, J. Phys. A: Math. Gen. 32 (1999), L33-L41
work page 1999
-
[3]
D. Bump and Eugene K.-S. Ng, On Riemann’s zeta funcion, Math. Z. 192 (1986), 195-204
work page 1986
-
[4]
D. Bump, K.-K. Choi, P. Kurlberg and J. Vaaler, A local Riemann hypothesis, I, Math. Z. 233 (2000), 1-19
work page 2000
- [6]
- [7]
-
[8]
L. L. Liu and Y. Wang, A unified approach to polynomial sequences with only real zeros, Adv. in Appl. Math. 38 (2007), 542-560. Sons, INC., New York, 1958
work page 2007
Show all 13 references
-
[9]
B., The asymptotics of the Mittag-Leffler polynomilals, Journal of Classical Analysis,1 (1), pp
Paris, R. B., The asymptotics of the Mittag-Leffler polynomilals, Journal of Classical Analysis,1 (1), pp. 1-16, 2012
2012
-
[10]
Piotrowski, Linear Operators and the Distribution of Zeros of Entire Func- tions, Ph.D
A. Piotrowski, Linear Operators and the Distribution of Zeros of Entire Func- tions, Ph.D. Dissertation, University of Hawai‘i, 2007. Full text available at http://scholarspace.manoa.hawaii.edu/bitstream/handle/10125/25932/ PhD_2007_Piotrowski_r.pdf?sequence=1
2007
-
[11]
A. D. Polyanin and A. V. Manzhirov, Handbook of Mathematics for Engineers and Scientists, Champman& Hall/CRC; 1 edition, 2007
2007
-
[12]
Roman, The Theory of the Umbral Calculus I, J
S. Roman, The Theory of the Umbral Calculus I, J. Math. Anal. Appl., 87 (1), May 1982
1982
-
[13]
Shapiro, R
L. Shapiro, R. Sprugnoli, P. Barry, G.-S. Cheon, T.-X. He, D. Merlini and W. Wang, The Riordan Group and Applications, Springer Monographs in Mathematics, 2022. SHEFFER SEQUENCES WITH ZEROS ON A LINE 31 1Department of Mathematics/ Applied Algebra and Optimization Research Cent...
2022
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.