GDoF-Optimal Separation Scheme

Why GDoF?

DoF analysis (Chapter 5) assumes all users have the same high-SNR scaling. On a degraded BC with user SNRs ρk=ραk\rho_k = \rho^{\alpha_k} for different Ξ±k\alpha_k, the classical DoF framework is insufficient β€” it cannot distinguish user 1 (SNR ρ\rho) from user 2 (SNR ρ1/2\rho^{1/2}). Both have DoF = 1 individually.

Generalized Degrees of Freedom (GDoF) resolve this by tracking the SNR exponents. User kk's GDoF is GDoFkβ€…β€Š=β€…β€Šlimβ‘Οβ†’βˆžRklog⁑2ρ,\mathrm{GDoF}_k \;=\; \lim_{\rho \to \infty} \frac{R_k}{\log_2 \rho}, which can exceed 1 in the sense that GDoFk≀αk\mathrm{GDoF}_k \leq \alpha_k (up to the user's own SNR ceiling).

The JLEC 2019 characterization is naturally in GDoF terms. We flesh out the notation and verify the optimal separation result in this richer framework.

Definition:

Generalized Degrees of Freedom

Let the SNRs of the KK users scale as ρk=ραk\rho_k = \rho^{\alpha_k} for a common scaling parameter Οβ†’βˆž\rho \to \infty and fixed exponents Ξ±1β‰₯…β‰₯Ξ±Kβ‰₯0\alpha_1 \geq \ldots \geq \alpha_K \geq 0. The per-user GDoF is GDoFkβ€…β€Š=β€…β€Šlimβ‘Οβ†’βˆžRklog⁑2ρ.\mathrm{GDoF}_k \;=\; \lim_{\rho \to \infty} \frac{R_k}{\log_2 \rho}. The GDoF region is the set of achievable (GDoF1,…,GDoFK)(\mathrm{GDoF}_1, \ldots, \mathrm{GDoF}_K) tuples.

GDoF generalizes DoF: when all Ξ±k=1\alpha_k = 1, GDoF = DoF. The framework was introduced by Etkin, Tse, and Wang (2008) for the interference channel and has since become standard for heterogeneous channel analyses.

Theorem: GDoF Region for Mixed Cache-Aided BC (Detailed)

For the cache-aided LL-antenna degraded BC with user SNR exponents Ξ±1β‰₯…β‰₯Ξ±K\alpha_1 \geq \ldots \geq \alpha_K and memory ratio ΞΌ\mu, the GDoF region of mixed cacheable Rc(k)R_c^{(k)} and uncacheable Ru(k)R_u^{(k)} rates satisfies, for every subset SβŠ†[K]\mathcal{S} \subseteq [K]: βˆ‘k∈SGDoFc(k)/Ξ±k+βˆ‘k∈SGDoFu(k)/(Ξ±kβ‹…L/(t+L))β‰€βˆ£S∣.\sum_{k \in \mathcal{S}} \mathrm{GDoF}_c^{(k)}/\alpha_k + \sum_{k \in \mathcal{S}} \mathrm{GDoF}_u^{(k)}/(\alpha_k \cdot L/(t+L)) \leq |\mathcal{S}|. The region is achieved by a separation-plus-weighting scheme.

Each user's cacheable and uncacheable "costs" are normalized by its SNR exponent (stronger channel = cheaper delivery). The full region is the intersection of 2K2^K linear constraints, one per subset S\mathcal{S}. In practice only a few constraints are active at the optimum; the active ones define the Pareto boundary.

Example: Two-Class Heterogeneous Users

Consider K=10K = 10 users: 5 "strong" with Ξ±s=1\alpha_s = 1, 5 "weak" with Ξ±w=0.5\alpha_w = 0.5. L=2L = 2 antennas, ΞΌ=0.2\mu = 0.2 (so t=2t = 2). Compute the GDoF achievable for each class.

Degraded BC Rate Region: Superposition vs Time-Sharing

For a two-user degraded BC with strong user SNR ρs\rho_s and weak user SNR ρw\rho_w, visualize the superposition-coding capacity region (Cover '72) and the time-sharing lower bound. Superposition strictly dominates time-sharing except at the corners. This is the underlying mechanism that the JLEC separation scheme exploits.

Parameters
20
5

Key Takeaway

The JLEC 2019 separation scheme is GDoF-optimal across all heterogeneity profiles. Cacheable traffic uses Lampiris-Caire (DoF t+Lt+L); uncacheable traffic uses MU-MIMO (DoF LL); time-sharing between them is optimal in GDoF. The converse argument uses the fundamental fact that caches cannot help uncacheable content.

⚠️Engineering Note

From GDoF Theory to Deployed Schemes

The GDoF-optimal JLEC separation has a clean deployment path:

  1. Time-domain multiplexing. Allocate dedicated time slots to cacheable vs. uncacheable delivery. Operationally simple β€” matches 5G NR's subcarrier/slot structure.
  2. Rate adaptation. Each mode uses channel-aware MCS. Cacheable mode benefits from MAN + multicast; uncacheable mode from ZF unicast.
  3. Cache warm-up. Off-peak pre-placement, refreshed at library turnover intervals (Ch 1 engineering note).
  4. Admission control. Uncacheable latency-critical traffic (live calls) can preempt cacheable traffic (video).

Realizable trade-offs are more nuanced than the GDoF pentagon β€” finite SNR, imperfect CSIT, and scheduling delays all affect the actual operating point. But the GDoF framework provides a clean baseline to benchmark against.

Practical Constraints
  • β€’

    5G NR supports separate resource pools for unicast and multicast

  • β€’

    JLEC separation time-shares cacheable and uncacheable traffic

  • β€’

    CSIT quality affects the spatial multiplexing gain of the uncacheable phase

  • β€’

    Cache churn must not exceed peak-vs-off-peak time ratio

Historical Note: From Mohajer-Tuninetti to JLEC

2015–2020

The mixed-traffic coded-caching question was posed informally around 2015–2016 as a natural practical extension of MAN. Mohajer and Tuninetti gave partial answers in 2017 for specific (K,M)(K, M) regimes. The clean GDoF-optimal separation result came from the CommIT collaboration: Joudeh, Lampiris, Elia, Caire at EURECOM and TU Berlin. The 2019 ISIT paper was later expanded into a 2020 journal paper with additional converse details.

A related stream is demand-aware coded caching (Wan-Caire 2021+), which exploits the distinction between "popular" (cacheable) and "rare" (uncacheable) content statistically rather than operationally. This is the topic of Chapter 13.

The JLEC separation result is significant because it tells system designers that simple time-sharing is sufficient β€” no exotic joint coding is needed in the asymptotic regime. This is a useful "separation theorem" in the classical information-theoretic sense.

Common Mistake: GDoF Is Not a Rate at Any Finite SNR

Mistake:

Using the GDoF region directly as a finite-SNR rate region.

Correction:

GDoF is an asymptotic quantity: GDoFk=limβ‘Οβ†’βˆžRk/log⁑2ρ\mathrm{GDoF}_k = \lim_{\rho \to \infty} R_k/\log_2 \rho. At any finite SNR, actual rates are smaller than GDoFβ‹…log⁑2ρ\mathrm{GDoF} \cdot \log_2 \rho by an O(1)O(1) term that captures pre-log constants and leakage. For system design at realistic SNRs (10–30 dB), the GDoF region is an over-estimate; the exact rate depends on finite-SNR details.

The GDoF region is still valuable as a ceiling against which finite-SNR schemes can be benchmarked. The separation theorem (JLEC '19) establishes the shape of this ceiling and the nature of the optimal scheme structure.