Equivalence between GLT sequences and measurable functions
For researchers in numerical linear algebra and spectral theory, this provides a rigorous mathematical link between matrix sequences and measurable functions, though it is an incremental theoretical result.
The paper proves that the space of GLT sequences is complete under the a.c.s. metric and is equivalent to the space of measurable functions, establishing a theoretical foundation for spectral analysis of large matrices.
The theory of Generalized Locally Toeplitz (GLT) sequences of matrices has been developed in order to study the asymptotic behaviour of particular spectral distributions when the dimension of the matrices tends to infinity. A key concepts in this theory are the notion of Approximating Classes of Sequences (a.c.s.), and spectral symbols, that lead to define a metric structure on the space of matrix sequences, and provide a link with the measurable functions. In this document we prove additional results regarding theoretical aspects, such as the completeness of the matrix sequences space with respect to the metric a.c.s., and the identification of the space of GLT sequences with the space of measurable functions.