The Szegő and Avram–Parter theorems for general test functions

The Szegő and Avram–Parter theorems give the limit of the arithmetic mean of the values of certain test functions at the eigenvalues of Hermitian Toeplitz matrices and the singular values of arbitrary Toeplitz matrices, respectively, as the matrix dimension goes to infinity. We show that, surprisingly, these theorems are not true for every continuous, nonnegative, and monotonously increasing test function and thus do not hold whenever they make sense. On the other hand, we prove the two theorems in a general form which includes all versions known so far. To cite this article: A. Böttcher et al., C. R. Acad. Sci. Paris, Ser. I 346 (2008).

RésuméLes théorèmes de Szegő et d'Avram–Parter donnent la limite de la moyenne arithmetique des valeurs d'une ‘bonne’ fonction test prise en les valeurs propres de matrices de Toeplitz hermitiennes et en les valeurs singulières de matrices de Toeplitz arbitraires quand la dimension de la matrice tend vers l'infini. Nous montrons que, de manière surprenante, ces théorèmes ne sont pas valables pour une fonction test continue, positive et croissante arbitraire, alors même que leur énoncé a bien un sens. En revanche, nous prouvons les deux théorémes sous une forme générale qui inclut toutes les versions connues jusqu'ici. Pour citer cet article : A. Böttcher et al., C. R. Acad. Sci. Paris, Ser. I 346 (2008).