{"id":"80e6f82e-0774-4163-88c9-a75cfd003198","arxiv_id":"1908.02234","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For random linear combinations of OPUC in the Nevai class with complex Gaussian coefficients, the variance of the number of zeros in an annulus away from the unit circle converges to an explicit closed-form formula.","lead":"This paper proves an explicit limiting formula for the variance of the number of zeros of random sums of orthonormal polynomials on the unit circle in annuli away from the circle, plus a quantitative variance bound in sectors crossing the circle. The result shows a form of universality: the zero statistics match the classical random power series case for a broad class of polynomial bases.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The exterior-annulus proof of Theorem 4 contains a sign error in its summation identity, so the displayed derivation of the exterior variance formula is not valid as written.","rationale":"The reader's overall assessment is sound: the variance formula in Theorem 4 is very likely correct. The monomial case provides a concrete checkable special case: for monomial OPUC the exterior zero process is the inversion of the interior process, and the paper's exterior closed form satisfies Var_ext(s,t) = Var_int(1/t,1/s), exactly as the symmetry requires. The Nevai-class and real-coefficient conditions are explicit hypotheses of the theorem, not hidden assumptions, so I do not treat them as a flaw in the argument. The real obstacle I find is that the displayed proof of the exterior case of Theorem 4 contains a false equality in evaluating the double integral: the positive sum (t^{-2k-2} - s^{-2k-2})^2 is identified with its negative. This is an internal inconsistency in the derivation of a central formula, and the paper should not be used as a reference for the exterior case until the sign is fixed. Because the final formula can be independently verified, the appropriate verdict remains CONDITIONAL rather than REJECT or ACCEPT. I partially agree with the reader: they noted an 'incorrect intermediate equality' in the exterior annulus computation, but I would elevate it from a presentation error to the primary required revision, since it directly affects the proof of the main theorem's exterior case.","tokens_in":17141,"tokens_out":38220,"duration_ms":355246,"concrete_test":"Recompute the exterior double integral I(s,t) in (77) for s=2, t=3: the printed identity yields about -0.0220, while the preceding line yields +0.0220; direct numerical quadrature of |1 - z\\bar w|^{-4} over the two annuli gives +0.0220. More generally, replace the displayed identity with the correct one, I = -t^4/(1-t^4) - s^4/(1-s^4) + 2(st)^2/(1-(st)^2), and re-run the final algebra of Theorem 4; if the resulting variance formula is unchanged, the theorem survives but the proof requires a correction, confirming that the defect is an intermediate sign error rather than a false final formula.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim of Theorem 4 has two cases; the exterior case is derived by evaluating the double integral I = (1/pi^2) intint_{A(s,t)^2} |1 - z\\bar w|^{-4} dA(z)dA(w). After angular integration the paper correctly obtains I = sum_{k=0}^\\infty (t^{-2k-2} - s^{-2k-2})^2. For t > s > 1 this sum is positive and equals 1/(t^4-1) + 1/(s^4-1) - 2/((st)^2-1), i.e. -t^4/(1-t^4) - s^4/(1-s^4) + 2(st)^2/(1-(st)^2). The manuscript instead writes '= t^4/(1-t^4) - 2(st)^2/(1-(st)^2) + s^4/(1-s^4)', which is the negative of the sum. The next line, '- (t^2-s^2)^2(1+(st)^2)/((1-t^4)(1-s^4)(1-(st)^2))', is only correct if the erroneous identity is read with the opposite sign. A reader following the displayed chain of equalities cannot derive the exterior variance formula; this is an algebraic inconsistency in the proof of the central result, not merely a missing conjugate. The final closed form is nevertheless likely correct: for monomial OPUC it matches the inversion symmetry Var_ext(s,t) = Var_int(1/t,1/s), and direct quadrature supports it, so the flaw seems confined to an intermediate line.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the number of zeros of random linear combinations P_n(z)=sum eta_k phi_k(z), where {phi_k} are orthonormal polynomials on the unit circle (OPUC) and the coefficients are random. The main results are: (i) Theorem 2, a quantitative decay bound for Var[N_n(A_r(alpha,beta))]/n^2 for sectors crossing the unit circle under either Ullman-Stahl-Totik regularity or generalized Jacobi weights; (ii) Theorem 3, a limiting formula for the two-point correlation function of zeros when the OPUC are real-valued on the real line and belong to the Nevai class, with i.i.d. complex Gaussian coefficients; and (iii) Theorem 4, explicit limiting variance formulas for the number of zeros in annuli A(s,t) that are strictly inside or strictly outside the unit disk. The proofs use the Hough-Krishnapur-Peres-Virag correlation formulas, the Christoffel-Darboux formula for OPUC, and Nevai-class ratio asymptotics.","tokens_in":17436,"tokens_out":18921,"duration_ms":216935,"significance":"If the results are correct, Theorem 4 gives the first explicit variance formulas for zero counts of random OPUC in annuli away from the unit circle, and Theorem 2 provides quantitative variance bounds in the sector case. The final exterior variance formula in Theorem 4 passes the inversion-symmetry check Var_ext(s,t)=Var_int(1/t,1/s) in the monomial case and is supported by direct quadrature, which is evidence that the target formula is right. The proofs rely on standard external tools (Hough-Krishnapur-Peres-Virag, Simon) and the author's earlier results as input; I found no circularity in the derivation of the variance formula. The central results are significant in extending zero-statistics asymptotics beyond the monomial basis, though the manuscript needs corrections in the statement and proof before the claims are fully supported.","major_comments":[{"comment":"As printed, Eq. (14) states that the limiting pair correlation contains the term -1/|1-zw|^4. This cannot be correct for the monomial basis phi_k(z)=z^k, for which the zero process is rotationally symmetric: the pair correlation must depend on Re(z \\bar w), not Re(zw), so the singular term must be -1/|1-z\\bar w|^4. The proof of Theorem 4, Eq. (77), uses exactly the Hermitian expression (1-z\\bar w)^{-2}(1-\\bar z w)^{-2}, confirming that the intended kernel is |1-z\\bar w|. Please correct Eq. (14) and the corresponding final display after Eq. (75), and make the notation for z\\bar w consistent throughout the proof of Theorem 3.","section":"Theorem 3, Eq. (14)"},{"comment":"The displayed chain in the exterior case, after Eq. (79), contains a sign error. For t>s>1, the sum \\sum_{k=0}^\\infty (t^{-2k-2}-s^{-2k-2})^2 is positive and equals -(t^2-s^2)^2(1+(st)^2)/((1-t^4)(1-s^4)(1-(st)^2)), because 1/(t^4-1)= -t^4/(1-t^4), 1/(s^4-1)= -s^4/(1-s^4), and -2/((st)^2-1)=2(st)^2/(1-(st)^2). The manuscript instead writes the intermediate expression t^4/(1-t^4) - 2(st)^2/(1-(st)^2) + s^4/(1-s^4), which is the negative of the sum. The final exterior variance formula is consistent with the correct sign, but the derivation as displayed is not valid; a reader following the chain of equalities cannot obtain the stated result. Please correct this line and re-check the analogous interior computation.","section":"Proof of Theorem 4, exterior-annulus case"},{"comment":"The proof of Theorem 3 is a long and intricate computation, and several cancellations are asserted rather than demonstrated. In particular, the step 'simplifying the sum of expressions (51), (52), and (53)' that yields Eq. (54), and the analogous simplifications leading to Eqs. (70) and (74), involve substantial algebra and cancellations of o(1) terms that are not shown. Because the theorem statement also has the conjugation issue noted above, the reader cannot verify the proof line by line. Please expand these computations or provide a supplementary appendix with the missing algebraic details, and ensure that every occurrence of 'zw' in the asymptotic displays is consistent with the Hermitian inner product used in Eq. (19).","section":"Proof of Theorem 3, Eqs. (35)-(75)"}],"minor_comments":[{"comment":"There are several typographical errors: the abstract has 'on the the variance'; 'Farahmond' should be 'Farahmand'; 'Boomolny' should be 'Bogomolny'; 'Grandville' should be 'Granville'; 'Zeldtich' should be 'Zelditch'; and 'trignometric' should be 'trigonometric' in several places.","section":"Abstract and references"},{"comment":"The chain after Eq. (17) uses an equality sign after an upper bound; the equality should be read as a continuing upper bound. Please insert '\\le' where the transition from the bound on E[(N_n/n)^2] to the variance is made, to avoid confusion about whether an identity is being asserted.","section":"Proof of Theorem 2, Eqs. (17)-(18)"},{"comment":"The paper defines the Nevai class through the local-uniform ratio limit \\phi_n(z)/\\phi_n^*(z)\\to 0. This is nonstandard; the usual Nevai class is defined by the recurrence coefficients tending to zero. Please either cite the equivalence or state explicitly that the ratio property is the standing assumption for Theorems 3 and 4.","section":"Eq. (33) and Nevai class"},{"comment":"The text refers to 'the denominator of \\pi\\rho^{(2)}_n(z,w)' but the subsequent expression has the cube of the determinant; please clarify whether the factor is \\pi^2 or \\pi and check the notation for consistency.","section":"Notation near Eq. (35)"}],"recommendation":"major_revision","confidential_remarks":"The paper contains a genuinely interesting extension of random-zero variance results to OPUC. The main final formulas appear to be correct, but the printed statement of Theorem 3 has a conjugation error and the exterior-annulus proof in Theorem 4 has a sign error in a displayed identity. Both are local and fixable, but they are load-bearing for the central claims. I recommend major revision rather than rejection. I did not find circularity in the main derivation; the paper relies on external tools and the author's prior work as inputs, not on the variance formula itself."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe headline: this paper proves a limiting variance formula for zeros of random linear combinations of OPUC in the Nevai class. That is a genuine extension of the classical monomial-basis results, and the main formulas are very likely correct. But the proof of the exterior annulus case contains a sign error in a displayed summation, so the derivation as written does not go through; the final formula survives.\n\nWhat is new: Theorem 3 gives the limiting pair correlation for the zeros, which is the hyperbolic GAF kernel structure; Theorem 4 gives the closed-form variance in annuli. These are new for general OPUC in the Nevai class, and the paper correctly reduces to the known monomial case. The variance bound in sectors (Theorem 2) is a straightforward corollary of the author's earlier work, but it is useful.\n\nThe soft spots are real but mostly cosmetic. The sign error: in the exterior case, after angular integration the double integral equals S = Σ (t^{-2k-2}-s^{-2k-2})^2, which evaluates to 1/(t^4-1)+1/(s^4-1)-2/((st)^2-1). The paper instead writes t^4/(1-t^4)-2(st)^2/(1-(st)^2)+s^4/(1-s^4), which is -S. The next line writes -(t^2-s^2)^2(1+(st)^2)/..., which is actually S, so the chain is inconsistent. The final variance formula is correct because the second expression is the one used. The proof of Theorem 3 is a long computation; I did not verify every line, but the final expression matches the known monomial pair correlation, which is a good sanity check. There are also typos: missing conjugates in |1-zw| and a garbled definition of D_n in Lemma 1.\n\nMy verdict: the core result is sound and the errors are fixable. A serious referee should look at this; the paper deserves review. I'd want the sign error corrected before citing the exterior formula, but I would probably cite the paper after that. The author clearly knows the literature and the computations are substantial.\n\nRecommendation: send it to peer review with a request to fix the sign error and the typos. The mathematics behind the final theorem holds up.","headline":"Solid extension of random polynomial variance to OPUC in the Nevai class, with a fixable sign error in the exterior annulus derivation.","tokens_in":18005,"tokens_out":7114,"would_cite":true,"duration_ms":50198,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["30C15","30E15","26C10","60B10"],"pacs":[],"model":"deepseek-v4-flash","headline":"For random combinations of Nevai-class OPUC with Gaussian coefficients, the limiting variance of the number of zeros in an annulus avoiding the unit circle is an explicit rational function of the inner and outer radii.","keywords":["random polynomials","zeros of random polynomials","orthogonal polynomials on the unit circle","OPUC","Nevai class","Ullman-Stahl-Totik regularity","variance of zero counts","Gaussian analytic functions"],"falsifier":"Take the monomial basis $\\varphi_k(z)=z^k$, draw i.i.d. standard complex Gaussian coefficients, and estimate by Monte Carlo the variance of the number of zeros in $A(0,1/2)$ for large degree $n$; the theorem predicts the limit $4/15$ for $\\operatorname{Var}[N_n]$. Equivalently, estimate the two-point correlation for two interior points $z,w$ and compare it with the kernel stated in Theorem 3; a systematic mismatch beyond Monte Carlo error would refute the pair-correlation limit and the variance formula derived from it.","tokens_in":16893,"feed_emoji":"🎲","tokens_out":13389,"duration_ms":126382,"temperature":0.7,"pith_summary":"Random polynomials formed from orthonormal polynomials on the unit circle (OPUC) have zero statistics that stabilize in the large-degree limit. This paper establishes that, for i.i.d. complex Gaussian coefficients and OPUC drawn from the Nevai class with real coefficients, the limiting variance of the number of zeros in any annulus that avoids the unit circle is an explicit rational function of the inner and outer radii, with one formula inside the disk and a reflected formula outside. The engine is a proof that the two-point correlation of zeros converges to a universal kernel, the same one governing the standard planar Gaussian analytic function. For sectors crossing the unit circle, the paper also proves quantitative bounds on the variance, under much weaker moment assumptions, for generalized Jacobi weights and for Ullman-Stahl-Totik regular OPUC.","feed_headline":"Random polynomial zeros get exact variance formula","feed_subtitle":"For Gaussian coefficients and Nevai-class bases, zero counts in off-circle annuli obey a rational limiting law.","key_machinery":"The load-bearing object is the pair correlation function $\\rho_n^{(2)}(z,w)$, expressed through the Christoffel-Darboux kernel $K_n(z,w)=\\sum_{j=0}^n \\varphi_j(z)\\varphi_j(w)$ and its mixed derivatives. The permanent-determinant formula for correlation functions of Gaussian analytic functions turns $\\rho_n^{(2)}$ into ratios of these kernels; the Christoffel-Darboux identity and the Nevai-class ratio asymptotics $\\varphi_n(z)/\\varphi_n^*(z)\\to0$ locally uniformly in $\\mathbb{D}$ (with the reciprocal tending to $0$ outside $\\mathbb{D}$) let every kernel ratio converge to the hyperbolic Bergman kernel. Integrating the resulting universal kernel over $A(s,t)$, using the geometric series for $(1-xy)^{-2}$ inside and outside the disk, produces the closed variance formulas.","core_discovery":"Let $P_n(z)=\\sum_{k=0}^n \\eta_k\\varphi_k(z)$ with i.i.d. standard complex Gaussian $\\eta_k$. Theorem 3 states that when the $\\varphi_k$ are real-valued on the real line and belong to the Nevai class, the second correlation function of zeros converges locally uniformly for $z,w$ both in $\\mathbb{D}$ or both in $\\mathbb{C}\\setminus\\overline{\\mathbb{D}}$ to\n$$\\lim_{n\\to\\infty} \\$rho_n^{{(2)}}$(z,w)=\\frac{1}{\\$pi^{2}$}\\left(\\frac{1}{(1-|z|^2)^2(1-|w|^2)^2}-\\frac{1}{|1-zw|^4}\\right).$$\nTheorem 4 integrates this kernel over an annulus $A(s,t)=\\{z:0\\le s<|z|