Additivity of Caching and Spatial Gains ()
Why Additive, Not Multiplicative?
Before stating the DoF theorem formally, let us build intuition. The caching gain says: one transmission can carry information for users via XOR cancellation using their cached side information. The spatial gain says: one transmission can carry independent information to users via orthogonal beamforming.
Now ask: why can't these mechanisms compose multiplicatively? The answer is that they share the same "one transmission." The caching mechanism lets a single beam serve users with a single message; the spatial mechanism lets independent beams coexist. The cache-aided scheme uses beams, each carrying a coded-caching XOR message. Each beam delivers to users (via caching) β but the total number of users served is after careful double-counting of who helps whom. The gains add.
This is not a hand-waving argument; it is forced by the DoF upper bound on any BC with side information. We state it rigorously now.
Theorem: Lampiris-Caire DoF Theorem
For the cache-aided Gaussian MIMO BC with single-antenna users, an -antenna transmitter, library size , per-user cache such that integer:
This DoF is achieved by the Lampiris-Caire scheme (Β§5.3) and matches the information-theoretic upper bound for this class of channels.
Additive decomposition: the caching gain contributes extra DoF on top of the classical MIMO BC DoF of , up to the saturation limit . The upper bound is trivial (cannot exceed the number of users).
Achievability: Lampiris-Caire scheme
Construct a placement where each subfile is cached by users, and a delivery where the transmitter sends one signal per -subset of . Each subset gets independent coded XOR beams, each beam targeting users via caching. Details in Β§5.3.
Per -subset, DoF are achieved, serving users. Total over subsets: with careful averaging, sum DoF .
Converse: information-theoretic upper bound
Using a cut-set argument analogous to the MN '14 bound but accounting for antenna count : For any scheme, consider any users. Their caches hold files' worth of bits; the transmitter over channel uses sends at most DoF's worth of signal. These together must deliver files. Optimizing gives with . Taking (when ) and using the uncoded-placement optimality (YMA '18 extended to multi-antenna, Lampiris-Caire '17 Β§IV): .
Saturation
If , the DoF cannot exceed the number of users . Hence .
Conclude
Upper and lower bounds match.
Multi-Antenna Coded Caching β DoF =
Lampiris, Elia, and Caire established that the DoF of the cache-aided MIMO BC is , where is the caching gain and is the transmit antenna count. The proof treats the delivery phase as transmission of general message sets to the users, exploiting both the cached side information and the spatial multiplexing degrees of freedom.
Key insight. Caching provides a "virtual antenna" effect: the cached bits at each user effectively act as if the user had additional antennas. Combined with the actual transmit antennas, the sum DoF is . Crucially, this is not a multiplicative gain β the two mechanisms are decoupled.
The scheme is deployable at moderate and has been followed by extensive CommIT follow-up work (Lampiris-Elia-Caire 2018 on no-CSIT regimes, Lampiris-Caire 2019 on low-complexity schemes, Lampiris- Bhattacharjee-Caire 2020 on fading). The 2017 paper is the foundational "general message set" formulation.
DoF Decomposition vs Number of Antennas
At fixed memory ratio and number of users , plot DoF vs number of antennas . Three curves: (1) blue: total DoF = (combined); (2) red dashed: pure MIMO (no caching) = ; (3) green dotted: pure caching (L = 1) = . The gap between the blue curve and the max(red, green) is the "additional" gain of combining caching with MIMO β and it equals in the additive regime.
Parameters
DoF Additivity:
Why the Converse Works
The DoF upper bound is not obvious β the naive argument says either (caching) or (MIMO) alone bounds DoF, not their sum. The tight converse uses a refined cut-set argument that accounts for both the cache budget and the antenna count simultaneously.
Concretely: consider users. Over channel uses, the transmitter sends DoF's worth of information (L DoF per channel use). Plus the caches contribute file-units of side information. Together they must determine files. Hence , i.e., . Optimizing and applying uncoded-placement optimality yields .
The full proof (Lampiris-Caire '17 Β§IV) uses an averaging argument over symmetric demand vectors, similar to the YMA '18 style but extended to the multi-antenna setting.
Historical Note: The Emergence of Multi-Antenna Coded Caching
2015β2019The multi-antenna extension of coded caching was explored independently by several groups in 2015β2017. Shariatpanahi, Caire, Khalaj (2016) gave the first scheme for 2-antenna systems; Naderializadeh, Maddah-Ali, Avestimehr (2017) treated the general MIMO BC with interference alignment. The clean result and its tight converse were established by Lampiris, Elia, Caire (2017) via the general-message-set formulation.
The story illustrates a recurring theme in coded caching research: the combinatorial placement of MAN is the right primitive on which to build wireless extensions. Schemes that depart from this placement (e.g., random Gaussian coded placement) typically achieve the same DoF but with substantially more complex decoders.
Common Mistake: Don't Say the Gains 'Multiply'
Mistake:
Claiming that the caching gain multiplies the spatial multiplexing gain to give .
Correction:
The correct formula is , additive. The intuition for why it is not multiplicative: each channel use can carry independent streams (spatial DoF). Each stream, through cached side information, carries useful bits for users (caching gain). Net users served per channel use: , where the correction accounts for the overlap in cached bits across streams. This is the Lampiris-Caire calculation in one line.
A multiplicative gain would require an unrealistic combinatorial structure β there would need to be distinct "modes" of user discrimination, beyond what either mechanism alone can provide.