---
title: 'Fusion-Space Codes: Optimal Subspace Packings'
url: https://www.emergentmind.com/topics/fusion-space-codes
type: topic
---

# Fusion-Space Codes: Optimal Subspace Packings

Searching arXiv for the cited papers and closely related work on fusion-space codes.
arXiv search query: "Fusion-space codes Grassmannian equi-isoclinic tight fusion frame harmonic mixed-rank Radon-Hurwitz"
Fusion-space codes are Grassmannian codes whose codewords are subspaces, or equivalently orthogonal projections onto subspaces, of a finite-dimensional Hilbert space. In the constant-rank setting, they are studied as packings of \(N\) \(R\)-dimensional subspaces in \(\mathbb{R}^D\) or \(\mathbb{C}^D\) that maximize separation under a prescribed subspace metric; in the mixed-rank setting, they generalize this problem to collections of different dimensions. The modern theory is organized around tight fusion frames, equi-isoclinic and equichordal structure, embedding methods for comparing subspaces of unequal rank, and explicit constructions from harmonic analysis, finite abelian groups, mutually unbiased bases, block designs, and Radon-Hurwitz theory [2112.14267] [1911.05613] [2404.06417].

## 1. Basic objects and terminology

A fusion-space code, also called a Grassmannian code in the cited literature, is a collection of subspaces of a fixed ambient Hilbert space chosen to maximize the minimal distance between distinct codewords. In the constant-rank case, the code consists of \(N\) subspaces \(\{U_n\}_{n=1}^N\), each of dimension \(R\), inside \(\mathbb{C}^D\) or \(\mathbb{R}^D\). Each subspace is represented by its orthogonal projection \(P_n\), and a central structural condition is the tight fusion frame condition
\[
\sum_{n=1}^N P_n = A I_D \quad \text{for some } A>0.
\]
A sequence satisfying this identity is a tight fusion frame (TFF) [2112.14267].

Two refinements of TFFs are fundamental. An equichordal tight fusion frame (ECTFF) is a TFF for which the sum of squares of cosines of principal angles is constant among all distinct pairs. An equi-isoclinic tight fusion frame (EITFF) is a TFF in which every pair of distinct subspaces has all principal angles equal. In projection language, equi-isoclinicity means that for all \(n_1\neq n_2\),
\[
P_{n_1} P_{n_2} P_{n_1} = \mu^2 P_{n_1}
\]
for a constant \(\mu\) independent of the pair. EITFFs are the central optimal objects for spectral-distance packing and for minimizing block coherence in block compressed sensing [2112.14267].

The mixed-rank theory reformulates the same problem when the subspaces are allowed to have different dimensions. In that setting, a packing is parameterized by pairs \((n_k,\ell_k)\), meaning \(n_k\) subspaces of rank \(\ell_k\), with \(\sum_k n_k=n\). This resolves the comparison problem for unequal dimensions by embedding all projections into a common Euclidean sphere and defining optimality there [1911.05613].

## 2. Distances, coherence, and optimality criteria

The constant-rank theory uses several equivalent measures of separation. For two \(R\)-dimensional subspaces \(U\) and \(V\) with projections \(P_U\) and \(P_V\), the chordal distance is
\[
\operatorname{dist}_c(U,V)=\sqrt{R-\|P_U P_V\|_{\mathrm{Fro}}^2}
= \left(\sum_{r=1}^R \sin^2 \theta_r\right)^{1/2},
\]
while the spectral distance is
\[
\operatorname{dist}_s(U,V)=\left(1-\|P_U P_V\|_2^2\right)^{1/2}
= \min_r \sin \theta_r,
\]
where \(\theta_r\) are the principal angles. The spectral distance is controlled by the smallest principal angle, whereas the chordal distance aggregates all principal angles [2112.14267].

For block-sparse signal models, the relevant quantity is block coherence,
\[
\max_{n_1\neq n_2}\|P_{n_1}P_{n_2}\|_2.
\]
EITFFs minimize this value. The governing bound is the generalized Welch bound:
\[
\max_{n_1\neq n_2}\|P_{n_1}P_{n_2}\|_2^2
\geq \frac{NR-D}{D(N-1)}.
\]
Equality holds if and only if the fusion frame is equi-isoclinic and tight. Accordingly, an EITFF is optimal as a Grassmannian code with respect to spectral distance [2112.14267].

