arxiv: 2605.06722 · v1 · submitted 2026-05-07 · 🧮 math.SP · math.PR

Recognition: no theorem link

Necessary Conditions for Single-Critical-Point Higher-Order SzegH{o} Sum Rules in OPUC

Daxiong Piao

Pith reviewed 2026-05-11 01:09 UTC · model grok-4.3

classification 🧮 math.SP math.PR

keywords Szegő sum rulesorthogonal polynomials on the unit circleVerblunsky coefficientshigher-order differencessingle critical pointnecessity theoremsCMV matrices

0 comments

The pith

The weighted Szegő condition ∫ (1-cos θ)^m log w(θ) dθ/2π > -∞ implies Δ^m α ∈ ℓ² and α ∈ ℓ^{2m+2} for Verblunsky coefficients of measures on the unit circle.

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

This paper proves the necessity half of the higher-order Szegő theorem for weights with a single critical point of order m. It shows that a finite weighted integral of log w near θ=0 forces the m-th finite differences of the Verblunsky coefficients to be square-summable and the coefficients themselves to lie in ℓ^{2m+2}. The argument proceeds from a finite-volume form of Yan's sum rule: its quadratic piece produces the difference energy, its logarithmic tail produces the higher-norm control, and its non-principal critical pieces are bounded using a diagonal-vanishing property together with normal-form reductions and Young's inequality to restore coercivity.

Core claim

For a nontrivial probability measure dμ = w(θ) dθ/2π + dμ_s on the unit circle, the condition ∫_0^{2π} (1-cos θ)^m log w(θ) dθ/2π > -∞ implies that the Verblunsky coefficients satisfy Δ^m α ∈ ℓ² and α ∈ ℓ^{2m+2}. The proof extracts a uniform coercive bound from a finite-volume Yan sum rule whose quadratic term yields the m-th difference energy, whose tail yields the ℓ^{2m+2} control, and whose critical terms are handled by isolating the principal quartic block via the Yan quotient algebra and controlling the remainder with the property Y_{k,crit}^{(m)} ∈ I_k^{m+1-k} for 2 ≤ k ≤ m together with the Breuer-Simon-Zeitouni normal form and discrete interpolation.

What carries the argument

Finite-volume Yan higher-order sum rule, which decomposes the logarithmic integral into quadratic energy, logarithmic tails, and critical terms that are controlled by isolating a positive-semidefinite principal block and applying diagonal-vanishing plus normal-form estimates to the rest.

If this is right

The necessity statement holds for every integer m ≥ 1 when the weight vanishes to order m at a single point.
Higher-order Szegő sum rules now have matching necessity and sufficiency for these single-critical-point weights.
The Verblunsky coefficients of any measure satisfying the weighted log-integrability condition must decay at the stated polynomial rates.
The finite-volume coercive bound obtained in the proof supplies a quantitative link between the size of the weighted integral and the size of the ℓ^{2m+2} norm.

Where Pith is reading between the lines

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

The same normal-form and diagonal-vanishing techniques may adapt to weights with several critical points of possibly different orders.
The resulting summability conditions on Verblunsky coefficients translate directly into decay rates for the associated CMV or Jacobi matrices.
Numerical truncation of the finite-volume sum rule could be used to test the sharpness of the ℓ^{2m+2} exponent on concrete examples.
The argument suggests that analogous necessity results may hold for orthogonal polynomials on the real line with power-law weights at the edges.

Load-bearing premise

The non-principal critical terms can be controlled by the diagonal-vanishing property and normal forms without leaving residual errors that destroy the coercivity of the finite-volume bound.

What would settle it

A single-critical-point weight w for which the weighted integral of log w is finite yet either the sum of |Δ^m α_n|^2 diverges or α fails to belong to ℓ^{2m+2}.

read the original abstract

