Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

A Complete Proof of the Simon--Lukic Conjecture for Higher-Order Szegő Theorems

Daxiong Piao

TL;DR

The paper resolves the long-standing Simon–Lukic conjecture for higher-order Szegő theorems by proving an equivalence between a weighted entropy condition and a canonical, locality-driven decomposition of Verblunsky coefficients. It introduces a discrete harmonic analysis framework that blends discrete Littlewood–Paley theory, vector-valued Calderón–Zygmund tools, and a generalized Bézout-based algebraic decomposition to localize the influence of singularities on each coefficient component. The core innovations are the higher-order Szegő expansion with a positive-definite quadratic form in the filtered coefficients, and a canonical decomposition α = ∑_{k=1}^ℓ β^{(k)} with (S − e^−iθ_k)^{m_k}β^{(k)} ∈ ℓ^2 and β^{(k)} ∈ ℓ^{2m_k+2}, establishing necessity and sufficiency. The result demonstrates a locality principle: global spectral properties emerge from the superposition of local resonances, each at its intrinsic scale, and it consolidates large-deviation, algebraic, and discrete analytic methods into a unified proof strategy with potential broad implications for spectral theory on the unit circle and beyond.

Abstract

This paper provides a complete proof of Simon-Lukic conjecture for orthogonal polynomials on the unit circle. For a probability measure $dμ= w(θ) \frac{dθ}{2π} + dμ_s$ with Verblunsky coefficients $α=\{α_n\}_{n=0}^\infty$, distinct singular points $(θ_k)_{k=1}^{\ell}$, and multiplicities $(m_k)_{k=1}^{\ell}$, we establish the equivalence between the entropy condition \[ \int_0^{2π} \prod_{k=1}^{\ell} [1 - \cos(θ- θ_k)]^{m_k} \log w(θ) \frac{dθ}{2π} > -\infty \] and the decomposition condition \[ \exists β^{(1)}, \ldots, β^{(\ell)} : α= \sum_{k=1}^\ell β^{(k)} \,\, \text{with} \,\, (S - e^{-iθ_k})^{m_k} β^{(k)} \in \ell^2, \,\, β^{(k)} \in \ell^{2m_k + 2}. \] The proof synthesizes unitary transformations, discrete Sobolev-type inequalities, higher-order Szegő expansions, and a novel algebraic decomposition technique. Our resolution affirms that spectral theory is fundamentally local-global behavior emerges from the superposition of local resonances, each governed by its intrinsic scale.

A Complete Proof of the Simon--Lukic Conjecture for Higher-Order Szegő Theorems

TL;DR

The paper resolves the long-standing Simon–Lukic conjecture for higher-order Szegő theorems by proving an equivalence between a weighted entropy condition and a canonical, locality-driven decomposition of Verblunsky coefficients. It introduces a discrete harmonic analysis framework that blends discrete Littlewood–Paley theory, vector-valued Calderón–Zygmund tools, and a generalized Bézout-based algebraic decomposition to localize the influence of singularities on each coefficient component. The core innovations are the higher-order Szegő expansion with a positive-definite quadratic form in the filtered coefficients, and a canonical decomposition α = ∑_{k=1}^ℓ β^{(k)} with (S − e^−iθ_k)^{m_k}β^{(k)} ∈ ℓ^2 and β^{(k)} ∈ ℓ^{2m_k+2}, establishing necessity and sufficiency. The result demonstrates a locality principle: global spectral properties emerge from the superposition of local resonances, each at its intrinsic scale, and it consolidates large-deviation, algebraic, and discrete analytic methods into a unified proof strategy with potential broad implications for spectral theory on the unit circle and beyond.

Abstract

This paper provides a complete proof of Simon-Lukic conjecture for orthogonal polynomials on the unit circle. For a probability measure with Verblunsky coefficients , distinct singular points , and multiplicities , we establish the equivalence between the entropy condition \[ \int_0^{2π} \prod_{k=1}^{\ell} [1 - \cos(θ- θ_k)]^{m_k} \log w(θ) \frac{dθ}{2π} > -\infty \] and the decomposition condition The proof synthesizes unitary transformations, discrete Sobolev-type inequalities, higher-order Szegő expansions, and a novel algebraic decomposition technique. Our resolution affirms that spectral theory is fundamentally local-global behavior emerges from the superposition of local resonances, each governed by its intrinsic scale.
Paper Structure (43 sections, 22 theorems, 219 equations)

This paper contains 43 sections, 22 theorems, 219 equations.

Table of Contents

  1. Introduction
  2. Background and the Szegő Theory
  3. From Simon's Conjecture to Lukic's Counterexample and the Revised Conjecture
  4. Partial Progress and Fundamental Limitations
  5. The Golinskii-Zlatos̆ Breakthrough: An Algebraic-Combinatorial Foundation
  6. Yan's Development and the Limits of the Algebraic Framework
  7. Du's Computational Framework: Conditional Higher-Order Szegö Theorems
  8. Our Contribution: A Synthesis and Complete Resolution
  9. Organization of the Paper
  10. Preliminaries
  11. Orthogonal Polynomials on the Unit Circle
  12. CMV Matrices and Spectral Theory
  13. Szegő Theory and Sum Rules
  14. Large Deviations Approach to Sum Rules
  15. Test Sequences and Sharpness
  16. ...and 28 more sections

Key Result

Theorem 3.1

Let $T$ be a quasi-sublinear operator defined on the space of finitely supported sequences in $\ell^1(\mathbb{Z}^d; \ell^r) \cap \ell^2(\mathbb{Z}^d; \ell^r)$, taking values in the space of functions on $\mathbb{Z}^d$ with values in $\ell^r$. Suppose there exist constants $A_1, A_2 > 0$ such that fo Then for every $1 < p < 2$, there exists a constant $C_{p,r} > 0$ depending only on $p$ and $r$ (an

Theorems & Definitions (58)

  • Conjecture 1: Simon--Lukic Conjecture Lukic2013
  • Definition 2.1: Shift Operator
  • Definition 2.2: Polynomials of the Shift Operator
  • Theorem 3.1: Discrete Vector-valued Marcinkiewicz Interpolation Theorem
  • proof
  • Theorem 3.2: Discrete Vector-valued Calderón-Zygmund Theorem
  • proof
  • Theorem 3.3: Littlewood-Paley Theorem on the Torus
  • proof
  • Remark 3.4
  • ...and 48 more