---
title: Simon–Lukic Conjecture
url: https://www.emergentmind.com/topics/simon-lukic-conjecture
type: topic
---

# Simon–Lukic Conjecture

The Simon–Lukic Conjecture articulates a precise correspondence between higher-order weighted Szegő integrals for orthogonal polynomials on the unit circle (OPUC) and discrete sum rules satisfied by their Verblunsky coefficients, thereby controlling the spectral properties of associated unitary operators in the presence of singularities of arbitrary order and multiplicity on the unit circle. This conjecture sharpens and then fully resolves the limitations of earlier higher-order generalizations of the classical Szegő theorem, specifically identifying the necessary and sufficient decomposition of Verblunsky coefficients that yields finite entropy-type functionals for a broad class of singular spectral measures. Its complete proof and algebraic-discrete harmonic analysis underpin crucial local–global principles in spectral theory, linking singularities at finitely many points to the fine arithmetic of recurrence relations governing OPUC [1210.6953, 1703.00653, 2601.12332].

## 1. Orthogonal Polynomials on the Unit Circle, Szegő’s Theorem, and Verblunsky Coefficients

Let μ be a probability measure on the unit circle $\mathbb{T} = \{e^{i\theta} : \theta \in [0,2\pi)\}$, decomposed as $d\mu(e^{i\theta}) = w(\theta) \frac{d\theta}{2\pi} + d\mu_{\rm s}(\theta)$, with $w \ge 0$ and $\mu_{\rm s}$ singular. Orthogonalizing monomials $\{1, z, z^2, \ldots\}$ in $L^2(\mathbb{T}, d\mu)$ yields monic OPUC $\Phi_n(z)$, satisfying the Szegő recursion
$$
\Phi_{n+1}(z) = z \Phi_n(z) - \overline{\alpha_n} \Phi_n^*(z),\quad
\Phi_n^*(z) = z^n \overline{\Phi_n(1/\overline z)},
$$
where $\{\alpha_n\}_{n\ge0} \subset \mathbb{D}$ (the open unit disk) are the Verblunsky coefficients. Verblunsky's theorem provides a bijection $\mu \leftrightarrow \{\alpha_n\}_{n\ge0}$.

The Szegő theorem asserts: $\alpha \in \ell^2$ if and only if $\int_0^{2\pi} \log w(\theta) \frac{d\theta}{2\pi} > -\infty$, i.e., square-summability of $\{\alpha_n\}$ precisely matches finite entropy when $w$ is logarithmically integrable [1210.6953, 1703.00653, 2601.12332].

## 2. Higher-Order Szegő Sum Rules and Simon’s Conjecture

It is natural to consider measures $\mu$ where $w$ vanishes to prescribed orders $m_k$ at finitely many points $e^{i\theta_k}$ on $\mathbb{T}$. The higher-order Szegő integral is
$$
\int_0^{2\pi} \prod_{k=1}^\ell (1 - \cos(\theta - \theta_k))^{m_k} \log w(\theta) \frac{d\theta}{2\pi} > -\infty,
$$
and Simon's original conjecture proposed the equivalence between this integral's finiteness and the analytic conditions
$$
\alpha \in \ell^{2\max_k m_k + 2}, \qquad \prod_{k=1}^\ell (S - e^{-i\theta_k})^{m_k}\alpha \in \ell^2.
$$
Here, $S$ is the right-shift operator on $\ell^2(\mathbb{N}_0)$. This condition attempted to generalize the classical sum rule to arbitrary weighted vanishing orders but was soon shown to be insufficient [1210.6953].

## 3. Counterexamples, Decomposition Principle, and Lukic’s Refinement

Lukic identified failure in Simon’s conjecture when $\sum m_k \geq 3$. For example, in the case $\ell=1$, $m_1=2$ at $\theta_1=\pi$, the weight $W(\theta) = (1 - \cos\theta)^2(1 + \cos\theta)$ led to counterexamples:
$$
\alpha_n = \frac{1 + (-1)^n}{3(n+1)^{1/4}}.
$$
This sequence satisfies $\alpha \in \ell^6$ and $(S-1)(S+1)\alpha \in \ell^2$ but fails to yield finite entropy, i.e., the corresponding weighted Szegő integral diverges. Explicitly, finiteness requires an additional intermediate bound $(S-1)^2\alpha \in \ell^4$ beyond Simon's minimal conjecture [1210.6953, 1703.00653].

This prompted a refined, local decomposition: factor the Verblunsky sequence as $\alpha = \sum_{k=1}^\ell \beta^{(k)}$, with each $\beta^{(k)}$ “localized” to its singularity $\theta_k$ via the difference operator $(S - e^{-i\theta_k})^{m_k}$. The Simon–Lukic conjecture in its refined ("decomposition") form asserts that the weighted Szegő entropy is finite if and only if, for each $k$,
$$
(S - e^{-i\theta_k})^{m_k}\beta^{(k)} \in \ell^2,\quad \beta^{(k)} \in \ell^{2m_k+2},
$$
and $\alpha = \sum_{k=1}^\ell \beta^{(k)}$ [1210.6953].