We prove the necessity part of the higher-order Szeg\H{o} theorem on the unit circle for the single-critical-point weights $H_m(e^{i\theta})=(1-\cos\theta)^m$, $m\ge1$. If $\{\alpha_n\}_{n\ge0}$ are the Verblunsky coefficients of a nontrivial probability measure $d\mu=w(\theta)d\theta/(2\pi)+d\mu_{\mathrm s}$, then the weighted Szeg\H{o} condition $\int_0^{2\pi} (1-\cos\theta)^m\log w(\theta)\frac{d\theta}{2\pi}>-\infty$ implies $\Delta^m\alpha\in\ell^2, \,\, \alpha\in\ell^{2m+2}.$ The proof uses a finite-volume version of Yan's higher-order sum rule. The quadratic part yields the $m$-th difference energy, and the logarithmic tail yields the $\ell^{2m+2}$-control. The non-sign-definite critical terms are treated in two steps. First, the quartic principal critical block is isolated using the Yan quotient-algebra normal representative and shown to have a positive semidefinite Gram representation. Second, the remaining non-principal critical terms are controlled by the diagonal-vanishing property $\mathcal Y_{k,\mathrm{crit}}^{(m)} \in \mathfrak I_k^{\,m+1-k}, \,\, 2\le k\le m,$ together with the Breuer--Simon--Zeitouni normal form, discrete interpolation, and Young's inequality. These estimates yield a uniform finite-volume coercive bound, from which the necessity theorem follows for all $m\ge1$.

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 proves necessity for the higher-order Szegő condition on single-critical-point weights, completing the picture with a finite-volume Yan sum rule and algebraic control of the critical terms.

read the letter

The core result is that for weights with a single zero of order m at θ=0, the condition ∫ (1-cos θ)^m log w dθ > -∞ forces Δ^m α ∈ ℓ² and α ∈ ℓ^{2m+2}. This is the missing necessity half for these specific weights, and the argument looks new relative to the cited literature on Yan's rules and Breuer-Simon-Zeitouni forms. The paper does a clean job isolating the quartic principal block, showing it has a positive semidefinite Gram representation, and then using the ideal membership Y_{k,crit}^{(m)} ∈ I_k^{m+1-k} plus discrete interpolation to handle the rest. The finite-volume setup is a reasonable way to extract both the energy and the decay. The estimates appear to close without obvious circularity, and the external citations are standard OPUC facts rather than hidden assumptions. The main soft spot is the uniformity in the cutoff N. The stress-test note correctly flags that the BSZ normal form, interpolation constants, and Young bounds must produce an ε·(energy + ℓ^{2m+2} norm) + C_ε lower bound with C_ε independent of N; any leftover N-growth would break the passage to the infinite-volume statement. The abstract asserts this works, but the error tracking needs to be explicit. Minor point: the result is narrow, so it will mainly interest specialists already working on higher-order sum rules. It is worth sending to a referee who knows the OPUC literature; the technical steps are concrete enough to check and the claim is falsifiable.

Referee Report

1 major / 2 minor

Summary. The paper proves the necessity part of the higher-order Szegő theorem for single-critical-point weights H_m(e^{iθ}) = (1 - cos θ)^m (m ≥ 1) in OPUC. For Verblunsky coefficients α_n of a measure dμ = w(θ) dθ/2π + dμ_s, the weighted Szegő condition ∫ (1 - cos θ)^m log w(θ) dθ/2π > -∞ is shown to imply Δ^m α ∈ ℓ² and α ∈ ℓ^{2m+2}. The argument proceeds via a finite-volume Yan sum rule whose quadratic part gives the m-th difference energy and whose log tail controls the ℓ^{2m+2} norm; the quartic principal critical block is isolated via the Yan quotient-algebra normal representative and shown to admit a positive-semidefinite Gram representation, while the remaining non-principal critical terms (2 ≤ k ≤ m) are absorbed using the diagonal-vanishing property Y_{k,crit}^{(m)} ∈ I_k^{m+1-k} together with the Breuer–Simon–Zeitouni normal form, discrete interpolation, and Young's inequality, yielding a uniform finite-volume coercive bound from which the infinite-volume necessity follows.

