The Tracial Hahn-Banach Theorem, Polar Duals, Matrix Convex Sets, and Projections of Free Spectrahedra

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.

v2: 56 pages, reworked abstract and intro to emphasize the convex duality aspects; v1: 60 pages; includes an index and table of contents

Cited by in corpus (14)

• Semidefinite approximations of the matrix logarithm
• Matrix Convex Sets Without Absolute Extreme Points
• There are many more positive maps than completely positive maps
• Bianalytic Maps Between Free Spectrahedra
• Non-commutative manifolds, the free square root and symmetric functions in two non-commuting variables
• Bianalytic free maps between spectrahedra and spectraballs
• Noncommutative partial convexity via $\Gamma$-convexity
• Quadratic Modules, C*-Algebras, and Free Convexity
• Noncommutative polynomials describing convex sets
• Quantum Majorization on Semifinite von Neumann Algebras
• The Ramsey property for Operator spaces and noncommutative Choquet simplices
• Plurisubharmonic Noncommutative Rational Functions
• Extreme points of matrix convex sets and their spanning properties
• Matrix convex sets over the Euclidean ball and polar duals of real free spectrahedra