REVIEW 2 major objections 4 minor 27 references
One sided orthogonal polynomials and a pointwise convergence result for $SU(2)$-valued nonlinear Fourier series
T0 review · 2 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read For complex measures in the class T−, the reproducing kernel of one-sided orthogonal polynomials obeys a Máté–Nevai–Totik type estimate, and this yields almost-everywhere convergence of the SU(2) nonlinear Fourier series functional along…
desk verdict Genuinely new class T−, a clean kernel universality theorem, and a lacunary convergence result for SU(2) NLFS; the only real risk is the unstated hypotheses of the external existence theorem behind Theorem 5. 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 central object is the reproducing kernel $K_n(z,\lambda)=\sum_{j=0}^n\tilde\varphi_j(z)\varphi_j^*(\lambda)$ built from the normalized left and right orthogonal polynomials $\varphi_n,\tilde\varphi_n$ of a measure $\mu\in T^-$. For measures in $T^-$ the Szegő recurrences take the form $\Phi_{n+1}-z\Phi_n=F_{n+1}z^n\tilde\Phi_n^*$ and $\tilde\Phi_{n+1}-z\tilde\Phi_n=-F_{n+1}z^n\Phi_n^*$, and the Christoffel–Darboux identity $(1-z\lambda^{-1})K_n(z,\lambda)=z^{n+1}\lambda^{-n-1}\tilde\varphi_{n+1}^*(z)\varphi_{n+1}(\lambda)-\varphi_{n+1}(z)\tilde\varphi_{n+1}^*(\lambda)$ carries the argument. The local parameters $A_{n,s}=(\varphi_n(s)-\varphi_n(s\gamma_n))/(2s^n)$ and $B_{n,s}=(\varphi_n(s)+\varphi_n(s\gamma_n))/2$, with $\gamma_n=e^{i\pi/n}$, decide which of two possible limits occurs: small $A$ forces $\varphi_n^*\tilde\varphi_n$ near $-w(s)^{-1}$, small $B$ forces it near $w(s)^{-1}$, and the theorems show the sequence stabilizes in the small-$B$ region.
What would settle it
Find one measure $\mu\in T^-$ with $\sum|F_n|^2<\infty$ and (1.15) for which, along some lacunary sequence, $(\varphi^*_{n_k}\tilde\varphi_{n_k})^2$ fails to converge to $w^{-2}$ on a positive-measure set, or find one admissible pair $(a,b)$ as in Theorem 5 whose functional $(a^*_{n_k}+b_{n_k})^2(a_{n_k}-b^*_{n_k})^2$ fails on a positive-measure set.
Extended reading notes
Core claim
The central claim is Theorem 4: for a measure $\mu\in T^-$ whose coefficients $F_n$ are square summable and whose orthogonal polynomials satisfy the integral condition (1.15), along any lacunary sequence $(n_k)$ the squares of the products of normalized left and right polynomials converge almost everywhere, $(\varphi^*_{n_k}(s)\tilde\varphi_{n_k}(s))^2\to w(s)^{-2}$, where $w$ is the density of the absolutely continuous part of $\mu$. Theorem 1 supplies the structural input: with $C\ge2$ and $z,\lambda$ within $C/n$ of a Lebesgue point $s$, the normalized difference $|w(s)K_n(z,\lambda)-D_n(z,\lambda)|/(n+1)$ is bounded by $e^{30C}L(\mu,s,n)$, where $L(\mu,s,n)\to0$ at Lebesgue points. This universality-type estimate, proved through a Christoffel–Darboux formula for the one-sided polynomials, is simpler than its $SU(1,1)$ analogue. Theorem 5 converts the measure statement into a statement about $SU(2)$ nonlinear Fourier series: for $b\in H^\infty$ vanishing at the origin with $\|b\|_\infty<2^{-1/2}$ and $a^*$ outer with $|a|^2+|b|^2=1$ almost everywhere, the functional $(a^*_{n_k}+b_{n_k})^2(a_{n_k}-b^*_{n_k})^2$ converges almost everywhere to $(a^*+b)^2(a-b^*)^2$, and the $L^\infty$ bound on $b$ is shown to be sharp.
Load-bearing premise
The load-bearing premise is an external existence theorem: any two boundary functions $(a,b)$ with $|a|^2+|b|^2=1$ on the circle, $a^*$ having no zeros in the disk, and $b$ uniformly smaller than $2^{-1/2}$ in magnitude must be the nonlinear Fourier series of some square-summable sequence, and the paper's measure construction in Theorem 5 collapses if that theorem carries hidden extra hypotheses.
Editorial extensions
If this is right
- For every measure $\mu\in T^-$ with $\sum|F_n|^2<\infty$ and with (1.15), $\lim_{k\to\infty}(\varphi^*_{n_k}(s)\tilde\varphi_{n_k}(s))^2=w(s)^{-2}$ for almost every $s$ along every lacunary sequence $(n_k)$.
- If additionally $|F_n|\to0$ and $(\varphi^*_n\tilde\varphi_n)^2$ converges almost everywhere to $w^{-2}$, then the full sequence $\varphi^*_n(s)\tilde\varphi_n(s)$ converges almost everywhere to $w(s)^{-1}$ and $A_{n,s}B_{n,s}\to0$.
- For any admissible pair $(a,b)$ with $\|b\|_\infty<2^{-1/2}$ and $a^*$ outer, the partial $SU(2)$ nonlinear Fourier series satisfies $(a^*_{n_k}+b_{n_k})^2(a_{n_k}-b^*_{n_k})^2\to(a^*+b)^2(a-b^*)^2$ almost everywhere along lacunary sequences.
- Zero spacing is tied to the same convergence: $|A_{n,s}B_{n,s}|\ge\varepsilon$ forces a zero of $\varphi_n$ within distance $O(\varepsilon^{-1}/n)$ of $s$, and conversely a zero within $\varepsilon^{-1}/n$ forces $|A_{n,s}B_{n,s}|\ge e^{-10/\varepsilon}$.
- The first-order expansion of the kernel estimate reproduces classical Fejér mean convergence, so the theorem contains ordinary linear Fourier analysis as a special case.
Reading between the lines
- The lacunary restriction probably comes from the stopping-time argument in Theorem 4; controlling the local parameters on all scales, not just lacunary ones, would turn this into a full nonlinear Carleson theorem for the functional $(a^*_n+b_n)(a_n-b^*_n)$.
- The sharpness example at $\|b\|_\infty=2^{-1/2}$ suggests the threshold is intrinsic; a natural test is whether the conclusion survives with a BMO or weighted $L^p$ condition on $b$ in place of the $L^\infty$ bound.
- The paper's remark connecting these polynomials to Krein systems and de Branges spaces points toward a continuous analogue: the kernel estimate should translate into a universality result for Krein systems, with the local-parameter stabilization becoming a pointwise convergence statement for continuous scattering data.
- Condition (1.15) is an integral average control; an editor's guess is that it can be relaxed to a logarithmic or variational condition in the lacunary theorem, since the proof only needs it to keep the small-$A$ and small-$B$ regions separated.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a class T- of complex probability measures on the unit circle whose unique monic left and right orthogonal polynomials satisfy Szegő recurrences with coefficients that are negatives of each other. For this class, it proves a Mate--Nevai--Totik type universality estimate for the reproducing kernel (Theorem 1), analyzes the local parameters that describe the polynomials near a Lebesgue point (Theorems 2 and 3), and establishes almost everywhere convergence of the squared product of the normalized left and right polynomials along lacunary sequences under an L1 condition and square summability of the recurrence coefficients (Theorem 4). The final theorem applies these results to SU(2)-valued nonlinear Fourier series: for boundary data (a,b) with b(0)=0, ||b||_{H∞}<2^{-1/2}, a* outer, and |a|^2+|b|^2=1, it proves almost everywhere convergence along lacunary sequences of the functional (a_{n_k}^*+b_{n_k})^2(a_{n_k}-b_{n_k}^*)^2 to its expected limit, and it shows the constant 2^{-1/2} is sharp.
Significance. If the results hold, this paper establishes a genuinely new connection between a natural class of non-Hermitian orthogonal polynomials and the SU(2) nonlinear Fourier transform, resolving a lacunary version of the nonlinear Carleson problem in the small-||b|| regime. The proofs are long, detailed, and largely self-contained, with explicit constants in the estimates; the authors are also careful to state the limitations of their method and to prove sharpness of the main hypothesis. The universality theorem for the class T- and the accompanying zero/local-parameter analysis are likely to be of independent interest. The main caveat is that the final application rests on an external existence theorem that is invoked but not stated, and one step in a key lemma is unjustified as written.
major comments (2)
- [Section 9, first paragraph and Theorem 5(1)] The proof of Theorem 5(1) begins with the assertion 'By [Tsa05, Lemma 3.7] and [AMT23, Theorem 11], there exists a unique (F_n) ∈ ℓ²(N0) such that (a,b) is the nonlinear Fourier series of (F_n).' This is the load-bearing entry point for the entire construction of the measure µ, and the hypotheses of those cited results are not stated. Please state precisely the theorems being cited (or at least their full hypotheses) and verify explicitly that conditions (1.25)-(1.26), together with b(0)=0 and a* outer, satisfy them. If the cited theorems require additional hypotheses, such as extra regularity or an invertibility condition, then the class of pairs covered by Theorem 5(1) is narrower than stated and the application of Theorems 1-4 would fail for some of the claimed inputs.
- [Section 4, proof of Lemma 12 (after (4.26))] The proof of Lemma 12 applies Lemma 11 to infer |~A_n| ≤ 9|w(s)| |A_n| from the assumption |A_n| ≤ η². However, Lemma 11 is stated under the hypothesis η ≤ C, and the case at hand has |A_n| ≤ η², so the hypothesis is not satisfied. The same issue occurs for |~A_n| ≤ η² and in the corresponding arguments for the B-variables. As written, the chain leading to (4.27) and (4.28) is therefore incomplete. Since Lemma 12 is used in the proof of Theorem 2(1), and Theorem 2(1) is used in the proof of Theorem 4, this gap affects the central argument. The estimate can likely be repaired using (4.14), (4.15) and the lower bound on |B_n~B_n| that follows from |w(s)|≥1; the manuscript must supply a correct proof.
minor comments (4)
- [Section 9, proof of Theorem 5] The displayed identity for φ*_n ~φ_n contains incorrect factors: it should state φ*_n = z^{-n}(a*_n + b_n) and ~φ_n = z^n(a_n - b*_n), so that φ*_n ~φ_n = (a*_n + b_n)(a_n - b*_n). The current formula 'z^{-n}(a_n + b*_n) z^{-n}(a_n - b*_n)' is not correct as written, although the final identity is the right one.
- [Equations (5.14), (5.17), (5.29), (6.7), (6.10)] Several displayed equations in Sections 5 and 6 contain garbled symbols and braces (for example, '⌟⟨rro⟪⟪⟩r⟪' appears repeatedly), making those lines unreadable. If these are not artifacts of the version we reviewed, they must be corrected in the final typeset manuscript.
- [Theorem 2, second part] The phrasing 'There is a set E0(µ)⊂E(µ) of full measure such that for every s∈E0(µ), we have (1.16) implies both (1.17), (1.18)' is grammatically confusing. It would be clearer to state: 'For every s∈E0(µ), condition (1.16) implies (1.17) and (1.18).'
- [Title and header] The title in the running header contains spacing/typing errors ('OR THOGONAL', 'FORSU', 'POL YNOMIALS'). Please ensure the final version has the correct title.
Circularity Check
No circular derivation found: Theorem 5 imports an external existence/uniqueness theorem from [Tsa05, Lemma 3.7] and [AMT23, Theorem 11], including one same-group preprint, but the internal kernel and local-parameter estimates are proved forward from the definitions of T- and the Szego recurrences.
full rationale
The paper's central estimates are self-contained. The class T- is defined by the antisymmetry F_n = -F_tilde_n of the Szego parameters, and Lemma 2 derives those parameters from the moment problem; Theorem 1 follows from the reproducing identity (3.9) with the Christoffel-Darboux formula; Theorems 2-4 are forward analyses of the local parameters A_n,s and B_n,s. No parameter is fitted to the target limit, and no occurrence of (phi*_n phi_tilde_n)^2 is inserted as an assumption. In Theorem 5, the measure mu = w d|z|/2pi is not assumed to lie in T-: Section 9 verifies the monic left/right orthogonality relations and uniqueness via Lemma 1, and it derives condition (1.15) from the H^2 convergence of (a_n,b_n) to (a,b) supplied by the cited NLFS theory. The one unproved input is the cited existence of (F_n) in ell^2 from [Tsa05, Lemma 3.7] and [AMT23, Theorem 11]; this is a parameter-free prior result about NLFS, not a restatement of (1.27), so citing it is external support rather than circularity, even though [AMT23] shares authors. A separate non-circular caveat: the sentence 'The expression (9.9) however is 1/w by definition of w' appears algebraically inconsistent with definition (9.1), since (a*+b)(a-b*) is the conjugate, not the reciprocal, of (a*-b)(a+b*) under |a|^2+|b|^2=1; this is a correctness risk in the verification of (1.15), not a self-referential derivation.
Assumptions & free parameters
assumptions (4)
- domain assumption Every pair (a,b) with a* outer, |a|²+|b|² = 1 on T, and ||b||∞ < 2^{-1/2} is the SU(2) NLFS of a unique (F_n) ∈ ℓ²(N0).
- domain assumption For (F_n) ∈ ℓ²(N0), the partial products (a*_n, b_n) converge in H²(D)×H²(D) to (a*, b), with a*_n(0) → a*(0) > 0.
- standard math An outer H² function a* with boundary modulus bounded below by 2^{-1/2} has (a*)^{-1} ∈ H∞(D) with the same bound, and outer functions with prescribed modulus exist.
- standard math Classical one-variable tools: Rouché's theorem, subharmonicity of log|u| on D, Cauchy estimates, and Lebesgue differentiation for the L(µ,s,n) functional.
Cite this review
Pith. "Pith review of One sided orthogonal polynomials and a pointwise convergence result for $SU(2)$-valued nonlinear Fourier series." pith.science (2026). https://pith.science/paper/AUIGKTNS
@misc{pith2026250705124,
author = {Pith},
title = {Pith review of: One sided orthogonal polynomials and a pointwise convergence result for $SU(2)$-valued nonlinear Fourier series},
year = {2026},
howpublished = {\url{https://pith.science/paper/AUIGKTNS}},
note = {Machine review of arXiv:2507.05124}
}
abstract
We elaborate on a connection between the $SU(2)$-valued nonlinear Fourier series and sequences of left and right orthogonal polynomials for complex measures on the unit circle. We show a convergence result for the associated reproducing kernel. This is a universality type result in the vein of Mate-Nevai-Totik, which turns out to be much simpler in the $SU(2)$ case than in the $SU(1,1)$ case. We then relate a.e. pointwise convergence of the product of left and right polynomials and their squares with both behavior of their zeros as well as behavior of some local parameters for these polynomials. We conclude by proving almost everywhere convergence along lacunary sequences of the functional $(a_n ^* +b_n)(a_n - b_n ^*)$ of the partial $SU(2)$-valued nonlinear Fourier series $(a_n, b_n)$ under the assumption that the nonlinear Fourier series $(a,b)$ itself satisfies both $\|b\|_{L^{\infty} (\mathbb{T})} < 2^{- \frac 1 2}$ and $a^*$ is outer.
Figures
Reference graph
Works this paper leans on
- [1]
-
[2]
Quantum signal processing and nonlinear Fourier analysis
M. Alexis, G. Mnatsakanyan, and C. Thiele, Quantum signal processing and nonlinear fourier analysis, 2023, arXiv:2310.12683
work page Pith review arXiv 2023
-
[3]
Roman Bessonov and Sergey Denisov, Zero sets, entropy, and pointwise asymptotics of orthogonal polynomials, Journal of Functional Analysis 280 (2021), no. 12, 109002
work page 2021
-
[4]
R.V. Bessonov, Entropy function and orthogonal polynomials, Journal of Approximation Theory 272 (2021), 105650
work page 2021
-
[5]
Michael Christ and Alexander Kiselev, Maximal functions associated to filtrations, Journal of Functional Analysis 179 (2001), no. 2, 409--425
work page 2001
-
[6]
Michael Christ and Alexander Kiselev, Scattering and wave operators for one-dimensional Schr\"odinger operators with slowly decaying non-smooth potentials , Geometric and Functional Analysis 12 (2002), 1174--1234
work page 2002
-
[7]
Denisov, Continuous analogs of polynomials orthogonal on the unit circle
Sergey A. Denisov, Continuous analogs of polynomials orthogonal on the unit circle. K rein systems , International Mathematics Research Surveys 2006 (2006), 54517
work page 2006
-
[8]
Yulong Dong, Lin Lin, Hongkang Ni, and Jiasu Wang, Infinite quantum signal processing, 2022, arXiv:2209.10162
work page Pith review arXiv 2022
Show all 27 references
-
[9]
Benjamin Eichinger, Milivoje Lukić, and Brian Simanek, An approach to universality using weyl m-functions, 2021, arXiv:2108.01629
2021 arXiv
-
[10]
Benjamin Eichinger, Milivoje Lukić, and Harald Woracek, Necessary and sufficient conditions for universality limits, 2024, arXiv:2409.18045
2024 arXiv
-
[11]
Pavel Gubkin, Mate– N evai– T otik theorem for K rein systems , Integral Equations and Operator Theory 93 (2020), 1--24
2020
-
[12]
3, 1179--1188
Vjekoslav Kovač, Diogo Oliveira E Silva, and Jelena RupčIć, Asymptotically sharp discrete nonlinear H ausdorff– Y oung inequalities for the SU(1,1) -valued F ourier products , The Quarterly Journal of Mathematics 73 (2022), no. 3, 1179--1188
2022
-
[13]
M. G. Kre n, Distribution of roots of polynomials orthogonal on the unit circle with respect to a sign-alternating weight, Teor. Funkci Funkcional. Anal. i Prilo z en. (1966), no. 2, 131--137. 201702
1966
-
[14]
H. J. Landau, Polynomials orthogonal in an indefinite metric, pp. 203--214, Birkh \"a user Basel, Basel, 1988
1988
-
[15]
1, 010501
Guang Hao Low and Isaac L Chuang, Optimal hamiltonian simulation by quantum signal processing, Physical review letters 118 (2017), no. 1, 010501
2017
-
[16]
Second Series 134 (1991), 433--453
Attila Máté, Paul Nevai, and Vilmos Totik, Szego's extremum problem on the unit circle, Annals of Mathematics. Second Series 134 (1991), 433--453
1991
-
[17]
Camil Muscalu, Terence Tao, and Christoph Thiele, A counterexample to a multilinear endpoint question of C hrist and K iselev , Mathematical Research Letters 10 (2001), 237--246
2001
-
[18]
1, 219--246
, A C arleson type theorem for a C antor group model of the scattering transform , Nonlinearity 16 (2002), no. 1, 219--246
2002
-
[19]
2, 421--464
Richard Oberline, Andreas Seeger, Terence Tao, Christoph Thiele, and James Wright, A variation norm C arleson theorem , Journal of the European Mathematical Society 014 (2012), no. 2, 421--464
2012
-
[20]
Alexei Poltoratski, Toeplitz approach to problems of the uncertainty principle, AMS and CBMS, 2015
2015
-
[21]
Alexei Poltoratski, Pointwise convergence of the non-linear F ourier transform , Ann. of Math. (2) 199 (2024), no. 2, 741--793. 4713022
2024
-
[22]
Christian Remling, Spectral theory of canonical systems, De Gruyter, Berlin, Boston, 2018
2018
-
[24]
Diogo Oliveira e Silva, Inequalities in non-linear F ourier analysis , 2017
2017
-
[25]
, A variational nonlinear H ausdorff- Y oung inequality in the discrete setting , Mathematical Research Letters 25 (2018), 1993--2015
2018
-
[26]
Barry Simon, Orthogonal polynomials on the unit circle, OKS prints, 2005
2005
-
[27]
thesis, University of California Los Angeles, 2005
Ya-Ju Tsai, SU(2) non-linear F ourier transform , Ph.D. thesis, University of California Los Angeles, 2005
2005
-
[28]
Terence Tao and Christoph Thiele, Nonlinear F ourier analysis , arXiv e-prints (2012), arXiv:1201.5129
2012 arXiv
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.