The operator system of Toeplitz matrices

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.

Strongly Peaking Representations and Compressions of Operator Systems

We use Arveson’s notion of strongly peaking representation to generalize uniqueness theorems for free spectrahedra and matrix convex sets that admit minimal presentations. A fully compressed separable operator system necessarily generates the $C^*$-envelope and is such that the identity is the direct sum of strongly peaking representations. In particular, a fully compressed presentation of a separable operator system is unique up to unitary equivalence. Under various additional assumptions, minimality conditions are sufficient to determine a separable operator system uniquely.

Some Fixed Point Results for Perov-Ćirić-Prešić Type F-Contractions with Application

Ćirić and Prešić developed the concept of Prešić contraction to Ćirić-Prešić type contractive mappings in the background of a metric space. On the other hand, Altun and Olgun introduced Perov type F-contractions. In this paper, we extend the concept of Ćirić-Prešić contractions to Perov-Ćirić-Prešić type F-contractions. Our results modify some known ones in the literature. To support our main result, an example and an application to nonlinear operator systems are presented.