Complete order equivalence of spin unitaries

DOI10.1016/J.LAA.2020.09.033MaRDI QIDQ2228094zbMATH OpenOpenAlexFDO

Authors Farrah Huntinghawk, Adili Masanika, Sarah Plosker, Douglas Farenick

Publication date 16 February 2021

Published in Linear Algebra and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2006.06810

zbMATH Keywords

spin systemmatrix convex setoperator systemcompletely positive linear mapcomplete order isomorphism\( \operatorname{C}^\ast \)-envelope

Mathematics Subject Classification ID

Hermitian, skew-Hermitian, and related matrices (15B57) Operator spaces and completely bounded maps (46L07) Algebraic systems of matrices (15A30) Several-variable operator theory (spectral, Fredholm, etc.) (47A13) Dilations, extensions, compressions of linear operators (47A20) Linear spaces of operators (47L05)

Abstract: This paper is a study of linear spaces of matrices and linear maps on matrix algebras that arise from emph{spin systems}, or emph{spin unitaries}, which are finite sets $mathcalS$ of selfadjoint unitary matrices such that any two unitaries in $mathcalS$ anticommute. We are especially interested in linear isomorphisms between these linear spaces of matrices such that the matricial order within these spaces is preserved; such isomorphisms are called complete order isomorphisms, which might be viewed as weaker notion of unitary similarity. The main result of this paper shows that all $m$-tuples of anticommuting selfadjoint unitary matrices are equivalent in this sense, meaning that there exists a unital complete order isomorphism between the unital linear subspaces that these tuples generate. We also show that the C${}^{\ast }$-envelope of any operator system generated by a spin system of cardinality $2k$ or $2k+1$ is the simple matrix algebra $mathcal{M}_{2^k}(mathbbC)$. As an application of the main result, we show that the free spectrahedra determined by spin unitaries depend only upon the number of the unitaries, not upon the particular choice of unitaries, and we give a new, direct proof of the fact [Helton-Klep-McCullough-Schweighofer, "Dilations, linear matrix inequalities, the matrix cube problem and beta distributions", Mem. Amer. Math. Soc. 257(2019)] that the spin ball $mathfrak{B}_m^{mspin}$ and max ball $mathfrak{B}_m^{mmax}$ coincide as matrix convex sets in the cases $m=1,2$. We also derive analogous results for countable spin systems and their C${}^{\ast }$-envelopes.

Recommendations

• THE STRUCTURE OF SPIN SYSTEMS
• An order theoretic characterization of spin factors
• Subspaces of \(L(H)\) that are *-invariant
• Complete order isomorphisms between Non-Commutative $L^2$-spaces.
• Isometries of absolute order unit spaces

Cites work

• scientific article; zbMATH DE number 1993745 (Why is no real title available?)
• scientific article; zbMATH DE number 1849957 (Why is no real title available?)
• scientific article; zbMATH DE number 3408357 (Why is no real title available?)
• C*-Convexity and Matricial Ranges
• A survey of canonical forms and invariants for unitary similarity
• Algebras of linear transformations
• An interpolation problem for completely positive maps on matrix algebras: solvability and parametrization
• An introduction to matrix convex sets and free spectrahedra
• Arveson's criterion for unitary similarity
• Dilations, Linear Matrix Inequalities, the Matrix Cube Problem and Beta Distributions
• Dilations, inclusions of matrix convex sets, and completely positive maps
• Free hypercontractivity
• Injective envelopes of operator systems
• Injectivity and operator spaces
• Interpolation by completely positive maps
• Invertible quantum operations and perfect encryption of quantum states
• Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
• Positive linear maps of operator algebras
• Shape, scale, and minimality of matrix ranges
• Subalgebras of C\(^*\)-algebras. II
• THE STRUCTURE OF SPIN SYSTEMS
• Zur Theorie der Matrizen. II

Cited in

(4)

• An order theoretic characterization of spin factors
• Universality of Weyl unitaries
• Corrigendum to: ``Complete order equivalence of spin unitaries
• THE STRUCTURE OF SPIN SYSTEMS

This page was built for publication: Complete order equivalence of spin unitaries

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2228094)