Significance. If the central claim holds, the result supplies a precise necessary condition for higher-order weighted Szegő integrability at a single critical point, extending classical Szegő theory in OPUC. The isolation of the quartic principal block with an explicit positive-semidefinite Gram form and the systematic use of algebraic normal forms to control critical terms constitute genuine technical contributions. The finite-volume approach to Yan's sum rule is a strength that makes the necessity statement accessible to direct verification.

major comments (1)

[§4 (control of non-principal critical terms)] §4 (control of non-principal critical terms): the passage from the finite-volume Yan sum rule to a coercive lower bound uniform in the cutoff N relies on absorbing the terms with 2 ≤ k ≤ m via Y_{k,crit}^{(m)} ∈ I_k^{m+1-k}, the BSZ normal form, discrete interpolation, and Young's inequality. Because both the sum-rule remainder and the interpolation constants carry explicit N-dependence, it is necessary to verify that the resulting upper bound is of the form ε·(m-th difference energy + ℓ^{2m+2} norm) + C_ε with C_ε independent of N. Without such an explicit N-uniform estimate, the lower bound ceases to be coercive uniformly and the limit N → ∞ cannot be taken to obtain the infinite-volume necessity statement.

minor comments (2)

[§3] The definition of the Yan quotient-algebra normal representative and the precise statement of the finite-volume sum rule (including the explicit form of the remainder) should be recalled in a short paragraph or displayed equation early in the proof section for readers who have not memorized the cited works.
[§3.2] A brief remark on how the positive-semidefinite Gram matrix for the quartic principal block is constructed (e.g., which inner product is used) would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript and for the detailed comment on the uniformity of the coercive bound. We address the concern below and will revise the paper accordingly.

read point-by-point responses

Referee: §4 (control of non-principal critical terms): the passage from the finite-volume Yan sum rule to a coercive lower bound uniform in the cutoff N relies on absorbing the terms with 2 ≤ k ≤ m via Y_{k,crit}^{(m)} ∈ I_k^{m+1-k}, the BSZ normal form, discrete interpolation, and Young's inequality. Because both the sum-rule remainder and the interpolation constants carry explicit N-dependence, it is necessary to verify that the resulting upper bound is of the form ε·(m-th difference energy + ℓ^{2m+2} norm) + C_ε with C_ε independent of N. Without such an explicit N-uniform estimate, the lower bound ceases to be coercive uniformly and the limit N → ∞ cannot be taken to obtain the infinite-volume necessity statement.

Authors: We agree that an explicit verification of N-independence is essential for rigor. The estimates in §4 use the diagonal-vanishing property Y_{k,crit}^{(m)} ∈ I_k^{m+1-k} together with the BSZ normal form and discrete interpolation to produce remainders that can be absorbed via Young's inequality with arbitrary ε > 0. The interpolation constants and sum-rule tails are controlled by factors that remain bounded as N → ∞ (specifically, they depend only on m and the fixed weight H_m). In the revised manuscript we will expand §4 with a dedicated paragraph (or short appendix) that tracks the N-dependence explicitly, confirming that the absorbed terms satisfy the precise form ε·(m-th difference energy + ||α||_{ℓ^{2m+2}}^2) + C_ε with C_ε independent of N. This will make the uniform coercivity and the subsequent N → ∞ limit fully transparent. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation relies on external sum rules and standard inequalities

full rationale

