The tracial Hahn-Banach theorem, polar duals, matrix convex sets, and projections of free spectrahedra

DOI10.4171/JEMS/707zbMATH Open1457.14123arXiv1407.8198MaRDI QIDQ2628331FDOQ2628331

Igor Klep, Scott McCullough, J. William Helton

Publication date: 1 June 2017

Published in: Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

Abstract: This article investigates matrix convex sets and introduces their tracial analogs which we call contractively tracial convex sets. In both contexts completely positive (cp) maps play a central role: unital cp maps in the case of matrix convex sets and trace preserving cp (CPTP) maps in the case of contractively tracial convex sets. CPTP maps, also known as quantum channels, are fundamental objects in quantum information theory. Free convexity is intimately connected with Linear Matrix Inequalities (LMIs) L(x) = A_0 + A_1 x_1 + ... + A_g x_g > 0 and their matrix convex solution sets { X : L(X) is positive semidefinite }, called free spectrahedra. The Effros-Winkler Hahn-Banach Separation Theorem for matrix convex sets states that matrix convex sets are solution sets of LMIs with operator coefficients. Motivated in part by cp interpolation problems, we develop the foundations of convex analysis and duality in the tracial setting, including tracial analogs of the Effros-Winkler Theorem. The projection of a free spectrahedron in g+h variables to g variables is a matrix convex set called a free spectrahedrop. As a class, free spectrahedrops are more general than free spectrahedra, but at the same time more tractable than general matrix convex sets. Moreover, many matrix convex sets can be approximated from above by free spectrahedrops. Here a number of fundamental results for spectrahedrops and their polar duals are established. For example, the free polar dual of a free spectrahedrop is again a free spectrahedrop. We also give a Positivstellensatz for free polynomials that are positive on a free spectrahedrop.

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

Recommendations

• An introduction to matrix convex sets and free spectrahedra
• Matrix convex sets
• Convex analysis on Cartan subspaces.
• Matrix convex hulls of free semialgebraic sets
• Matrix convexity: Operator analogues of the bipolar and Hahn-Banach theorems

zbMATH Keywords

linear matrix inequality (LMI)quantum channelspectrahedronnoncommutative polynomialfree real algebraic geometrypolar dualspectrahedropfree analysiscontractively tracial convex setscp interpolationLMI domaintracial Hahn-Banach theorem

Mathematics Subject Classification ID

Semidefinite programming (90C22) Positive matrices and their generalizations; cones of matrices (15B48) Operator spaces (= matricially normed spaces) (47L25) Semialgebraic sets and related spaces (14P10) Matrix pencils (15A22) Classical Banach spaces in the general theory (46B25) Quantum channels, fidelity (81P47)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Subalgebras of \(C^ *\)-algebras
• Subalgebras of C\(^*\)-algebras. II
• Title not available (Why is that?)
• Semidefinite Optimization and Convex Algebraic Geometry
• Foundations of Free Noncommutative Function Theory
• Free holomorphic automorphisms of the unit ball of B(ℋ) n
• Progress in noncommutative function theory
• Every convex free basic semi-algebraic set has an LMI representation
• A positivstellensatz for non-commutative polynomials
• Convex Matrix Inequalities Versus Linear Matrix Inequalities
• Global Holomorphic Functions in Several Noncommuting Variables
• Title not available (Why is that?)
• Positive Polynomials and Projections of Spectrahedra
• Title not available (Why is that?)
• The Krein-Milman theorem in operator convexity
• Extremal Matrix States on Operator Systems
• Advances in convex optimization: conic programming
• Matrix convexity: Operator analogues of the bipolar and Hahn-Banach theorems
• Linear matrix inequality representation of sets
• Free analysis questions II: The Grassmannian completion and the series expansions at the origin
• The matricial relaxation of a linear matrix inequality
• Matrix convex hulls of free semialgebraic sets
• Chapter 8: Free Convex Algebraic Geometry
• Convergent Relaxations of Polynomial Optimization Problems with Noncommuting Variables
• 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
• An Exact Duality Theory for Semidefinite Programming Based on Sums of Squares
• Interpolation in the noncommutative Schur--Agler class
• Information-theoretic approach to quantum error correction and reversible measurement
• On tractable approximations of uncertain linear matrix inequalities affected by interval uncertainty
• The possible shapes of numerical ranges
• Title not available (Why is that?)
• Irreducible noncommutative defining polynomials for convex sets have degree 4 or less
• Semidefinite representation of convex sets
• Semidefinite geometry of the numerical range
• Convex sets with semidefinite representation
• Noncommutative polynomials nonnegative on a variety intersect a convex set
• Interpolation by completely positive maps
• Minimal and maximal operator spaces and operator systems in entanglement theory
• An interpolation problem for completely positive maps on matrix algebras: solvability and parametrization
• Boundary representations and pure completely positive maps
• Containment problems for polytopes and spectrahedra

Cited In (27)

• Convex analysis on Cartan subspaces.
• Matrix convex hulls of free semialgebraic sets
• Invariant structure preserving functions and an Oka-Weil Kaplansky density type theorem
• Semidefinite approximations of the matrix logarithm
• Factorizations of quantum channels
• Extreme points of matrix convex sets, free spectrahedra, and dilation theory
• Dilations, Linear Matrix Inequalities, the Matrix Cube Problem and Beta Distributions
• The Arveson boundary of a free quadrilateral is given by a noncommutative variety
• An introduction to matrix convex sets and free spectrahedra
• Plurisubharmonic noncommutative rational functions
• Noncommutative partially convex rational functions
• Noncommutative polynomials describing convex sets
• Non‐commutative manifolds, the free square root and symmetric functions in two non‐commuting variables
• Classifying linear matrix inequalities via abstract operator systems
• Bianalytic maps between free spectrahedra
• Circular free spectrahedra
• A Matrix Positivstellensatz with Lifting Polynomials
• AN ANALOGY OF HAHN–BANACH SEPARATION THEOREM FOR NEARLY TOPOLOGICAL LINEAR SPACES
• Complex free spectrahedra, absolute extreme points, and dilations
• Bianalytic free maps between spectrahedra and spectraballs
• Matrix convex sets without absolute extreme points
• Quadratic modules, 𝐶*-algebras, and free convexity
• The Ramsey property for operator spaces and noncommutative Choquet simplices
• Quantum majorization on semi-finite von Neumann algebras
• Noncommutative partial convexity via \(\Gamma\)-convexity
• Free extreme points span generalized free spectrahedra given by compact coefficients
• Operator noncommutative functions

This page was built for publication: The tracial Hahn-Banach theorem, polar duals, matrix convex sets, and projections of free spectrahedra

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