Pith. sign in

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 →

arxiv 2507.05124 v2 pith:AUIGKTNS submitted 2025-07-07 math.CA math.AP

classification math.CAmath.AP MSC 42C0542A2030C15
keywords nonlinearFourierseriesSU(2)scatteringorthogonalpolynomialsontheunitcirclereproducingkernelsuniversalitylacunaryconvergenceSzegőrecurrencepointwise
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper extends the Máté–Nevai–Totik universality theorem from classical orthogonal polynomials to one-sided left and right orthogonal polynomials attached to complex measures on the unit circle in a class the authors call $T^-$. For these measures the Szegő recurrences have coefficients $F_n$ and $-F_n$, which makes the setup match the $SU(2)$-valued nonlinear Fourier series. The main technical result is a kernel estimate: close to a Lebesgue point of the measure, the reproducing kernel $K_n$ of the one-sided polynomials differs from the Dirichlet kernel by an error controlled by a local average of the measure's deviation from its density. From this estimate the paper derives a sharp local description of the polynomials in terms of two parameters $A_{n,s}$ and $B_{n,s}$, and shows that convergence of their product is governed by which parameter becomes small. The payoff is that along lacunary subsequences the square of the product of the left and right normalized polynomials converges almost everywhere to $w(s)^{-2}$, which yields almost-everywhere convergence of the functional $(a^*_n+b_n)(a_n-b^*_n)$ for $SU(2)$ nonlinear Fourier series under the conditions $\|b\|_\infty<2^{-1/2}$ and $a^*$ outer.

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.

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

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)
  1. [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.
  2. [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)
  1. [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.
  2. [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.
  3. [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).'
  4. [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

0 steps flagged · score 2.0 of 10

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 0 free parameters · 4 assumptions · 0 invented entities

Everything load-bearing rests on the self-contained OPUC machinery of Section 2 (Lemmas 1-3), standard one-variable function theory, and three cited facts about SU(2) NLFS from [Tsa05] and [AMT23, ALM+24] (existence of F from (a,b); H² convergence; outer-function construction). No constants are fitted to data; the auxiliary parameters C, η, ε, λ are introduced as hypotheses and tend to limits. No new entities are postulated; the class T− and the local parameters A_{n,s}, B_{n,s} are definitions, not entities with unexplained degrees of freedom.

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).
    Invoked in Section 9 (proof of Theorem 5(1)) via [Tsa05, Lemma 3.7] and [AMT23, Theorem 11]; load-bearing for the construction of the measure µ in (9.2).
  • 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.
    Cited from [Tsa05, AMT23] and used in Section 9 to prove orthogonality of φ_n, φ̃_n and the L1 convergence (1.15).
  • 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.
    Used in Section 9 to guarantee a* − b is zero-free in D; the existence half is cited from same-group preprint [AMT23, Theorem 10].
  • 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.
    Used throughout Sections 4-8 (Rouché in Theorem 3, subharmonicity in Lemma 4, Lebesgue differentiation in Theorem 1 and the construction of E0(µ)).

how reviews work

0 comments
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

Figures reproduced from arXiv: 2507.05124 by the authors.

Figure 1
Figure 1. Local parameter regions A, B ∼ 1 A << 1 B << 1 implies both (1.17) limn→∞ φ ∗ n (s)φ̃n(s) = w(s) −1 , (1.18) limn→∞ An,sBn,s = 0 . As Lemma 12 shows, small A has the effect that φ ∗ nφ̃n is close to −w(s) −1, while small B has the effect that φ ∗ nφ̃n is close to w(s) −1. The first part of Theorem 2 tautologically avoids the yellow region via assumption (1.13), and thus obtains the convergence of (φ ∗ nφ̃n) 2 to w(s… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 23 canonical work pages

  1. [1]

    Alexis, L

    M. Alexis, L. Lin, G. Mnatsakanyan, C. Thiele, and J. Wang, Infinite quantum signal processing for arbitrary S zeg o functions , 2024, arXiv:2407.05634

  2. [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

  3. [3]

    12, 109002

    Roman Bessonov and Sergey Denisov, Zero sets, entropy, and pointwise asymptotics of orthogonal polynomials, Journal of Functional Analysis 280 (2021), no. 12, 109002

  4. [4]

    Bessonov, Entropy function and orthogonal polynomials, Journal of Approximation Theory 272 (2021), 105650

    R.V. Bessonov, Entropy function and orthogonal polynomials, Journal of Approximation Theory 272 (2021), 105650

  5. [5]

    2, 409--425

    Michael Christ and Alexander Kiselev, Maximal functions associated to filtrations, Journal of Functional Analysis 179 (2001), no. 2, 409--425

  6. [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

  7. [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

  8. [8]

    Yulong Dong, Lin Lin, Hongkang Ni, and Jiasu Wang, Infinite quantum signal processing, 2022, arXiv:2209.10162

Show all 27 references
  1. [9]

    Benjamin Eichinger, Milivoje Lukić, and Brian Simanek, An approach to universality using weyl m-functions, 2021, arXiv:2108.01629

  2. [10]

    Benjamin Eichinger, Milivoje Lukić, and Harald Woracek, Necessary and sufficient conditions for universality limits, 2024, arXiv:2409.18045

  3. [11]

    Pavel Gubkin, Mate– N evai– T otik theorem for K rein systems , Integral Equations and Operator Theory 93 (2020), 1--24

  4. [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

  5. [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

  6. [14]

    H. J. Landau, Polynomials orthogonal in an indefinite metric, pp. 203--214, Birkh \"a user Basel, Basel, 1988

  7. [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

  8. [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

  9. [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

  10. [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

  11. [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

  12. [20]

    Alexei Poltoratski, Toeplitz approach to problems of the uncertainty principle, AMS and CBMS, 2015

  13. [21]

    Alexei Poltoratski, Pointwise convergence of the non-linear F ourier transform , Ann. of Math. (2) 199 (2024), no. 2, 741--793. 4713022

  14. [22]

    Christian Remling, Spectral theory of canonical systems, De Gruyter, Berlin, Boston, 2018

  15. [24]

    Diogo Oliveira e Silva, Inequalities in non-linear F ourier analysis , 2017

  16. [25]

    , A variational nonlinear H ausdorff- Y oung inequality in the discrete setting , Mathematical Research Letters 25 (2018), 1993--2015

  17. [26]

    Barry Simon, Orthogonal polynomials on the unit circle, OKS prints, 2005

  18. [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

  19. [28]

    Terence Tao and Christoph Thiele, Nonlinear F ourier analysis , arXiv e-prints (2012), arXiv:1201.5129

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.