The paper derives the necessity implication from the weighted Szegő integrability condition to the stated ℓ² and ℓ^{2m+2} decay on Verblunsky coefficients by applying a finite-volume version of Yan's higher-order sum rule (whose quadratic part directly supplies the m-th difference energy and whose log tail supplies the ℓ^{2m+2} control). The non-principal critical terms (2 ≤ k ≤ m) are then bounded via the stated diagonal-vanishing membership Y_{k,crit}^{(m)} ∈ I_k^{m+1-k} together with the Breuer-Simon-Zeitouni normal form, discrete interpolation, and Young's inequality, yielding an N-uniform coercive lower bound from which the infinite-volume statement follows. No step reduces a claimed output to an input by definition, renames a fitted quantity as a prediction, or rests on a load-bearing self-citation whose content is itself unverified; all load-bearing ingredients are external theorems or elementary inequalities applied to the sum-rule remainder.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard facts about Verblunsky coefficients for measures on the unit circle and on the applicability of Yan's higher-order sum rule in finite volume; no free parameters or new entities are introduced.

axioms (2)

domain assumption Standard properties of Verblunsky coefficients associated to nontrivial probability measures on the unit circle
Invoked throughout as the basic objects of OPUC theory.
domain assumption Existence of a finite-volume version of Yan's higher-order sum rule
Used to obtain the quadratic energy and logarithmic tail control.

pith-pipeline@v0.9.0 · 5612 in / 1429 out tokens · 42138 ms · 2026-05-11T01:09:53.578408+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages · 1 internal anchor

[1]

Anderson, A

G. Anderson, A. Guionnet, and O. Zeitouni,An Introduction to Random Matrices, Cambridge Stud. Adv. Math., vol. 118, Cambridge Univ. Press, Cambridge, 2010

work page 2010
[2]

Breuer, B

J. Breuer, B. Simon, and O. Zeitouni, Large deviations and the Lukic conjecture,Duke Math. J.166 (2018), no. 17, 1–46

work page 2018
[3]

Breuer, B

J. Breuer, B. Simon, and O. Zeitouni, Large deviations and sum rules for spectral theory: a pedagogical approach,J. Spectr. Theory8(2018), no. 3, 859–887

work page 2018
[4]

Dembo and O

A. Dembo and O. Zeitouni,Large Deviations Techniques and Applications, 2nd ed., Appl. Math., vol. 38, Springer, New York, 1998

work page 1998
[5]

Denisov and S

S. Denisov and S. Kupin, Asymptotics of the orthogonal polynomials for the Szeg˝ o class with a polynomial weight,J. Approx. Theory139(2006), 8–28

work page 2006
[6]

Deuschel and D

J.-D. Deuschel and D. W. Stroock,Large Deviations, Pure Appl. Math., vol. 137, Academic Press, Boston, 1989

work page 1989
[7]

Gagliardo, Propriet` a di alcune classi di funzioni in pi` u variabili,Ric

E. Gagliardo, Propriet` a di alcune classi di funzioni in pi` u variabili,Ric. Mat.7(1958), 102–137

work page 1958
[8]

Gamboa, J

F. Gamboa, J. Nagel, and A. Rouault, Sum rules via large deviations,J. Funct. Anal.270(2016), 509–559

work page 2016
[9]

Gamboa, J

F. Gamboa, J. Nagel, and A. Rouault, Sum rules and large deviations for spectral measures on the unit circle,Random Matrices Theory Appl.6(2017), no. 1, 1750005

work page 2017
[10]

Gamboa, J

F. Gamboa, J. Nagel, and A. Rouault, Sum rules and large deviations for spectral matrix measures, Bernoulli,25(2019), 712–741. 42 DAXIONG PIAO

work page 2019
[11]

Gamboa, J

F. Gamboa, J. Nagel, and A. Rouault, Sum rules via large deviations: polynomial potentials and multi-cut regime on the unit circle,arXiv preprintarXiv:2509.23814 [math.PR], 2025

work page arXiv 2025
[12]

Golinskii and A

L. Golinskii and A. Zlatoˇ s, Coefficients of orthogonal polynomials on the unit circle and higher-order Szeg˝ o theorems,Constr. Approx.26(2007), 361–382

work page 2007
[13]

Killip and B

R. Killip and B. Simon, Sum rules for Jacobi matrices and their applications to spectral theory,Ann. of Math. (2)158(2003), 253–321

work page 2003
[14]

Kupin, On a spectral property of Jacobi matrices,Proc

