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.
Recommendations
- An introduction to matrix convex sets and free spectrahedra
- Noncommutative polynomials describing convex sets
- Arveson extreme points span free spectrahedra
- Matrix convex hulls of free semialgebraic sets
- The tracial Hahn-Banach theorem, polar duals, matrix convex sets, and projections of free spectrahedra
Cites work
- scientific article; zbMATH DE number 3946878 (Why is no real title available?)
- scientific article; zbMATH DE number 1544066 (Why is no real title available?)
- scientific article; zbMATH DE number 1849957 (Why is no real title available?)
- A general framwork for a multi-operator functional calculus
- A matrix convexity approach to some celebrated quantum inequalities
- A positivstellensatz for non-commutative polynomials
- Dilations, inclusions of matrix convex sets, and completely positive maps
- Engineering systems and free-semi-algebraic geometry
- Every convex free basic semi-algebraic set has an LMI representation
- Extremal Matrix States on Operator Systems
- Foundations of Free Noncommutative Function Theory
- Free analysis questions. II: The Grassmannian completion and the series expansions at the origin
- Function theory of several complex variables
- Global holomorphic functions in several noncommuting variables
- Interpolation and transfer-function realization for the noncommutative Schur-Agler class
- Linear Matrix Inequalities in System and Control Theory
- Matrix convexity: Operator analogues of the bipolar and Hahn-Banach theorems
- Noncommutative Berezin transforms and multivariable operator model theory
- On the automorphisms of circular and Reinhardt domains in complex Banach spaces
- Operator Positivstellensätze for noncommutative polynomials positive on matrix convex sets
- Operator system quotients of matrix algebras and their tensor products
- Quotients, exactness, and nuclearity in the operator system category
- Semidefinite Optimization and Convex Algebraic Geometry
- The Krein-Milman theorem in operator convexity
- The convex Positivstellensatz in a free algebra
- The matricial relaxation of a linear matrix inequality
- The noncommutative Choquet boundary
- The tracial Hahn-Banach theorem, polar duals, matrix convex sets, and projections of free spectrahedra
Cited in
(6)
This page was built for publication: Circular free spectrahedra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q323898)