The mixed-rank theory replaces direct comparison of subspaces by a traceless embedding. For a rank-\(\ell\) projection \(P\) on \(F^m\), the embedding is
\[
T_\ell(P)=P-\frac{\ell}{m}I_m.
\]
After normalization, all embedded images lie on a common sphere, and optimality is defined by minimizing the maximal pairwise inner product among the embedded points. The resulting problem is a restricted coding problem on a union of compact subsets of the sphere. In this sense, mixed-rank fusion-space coding extends the coherence-minimization program of constant-rank packings to heterogeneous subspace families [1911.05613].

## 3. Harmonic constructions and operator-valued difference sets

A major construction paradigm is harmonic. A harmonic TFF is a TFF whose Gram matrix is block-circulant under the action of a finite abelian group \(G\). Equivalently, the arrangement can be realized as the orbit of a single subspace under a unitary representation of \(G\). This generalizes the classical harmonic ETF/difference-set correspondence from rank \(R=1\) to higher-rank fusion frames [2112.14267].

The harmonic framework is formulated in terms of a family of projections \(\{P_g\}_{g\in G}\) on \(\mathbb{C}^R\), possibly of varying ranks \(D_g\leq R\). Its matrix-valued discrete Fourier transform is
\[
M_\gamma=\sum_{g\in G}\overline{\gamma(g)}\,P_g,
\qquad \gamma\in \widehat{G}.
\]
The associated harmonic TFF is an EITFF if and only if there exists \(B\) such that
\[
M_\gamma^*M_\gamma = B I \quad \forall \gamma\neq 1.
\]
Equivalently, the projections satisfy
\[
\sum_{g'\in G} P_{g'}P_{g+g'} = C I \qquad \forall g\neq 0
\]
for some scalar \(C\). This operator-valued condition is the fusion-frame analogue of a difference set; the paper terms such data operator-valued difference sets, or difference projections. For \(R=1\), the condition reduces to the classical difference-set condition [2112.14267].

The explicit constructions exploit Gauss sums over finite fields,
\[
G(\gamma,\chi):=\sum_{x\in \mathbb{F}_Q^\times}\overline{\gamma(x)}\,\chi(x),
\]
with additive character \(\gamma\) and multiplicative character \(\chi\). Their magnitude and symmetry properties guarantee that the Fourier transforms \(M_\gamma\) are scalar multiples of unitaries, yielding equi-isoclinic harmonic packings. The paper constructs EITFFs consisting of \(Q\) planes in \(\mathbb{C}^Q\) for each prime power \(Q\geq 4\), of \(Q-1\) planes in \(\mathbb{C}^Q\) for each odd prime power \(Q\), and of \(11\) three-dimensional subspaces in \(\mathbb{R}^{11}\) [2112.14267].

These constructions are notable because most previously known EITFFs had parameters matching direct-sum or “tensor-sized” constructions derived from equiangular tight frames. The harmonic method produces new infinite families of non-“tensor-sized” EITFFs and supplies a unified Fourier-analytic framework for their study [2112.14267].

## 4. Radon-Hurwitz codes in the half-dimensional case

A second major structural result concerns the special regime \(d=2r\), where the subspace dimension is exactly one-half of the ambient dimension. In this case, EITFFs are fully characterized by Radon-Hurwitz theory. The paper shows that every EITFF\((2r,r,n)\) is equivalent to one built from isometries
\[
\Phi_i=
\begin{bmatrix}
a I_r\\
b B_i
\end{bmatrix}
\quad \text{for } i=1,\ldots,n-1,
\qquad
\Phi_n=
\begin{bmatrix}
0\\
I_r
\end{bmatrix},
\]
with
\[
a=\sqrt{\frac{n-2}{2(n-1)}},
\qquad
b=\sqrt{\frac{n}{2(n-1)}},
\]
where the \(B_i\) are unitary \(r\times r\) matrices satisfying
\[
B_i^*B_j + B_j^*B_i = -\frac{2}{n-2} I_r
\qquad \forall i\neq j.
\]
Conversely, any such family of unitaries yields an EITFF\((2r,r,n)\) [2404.06417].

Existence is controlled exactly by the Radon-Hurwitz number. If \(P_{\mathbb{F}}(r)\) denotes the maximal size of a \(p\)-orthonormal family in \(r\times r\) matrices over \(\mathbb{F}\), then an EITFF\((2r,r,n)\) exists if and only if
\[
n \leq P_{\mathbb{F}}(r)+2.
\]
This sharp characterization refines earlier bounds and identifies the half-dimensional case as one where optimal fusion-space codes are governed by classical algebraic-topological structure [2404.06417].

The same paper proves a strong symmetry phenomenon. Every such “Radon-Hurwitz EITFF” is highly symmetric, and every even permutation is an automorphism. In many cases the symmetry group is larger; the paper distinguishes between alternating symmetry and total symmetry and shows that the latter is tied to additional algebraic conditions on the underlying \(B_i\). A central implication is that in this regime optimality forces substantial symmetry rather than merely coexisting with it [2404.06417].

## 5. Mixed-rank packings and combinatorial constructions

The mixed-rank theory addresses a longstanding open problem by reformulating Grassmannian fusion frames to the case of mixed dimensions and showing that the resulting notion has the proper properties for the problem. The traceless embedding gives all subspaces “equal footing,” after which the packing problem becomes one of placing points optimally on a higher-dimensional sphere subject to membership in a union of compact sets [1911.05613].

Within this framework, an embedded mixed-rank packing is optimally spread if its maximum pairwise inner product is minimal among all packings with the prescribed ranks and multiplicities. Several structural consequences follow. Every optimally spread mixed-rank packing is a fusion frame. Optimality is preserved under spatial complementation \(P\mapsto I_m-P\). When the embedded vectors form an orthoplex and the number of subspaces reaches the maximal value \(2d_{F,m}\), the resulting objects are maximal orthoplectic fusion frames, and such maximal orthoplectic fusion frames are always tight [1911.05613].

The principal explicit constructions use mutually unbiased bases (MUBs) and block designs. For a basis \(\mathcal{B}\) and an index subset \(J\), the coordinate projection is
\[
P_{\mathcal{B},J}=\sum_{j\in J} b_j b_j^*.
\]
Using maximal sets of MUBs together with block designs having controlled intersection sizes, one obtains infinite families of tight, optimally spread mixed-rank fusion frames. Affine designs yield families with two different ranks. Symmetric block designs, including projective planes, Menon designs, and Hadamard designs, produce further examples. A particularly strong characterization states that maximal orthoplectic constant-rank fusion frames arise if and only if the construction comes from Hadamard 3-designs [1911.05613].

This mixed-rank program changes the scope of fusion-space coding. The constant-rank setting remains central, but the general theory shows that optimal packings need not be restricted to a single Grassmannian manifold; instead, they may live in a product of Grassmannians while still retaining a precise spherical-coding interpretation [1911.05613].

## 6. Applications, scope, and conceptual distinctions

Fusion-space codes are studied because optimal subspace separation is useful in compressed sensing, signal processing, coding theory, quantum information, MIMO communications, radar, and multiuser communication. In the constant-rank case, EITFFs yield dictionaries with minimal block coherence and therefore optimal guarantees for block-sparse recovery under the cited model. In the mixed-rank case, the embedding formulation supplies a geometric language for resilient and heterogeneous subspace arrangements, with explicit structured constructions from MUBs and block designs [2112.14267] [1911.05613].

Several distinctions are essential. First, equi-isoclinic and equichordal are not interchangeable: EITFFs require equality of all principal angles for each pair, whereas ECTFFs only require constancy of a summed quantity derived from those angles [2112.14267]. Second, optimality depends on the metric and the rank model. In constant rank, spectral-distance optimality is characterized by EITFF structure and the fusion Welch bound. In mixed rank, optimality is formulated after embedding and becomes a restricted spherical coding problem rather than a direct metric comparison inside a single Grassmannian [1911.05613]. Third, not all explicit optimal families are harmonic; the harmonic Fourier-analytic constructions and the combinatorial MUB/block-design constructions are complementary rather than identical paradigms [2112.14267] [1911.05613].

A plausible implication of the recent literature is that fusion-space coding now has three interlocking axes: metric optimality through EITFFs and related packings, algebraic construction through harmonic and Radon-Hurwitz methods, and combinatorial generalization through mixed-rank embeddings and design-theoretic families. Taken together, these developments place fusion-space codes at the intersection of frame theory, harmonic analysis, combinatorial design, and high-dimensional coding geometry [2404.06417].

Source: https://www.emergentmind.com/topics/fusion-space-codes