---
title: Generalized Constellation-Splitting in Noncoherent MACs
url: https://www.emergentmind.com/topics/generalized-constellation-splitting
type: topic
---

# Generalized Constellation-Splitting in Noncoherent MACs

Generalized Constellation-Splitting (GCS) is a joint-constellation construction for the noncoherent multiple-access channel (MAC) in which a well-designed single-user Grassmannian constellation is partitioned into disjoint subsets assigned to different users, and the resulting Cartesian product is decoded jointly by the noncoherent maximum-likelihood (ML) rule. In the communication-theoretic literature, the term is associated primarily with the two-user noncoherent MAC construction developed from ML error analysis and with its later extension to \(K\)-user noncoherent MIMO MACs, where GCS is positioned as a low-complexity alternative to direct joint constellation optimization over all users [2001.04970] [2009.11548].

## 1. Noncoherent MAC formulation

The canonical setting is a synchronous noncoherent Rayleigh block-fading MAC with coherence block length \(T \ge 2\), \(K\) users, user-\(k\) transmit matrix \(X_k \in \mathbb{C}^{T \times M_k}\), receiver with \(N\) antennas, and no instantaneous channel state information at any terminal. The per-block received signal is

$$
Y = \sum_{k=1}^{K} X_k H_k^{\mathsf H} + Z
\;=\;
X H^{\mathsf H} + Z,
$$

with \(X := [X_1 \ \cdots \ X_K]\), i.i.d. Rayleigh block fading, and additive noise \(Z\) with i.i.d. \(\mathcal{CN}(0,1)\) entries. Each user transmits symbols from a finite constellation \(\mathcal{X}_k\), and the joint constellation is the Cartesian product \(\mathcal{X} := \prod_{k=1}^K \mathcal{X}_k\) [2009.11548].

Conditioned on a joint symbol \(x \in \mathcal{X}\), the columns of \(Y\) are i.i.d. complex Gaussian with covariance \(\Sigma_x := I_T + x x^{\mathsf H}\). The noncoherent likelihood is

$$
p_{Y|X}(y|x) =
\frac{\exp\!\left(-\mathrm{tr}\!\big( y^{\mathsf H} (I_T+xx^{\mathsf H})^{-1} y \big)\right)}
{\pi^{NT}\,\det^{N}\!\big(I_T+xx^{\mathsf H}\big)},
$$

and the ML detector is

$$
\Xi(y) =
\arg \max_{x \in \mathcal{X}}
\Big(
-\mathrm{tr}\big((I_T+xx^{\mathsf H})^{-1}yy^{\mathsf H}\big)
-
N\ln \det(I_T+xx^{\mathsf H})
\Big).
$$

A fundamental identifiability constraint follows immediately: distinct joint symbols must satisfy

$$
x x^{\mathsf H} \neq x' {x'}^{\mathsf H},
\qquad
\forall\,x \neq x' \in \mathcal{X}.
$$

This condition is necessary because the output distribution depends on \(x\) only through \(x x^{\mathsf H}\). In the MAC papers where GCS is introduced, the construction is therefore not a receiver-side heuristic but a joint codebook design problem constrained by the geometry of the noncoherent likelihood.

## 2. ML error analysis and design metrics

The design program for GCS is driven by pairwise error analysis. For the joint symbol error rate \(P_e(\mathcal{X})\), the worst-case pairwise error probability (PEP) controls both upper and lower union-type bounds:

$$
\frac{1}{|\mathcal{X}|}\,\max_{x\neq x'} \mathbb{P}(x\to x')
\;\le\;
P_e(\mathcal{X})
\;\le\;
(|\mathcal{X}|-1)\,\max_{x\neq x'} \mathbb{P}(x\to x').
$$

Accordingly, the design problem is reduced to making the worst joint-symbol pair as distinguishable as possible under ML [2001.04970].

Two closely related families of metrics appear in the literature. In the two-user paper, the pairwise log-likelihood ratio \(L(x\!\to\!x')\) is used to motivate the max-min criterion

$$
\mathcal{X}^* = \arg\max_{\mathcal{X}} \ \min_{x\ne x'} \ \mathbb{E}\big[L(x\!\to\!x')\big].
$$

In the large-\(N\) regime, the Chernoff–Stein lemma implies that maximizing \(\mathbb{E}[L]\) maximizes the pairwise error exponent with respect to \(N\). In the \(K\)-user generalization, nonasymptotic PEP bounds are expressed through the eigenvalues \(\{\lambda_i\}\) of

$$
\Gamma := (I_T + x x^{\mathsf H})(I_T + x'{x'}^{\mathsf H})^{-1},
$$

and the metric

