---
title: Homogeneous Spectrahedral Cone
url: https://www.emergentmind.com/topics/homogeneous-spectrahedral-cone
type: topic
---

# Homogeneous Spectrahedral Cone

A homogeneous spectrahedral cone is a closed convex cone in finite-dimensional real vector space that is both homogeneous—meaning its automorphism group acts transitively on its interior—and spectrahedral, i.e., it is describable as the solution set to a linear matrix inequality (LMI). These objects play a central role at the interface of convex geometry, optimization, and algebraic function theory, synthesizing structural notions from the Vinberg–Rothaus theory and combinatorial conditions from matrix sparsity and graph theory. Every homogeneous convex cone admits a spectrahedral representation; conversely, not every spectrahedral cone is homogeneous. This article reviews the defining properties, structural representations, fundamental classification results, carathéodory and facial properties, canonical examples, and optimization-theoretic implications of homogeneous spectrahedral cones.

## 1. Definitions and Structural Foundations

A convex cone \( K \subset \mathbb{R}^n \) is **homogeneous** if its automorphism group 
\[
\operatorname{Aut}(K) = \{g \in GL(n) : gK = K\}
\]
acts transitively on \( \operatorname{int} K \). That is, for any \( x, y \in \operatorname{int} K \), there exists \( g \in \operatorname{Aut}(K) \) with \( g(x) = y \) [2211.00761][2511.17051].

A **spectrahedral cone** is any convex cone of the form
\[
K = \{ x \in \mathbb{R}^n : A_0 + x_1A_1 + \cdots + x_nA_n \succeq 0 \}
\]
where \( A_0, \ldots, A_n \) are real symmetric \( m \times m \) matrices and "\(\succeq 0\)" denotes positive semidefiniteness. A homogeneous spectrahedral cone is, therefore, a subset of \( \mathbb{R}^n \) that is both homogeneous and admits a spectrahedral representation.

The canonical examples include the positive semidefinite (PSD) cone \( \mathbb{S}^n_+ \), second-order (Lorentz) cones, and more generally, cones arising as the sets of real squares in T-algebras or Euclidean Jordan algebras [2211.00761].

## 2. Spectrahedral Representations and Vinberg–Rothaus Classification

According to the Vinberg–Rothaus theory, **every homogeneous cone admits a spectrahedral (LMI) representation** [2211.00761]:
\[
K = \{ x \in \mathbb{R}^n : B_0 + x_1 B_1 + \cdots + x_n B_n \succeq 0 \}
\]
for suitable symmetric matrices \( B_i \). This is operationally viewed as the *Cayley embedding* of the underlying algebraic structure into the space of symmetric matrices.

The **Ishi block-matrix model** provides a constructive approach: every homogeneous cone of rank \( r \) admits a representation as an intersection
\[
K \cong \mathbb{S}^n_{++} \cap \mathcal{V}
\]
where \( \mathcal{V} \subseteq \mathbb{S}^n \) is the space of symmetric block matrices with specified linear subspaces \( \mathcal{V}_{ij} \) for each block, subject to compatibility axioms (triangular product, mixed transpose-product, self-product) [2511.17051]. The set of positive-diagonal upper triangular block factors acts simply transitively, confirming homogeneity.

Vinberg’s theorem asserts that homogeneous cones precisely correspond to cones of squares in Jordan/T-algebras, linking the geometric notion of homogeneity to deep algebraic invariants [2211.00761].

## 3. Sparse-PSD Slices and Graph-Theoretic Criteria

A central class of spectrahedral cones is those arising as sparse slices of the PSD cone:
\[
K_V = \{ X \in \mathbb{S}^m_+ : X_{ij} = 0 \text{ for } (i, j) \notin V \}
\]
where \( V \) is a symmetric subset of pairs (dictating zero constraints, i.e., sparsity). The key result is:

- \( K_V \) is homogeneous **if and only if** the underlying graph on \( \{1,\ldots,m\} \) with edge set \( V \) is a *nested block-arrow* graph—a combinatorial subclass of chordal graphs permitting a linearly ordered clique tree with an “arrow” terminal clique. In this case, the automorphism group includes all conjugations by Cholesky and inverse-Cholesky factors respecting the block structure [2211.00761].

More generally, Chua demonstrates that **the only sparse spectrahedral cones that are homogeneous are those arising from homogeneous chordal graphs**, i.e., chordal graphs admitting a perfect-elimination ordering that forbids induced 4-paths (\( P_4 \)) [2511.17051]. This is formalized in the table below:

| Feature               | Condition for Homogeneity                        |
|-----------------------|--------------------------------------------------|
| PSD zero-pattern cone | Nested block-arrow / homogeneous chordal graph   |
| Arbitrary sparsity    | Typically not homogeneous unless above holds     |

For such cones, the automorphism group acts transitively via block-wise operations, crucial for algorithmic decomposability in optimization contexts.

## 4. Rank, Carathéodory Number, Self-Duality

For homogeneous spectrahedral cones, the **rank** \( r \) is the length of the longest chain of proper faces. The **Carathéodory number** \( \kappa \) is the minimal \( k \) such that every point in the cone is a nonnegative combination of at most \( k \) extreme rays.

Chua proves that for the Ishi-type cones,
\[
\kappa_{\overline{K}} = r
\Longleftrightarrow 
\text{ (block-dimensions align: all \(\mathcal{V}_{ik} = \mathcal{V}_{jk}\) when \(\mathcal{V}_{ij} \neq 0\)) }
\]
and analogously for the dual cone [2511.17051]. This block-dimension alignment is equivalent to the cone being **symmetric** (i.e., self-dual). The equivalence tightly links geometric symmetry, facial structure, and the combinatorics of the spectrahedral model.

