Circular free spectrahedra

DOI10.1016/J.JMAA.2016.07.011zbMATH Open1351.15011arXiv1604.05756OpenAlexW2336125276MaRDI QIDQ323898FDOQ323898

Authors: Eric Evert, J. William Helton, Igor Klep, Scott McCullough 

Publication date: 10 October 2016

Published in: Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

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.

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

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

zbMATH Keywords

linear matrix inequalityspectrahedroncircular domainfree convexityfree semialgebraicinvariant polynomialmatrix convex set

Mathematics Subject Classification ID

Miscellaneous inequalities involving matrices (15A45) Convex sets without dimension restrictions (aspects of convex geometry) (52A05) Linear inequalities of matrices (15A39)

Cites Work

• Linear Matrix Inequalities in System and Control Theory
• Function theory of several complex variables
• Title not available (Why is that?)
• Quotients, exactness, and nuclearity in the operator system category
• Semidefinite Optimization and Convex Algebraic Geometry
• Foundations of Free Noncommutative Function Theory
• Title not available (Why is that?)
• Every convex free basic semi-algebraic set has an LMI representation
• A positivstellensatz for non-commutative polynomials
• Global holomorphic functions in several noncommuting variables
• A general framwork for a multi-operator functional calculus
• On the automorphisms of circular and Reinhardt domains in complex Banach spaces
• A matrix convexity approach to some celebrated quantum inequalities
• Title not available (Why is that?)
• The Krein-Milman theorem in operator convexity
• Extremal Matrix States on Operator Systems
• Matrix convexity: Operator analogues of the bipolar and Hahn-Banach theorems
• The noncommutative Choquet boundary
• Free analysis questions. II: The Grassmannian completion and the series expansions at the origin
• Interpolation and transfer-function realization for the noncommutative Schur-Agler class
• The matricial relaxation of a linear matrix inequality
• Noncommutative Berezin transforms and multivariable operator model theory
• The tracial Hahn-Banach theorem, polar duals, matrix convex sets, and projections of free spectrahedra
• Operator Positivstellensätze for noncommutative polynomials positive on matrix convex sets
• Engineering systems and free-semi-algebraic geometry
• The convex Positivstellensatz in a free algebra
• Dilations, inclusions of matrix convex sets, and completely positive maps
• Operator system quotients of matrix algebras and their tensor products

Cited In (6)

• Bianalytic maps between free spectrahedra
• Bianalytic free maps between spectrahedra and spectraballs
• Reinhardt free spectrahedra
• Matrix convex sets without absolute extreme points
• Shape, scale, and minimality of matrix ranges
• Automorphisms of hyper-Reinhardt free spectrahedra

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)