Compact Spectrahedron Fundamentals

• Compact spectrahedron is a convex set defined as the solution of a linear matrix inequality that is both bounded and closed.
• They underpin key applications in optimization, quantum information, and noncommutative geometry by providing well-structured duality and approximation frameworks.
• Their detailed structure, including free extreme points and facial properties, enables explicit LMI representations and efficient algorithmic volume computations.

A compact spectrahedron is a convex set defined as the solution set to a linear matrix inequality (LMI) with the additional property of compactness—i.e., boundedness and closedness. Such sets generalize classical convex compact bodies, and their operator-theoretic and algebraic structure underpins diverse areas such as optimization, quantum information, and noncommutative geometry. Compactness for spectrahedra is both a practical and theoretical constraint, crucial for understanding their extremal structure, duality, and approximation properties.

1. Definitions and Fundamental Structure

Let $\mathbb{F} = \mathbb{R}$ or $\mathbb{C}$. A classical (finite-dimensional) spectrahedron is

$$S = \{ x \in \mathbb{R}^n : L(x) = A_0 + x_1 A_1 + \cdots + x_n A_n \succeq 0 \}$$

where $A_i \in \mathrm{Sym}_r(\mathbb{R})$ (or Hermitian matrices in the complex case), and $\succeq 0$ denotes positive semidefiniteness. Such $S$ is always closed and convex. The set is called compact if and only if it is bounded, i.e., $S$ does not extend to infinity in any direction [$1611.05658$].

In the noncommutative (free or matrix) setting, a (free) spectrahedron is a sequence of sets $D_A(n)$ defined for each $n \geq 1$: $\mathbb{C}$0 and the full free spectrahedron is $\mathbb{C}$1. Here, $\mathbb{C}$2 are $\mathbb{C}$3 Hermitian, $\mathbb{C}$4 denotes self-adjoint matrices, and $\mathbb{C}$5 is the monic linear pencil [$\mathbb{C}$6].

A generalized free spectrahedron with compact coefficients is defined similarly, but with $\mathbb{C}$7 compact self-adjoint operators on (possibly infinite-dimensional) Hilbert space $\mathbb{C}$8 [$\mathbb{C}$9]: $$S = \{ x \in \mathbb{R}^n : L(x) = A_0 + x_1 A_1 + \cdots + x_n A_n \succeq 0 \}$$0 where $$S = \{ x \in \mathbb{R}^n : L(x) = A_0 + x_1 A_1 + \cdots + x_n A_n \succeq 0 \}$$1 are compact.

In both commutative and noncommutative cases, compactness requires that boundedness holds at all matrix levels.

2. Compactness Criteria and Spectrahedral Shadows

A spectrahedron is compact precisely when the corresponding LMI does not admit unbounded feasible directions, which can be concisely formulated as follows: for the homogeneous pencil $$S = \{ x \in \mathbb{R}^n : L(x) = A_0 + x_1 A_1 + \cdots + x_n A_n \succeq 0 \}$$2, there is no nonzero $$S = \{ x \in \mathbb{R}^n : L(x) = A_0 + x_1 A_1 + \cdots + x_n A_n \succeq 0 \}$$3 such that $$S = \{ x \in \mathbb{R}^n : L(x) = A_0 + x_1 A_1 + \cdots + x_n A_n \succeq 0 \}$$4 [$$S = \{ x \in \mathbb{R}^n : L(x) = A_0 + x_1 A_1 + \cdots + x_n A_n \succeq 0 \}$$5]. Equivalently, the only solution to $$S = \{ x \in \mathbb{R}^n : L(x) = A_0 + x_1 A_1 + \cdots + x_n A_n \succeq 0 \}$$6 is $$S = \{ x \in \mathbb{R}^n : L(x) = A_0 + x_1 A_1 + \cdots + x_n A_n \succeq 0 \}$$7.

More generally, compact convex basic closed semialgebraic sets $$S = \{ x \in \mathbb{R}^n : L(x) = A_0 + x_1 A_1 + \cdots + x_n A_n \succeq 0 \}$$8 that satisfy the Archimedean condition (i.e., some quadratic module $$S = \{ x \in \mathbb{R}^n : L(x) = A_0 + x_1 A_1 + \cdots + x_n A_n \succeq 0 \}$$9 contains $A_i \in \mathrm{Sym}_r(\mathbb{R})$0 for some $A_i \in \mathrm{Sym}_r(\mathbb{R})$1) admit semidefinite (SDP) representations as spectrahedral shadows; these representations are also compact by construction [$A_i \in \mathrm{Sym}_r(\mathbb{R})$2].

3. Extreme Points, Free-Minkowski Theorem, and Facial Structure

