Delivery Phase: XOR Coded Multicast

The Combinatorial Magic

The delivery phase is where the real cleverness lives. Given the placement we just built, the server wants to send a short message that simultaneously satisfies all KK users. The scheme's core trick is to index the coded messages by (t+1)(t+1)-subsets β€” one message per subset, summing over the t+1t+1 users' missing subfiles.

The beauty: each user in the (t+1)(t+1)-subset is missing exactly one of the summands (the one indexed by the tt-subset not containing that user), and has all others in its cache. XOR then cancels everything except the one summand the user needs β€” pure information-theoretic interference cancellation, via the algebra of F2\mathbb{F}_2.

MAN Delivery Algorithm

Complexity: Number of coded messages: (Kt+1)\binom{K}{t+1}. Each message is one XOR of t+1t+1 subfiles, each of size F/(Kt)F/\binom{K}{t}. Total delivery bits: (Kt+1)β‹…F/(Kt)=Fβ‹…(Kβˆ’t)/(t+1)=RMANβ‹…F\binom{K}{t+1} \cdot F/\binom{K}{t} = F \cdot (K-t)/(t+1) = R_{\text{MAN}} \cdot F.
Input: Demand vector d=(d1,…,dK)∈[N]K\mathbf{d} = (d_1, \ldots, d_K) \in [N]^K.
Subfiles {Wn,S}\{W_{n,\mathcal{S}}\} from the placement phase.
Output: Coded transmission sequence (XSβ€²)Sβ€²(X_{\mathcal{S}'})_{\mathcal{S}'}.
1. Fsub←F/(Kt)F_{\text{sub}} \leftarrow F / \binom{K}{t}
2. X←{}\mathcal{X} \leftarrow \{\} // transmission buffer
3. for each (t+1)(t+1)-subset Sβ€²βŠ†[K]\mathcal{S}' \subseteq [K] do
4. XS′←0Fsub\quad X_{\mathcal{S}'} \leftarrow \mathbf{0}^{F_{\text{sub}}} // empty vector
5. \quad for each user k∈Sβ€²k \in \mathcal{S}' do
6. XS′←XSβ€²βŠ•Wdk, Sβ€²βˆ–{k}\quad\quad X_{\mathcal{S}'} \leftarrow X_{\mathcal{S}'} \oplus W_{d_k,\, \mathcal{S}' \setminus \{k\}}
7. \quad end for
8. X←Xβˆͺ{XSβ€²}\quad \mathcal{X} \leftarrow \mathcal{X} \cup \{X_{\mathcal{S}'}\}
9. end for
10. Broadcast all (Kt+1)\binom{K}{t+1} messages XSβ€²X_{\mathcal{S}'} on the shared link.
11. return X\mathcal{X}.

Theorem: Each User Decodes Its Requested File

Under the MAN placement and delivery of this chapter, every user kk can recover WdkW_{d_k} using its cache Zk\mathcal{Z}_{k} and the (Kt+1)\binom{K}{t+1} coded messages (XSβ€²)Sβ€²(X_{\mathcal{S}'})_{\mathcal{S}'}.

User kk's missing subfiles of WdkW_{d_k} are Wdk,TW_{d_k, \mathcal{T}} for tt-subsets T\mathcal{T} with kβˆ‰Tk \notin \mathcal{T} β€” a total of (Kβˆ’1t)\binom{K-1}{t} missing subfiles. The coded messages XSβ€²X_{\mathcal{S}'} containing kk (there are (Kβˆ’1t)\binom{K-1}{t} of them, one per (t+1)(t+1)-subset containing kk) provide exactly those missing subfiles.

Example: Delivery Walkthrough: K=4K = 4, t=2t = 2, Demand (1,2,3,4)(1,2,3,4)

For K=4K = 4, t=2t = 2, Nβ‰₯4N \geq 4, and demand vector (d1,d2,d3,d4)=(1,2,3,4)(d_1, d_2, d_3, d_4) = (1, 2, 3, 4) (all distinct), write out all coded messages and verify user 1 can decode W1W_1.

Coded Multicast Structure

Visualize the structural quantities of the MAN delivery phase: the number of users served per coded message (t+1t+1), the number of coded messages transmitted ((Kt+1)\binom{K}{t+1}), the subpacketization per file ((Kt)\binom{K}{t}), and the uncoded baseline (KK unicasts). Log-scale y-axis to span orders of magnitude.

Parameters
8
2

Historical Note: From Network Coding to Coded Caching

2000–2014

The idea that XORs can simultaneously carry information for multiple receivers has a distinguished history. Ahlswede, Cai, Li, and Yeung (2000) introduced network coding; the butterfly network showed XOR multicasting beats routing. Katti et al. (2008) demonstrated it in practice ("COPE: XORs in the Air"). Maddah-Ali and Niesen (2013–2014) then showed that this same idea β€” encoded across pre-placed caches β€” could eliminate the link bottleneck in CDN-like settings.

What was genuinely new was not the XOR delivery; it was that the caches could be designed specifically to make XOR delivery extraordinarily efficient. The combinatorial placement is a design choice that makes the delivery phase simple and short. This conceptual separation β€” engineer the side information for the receiver β€” marks coded caching's departure from classical network coding.