The operator system of Toeplitz matrices

Abstract

A recent paper of A. Connes and W.D. van Suijlekom [Comm. Math. Phys. 383 (2021), pp. 2021–2067] identifies the operator system of n × n n\times n Toeplitz matrices with the dual of the space of all trigonometric polynomials of degree less than n n . The present paper examines this identification in somewhat more detail by showing explicitly that the Connes–van Suijlekom isomorphism is a unital complete order isomorphism of operator systems. Applications include two special results in matrix analysis: (i) that every positive linear map of the n × n n\times n complex matrices is completely positive when restricted to the operator subsystem of Toeplitz matrices and (ii) that every linear unital isometry of the n × n n\times n Toeplitz matrices into the algebra of all n × n n\times n complex matrices is a unitary similarity transformation. An operator systems approach to Toeplitz matrices yields new insights into the positivity of block Toeplitz matrices, which are viewed herein as elements of tensor product spaces of an arbitrary operator system with the operator system of n × n n\times n complex Toeplitz matrices. In particular, it is shown that min and max positivity are distinct if the blocks themselves are Toeplitz matrices, and that the maximally entangled Toeplitz matrix ξ n \xi _n generates an extremal ray in the cone of all continuous n × n n\times n Toeplitz-matrix valued functions f f on the unit circle S 1 S^1 whose Fourier coefficients f ^ ( k ) \hat f(k) vanish for | k | ≥ n |k|\geq n . Lastly, it is noted that all positive Toeplitz matrices over nuclear C ∗ ^* -algebras are approximately separable.