REVIEW 1 major objections 3 minor 47 references
Chebyshev polynomials on a Jordan arc
T0 review · 1 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The paper proves that for any analytic Jordan arc $\gamma$, the normalized Chebyshev norm $W_n(\gamma)$ converges to $1/\rho(\infty)$, with matching Szegő–Widom asymptotics for the polynomials.
desk verdict Settles the Widom/CSZ conjecture for analytic Jordan arcs; the main theorem is solid, and the one soft spot is a quoted sampling inequality in the secondary Szegő–Widom theorem. 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 outer function $\rho$, whose boundary moduli $|\rho_\pm|=|\phi'_\pm|/(|\phi'_+|+|\phi'_-|)$ record the share of one-sided harmonic-measure density on the two sides of the arc, together with its normalized version $g=\rho/\rho(\infty)$. The upper bound is carried by weighted Faber polynomials $F_n(g,z)$, the polynomial part of the Laurent expansion of $g(z)\phi(z)^n$; along the arc these oscillate between the sum and difference envelopes $|g_+|+|g_-|$ and $||g_+|-|g_-||$, and minimizing the upper envelope over admissible functions is an explicit extremal problem whose unique solution is $g=\rho/\rho(\infty)$. The lower bound is built from extremal signatures (optimal prediction measures) placed on the $n+1$ maximal points of the oscillating Faber expression, analyzed through dual Faber polynomials whose zeros are those extremal points, and a Marcinkiewicz–Zygmund sampling inequality transfers the resulting discrete bounds to $L^2(\gamma,|dz|)$.
What would settle it
On the circular arc $\gamma_\alpha=\{e^{i\theta}:|\theta|\le\alpha\}$, the theorem predicts the limiting Widom factor $2\cos^2(\alpha/4)$; computing the Chebyshev norms numerically for a few values of $\alpha$ and comparing against this number, or checking whether the pointwise asymptotics hold at a fixed interior point, would settle the claim.
Extended reading notes
Core claim
Theorem 1.1 states that for every analytic Jordan arc $\gamma$, $\lim_{n\to\infty} W_n(\gamma)=1/\rho(\infty)$, where $\rho$ is the outer function with boundary moduli $|\rho_\pm|=|\phi'_\pm|/(|\phi'_+|+|\phi'_-|)$ on the two sides of the arc; equivalently, $\log\rho(\infty)$ is the entropy integral of $|\rho_+|$ with respect to the two-sided harmonic measure at infinity. Theorem 1.2 gives the matching Szegő–Widom asymptotics: locally uniformly off $\gamma$, $T_n(z)=\operatorname{Cap}(\gamma)^n g(z)\phi(z)^n(1+O(\log n/n))$, where $g=\rho/\rho(\infty)$, and $\|T_n/\operatorname{Cap}(\gamma)^n-(g_+\phi_+^n+g_-\phi_-^n)\|_{L^2(\gamma,|dz|)}=O(\log n/n)$.
Load-bearing premise
The load-bearing premise is the imported Marcinkiewicz–Zygmund sampling inequality, which must hold uniformly in $n$ for the $n+1$ extremal points and pass from discrete point evaluations to $L^2(\gamma,|dz|)$ control with only a logarithmic loss, and whose underlying interpolation lemma is quoted with some details left to the reader.
Editorial extensions
If this is right
- For any analytic Jordan arc, the limiting Widom factor lies in $(1,2]$, equals $2$ only for a line segment, and tends to $1$ in the closed-curve limit.
- The Chebyshev polynomials themselves obey Szegő–Widom asymptotics off the arc, so their growth and zero distribution are ultimately controlled by the outer function $\rho$ and the exterior conformal map $\phi$.
- The $H^2$ and $H^\infty$ extremal problems behind the two Widom factors have the same extremal function $g=\rho/\rho(\infty)$, explaining why the conjecture holds.
- The upper bound already holds for $C^{2+\alpha}$ arcs, and the proof accommodates continuous weights, changing the asymptotics by a Szegő-function factor.
- The proof scheme gives a partial replacement for the alternation and stability mechanisms available on the real line, applicable to other optimal approximation problems.
Reading between the lines
- If the sampling inequality survives for less regular arcs, the same outer-function formula should give the limit for $C^{2+\alpha}$ or piecewise analytic arcs, with endpoint corrections entering only the error terms.
- The dual Faber polynomial construction points to a general complex analogue of the Chebyshev first/second-kind pair: the extremal points of the degree-$n$ polynomial are the zeros of an explicit degree-$(n+1)$ companion polynomial.
- The $O(\log n)$ factor in the sampling inequality may be an artifact of the proof; a sharper sampling theorem for these specially spaced extremal points could improve the error rate in Theorem 1.2.
- For several disjoint arcs, the same variational framework suggests describing limit points of $W_n$ through an outer function with several boundary-value ratios, though the paper itself notes new ideas are needed.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves the Christiansen–Simon–Zinchenko conjecture for analytic Jordan arcs: the Widom factor W_n(γ) = ||T_n||_γ / Cap(γ)^n converges to 1/ρ(∞), where ρ is the outer function whose boundary moduli on the two sides of γ are |ρ_±| = |φ'_±|/(|φ'_+| + |φ'_-|). It further establishes Szegő–Widom asymptotics for the Chebyshev polynomials themselves: T_n(z)/Cap(γ)^n equals g_+(z)φ_+(z)^n + g_-(z)φ_-(z)^n up to O(log n / n) in L²(γ,|dz|) and locally uniformly off γ, with g = ρ/ρ(∞). The proof combines weighted Faber polynomials and an explicit H^∞ extremal problem for the upper bound; the lower bound uses extremal signatures and optimal prediction measures, a dual Faber polynomial whose zeros are exponentially close to the extremal points, and an explicitly solved jump problem. The final Szegő–Widom result uses a Marcinkiewicz–Zygmund sampling inequality of Chui–Zhong type.
Significance. If correct, this resolves a long-standing conjecture of Widom and of Christiansen–Simon–Zinchenko, giving the first complete asymptotic description of Chebyshev polynomials on a single smooth arc. The explicit solution of the limiting H^∞ extremal problem (Theorem 3.3) is elegant and makes the limit purely geometric, expressed through an outer function that is not fitted to the Chebyshev norms. The dual Faber construction (Section 4.2) is a novel technique with clear potential for other extremal problems. The proof of the conjecture itself (Theorem 1.1) is essentially self-contained: its lower bound rests on the Vidensky formula and the exponential zero-attraction argument in Lemma 4.7, not on the sampling inequality. The paper also explains the mechanism behind the conjecture in Remark 3.5 by linking the H^2 and H^∞ extremal problems, which is a valuable conceptual contribution.
major comments (1)
- [§5.2, Lemma 5.2; Appendix A, Lemma A.2] The uniform-in-n constant in the Marcinkiewicz–Zygmund inequality is load-bearing for Theorem 1.2. Lemma A.2 is quoted from [11, Lemma 2.3] with 'some details are left to the reader', and the required uniform pseudohyperbolic separation and Carleson measure estimates are cited from [47, Lemma 1] and [10, Lemma 5.2], which are proved for other arcs and point distributions. For the extremal points z_j of Lemma 4.3, whose local spacing is (1 + min{j,n-j})/n² by Lemma B.5, the paper does not verify the hypotheses needed for a constant C independent of n in the interpolation estimate. If the interpolation constant in Lemma A.2 grew with n, inequality (5.5) would fail, and the advertised L² error O(log n / n) and the locally uniform Szegő–Widom expansion in Theorem 1.2 would no longer follow. Please supply a complete proof of Lemma A.2 for the present setting, or a precise reference whose hypotheses are verified for these arcs and this point distribution. Theorem 1.1 is not affected, since its lower bound uses Lemma 4.7 instead of the sampling inequality.
minor comments (3)
- [§3, Eq. (3.4) and §4, Lemma 4.3] The function θ is defined as θ(z) := arg(φ_+(z)φ_-(z)), but the monotonicity statement and all subsequent uses require θ(z) = arg(φ_+(z)/φ_-(z)); on the arc the product of the two boundary values is identically 1. Please correct the typo in both places.
- [§5.3, Proposition 5.3] The endpoint case is dismissed with the remark that the asymptotics of E'_0 is multiplied by a factor 2 there; the computation is not shown. Since the factor 2 is used to claim the same formula for j=0,n, please include the short calculation or point to the precise equation where it is proved.
- [§4.2, first paragraph] There is a duplicated word in 'The reader may consult Figure 1 for for notation'; please edit.
Circularity Check
No circularity: 1/rho(infinity) is derived from conformal geometry and a solved extremal problem, with the lower bound produced by an explicit dual Faber construction rather than fitted to W_n.
full rationale
I found no step where a prediction reduces by definition to an input, and no fitted parameter is renamed as a result. The limit 1/rho(infinity) is defined purely from the boundary values of phi' on the two sides of the analytic arc gamma (Eq. (1.3) area), not from the Chebyshev norms W_n. The upper bound solves an independent H^infinity extremal problem: minimize max_gamma(|g_+| + |g_-|) over g(infinity)=1; Theorem 3.3 proves, rather than assumes, that the minimizer is g = rho/rho(infinity), using subharmonicity and a uniqueness argument. The lower bound uses the Vidensky/optimal-prediction identity (4.4), W_n(gamma) >= (sum 1/|E'(z_j)|)^{-1}, and constructs E from the dual Faber polynomial E0 with weight f derived from an explicit jump problem (4.6)-(4.8); the factor 1/rho(infinity) in the derivative estimate |E'(z_j)| >= (n+1)/rho(infinity) - C is an output of Lemma 4.7, not an input. The Marcinkiewicz-Zygmund sampling inequality (Lemma 5.2) is imported from Chui-Zhong [11] and used only for Theorem 1.2; Appendix A contains a proof sketch but also states that 'some details are left to the reader'. This is a rigor/completeness concern for the Szego-Widom asymptotics, not a circularity, because the cited lemma is external and does not encode the target result. The authors' self-citations ([30], [33]) are background only and are not load-bearing for the central derivation. No equation in the paper is equivalent to the conjecture by construction, so the circularity score is 0.
Assumptions & free parameters
assumptions (9)
- standard math Riemann mapping theorem: existence and uniqueness of the exterior conformal map phi with phi'(infinity) = 1/Cap(K), used to define capacity and all Faber data.
- domain assumption Widom's opening-up construction: for an arc, z + sqrt(z^2 - 1) maps the complement to the exterior of an analytic Jordan curve D, splitting boundary values into two branches (Widom [46, Lemma 11.1]).
- domain assumption Faber polynomial asymptotic: for analytic g and the arc framework, F_n(g,z) = g+(z)phi+(z)^n + g-(z)phi-(z)^n + O(r^n), and for C^{2+alpha} arcs the error O(n^{-epsilon}) from [46, Lemma 11.2].
- standard math Vidensky formula for Chebyshev polynomials on finite point sets, Theorem 4.1, proven in the paper by residue calculus.
- standard math Subharmonic mean-value inequality and its equality case, used to solve the extremal problem (3.5).
- domain assumption Carleson interpolation theorem and Shapiro-Shields H2 interpolation, with uniform-in-n separation and Carleson measure estimates from [47, Lemma 1] and [10, Lemma 5.2] (Lemma A.2).
- domain assumption Boundedness of the Cauchy transform on Carleson curves (David), with norm controlled by the Muckenhoupt A2 characteristic (Lorist's A2 theorem), uniformly in n for the Green curves gamma_n (Lemma A.3).
- domain assumption Regularity of the equilibrium and inverse equilibrium parametrizations of an analytic arc, used for the extremal point separation (Lemma B.5), from [17, Eq. (2.2)-(2.3), Lemma 2.1].
- domain assumption Bernstein-Walsh type bound relating sup-norm growth to L2(gamma,|dz|)-norm and distance to gamma for degree-n polynomials, adapted from Levin-Lubinsky.
Cite this review
Pith. "Pith review of Chebyshev polynomials on a Jordan arc." pith.science (2026). https://pith.science/paper/C7S3AHLU
@misc{pith2026260813445,
author = {Pith},
title = {Pith review of: Chebyshev polynomials on a Jordan arc},
year = {2026},
howpublished = {\url{https://pith.science/paper/C7S3AHLU}},
note = {Machine review of arXiv:2608.13445}
}
read the original abstract
We describe the asymptotics of Chebyshev polynomials on an analytic Jordan arc in the plane. This gives an affirmative answer to a conjecture of Christiansen-Simon-Zinchenko, based on predictions of Widom from 1969. The proof combines weighted Faber polynomials with extremal signatures, discrete orthogonal polynomials and a Marcinkiewicz-Zygmund sampling inequality, and yields Szeg\H{o}-Widom asymptotics for the Chebyshev polynomials themselves.
Figures
Reference graph
Works this paper leans on
-
[1]
N. I. Achieser. ¨Uber einige Funktionen, die in gegebenen Intervallen am wenigsten von Null abweichen. Izv. Akad. Nauk SSSR, Ser. Mat. 3 (1933), 499–536
work page 1933
-
[2]
G. Alpan. Extremal polynomials on a Jordan arc. J. Approx. Theory 276 (2022) 105708
work page 2022
-
[3]
G. Alpan and M. Zinchenko. On the Widom factors for Lp extremal polynomials. J. Ap- prox. Theory 259 (2020), 105480
work page 2020
-
[4]
T. C. Anderson and A. Vagharshakyan. A Simple Proof of the Sharp Weighted Estimate for Calder´ on–Zygmund Operators on Homogeneous Spaces. J. Geom. Anal. 24 (2014), 1276–1297
work page 2014
-
[5]
V. Andrievskii. On Chebyshev polynomials in the complex plane. Acta Math. Hungar. 152 (2017), no. 2, 505–524
work page 2017
-
[6]
S. N. Bernstein. D´ emonstration du th´ eor` eme de Weierstrass fond´ ee sur le calcul des proba- bilit´ es. Comm. Kharkov Math. Soc. 13 (1912), 1–2
work page 1912
-
[7]
A. B¨ ottcher and Y. I. Karlovich. Carleson Curves, Muckenhoupt Weights, and Toeplitz Operators. Progress in Mathematics, vol. 154, Birkh¨ auser Verlag, Basel/Boston/Berlin,
-
[8]
L. Bos, N. Levenberg and J. Ortega–Cerd` a. Optimal polynomial prediction measures and extremal polynomial growth. Const. Approx. 54, 431–453 (2021)
work page 2021
Show all 47 references
-
[9]
P. L. Chebyshev. Th´ eorie des m´ ecanismes connus sous le nom de parall´ elogrammes. M´ em. des Sav. ´Etr. Pr´ es. ` a l’Acad. St.-P´ etersb. 7 (1854), 539–568
-
[10]
C. K. Chui and L. Zhong. The Marcinkiewicz–Zygmund Inequality on a Smooth Simple Arc. J. Approx. Theory 83 (1995), 65–83
1995
-
[11]
C. K. Chui and L. Zhong. On Marcinkiewicz–Zygmund Inequalities and Ap-Weights for L-Shape Arcs. J. Geom. Anal. 31 (2021), 9276–9294
2021
-
[12]
J. S. Christiansen, B. Simon and M. Zinchenko. Asymptotics of Chebyshev polynomials, I: subsets ofR. Invent. Math. 208 (2017)
2017
-
[13]
J. S. Christiansen, B. Simon, M. Zinchenko. Widom factors and Szeg˝ o-Widom asymptotics, a review. Toeplitz operators and random matrices – in memory of Harold Widom, 301–319, Oper. Theory Adv. Appl., 289, Birkh¨ auser/Springer, Cham, 2022
2022
-
[14]
J. S. Christiansen, B. Simon, P. Yuditskii, M. Zinchenko. Asymptotics of Chebyshev polynomials, II: DCT subsets ofR. Duke Math. J. 168 (2019)
2019
-
[15]
R. R. Coifman, P. Jones and S. Semmes. Two elementary proofs of the L2 boundedness of the Cauchy integral on Lipschitz curves. J. Amer. Math. Soc. 2 (1989), 553–564
1989
-
[16]
R. R. Coifman, A. McIntosh, Y. Meyer. L’int´ egrale de Cauchy d´ efinit un op´ erateur born´ e surL 2 pour les courbes lipschitziennes. Ann. of Math. (2) 116 (1982), no. 2, 361–387
1982
-
[17]
Courteaut, K
K. Courteaut, K. Johansson and F. Viklund. Planar Coulomb gas on a Jordan arc at any temperature. arXiv:2504.19887 (2025)
2025 arXiv
-
[18]
G. David. Op´ erateurs int´ egraux singuliers sur certaines courbes du plan complexe, Ann. Sci. ´Ecole Norm. Sup. (4)17 (1984), 157–189
1984
-
[19]
G. David. L’int´ egrale de Cauchy sur les courbes rectifiables. Universit´ e de Paris-Sud, D´ epartement de Math´ ematiques (Orsay), Pr´ epublication 82T05 (1982)
1982
-
[20]
E. M. Dyn’kin. The rate of polynomial approximation in the complex domain. In: Complex analysis and Spectral theory. Lecture Notes in Mathematics 864 (1979/80). CHEBYSHEV POLYNOMIALS ON A JORDAN ARC 43
1979
-
[21]
E. M. Dyn’kin. Methods of the theory of singular integrals: Hilbert transform and Calder´ on- Zygmund theory. Commutative harmonic analysis, I, 167–259, Encyclopaedia Math. Sci., 15, Springer, Berlin, 1991
1991
-
[22]
G. Faber. ¨Uber Tschebyscheffsche Polynome. J. Reine Angew. Math. 150 (1920), 79–106
1920
-
[23]
Fekete and J
M. Fekete and J. L. Walsh. On the asymptotic behavior of polynomials with extremal properties, and of their zeros. J. Anal. Math. 4 (1954), 49–87
1954
-
[24]
J. B. Garnett. Bounded analytic functions. Revised first edition. Graduate Texts in Mathematics, 236. Springer, New York, 2007. xiv+459 pp
2007
-
[25]
A. Lerner. A simple proof of the A2 conjecture. Int. Math Res. Not. Vol. 2013, No. 14 (2013), pp. 3159–3170
2013
-
[26]
Levin and D
E. Levin and D. S. Lubinsky. Universality limits at the soft edge of the spectrum via classical complex analysis. Int. Math. Res. Not. IMRN (2011), no. 13, 3006–3070
2011
-
[27]
E. Lorist. On Pointwise ℓr Sparse Domination in a Space of Homogeneous Type. J. Geom. Anal. 31 (2021), 9366–9405
2021
-
[28]
Mattila, M
P. Mattila, M. S. Melnikov and J. Verdera. The Cauchy integral, analytic capacity, and uniform rectifiability. Ann. of Math. (2) 144(1) (1996), 127–136
1996
-
[29]
L. S. Maergoiz and N. N. Rybakova. Chebyshev polynomials with zeros on a circle and adjacent problems. St. Petersburg Math. J. (2014), no. 6, 965–979
2014
-
[30]
Mi˜ na-D ´ ıaz, O
E. Mi˜ na-D ´ ıaz, O. Rubin and A. Wennman. Norms of Chebyshev and Faber polynomials on curves with corners and cusps. Preprint, arXiv:2509.22588 (2025)
2025
-
[31]
T. Rivlin. Chebyshev Polynomials: From Approximation Theory to Algebra and Number Theory. John Wiley & Sons, Inc., New York, 1990
1990
-
[32]
T. J. Rivlin and H. S. Shapiro. A unified approach to certain problems of approximation and minimization. J. Soc. Indust. Appl. Math. 9 (1961), 670–699
1961
-
[33]
O. Rubin. Chebyshev polynomials in the complex plane and on the real line. Preprint, arXiv:2411.14175 (2024)
2024
-
[34]
J. B. Garnett and D. E. Marshall. Harmonic Measure. New Mathematical Monographs, Cambridge University Press, Cambridge, 2005
2005
-
[35]
H. S. Shapiro and A. L. Shields. On some interpolation problems for analytic functions. Amer. J. Math. 83 (1961), 513–532
1961
-
[36]
V. I. Smirnov and N. A. Lebedev Functions of a complex variable. The M.I.T. Press, Cambridge Massachusetts, 1968
1968
-
[37]
Sodin and P
M. Sodin and P. Yuditskii. Functions that deviate least from zero on closed subsets of the real axis. St. Petersburg Math. J. 4 (1993), no. 2, 201–249
1993
-
[38]
P. K. Suetin. Fundamental properties of Faber polynomials. Russian Math. Surveys 19 (1964), 121–149
1964
-
[39]
Thiran and C
J.-P. Thiran and C. Detaille, Chebyshev polynomials on circular arcs and in the complex plane,Progress in Approximation Theory, Academic Press, Boston, MA, 1991, pp. 771–786
1991
-
[40]
Totik, Chebyshev polynomials on compact sets,Potential Anal.40(2014) 511–524
V. Totik, Chebyshev polynomials on compact sets,Potential Anal.40(2014) 511–524
2014
-
[41]
Totik, Asymptotics of Christoffel functions on arcs and curves,Adv
V. Totik, Asymptotics of Christoffel functions on arcs and curves,Adv. Math.252(2014) 114–149
2014
-
[42]
Totik and P
V. Totik and P. Yuditskii. On a conjecture of Widom. J. Approx. Theory 190 (2015), 50–61
2015
-
[43]
Totik and T
V. Totik and T. Varga. Chebyshev and fast decreasing polynomials. Proc. Lond. Math. Soc. (3) 110 (2015), no. 5, 1057–1098. 44 B. BUCHECKER, B. EICHINGER, O. RUBIN, AND A. WENNMAN
2015
-
[44]
J. Verdera. Birth and life of the L2 boundedness of the Cauchy Integral on Lipschitz graphs. Yves Meyer – Selecta, Documents Math´ ematiques, Soci´ et´ e Math´ ematique de France (2026)
2026
-
[45]
V. S. Vidensky Uniform approximation in the complex plane. Usp. mat. Nauk. 11, 5, (71), 169–175 (1956)
1956
-
[46]
H. Widom. Extremal polynomials associated with a system of curves in the complex plane. Adv. Math. 3 (1969), pp. 127–232
1969
-
[47]
L. F. Zhong. Mean convergence of interpolation polynomials in a domain with corners. J. Approx. Theory 77 (1994), no. 2, 139–152. Benedikt Buchecker KU Leuven Leuven, Belgium benedikt.buchecker@kuleuven.be Benjamin Eichinger Lancaster University Lancaster, United Kingdom b.eic...
1994
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.