REVIEW 3 major objections 3 minor 33 references
Real zeros of random cosine polynomials with palindromic blocks of coefficients
T0 review · 3 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Random cosine polynomials with coefficients arranged in palindromic blocks of fixed length $\ell$ have expected real-zero count $\frac{2n}{\sqrt3}K_\ell+O(n^{2/3})$, with $K_\ell>1$ for $\ell\ge2$.
desk verdict New explicit constant for palindromic-block cosine polynomials, but Theorem 2.1 overclaims: false at ℓ=1 and only proved on a parity subsequence. 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 argument runs through the Kac-Rice formula, which expresses the expected number of real zeros of a Gaussian random function as $\frac1\pi\int \sqrt{AC-B^2}/A\,dx$ in terms of the coefficient-level sums $A,B,C$. The key object is the block-ratio function $u_\ell(s)=\sin(\ell s)/(\ell\sin s)$, which encodes the palindromic-block structure: after trigonometric simplification, the quantities $A(x)$, $B(x)$, and $C(x)$ for the block polynomial are approximated by $n$-scale expressions built from $u_\ell$, leaving the integrand $\sqrt{1+\frac{3(1-u_\ell(x)^2)}{(1+u_\ell(x)\cos(nx))^2}}$ on most of $[0,\pi/2]$. The final step replaces the rapidly oscillating $\cos(nx)$ by a Riemann sum over intervals of length $\pi/n$, using a modified-sawtooth error estimate, to obtain the double-integral constant $K_\ell$; the remaining terms are controlled by comparing with the known behavior of i.i.d. cosine polynomials near the endpoints.
What would settle it
For a fixed $\ell$ (say $\ell=2$), evaluate the Kac-Rice integral numerically for $n$ with $n-\ell$ odd and with $n-\ell$ even, and compare both against $(2n/\sqrt3)K_2+O(n^{2/3})$; if the even-parity sequence differs by more than the stated error, the theorem's claim for all $r$ fails. Independently, for $\ell=1$, count all real zeros of the palindromic-coefficient polynomial; if the leading term is $n+n/\sqrt3$ rather than $n/\sqrt3$, the theorem's $\ell=1$ reading omits the deterministic zeros.
Extended reading notes
Core claim
For a fixed block length $\ell$, write $n=2\ell m+r$ with $m\in\mathbb N$ and $r\in\{-1,\dots,2\ell-2\}$, and let the coefficient vector consist of $2m$ blocks of length $\ell$ arranged so that the first $m$ blocks are repeated in reverse order by the last $m$ blocks, with the leftover $r+1$ coefficients i.i.d. Gaussian. The paper's Theorem 2.1 asserts that the expected number of real zeros of $V_n$ in $(0,2\pi)$ satisfies $E[N_n(0,2\pi)] = \frac{2n}{\sqrt3}K_\ell + O(n^{2/3})$, where $K_\ell=\frac{1}{\pi^2}\int_0^\pi\int_0^{\pi/2}\sqrt{1+\frac{3(1-u_\ell(s)^2)}{(1+u_\ell(s)\cos t)^2}}\,ds\,dt$ and $u_\ell(s)=\frac{\sin(\ell s)}{\ell\sin s}$. The constant is strictly greater than 1 for $\ell\ge2$, so palindromic blocks produce more expected real zeros than independent coefficients, and the size of the excess is read off from $K_\ell$. For $\ell=1$ the formula gives $K_1=1/2$ and a leading term $n/\sqrt3$, which the paper connects to the earlier palindromic-coefficient result, with the caveat that the fully palindromic case carries $n$ additional deterministic zeros recorded in equation (1).
Load-bearing premise
The proof of the main theorem assumes $n-\ell$ is odd and never supplies an argument for the opposite parity, while the theorem is stated for all $n=2\ell m+r$; the $\ell=1$ case also drops the $n$ deterministic zeros that the paper itself acknowledges in equation (1).
Editorial extensions
If this is right
- For every fixed $\ell\ge2$, the expected zero count of these dependent polynomials is asymptotically $K_\ell$ times the classical $2n/\sqrt3$, with $K_\ell>1$; for $\ell=2$ and $\ell=3$ the numerical constants are about 1.0642 and 1.0408.
- The constant $K_\ell$ is explicitly computable as a double integral, so the predicted excess can be compared with simulations or with exact Kac-Rice evaluations for any chosen block length.
- If the theorem is correct, the classical $2n/\sqrt3$ is not just the i.i.d. answer but a lower benchmark for this family of dependent structures: palindromic blocks raise it, while earlier pairwise-equal-block constructions keep it unchanged.
- The factor $K_\ell$ decreases toward 1 as $\ell$ grows (the table gives $K_{2019}\approx1.000046$), meaning long palindromic blocks behave almost like the independent-coefficient case.
Reading between the lines
- The theorem's $\ell=1$ special case, taken literally, gives a leading term $n/\sqrt3$ for fully palindromic coefficients, but the paper's own equation (1) says the actual expected count is $n+n/\sqrt3$ because of deterministic zeros; a unified reading is that the double-integral formula captures only the random zeros, and a version covering $\ell=1$ would need an extra deterministic $n$ term.
- Because the proof assumes $n-\ell$ is odd, the most direct check of the full theorem is to test the even-parity subsequence numerically; if it shows the same constant $K_\ell$, a symmetric argument for the missing parity likely exists, and if not, the theorem as stated is too strong.
- The numerical decrease of $K_\ell$ toward 1 suggests a quantitative conjecture outside the paper: $K_\ell-1$ should decay like a power of $1/\ell$, and its leading exponent could be extracted from the double-integral formula.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the expected number of real zeros in (0,2π) of a random cosine polynomial V_n(x)=∑_{j=0}^n a_j cos(jx) whose Gaussian coefficients are arranged into palindromic blocks of fixed length ℓ. The main result, Theorem 2.1, claims that for every fixed ℓ and every n=2ℓm+r in the stated range, E[N_n(0,2π)] = (2n/√3) K_ℓ + O(n^{2/3}), where K_ℓ is an explicit double integral, K_ℓ>1 for ℓ≥2, and K_1=1/2. The proof uses the Kac–Rice formula, asymptotic expansions of A(x), B(x), C(x), a Riemann-sum evaluation of an oscillatory integral, and numerical evaluations of K_ℓ in Table 1. The paper also explicitly recalls in eq. (1) that the ℓ=1 palindromic-coefficient case has n deterministic zeros, giving E[N_n(0,2π)] = n + n/√3 + O(n^{3/4}).
Significance. If the main claim were valid, it would give an exact leading constant for a natural dependent-coefficient model and would quantify the increase over the classical i.i.d. case 2n/√3. The constant K_ℓ is defined as an integral with no fitted parameters, and the numerical table is reproducible from the formula, which are strengths. However, the theorem as stated is not supported: the ℓ=1 case is contradicted by the paper's own eq. (1), and the proof is carried out only under parity restrictions that exclude infinitely many n (and, for ℓ=2, all n). There is also an unsupported localization step involving F_ℓ. These are load-bearing issues, so the current manuscript should not be accepted.
major comments (3)
- [Section 2, Theorem 2.1 and eq. (1)] As stated, Theorem 2.1 is false for ℓ=1. For ℓ=1 the coefficients are simply palindromic, and eq. (1) of the paper gives E[N_n(0,2π)] = n + n/√3 + O(n^{3/4}) because of n deterministic zeros. Since K_1=1/2, Theorem 2.1 instead predicts the leading term n/√3, omitting the deterministic term n. The remark after the theorem and the sentence after eq. (11) repeat this omission, and the Kac–Rice argument is formally inapplicable at the deterministic zeros, where A(x)=0; for ℓ=1 the excluded set F_ℓ only removes a neighborhood of x=0, not the n zeros of cos(nx/2). The theorem must either exclude ℓ=1 or state the correct ℓ=1 asymptotics.
- [Proof of Theorem 2.1, parity reduction] The proof is explicitly restricted in two places: it assumes 'n−ℓ is odd' to obtain symmetry of A, B, C about x=π/2, and later says 'for simplicity we let n be even' in the Riemann-sum step. These two assumptions together cover only the subsequence with ℓ odd and n even. The theorem, however, claims the result for every fixed ℓ and every n in the stated range. For example, when ℓ=2, the condition n−ℓ odd forces n odd while the Riemann-sum step requires n even, so no n is covered; when ℓ is odd and n is odd, neither condition holds. No argument is supplied for the complementary parities, where the π/2 symmetry and the reduction of I_ℓ(n) to half intervals fail. The O(n^{2/3}) asymptotic is therefore established only on a parity-restricted subsequence, not for all n as claimed.
- [Proof of Theorem 2.1, before eq. (11)] The step 'E[N_n(F_ℓ)] = O(n^{1-a}) by Lemma 3.1' is not justified. Lemma 3.1 concerns only the interval (0, n^{-a}), whereas F_ℓ also contains intervals centered at iπ/ℓ for i=1,...,[ℓ/2]. The behavior of V_n near those points is not equivalent to its behavior near 0, and a separate localization estimate would be needed. Since the subsequent Kac–Rice evaluation is performed only on E_ℓ, this gap affects the error term of the main asymptotic.
minor comments (3)
- [Proof of Theorem 2.1, near eq. (7)] The text says 'sec(ℓx)=O(n^a)' where the subsequent division by sin(ℓx) indicates that csc(ℓx) is meant; please correct the notation.
- [Proof of Theorem 2.1, symmetry statement] The statement that g(s,t) is 'symmetric about the line ⟨π/2,π/2,r⟩' is unclear; the needed symmetry of g under the relevant reflection in (s,t) should be stated explicitly.
- [Lemmas 3.1 and 3.2] The proofs of Lemmas 3.1 and 3.2 are not included and are attributed to the unpublished preprint [23]; please either include proofs or give a published reference, since these lemmas are used in the main proof.
Circularity Check
No circular derivation: K_ell is an explicit integral limit, not a fitted parameter; the self-cited lemmas are auxiliary estimates; the parity and ell=1 gaps are correctness issues, not circularity.
full rationale
The central claim is not circular. The constant K_ell is defined as a double integral built from the block structure via the Kac-Rice integrand, and the values in Table 1 are numerical evaluations of that integral, not fitted parameters. No fitted input is renamed as a prediction. The two lemmas taken from the author's own preprint [23] (Lemmas 3.1 and 3.2) are auxiliary estimates for endpoint contributions and trigonometric sums; they do not define K_ell or assume the ell-block asymptotic, so the leading-order prediction has independent mathematical content. The proof does have genuine limitations: it assumes 'n-l is odd' for the pi/2 symmetry and later 'for simplicity we let n be even,' so Theorem 2.1 is proved only along a parity-restricted subsequence, and equation (1) acknowledges n deterministic zeros at ell=1, which is inconsistent with the theorem's K_1=1/2 statement. These are correctness and completeness concerns, not cases where the conclusion is an input by construction.
Assumptions & free parameters
assumptions (3)
- domain assumption Kac-Rice formula (∗) from [22], stated for iid coefficients, applies to Gaussian coefficients with non-trivial covariance and to the limiting exclusion of singular points.
- domain assumption Lemmas 3.1 and 3.2 of the author's earlier preprint [23] bound expected zeros near zero and trigonometric sums.
- domain assumption Palindromic block arrangement places the remainder block in the middle, so paired indices differ by r+1.
Cite this review
Pith. "Pith review of Real zeros of random cosine polynomials with palindromic blocks of coefficients." pith.science (2026). https://pith.science/paper/YH54PMRE
@misc{pith2026190808154,
author = {Pith},
title = {Pith review of: Real zeros of random cosine polynomials with palindromic blocks of coefficients},
year = {2026},
howpublished = {\url{https://pith.science/paper/YH54PMRE}},
note = {Machine review of arXiv:1908.08154}
}
abstract
It is well known that a random cosine polynomial $ V_n(x) = \sum_ {j=0} ^{n} a_j \cos (j x) , \ x \in (0,2 \pi) $, with the coefficients being independent and identically distributed (i.i.d.) real-valued standard Gaussian random variables (asymptotically) has $ 2n / \sqrt{3} $ expected real roots. On the other hand, out of many ways to construct a dependent random polynomial, one is to force the coefficients to be palindromic. Hence, it makes sense to ask how many real zeros a random cosine polynomial (of degree $ n $) with identically and normally distributed coefficients possesses if the coefficients are sorted in palindromic blocks of a fixed length $ \ell. $ In this paper, we show that the asymptotics of the expected number of real roots of such a polynomial is $ \mathrm{K}_\ell \cdot 2n / \sqrt{3} $, where the constant $ \mathrm{K}_\ell $ (depending only on $ \ell $) is greater than 1, and can be explicitly represented by a double integral formula. That is to say, such polynomials have slightly more expected real zeros compared with the classical case with i.i.d. coefficients.
Reference graph
Works this paper leans on
- [1]
-
[2]
, E. Bogomolny, O. Bohigas, P. Leboeuf, Quantum chaotic dynamics and random polynomials , J. Statist. Phys. 85 (1996), no. 5-6, 639-679
work page 1996
-
[3]
A. Bloch and G. P´ olya, On the roots of certain algebraic equations , Proc. London Math. Soc. 33 (1932), 102-114
work page 1932
-
[4]
A. T. Bharucha-Reid and M. Sambandham, Random polynomials, Academic Press, Orlando, (1986)
work page 1986
-
[5]
C. K. Chui, Concerning rates of convergence of Riemann sums , J. Approx. Theory 4 (1971), 279-287
work page 1971
-
[6]
Das, The average number of real zeros of a random trigonometric po lynomial, Proc
M. Das, The average number of real zeros of a random trigonometric po lynomial, Proc. Cambridge Philos. Soc. 64 (1968), 721-729
work page 1968
-
[7]
Dunnage, The number of real zeros of a random trigonometric polynomia l, Proc
J.E.A. Dunnage, The number of real zeros of a random trigonometric polynomia l, Proc. London Math. Soc. 16 (1966), 53-84
work page 1966
-
[8]
A. Edelman and E. Kostlan, How many zeros of a random polynomial are real? , Bull. Amer. Math. Soc. 32 (1995), 1-37
work page 1995
Show all 33 references
-
[9]
Erd˝ os and A
P. Erd˝ os and A. C. Offord, On the number of real roots of a random algebraic equation , Proc. London Math. Soc. 6 (1956), 139-160
1956
-
[10]
Farahmand, On the variance of the number of real roots of a random trigono metric polynomial, J
K. Farahmand, On the variance of the number of real roots of a random trigono metric polynomial, J. Appl. Math. Stochastic Anal. 3 (1990), no. 4, 253-261
1990
-
[11]
Farahmand, On the variance of the number of real zeros of a random trigono metric polynomial, J
K. Farahmand, On the variance of the number of real zeros of a random trigono metric polynomial, J. Appl. Math. Stochastic Anal. 10 (1997), no. 1, 57-66
1997
-
[12]
Farahmand, Topics in random polynomials , Pitman Res
K. Farahmand, Topics in random polynomials , Pitman Res. Notes Math. Series 393, Addison W esley Longman Limited (1998)
1998
-
[13]
Farahmand and T
K. Farahmand and T. Li, Real zeros of three different cases of polynomials with rando m coefficients, Rocky Mountain J. Math. 42 (2012), 1875-1892
2012
-
[14]
I. S. Gradshteyn and I. M. Ryzhik, Table of integrals, series and products , Academic Press (1980)
1980
-
[15]
Granville and I
A. Granville and I. Wigman, The distribution of the zeroes of random trigonometric poly nomials, Amer. J. Math. 133 (2011), no. 2, 295-357
2011
-
[16]
I. A. Ibragimov and N. B. Maslova, The mean number of real zeros of random polynomials. I. Coeffic ients with zero mean. (Russian) Teor. Verojatnost. i Primenen. 16 (1971) 229-248
1971
-
[17]
I. A. Ibragimov and N. B. Maslova, The mean number of real zeros of random polynomials. II. Coeffi cients with a nonzero mean. (Russian) Teor. Verojatnost. i Primenen. 16 (1971) 495-503
1971
-
[18]
Kac, On the average number of real roots of a random algebraic equa tion, Bull
M. Kac, On the average number of real roots of a random algebraic equa tion, Bull. Amer. Math. Soc. 49 (1943), 314-320
1943
-
[19]
Kac, On the average number of real roots of a random algebraic equa tion
M. Kac, On the average number of real roots of a random algebraic equa tion. II , Proc. London Math. Soc. 50 (1948), 390-408
1948
-
[20]
J. E. Littlewood and A. C. Offord, On the number of real roots of a random algebraic equation , J. London Math. Soc. 13 (1938), 288-295
1938
-
[21]
J. E. Littlewood and A. C. Offord, On the number of real roots of a random algebraic equation. II , Proc. Camb. Philos. Soc. 35 (1939), 133-148
1939
-
[22]
D. S. Lubinsky, I. E. Pritsker and X. Xie, Expected number of real zeros for random linear combination s of orthogonal polynomials, Proc. Amer. Math. Soc., 144 (2016), 1631-1642
2016
-
[23]
Pirhadi, Real zeros of random trigonometric polynomials with pairwi se equal blocks of coefficients , arXiv:1905.13349
A. Pirhadi, Real zeros of random trigonometric polynomials with pairwi se equal blocks of coefficients , arXiv:1905.13349
1905 arXiv
-
[24]
Qualls, On the number of zeros of a stationary Gaussian random trigon ometric polynomial , J
C. Qualls, On the number of zeros of a stationary Gaussian random trigon ometric polynomial , J. London Math. Soc. 2 (1970), 216-220
1970
-
[25]
Q. I. Rahman and G. Schmeisser, Analytic theory of polynomials , Clarendon Press, Oxford (2002)
2002
-
[26]
Pure Appl
N Renganathan and M Sambandham, On the average number of real zeros of a random trigonometric polynomial with dependent coefficients-II , Indian J. Pure Appl. Math. 15 (1984), 951-956
1984
-
[27]
Rudin, Real and Complex Analysis , McGraw-Hill (1974)
W. Rudin, Real and Complex Analysis , McGraw-Hill (1974)
1974
-
[28]
Sambandham, On the number of real zeros of a random trigonometric polynom ial, Trans
M. Sambandham, On the number of real zeros of a random trigonometric polynom ial, Trans. Amer. Math. Soc. 238 (1978), 57-70
1978
-
[29]
Schur, Untersuchungen uber algebraische Gleichungen , Sitzungsber
I. Schur, Untersuchungen uber algebraische Gleichungen , Sitzungsber. Preuss. Akad. Wiss. (1933), 403-428. 16
1933
-
[30]
Szeg¨ o, Bemerkungen zu einem Satz von E
G. Szeg¨ o, Bemerkungen zu einem Satz von E. Schmidt uber algebraische G leichungen, Sitzungsber. Berl. Akad. (1934), 86-98
1934
-
[31]
Y. J. W ang, Bounds on the average number of real roots of a random algebra ic equation , Chinese Ann. Math. Ser. A. 4 (1983), 601-605
1983
-
[32]
J. E. Wilkins, An upper bound for the expected number of real zeros of a rando m polynomial , J. Math. Anal. Appl. 42 (1973), 569-577
1973
-
[33]
J. E. Wilkins, Mean number of real zeros of a random trigonometric polynomi al, Proc. Amer. Math. Soc. 111 (1991), no. 3, 851-863. Department of Mathematics, Oklahoma State University, Stil lw ater, OK 74078, USA E-mail address : pirhadi@math.okstate.edu 17
1991
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.