The classical families of homogeneous spectrahedral cones and their invariants:

| Cone                           | Rank \( r \) | Carathéodory \( \kappa \) |
|------------------------------- |------------- |-------------------------- |
| Real PSD \( \mathbb{S}^n_+ \)  | \( n \)      | \( n \)                   |
| Second-order cone \( \mathbb{L}_n \) | \( 2 \)  | \( 2 \)                  |
| Complex Hermitian PSD          | \( n \)      | \( n \)                   |
| Quaternionic Hermitian PSD     | \( n \)      | \( n \)                   |
| Exceptional 27-dim (\( E_7 \)) | \( 3 \)      | \( 3 \)                   |

For general homogeneous cones not satisfying the self-duality criterion, \( \kappa < r \), reflecting the richer extreme-ray structure and deviation from maximal symmetry [2511.17051].

## 5. Illustrative Examples

- **Symmetric cones:** 
  - The PSD cone \( \mathbb{S}^n_+ \) (\( K = \{X \succeq 0\} \)) is homogeneous and self-dual, with full automorphism group (conjugations and inversion) [2211.00761].
  - The second-order (Lorentz) cone \( \mathbb{L}_n = \{(t, u) \in \mathbb{R} \times \mathbb{R}^{n-1} : t \geq \|u\|_2\} \) is realized by the \( 2 \times 2 \) block LMI:
    \[
    A(t,u) = 
    \begin{bmatrix}
      t I_{n-1} & u \\
      u^T & t
    \end{bmatrix} \succeq 0
    \]
    and is also homogeneous and self-dual [2211.00761].
- **Non-self-dual homogeneous cones:** For instance, consider a sparse-PSD cone on \( m=5 \) with maximal cliques:
  \(\{1,2\}\), \(\{2,3,4\}\), \(\{4,5\}\). This pattern, being nested block-arrow, yields a non-self-dual homogeneous cone. Its automorphism group is a product of block-wise Cholesky and inverse-Cholesky actions, but unlike symmetric cases, the dual is not equivalent [2211.00761][2511.17051].

- **Hyperbolicity cones of elementary symmetric polynomials**: The cones \( \Lambda_+(e_k) \) for the elementary symmetric polynomial \( e_k \) in \( n \) variables are homogeneous spectrahedral cones, constructed explicitly via the matrix-tree theorem and series-parallel graph expansion; these LMI lifts can be made explicit for all \( k \) [1204.2997].

## 6. Hyperbolicity Cones, Spectrahedrality, and the Generalized Lax Conjecture

A **hyperbolicity cone** associated to a hyperbolic polynomial \( p \) in direction \( e \) is
\[
\Lambda_+(p,e) = \{ x \in \mathbb{R}^n : p(x + t e) \neq 0\ \forall t > 0 \}
\]
Hyperbolicity cones are always homogeneous, but the question of whether they are always spectrahedral—the **generalized Lax conjecture**—remains open in general [1907.13611][1207.3159]. For cases where the polynomial is quadratic, a determinant of a matrix pencil, or an elementary symmetric polynomial, spectrahedrality is affirmed.

Several relaxation and representation techniques for spectrahedrality of hyperbolicity cones have been developed:

- **Moment-matrix LMI relaxations:** For any real-zero polynomial \( p \), the rigidly convex set \( C(p) \) can be approximated or represented by a spectrahedron \( S(p) \), via construction of specific moment matrices and leveraging the Helton–Vinnikov theorem in low dimensions [1907.13611]. The inclusion \( C(p) \subseteq S(p) \) is universal, with exactness in special cases (e.g., for degree-2 polynomials, or when \( p \) is determinantal with a perfect subspace spanned by the \( A_i \)).

- **Clifford algebra criterion:** For a homogeneous polynomial \( p \), the associated Clifford algebra allows the translation of spectrahedrality of \( \Lambda_+(p,e) \) to the question of whether \( -1 \) is a sum of Hermitian squares. If not, \( \Lambda_+(p,e) \) is spectrahedral [1207.3159]. This criterion can be checked computationally via a single semidefinite program; its feasibility certifies the spectrahedrality.

## 7. Implications for Conic Optimization and Interior-Point Methods

Homogeneous spectrahedral cones directly inform algorithm design for conic optimization, particularly with respect to primal–dual symmetry and scaling strategies [2211.00761]:

- For **symmetric cones**, self-scaled barriers enable polynomial-time primal–dual interior-point methods with full symmetry.
- For **general homogeneous cones**, even when not self-dual, the existence of a transitive automorphism subgroup supports the design of primal–dual algorithms via group-conjugated barrier functions, restoring much of the symmetry.
- In the case of **sparse-PSD homogeneous slices**, this translates into efficient, clique-wise Cholesky-based steps, benefiting from decomposability while maintaining essential symmetries.
- The spectrahedral representation assures that interior-point methods based on log-det or general homogeneous barriers can be implemented efficiently.

These features bridge the gap between symmetric-cone programming and the broader class of homogeneous (non-self-dual) conic problems, ensuring that key algorithmic tools from the symmetric case extend to the full homogeneous spectrahedral setting [2211.00761].

---

**References:**  
[2211.00761]  
[2511.17051]  
[1907.13611]  
[1207.3159]  
[1204.2997]

Source: https://www.emergentmind.com/topics/homogeneous-spectrahedral-cone