Exercises
ex-cc-ch14-01
EasyCompute MAN subpacketization for , .
.
Compute
. . Feasible for 1 GB files (each subfile = ~2 KB).
ex-cc-ch14-02
EasyEstimate the subpacketization of Yan et al.'s polynomial PDA for , .
.
Compute
. Compare MAN: . Here similar β but at larger , PDA grows polynomially while MAN explodes.
ex-cc-ch14-03
EasyWhy is subpacketization the main bottleneck for deployed coded caching?
Subfile size = file size / F.
Answer
Each subfile must be at least a few KB (header overhead). For a 1 GB file: max . Beyond this, subfiles are sub-bit and the scheme breaks. MAN's exponential caps at ~50. Polynomial- schemes remove this cap.
ex-cc-ch14-04
EasyState the Shanmugam-Ji-Tulino-Llorca-Dimakis-Caire graph-coloring subpacketization bound.
, rate within factor 2.
Statement
Achievable: with rate in practical regimes. Polynomial subpacketization; constant-factor rate gap. CommIT result.
ex-cc-ch14-05
EasyDefine a PDA and its key parameters .
users, subfiles, cached per file, messages.
Definition
A -PDA is a integer/star matrix where:
- = number of users (columns).
- = subpacketization (rows).
- = number of per column (= files cached per user).
- = number of distinct non- symbols (= coded messages). Rate: file units.
ex-cc-ch14-06
MediumMAN as PDA. Write the PDA for MAN at , .
rows; 4 users (columns). Use 2-subsets to label rows.
Setup
. Rows: 2-subsets of : . Users: 1-4.
Placement
Entry iff . Row : (columns 1, 2 starred). Row : etc.
Delivery
For -subsets : define coded message. : message 1. , , . Similarly for : messages 2, 3, 4. messages.
Rate
. Matches MAN: . β
ex-cc-ch14-07
MediumPolynomial bound. For Yan et al.'s polynomial PDA, derive the rate formula .
, approximately.
Rate
. Hmm, this is , slightly larger than MAN's . Gap .
Interpretation
For small : gap . For large : gap approaches 1 β polynomial PDA loses factor . Still: polynomial vs exponential MAN.
ex-cc-ch14-08
MediumDeployment budget. An operator can afford subfiles per file (each > 1 MB for 100 MB files). At , what max does MAN vs PDA allow?
MAN: .
MAN
. . .
PDA (polynomial K^t/t!)
, . For : . Huge headroom. For : . Crossover around .
Graph-coloring
. By far the most scalable.
Conclusion
Under this budget: MAN . PDA . Graph-coloring . For large deployments, graph-coloring is the only option.
ex-cc-ch14-09
MediumRate-subpacketization relation. In the PDA framework, if we halve , what's the minimum increase in ?
Total messages some combinatorial lower bound.
Intuition
Fewer subfiles less cached diversity more messages needed per delivery round. Exact tradeoff depends on PDA structure.
Known bounds
For any -PDA: via MAN-like converse. Halving roughly requires 1-2Γ increase in .
Practical rule
PDAs that halve typically lose ~10-30% in rate. The CommIT graph-coloring schemes achieve with ~2Γ rate β a substantial reduction in at moderate rate cost.
ex-cc-ch14-10
MediumDecentralized vs centralized. Compute decentralized rate for , , and compare with centralized MAN.
.
Compute
. Per-user: 2.99/20 = 0.15. Centralized MAN at : . Per-user: 0.125.
Interpretation
Decentralized slightly higher rate (small gap at finite ). Gap vanishes as ; both β .
ex-cc-ch14-11
HardConverse for polynomial . Prove that no PDA with polynomial can achieve rate exactly equal to MAN.
MAN rate requires binomial structure.
Setup
MAN rate: . Corresponds to specific PDA with (exponential).
Lower bound on $F$ for MAN rate
Kaji-Caire 2020: any PDA with rate has . Polynomial is impossible for exact MAN rate.
Constant-factor relaxation
Relaxing rate to for allows polynomial . Factor 2: (graph-coloring).
Open
Exact constant for is open. Conjectured as .
ex-cc-ch14-12
HardPDA search algorithm. Design a heuristic search for PDAs with small given constraints.
Integer programming or greedy.
Approach
Formulate as an integer programming: minimize subject to PDA constraints. NP-hard in general.
Heuristic
Start with MAN; iteratively merge rows that can be combined without violating constraints. Each merge reduces by 1. Greedy: prefer merges that don't increase .
Complexity
merge candidates; constraint checks per merge. Feasible for . For larger, use LP relaxation or structured constructions.
Research
Automated PDA design is active research. CommIT group uses structured designs (Latin squares, resolvable) β more reliable than heuristic search.
ex-cc-ch14-13
ChallengeAdaptive subpacketization. As a session progresses, can we change dynamically (refine / merge subfiles)? What's the algorithmic cost?
Splitting / merging subfiles changes placement.
Feasibility
Subfile split: each user retains bits it had; simple. Subfile merge: users may have inconsistent content; requires retransmission or re-placement.
Cost
Splitting: negligible bandwidth; useful for fine-grained scheduling. Merging: can be expensive; requires agreement across users.
Research
Adaptive PDAs that evolve with network dynamics are a research frontier. CommIT work on online coded caching (Chapter 20) touches this.
ex-cc-ch14-14
ChallengeCache-aware network coding. Can we combine coded caching (bit- level XOR) with network coding (packet-level random linear) for even better performance?
Network coding is at the packet layer; caching is at the content layer.
Potential
Network coding within the XOR messages could reduce header overhead. Combined schemes (Shanmugam-Dimakis 2014+) achieve higher effective throughput.
Tradeoff
Complexity increases at both decoding (network-code recovery) and placement (coordinating cache + NC). Benefits: marginal at small ; larger at .
Research
Combined coded-caching + network-coding is studied in a few papers; active research area with limited deployment.
ex-cc-ch14-15
ChallengeError correction in delivery. In a wireless (lossy) network, some coded messages will be lost. Design a scheme that recovers from losses without retransmission.
Add redundancy via FEC or rateless codes.
Approach
Apply forward error correction (e.g., Raptor codes) to each XOR message. Users can recover from lost packets via FEC.
Rate cost
FEC adds ~5-10% redundancy. Recovery probability β₯ 99.9% even with 5% loss rate. Acceptable overhead.
Integration
5G NR uses Polar/LDPC codes for FEC. Combining with MAN XOR: FEC'd subfiles, XOR over FEC'd versions, recover via decoder ladder. Implementable.
Research
Lossy-channel coded caching is studied; standard 5G techniques apply. Not a fundamental research gap.