Bianalytic Maps Between Free Spectrahedra

Abstract

Linear matrix inequalities (LMIs) $I_d+{\sum }_{j=1}^g{A}_j{x}_j+{\sum }_{j=1}^g{A}_j^{\ast }{x}_j^{\ast }⪰0$ play a role in many areas of applications and the set of solutions to one is called a spectrahedron. LMIs in (dimension--free) matrix variables model most problems in linear systems engineering, and their solution sets D_A are called free spectrahedra. These are exactly the free semialgebraic convex sets. This paper studies free analytic maps between free spectrahedra and, under certain irreducibility assumptions, classifies all those that are bianalytic. The foundation of such maps turns out to be a very small class of birational maps we call convexotonic. The convexotonic maps in g variables sit in correspondence with g-dimensional algebras. If two bounded free spectrahedra D_A and D_B meeting our irreducibility assumptions are free bianalytic with map denoted p, then p must (after possibly an affine linear transform) extend to a convexotonic map corresponding to a g-dimensional algebra spanned by (U-I)A_1,...,(U-I)A_g for some unitary U. Furthermore, B and UA are unitarily equivalent. The article also establishes a Positivstellensatz for free analytic functions whose real part is positive semidefinite on a free spectrahedron and proves a representation for a free analytic map from D_A to D_B (not necessarily bianalytic). Another result shows that a function analytic on any radial expansion of a free spectrahedron is approximable by polynomials uniformly on the spectrahedron. These theorems are needed for classifying free bianalytic maps.

arXiv commentv4 (post-production version): 61 pages, fixed Proposition 6.3; includes table of contents. v3 (final version): 58 pages. Reworked introduction

References in corpus (8)

• Obstructions to determinantal representability
• Proper Analytic Free Maps
• The matricial relaxation of a linear matrix inequality
• Noncommutative ball maps
• The inverse function theorem and the resolution of the Jacobian conjecture in free analysis
• Free function theory through matrix invariants
• The Tracial Hahn-Banach Theorem, Polar Duals, Matrix Convex Sets, and Projections of Free Spectrahedra
• Free loci of matrix pencils and domains of noncommutative rational functions

Cited by in corpus (5)

• Geometry of free loci and factorization of noncommutative polynomials
• Bianalytic free maps between spectrahedra and spectraballs
• Noncommutative polynomials describing convex sets
• Plurisubharmonic Noncommutative Rational Functions
• Weak-* and completely isometric structure of noncommutative function algebras