$$
b(x,x') := \sum_{i=1}^{T} \big|\ln \lambda_i\big|
$$

satisfies

$$
b(x,x') + T \;\ge\; -\frac{1}{N}\ln \mathbb{P}(x\to x')
\;\ge\;
\frac{1}{2} b(x,x') - T\ln 2.
$$

This motivates the nonasymptotic criterion \((\mathrm{Max}\text{-}b_{\min})\), while the relaxed Chernoff-bound metric \(J_{1/2}(x,x')\) provides another tractable objective [2009.11548].

At high signal-to-noise ratio, both papers isolate the same dominant term,

$$
d(x\to x') :=
\mathrm{tr}\Big( ( I_T+ x'{x'}^{\mathsf H} )^{-1} x x^{\mathsf H} \Big),
$$

and define the simplified design objective

$$
(\mathrm{Max}\text{-}d_{\min}) :
\qquad
\mathcal{X}^* =
\arg\max_{\mathcal{X}}
\min_{x\neq x'\in\mathcal{X}} d(x\to x').
$$

This simplification is structurally important because \(d(x\to x')\) is the only term in the mean PLLR that scales linearly with transmit power \(P\) when \(\mathrm{Span}(x) \neq \mathrm{Span}(x')\); the determinant and logarithmic terms scale only as \(O(\ln P)\). The \(K\)-user paper further gives a geometric interpretation: the PEP exponent grows linearly with a Riemannian distance between the positive definite matrices \(\Sigma_x\) and \(\Sigma_{x'}\), with \(b(x,x')\) bounded above and below by the affine-invariant Riemannian distance on \(\mathcal{P}_T\).

## 3. Grassmannian signaling and the GCS construction

GCS is most natural under unitary space-time modulation or, more generally, Grassmannian signaling. In the symmetric case, each user employs symbols satisfying

$$
x_k^{\mathsf H} x_k = \frac{P_k T}{M_k} I_{M_k},
\qquad
\forall\,x_k \in \mathcal{X}_k,
$$

so each codeword corresponds to a point on a Grassmann manifold. In the single-user case, the high-SNR metric reduces to a chordal-distance form, and maximizing \(d_{\min}\) is equivalent to maximizing the minimum pairwise chordal distance. GCS transfers this single-user Grassmannian packing principle to the MAC setting [2001.04970].

For two users, the construction starts from a single-user Grassmannian constellation \(\mathcal{X}_{\mathrm{SU}} \subset G(\mathbb{C}^T,M)\) with good minimum chordal distance. One then partitions \(\mathcal{X}_{\mathrm{SU}}\) into two disjoint subsets \((\mathcal{X}_1,\mathcal{X}_2)\), assigns them to the two users, and forms the joint constellation \(\mathcal{X}=\mathcal{X}_1\times\mathcal{X}_2\). The key analytical point is that the relevant two-user high-SNR separation can be controlled by user-wise worst-pair metrics \(d_{12}(\mathcal{X})\) and \(d_{21}(\mathcal{X})\), and the design objective becomes

$$
\mathcal{X}^* =
\arg\max_{\mathcal{X}}
\min\left\{ d_{12}(\mathcal{X}), d_{21}(\mathcal{X}) \right\}.
$$

The paper then derives necessary and sufficient conditions linking these MAC metrics to three classes of Grassmannian overlaps: intra-user overlaps in \(\mathcal{X}_1\), intra-user overlaps in \(\mathcal{X}_2\), and cross-user overlaps between \(\mathcal{X}_1\) and \(\mathcal{X}_2\). This leads to the simplified distance-based criterion

$$
\mathcal{X}^* = \arg\min_{\mathcal{X}_1,\mathcal{X}_2}
\max\Big\{
\max_{x_1\ne x'_1} \| x'_1{}^{\mathsf H} x_1 \|_F^2,\ 
\max_{x_2\ne x'_2} \| x'_2{}^{\mathsf H} x_2 \|_F^2,\ 
\max_{x_1\in \mathcal{X}_1,\,x_2\in \mathcal{X}_2} \| x_2{}^{\mathsf H} x_1 \|_F^2
\Big\}.
$$

The sufficient construction is correspondingly simple: choose \(\mathcal{X}_{\mathrm{SU}}\) so that

$$
\frac{1}{(PT)^2}\max_{x\ne x'\in \mathcal{X}_{\mathrm{SU}}}
\|x'{}^{\mathsf H}x\|_F^2 \le c,
\qquad c\in[0,1/M],
$$

split it into disjoint subsets, and decode jointly with the noncoherent ML rule. A random bipartition already suffices to enforce the overlap conditions, while min-max graph bipartitioning can further improve the criterion. In the two-user analysis, this yields a lower bound on the worst-case separation metric \(d_{\min}\) that grows linearly in \(P\) when \(c\) is sufficiently small [2001.04970].

The \(K\)-user extension preserves the same principle: split a sparse single-user Grassmannian constellation into \(K\) disjoint subsets and control both within-subset and cross-subset overlaps. The paper states that at high SNR the single-user USTM criterion carries over to the joint MAC design via splitting, and introduces per-user worst-pair surrogates \(d_k(\mathcal{X})\) satisfying

$$
\min_{k\in [K]} d_k(\mathcal{X})
\;\le\;
d_{\min}(\mathcal{X})
\;\le\;
\min_{k\in [K]} d_k(\mathcal{X}) + (K-1)M.
$$

## 4. Optimization, refinements, and related constructions

GCS sits within a broader design toolbox that ranges from direct manifold optimization to structured constructions. The central practical distinction is between optimizing constellation points themselves and optimizing only a partition of an already good single-user constellation.

| Method | Mechanism | Role |
|---|---|---|
| GCS partitioning | Split \(\mathcal{X}_{\mathrm{SU}}\) into disjoint subsets | Low-complexity structured design |
| Alternating optimization | Optimize one user at fixed others via \(d_{12}\), \(d_{21}\), or \(d_k\) | Reduced-complexity refinement |
| Manifold optimization | Optimize max-min criteria on Grassmann or oblique manifolds | Direct high-performance design |
| Precoding construction | Map lower-dimensional constellations through user-specific precoders | Increase inter-user separation |
| Power optimization | Optimize \(\{P_k\}\) or \(\theta=P_2/P_1\) | Asymmetric-rate refinement |

For direct numerical optimization, the \(K\)-user paper smooths the min-max objective by replacing \(\max_i v_i\) with \(\epsilon \log \sum_i \exp(v_i/\epsilon)\), stacks the representatives on the oblique manifold, and uses the Riemannian gradient

$$
\nabla_R g(c) = (I_T - c c^{\mathsf H}) \nabla_E g(c).
$$

A manifold toolbox such as manopt is then used for gradient descent. The same paper also considers the nonasymptotic metric \(J_{1/2}\), the high-SNR metric \(d_{\min}\), and the KL-based metric \(\mathbb{E}[L]\) as optimization targets [2009.11548].

A more geometric generalization is the precoding-based construction for multi-user MIMO. Each user starts from a lower-dimensional Grassmannian constellation \(\mathcal{C}_k \subset G(\mathbb{C}^{T-(K-1)M},M)\) and transmits

$$
x_k^{(i)} =
\sqrt{P_k T}\;
\frac{U_k\,c_k^{(i)}}{\|U_k\,c_k^{(i)}\|_{\mathrm F}},
$$

where \(U_k\) is a user-specific full-rank precoder. Type-I and Type-II precoders are designed so that user subspaces share as few dimensions as possible, directly reducing cross-inner-products and improving \(d_{\min}\).

For asymmetric two-user SIMO systems, the same framework is extended to per-user power optimization. The paper states that \(d_1(\theta)\) decreases in \(\theta\), \(d_2(\theta)\) increases in \(\theta\), and that solving \(d_1(\tilde\theta)=d_2(\tilde\theta)\) provides an approximate maximizer of \(d_{\min}(\theta)\). This suggests that GCS is not restricted to equal-power symmetric designs, although the cleanest analytical guarantees are derived in that regime.

Related structured-splitting ideas exist outside the precise GCS definition. “Cube-Split” partitions \(G(1,\mathbb{C}^T)\) into cells and maps Euclidean bent-hypercube grids into each cell for noncoherent SIMO signaling, while translation-pattern GSM splits bits across complex symbols, active antenna subsets, and SPC-coded translation patterns in the spatial domain [1905.08745] [2004.04443].

## 5. Performance evidence and complexity

The two-user paper reports detailed simulations for the SIMO case \(M_1=M_2=1\), \(N=4\), symmetric rates \(R_1=R_2=B/T\), and Grassmannian signaling on \(G(\mathbb{C}^T,1)\). For \(T=5\), \(B=5\), and SNR from \(4\) to \(18\) dB, the constellations optimized with the ML-based criteria \((12)\) and \((14)\) achieve the lowest joint SER across the whole range; at \(12\) dB the reported SER is approximately \(3.8\times 10^{-4}\), and at \(18\) dB approximately \(2\times 10^{-6}\). Alternating optimization is slightly worse, with SER approximately \(6.2\times 10^{-4}\) at \(12\) dB. GCS partitioning by random split yields SER approximately \(2.3\times 10^{-3}\) at \(12\) dB, comparable to the noncoherent precoding baseline at approximately \(3.05\times 10^{-3}\), while the pilot-based ML receiver gives approximately \(1.13\times 10^{-3}\). The paper also states that metric values confirm that \(d_{\min}(\mathcal{X})\) closely tracks \(\min \mathbb{E}[L]\) at high SNR, validating the simplified criterion [2001.04970].

For larger constellations, where full numerical optimization becomes cumbersome, GCS alone remains effective. In the case \(B=8\), \(T\in\{5,6\}\), and \(N=4\), the partitioning construction outperforms the pilot-based scheme, which the paper presents as evidence of its practicality.

The \(K\)-user generalization gives a similar ranking. In the two-user case \(K=2\), \(T=5\), \(M=2\), \(N=4\), and \(R_1=R_2=4/T\) bpcu, \(\mathrm{Max}\text{-}J_{1/2,\min}\) gives the best ML SER, \(\mathrm{Max}\text{-}d_{\min}\) and \(\mathrm{Max}\text{-}e_{\min}\) perform similarly, and both are significantly better than the pilot-based and adapted point-to-point metrics. In the three-user case \(K=3\), \(T=7\), \(M=2\), \(N=6\), and \(R_k=3/T\), the same hierarchy persists, with \(\mathrm{Max}\text{-}J_{1/2,\min}\) remaining best and pilot-based reception inferior to \(\mathrm{Max}\text{-}d_{\min}\) at moderate and high SNR [2009.11548].

Receiver complexity is dominated by noncoherent ML detection over the joint constellation. For each candidate \(x\), one computes \(S_x=(I_T + x x^{\mathsf H})\), its inverse, and its log-determinant, and evaluates the ML metric using \(Y Y^{\mathsf H}\). In the two-user paper this is stated as \(O(T^3)\) per candidate, with \(|\mathcal{X}|=|\mathcal{X}_1||\mathcal{X}_2|\), although the Woodbury identity can exploit the low rank of \(x x^{\mathsf H}\). By contrast, GCS design itself requires only splitting a single-user constellation; random bipartition is trivial, graph partitioning is standard, and full manifold optimization can be performed offline and reused across SNRs.

## 6. Scope, limitations, and later uses of the term

The MAC formulation of GCS is derived under i.i.d. Rayleigh block fading, synchronous users, known noise variance, and coherence block length \(T \ge 2\). The papers emphasize several limitations: ML detection complexity can be high; manifold optimization is nonconvex and returns local minima; high-SNR metrics can be suboptimal at low SNR; and the size of the underlying single-user constellation is constrained by Grassmannian packing bounds. The two-user paper also notes that systematic linear receivers used in the pilot-based baseline do not apply to the noncoherent GCS signals [2001.04970] [2009.11548].

Several extensions are explicit. More than two users can be handled by \(K\)-way partitioning, though the associated graph partitioning and cross-overlap control become harder. Correlated fading can be incorporated by pre-whitening transformations and modified power constraints. Asymmetric rates and powers require joint optimization of subset sizes and power allocation. These points indicate that GCS is best viewed as a structured design principle rather than a closed-form universal optimum.

After the MAC papers, the label “generalized constellation-splitting” was reused in other settings. In blind SISO-OFDM channel estimation, it denotes a finite-alphabet side-information mechanism that partitions standard constellations into subsets with distinct phase and/or amplitude properties and constrains which subset each subcarrier may use, thereby enabling a modified phase-directed estimator to resolve the residual complex-scalar ambiguity of second-order-statistics channel estimation without pilots [2508.06508]. A related paper describes alternate-subcarrier constellation splitting for M-ary PAM systems with non-redundant frequency-domain precoding and frames the method as blind ambiguity resolution in OFDM [2508.02698]. In detection under generalized hardware impairments, the phrase is used in a different sense: the PAD-D detector separates amplitude and phase residuals in the polar domain and weights them by their distortion-dependent variances, yielding a symbol-dependent metric \(M_{\mathrm{PAD}}(s)=w_r(s)(\Delta r)^2+w_\theta(s)(\Delta\theta)^2+C(s)\) [2511.09234]. The phrase also appears in combinatorics as a “generalized constellation-splitting correspondence” for planar \(p\)-constellations, where geodesic slicing yields multicontinued fractions and generalized Hankel determinants [1112.6379].

This suggests a polysemous terminology. In the noncoherent MAC literature, GCS has a precise meaning: partitioning a sparse single-user Grassmannian constellation into disjoint user codebooks so that intra-user and inter-user subspace overlaps remain controlled under noncoherent ML detection. In later usages, the same phrase denotes more general forms of structured partitioning of symbol sets or combinatorial objects.

Source: https://www.emergentmind.com/topics/generalized-constellation-splitting