S. Kupin, On a spectral property of Jacobi matrices,Proc. Amer. Math. Soc.132(2004), 1377–1383

work page 2004
[15]

Laptev, S

A. Laptev, S. Naboko, and O. Safronov, On new relations between spectral properties of Jacobi matrices and their coefficients,Comm. Math. Phys.241(2003), 91–110

work page 2003
[16]

Lukic, On a conjecture for higher-order Szeg˝ o theorems,Constr

M. Lukic, On a conjecture for higher-order Szeg˝ o theorems,Constr. Approx.38(2013), 161–169

work page 2013
[17]

Lukic, On higher-order Szeg˝ o theorems with a single critical point of arbitrary order,Constr

M. Lukic, On higher-order Szeg˝ o theorems with a single critical point of arbitrary order,Constr. Approx. 44(2016), no. 2, 283–296

work page 2016
[18]

I. G. Macdonald,Symmetric Functions and Hall Polynomials, 2nd ed., Clarendon Press, Oxford, 1998

work page 1998
[19]

Nazarov, F

F. Nazarov, F. Peherstorfer, A. Volberg, and P. Yuditskii, On generalized sum rules for Jacobi matrices, Int. Math. Res. Not. IMRN2005(2005), no. 3, 155–186

work page 2005
[20]

Nirenberg, On elliptic partial differential equations,Ann

L. Nirenberg, On elliptic partial differential equations,Ann. Scuola Norm. Sup. Pisa Cl. Sci.13(1959), 115–162

work page 1959
[21]

Single-Point Higher-Order Szeg\H{o} Sum Rules in OPUC: Necessity for $m=1,2,3$

D. Piao, Single-Point Higher-Order Szeg˝ o Sum Rules in OPUC: Necessity form= 1,2,3,arXiv:2604.23032 [math.CA]

work page internal anchor Pith review Pith/arXiv arXiv
[22]

Simon,Orthogonal Polynomials on the Unit Circle

B. Simon,Orthogonal Polynomials on the Unit Circle. Part 1: Classical Theory, American Mathematical Society Colloquium Publications, Vol. 54, Part 1, American Mathematical Society, Providence, RI, 2005

work page 2005
[23]

Simon,Orthogonal Polynomials on the Unit Circle

B. Simon,Orthogonal Polynomials on the Unit Circle. Part 2: Spectral Theory, American Mathematical Society Colloquium Publications, Vol. 54, Part 2, American Mathematical Society, Providence, RI, 2005

work page 2005
[24]

Simon,Szeg˝ o’s Theorem and Its Descendants: Spectral Theory forL 2 Perturbations of Orthogonal Polynomials, M

B. Simon,Szeg˝ o’s Theorem and Its Descendants: Spectral Theory forL 2 Perturbations of Orthogonal Polynomials, M. B. Porter Lectures, Princeton University Press, Princeton, NJ, 2011

work page 2011
[25]

Simon and A

B. Simon and A. Zlatoˇ s, Higher-order Szeg˝ o theorems with two singular points,J. Approx. Theory134 (2005), 114–129

work page 2005
[26]

Szeg˝ o,Orthogonal Polynomials, American Mathematical Society, Providence, RI, 1939

G. Szeg˝ o,Orthogonal Polynomials, American Mathematical Society, Providence, RI, 1939

work page 1939
[27]

Yan, An algebraic approach to higher-order Szeg˝ o theorems for orthogonal polynomials on the unit circle, Constr

J. Yan, An algebraic approach to higher-order Szeg˝ o theorems for orthogonal polynomials on the unit circle, Constr. Approx.48(2018), 453–471. Notation Index PForward shift: (P α) n =α n+1. ∆ Discrete forward difference: ∆ =P−1, (∆α) n =α n+1 −α n. ∆mα m-th forward difference: (P−1) mα= Pm j=0(−1)m−jm j αn+j. P −1 Backward shift. Hm(eiθ) Weight function:...

work page 2018