## 4. Complete Proof, Algebraic and Harmonic-Analysis Techniques

A full proof of the Simon–Lukic conjecture for arbitrary singularities and orders has been established, synthesizing algebraic decomposition (via generalized Bézout identity for filter polynomials), finite-dimensional approximations using CMV matrices, discrete harmonic analysis (including discrete Littlewood–Paley, Marcinkiewicz interpolation, Bernstein, and Gagliardo–Nirenberg inequalities), and analytic control of weighted entropy expansions:
- The filter polynomials $P_k(z) = (z - e^{-i\theta_k})^{m_k}$, pairwise coprime, allow one to construct explicit polynomials $U_k$ satisfying $\sum_{k=1}^\ell U_k(z)\prod_{j\ne k}P_j(z) = 1$, so that each $\beta^{(k)} = U_k(S)\prod_{j\ne k} P_j(S)\alpha$ isolates the local behavior at $\theta_k$.
- The main theorem ([Theorem 7.1, 2601.12332]) confirms that the sum rule
$$
\int_0^{2\pi} \left[\prod_{k=1}^\ell (1-\cos(\theta - \theta_k))^{m_k}\right] \log w(\theta)\frac{d\theta}{2\pi} > -\infty
$$
holds if and only if such a decomposition of $\alpha$ exists, with each $(S - e^{-i\theta_k})^{m_k}\beta^{(k)}\in\ell^2$ and $\beta^{(k)}\in\ell^{2m_k+2}$ [2601.12332].

Crucially, the proof also demonstrates the "local–global principle": global spectral regularity is equivalent to the superposition of optimal local conditions at each singularity, with no redundancy or deficiency, regardless of the configuration or order.

## 5. Spectral and Operator-Theoretic Consequences

The Simon–Lukic decomposition provides a fine-grained spectral classification:
- For CMV matrices (unitary analogues of Jacobi matrices) with Verblunsky coefficients as above, the spectral measure $d\mu$ exhibits prescribed singularities—local power law vanishing of the weight $w(\theta)$ near each $\theta_k$ of order $m_k$, and absolute continuity elsewhere.
- The trace condition $\sum_n |[Q(U)]_{n,n}| < \infty$ with $Q(\theta) = \prod_{k=1}^\ell (1-\cos(\theta-\theta_k))^{m_k}$ further refines the spectral measure’s local behavior at singular points.
- These results strictly generalize the classical Szegő theorem (for $\ell=0$), the second-order Killip–Simon theorem (for $\ell=1$, $m=1$), and higher-order cases [1210.6953, 2601.12332].

A key implication is that, under the entropy condition, the operator’s spectral type and local singularity structure are encoded entirely by the arithmetic decay and discrete difference structure of the Verblunsky sequence.

## 6. Open Problems, Extensions, and Impact

While the Simon–Lukic conjecture is settled in the full generality of OPUC, several questions and extensions remain:
- For “extreme” choices of orders ($m_k$ very large), additional singularities of $\log w$ potentially emerge at unassigned points, hinting at limitations of the naive weighted sum-rule; refinement or further conditions may be needed to fully characterize such cases.
- Analogues on the real line (for Jacobi matrices and OPRL) and in the setting of random unitary matrix ensembles, as well as generalizations to complex singular arcs, follow formally from the methods of the proof [2601.12332].
- The techniques have potential applications in the study of large deviations for spectral measures, random matrix theory, and the local classification of singular continuous spectra [1703.00653].
- The decomposition approach provides a template for the systematic analysis of sum rules in settings beyond OPUC, possibly facilitating a “complete classification” analogous to that for Jacobi matrices.

## 7. Connections to Broader Mathematical Landscape

The resolution of the Simon–Lukic conjecture leverages and advances methodologies from spectral theory, harmonic analysis, combinatorial algebra, and random matrix theory:
- Large deviation principles and sum-rule expansions, previously developed for the classical and second-order cases, here reach their full generality [1703.00653].
- Algebraic techniques such as the Bézout identity and discrete Gagliardo–Nirenberg inequalities are crucial for decomposing and estimating the local and global contributions.
- The theory illustrates the deep connection between spectral properties of unitary operators and analytic properties of sequence spaces, lattice harmonic analysis, and the structure of singular measures, with ramifications in mathematical physics and spectral analysis [1210.6953, 1703.00653, 2601.12332].

The Simon–Lukic conjecture thus represents a milestone in the understanding of higher-order Szegő theorems, characterizing the optimal interplay between local singularity phenomena and global spectral regularity in the theory of OPUC.

Source: https://www.emergentmind.com/topics/simon-lukic-conjecture