Circular Free Spectrahedra (1604.05756v1)

Abstract: This paper considers matrix convex sets invariant under several types of rotations. It is known that matrix convex sets that are free semialgebraic are solution sets of Linear Matrix Inequalities (LMIs); they are called free spectrahedra. We classify all free spectrahedra that are circular, that is, closed under multiplication by exp(i t): up to unitary equivalence, the coefficients of a minimal LMI defining a circular free spectrahedron have a common block decomposition in which the only nonzero blocks are on the superdiagonal. A matrix convex set is called free circular if it is closed under left multiplication by unitary matrices. As a consequence of a Hahn-Banach separation theorem for free circular matrix convex sets, we show the coefficients of a minimal LMI defining a free circular free spectrahedron have, up to unitary equivalence, a block decomposition as above with only two blocks. This paper also gives a classification of those noncommutative polynomials invariant under conjugating each coordinate by a different unitary matrix. Up to unitary equivalence such a polynomial must be a direct sum of univariate polynomials.