The extremal structure of compact spectrahedra is central to their convexity theory. In the finite-dimensional case, every element of a compact convex set can be decomposed as a convex combination of its extreme points (Minkowski theorem). In the matrix convex (free) setting, there are multiple notions of extreme points.

• Free extreme points are those $A_i \in \mathrm{Sym}_r(\mathbb{R})$3 that cannot be written as proper matrix convex combinations except in trivial unitary or dilation extensions (definitions in [$A_i \in \mathrm{Sym}_r(\mathbb{R})$4,$A_i \in \mathrm{Sym}_r(\mathbb{R})$5]). Free extreme points coincide with irreducible Arveson extreme points—those admitting no nontrivial dilation within the free spectrahedron.
• The free-Minkowski theorem for compact free spectrahedra states that every element is a matrix convex combination of free extreme points. Explicitly, for $A_i \in \mathrm{Sym}_r(\mathbb{R})$6 there exists a dilation to an Arveson extreme of size at most $A_i \in \mathrm{Sym}_r(\mathbb{R})$7 (over $A_i \in \mathrm{Sym}_r(\mathbb{R})$8) or $A_i \in \mathrm{Sym}_r(\mathbb{R})$9 (over $\succeq 0$0), and then compression yields a finite matrix convex combination. Hence,

$\succeq 0$1

This result extends to generalized free spectrahedra with compact operator coefficients [$\succeq 0$2].

• In the context of polar orbitopes, compactness and explicit spectrahedral (LMI) representations are established. The facial structure is linked via momentum polytopes—faces correspond bijectively to those of the momentum polytope, and all faces are exposed [$\succeq 0$3,$\succeq 0$4].

4. Explicit Representations and Size Lower Bounds

The explicit LMI defining a compact spectrahedron depends on the structure of the data matrices. For polar orbitopes—convex hulls of orbits under compact Lie group actions—one constructs a block-diagonal matrix built from fundamental representation data: $\succeq 0$5 where each $\succeq 0$6 is a fundamental highest-weight representation suited to the action, and $\succeq 0$7 depends on $\succeq 0$8.

The total LMI size is given by $\succeq 0$9 and is independent of the point $S$0 aside from its Weyl orbit. For special cases, block diagonalization leads directly to inequalities involving singular values or sums thereof (Ky Fan norms) [$S$1].

Lower bounds on the LMI size for compact spectrahedra are established for sets defined by quadratic or cubic polynomials:

• The $S$2-dimensional unit ball as a spectrahedron requires $S$3; when $S$4, $S$5 is necessary and sufficient.
• For convex bodies defined by a cubic polynomial in $S$6, the LMI must have size at least $S$7 if the boundary is smooth [$S$8].

5. Volume, Algorithmic Approximation, and Applications

The volume computation of compact spectrahedra is tractable by convex optimization, relying on determinant maximization: $S$9 for $S$0 an affine section of the PSD cone. The unique maximizer is the analytic center. Under well-conditioned assumptions, the volume admits a closed-form asymptotic expression: $S$1 with $S$2 the number of affine constraints. For sequences of spectrahedra where $S$3, the approximation becomes exact [$S$4].

Specific applications include:

• Multi-way Birkhoff spectrahedra, encoding maximally entangled quantum states with uniform marginals;
• Central sections of spectraplexes (density matrices with trace and moment constraints) possessing asymptotically identical volumes.

Deterministic algorithms for such volume computations are based solely on convex optimization and are guaranteed to be asymptotically exact in high dimensions under mild growth conditions.

6. Relations to Lasserre Relaxations and Semidefinite Shadows

For general compact convex semialgebraic sets, the Lasserre relaxation hierarchy provides semidefinite representations: the $S$5\textsuperscript{th} level moments and localizing matrices yield an explicit lifted LMI. Under strict quasiconcavity or SOS-concavity conditions on the defining polynomials and the Archimedean property, these relaxations are exact at some finite $S$6: $S$7 This gives a practical route for constructing explicit compact spectrahedral shadows for broad classes of convex bodies [$S$8].

7. Illustrative Examples and Special Constructions

Notable classes of compact spectrahedra include:

• Rank-one coefficient pencils in infinite dimension produce free half-spaces that, despite infinite-dimensionality, are spanned by extreme points at minimal levels [$S$9].
• Diagonal compact operators lead to intersections of classical spectrahedra along eigendirections.
• Polar orbitopes from group actions include sets defined by majorization or Ky Fan norm inequalities, with direct LMI realizations.
• Spectrahedra arising from single quadratic inequalities (unit balls, ellipsoids) highlight minimal size constraints and the general tightness of lower bounds.

Such examples clarify the structure, algebraic constraints, and function-analytical richness of compact spectrahedra, emphasizing their foundational role in matrix convexity, optimization, and representation theory.