Szegő theorem

Szegő theorem describes asymptotic behavior of determinants of large Toeplitz matrices generated by functions on the unit circle. It connects properties of analytic functions, spectral theory, and orthogonal polynomials through limits that involve integrals over the unit circle and constants determined by singularities. The theorem has deep ties to Gábor Szegő, Norbert Wiener, John von Neumann, Hermann Weyl, and later developments by Harold Widom, Barry Simon, Freeman Dyson, and Eugene Wigner.

Statement

The classical statement treats a continuous, complex-valued function f(e^{iθ}) on the unit circle and the n×n Toeplitz matrix T_n(f) with entries given by Fourier coefficients of f. The theorem asserts that as n→∞ the determinant det T_n(f) has asymptotics expressed by exp(n a_0 + Σ_{k≥1} k a_k a_{−k}), where the Fourier coefficients a_k are those of log f when log f is integrable. This relates to asymptotic spectral distribution of T_n(f), linking to results by Hermann Weyl on eigenvalue distributions, to the Fisher–Hartwig conjecture for symbols with singularities, and to limit formulas used in random matrix theory by Freeman Dyson, Eugene Wigner, M. L. Mehta, and James Dyson.

History and variants

The origin traces to work by Gábor Szegő in early 20th century and earlier contributions by Norbert Wiener on Fourier series and positive definite functions. Subsequent rigorous formulations and extensions were given by Harold Widom, Barry Simon, Alexander S. I. Dykhne and others. Variants include the strong Szegő limit theorem, the Borodin–Okounkov formula developed with influences from Andrei Borodin and Alexei Okounkov, and the Fisher–Hartwig asymptotics addressing symbols with zeros or jump discontinuities; the latter was refined by Eugene Basor, Tracy and Widom, Paul Deift, and Kurt Johansson. Further developments connect to orthogonal polynomials on the unit circle as treated by Barry Simon in his two-volume monograph, and to determinantal point processes studied by Craig Tracy and Harold Widom.

Applications and examples

Szegő-type asymptotics appear in analysis of Toeplitz operators in C∗-algebra contexts studied by Israel Gohberg and Mark Krein, in statistical mechanics models such as the two-dimensional Ising model where correlation functions reduce to Toeplitz determinants analyzed by Onsager and C. N. Yang, and in quantum many-body problems connected to the XX spin chain examined by Elliott Lieb and Eugene Lieb. In random matrix theory, connections to circular ensembles studied by Freeman Dyson and universality phenomena researched by Terence Tao and Van Vu rely on Szegő-type results. Examples include constant symbols, for which explicit determinants relate to Toeplitz matrices that appear in numerical analysis by Richard Courant and David Hilbert, and symbols with pure Fisher–Hartwig singularities that model step-like discontinuities used in signal processing histories involving Claude Shannon and Norbert Wiener.

Proof outline

Proofs employ factorization of the symbol f into outer and inner functions using tools from complex analysis developed by Henri Cartan and Carleson and relate to prediction theory by Norbert Wiener and W. H. J. Fuchs. One constructs strong approximations of T_n(f) eigenvalues via the theory of orthogonal polynomials on the unit circle as in work by Szegő and L. G. Szegő's students, uses operator determinants in the sense of I. M. Gelfand and Mark Krein, and applies trace class perturbation techniques popularized by John von Neumann and Murray Gell-Mann in mathematical physics. Modern proofs leverage Riemann–Hilbert problem methods introduced into asymptotic analysis by Percy Deift and collaborators, and combinatorial identities reminiscent of ideas by Srinivasa Ramanujan and G. H. Hardy.

Extensions and generalizations

Generalizations encompass the Fisher–Hartwig conjecture for piecewise-smooth or singular symbols resolved progressively by Eugene Basor, Alexander Its, Klaus Johansson, and Paul Deift; block Toeplitz matrices investigated by Miroslav Fiedler and Harold Widom; and analogues for Hankel matrices studied by Hankel-related investigators and Wilhelm Magnus. Connections extend to integrable systems via the theory of isomonodromic deformations by Michio Jimbo and Tetsuji Miwa, to spectral theory of banded operators in functional analysis studied by Israel Gohberg and Leon Takhtajan, and to probability through determinantal point processes researched by Borodin and Okounkov. Recent work ties Szegő asymptotics to universality in random matrices as advanced by Terence Tao, Van Vu, Manjunath Krishnapur, and applications in topological phases of matter explored by Michael Berry and Frank Wilczek.

Category:Theorems in analysis