Placement Delivery Arrays (PDAs)
A Combinatorial Framework for Coded Caching
Yan, Cheng, Tang, and Chen (2017) introduced the Placement Delivery Array (PDA) framework β a combinatorial abstraction that captures both MAN and many other coded caching schemes as special cases. A PDA is simply an integer matrix whose entries describe which subfiles are cached by which users and which coded messages are transmitted.
The framework has two virtues:
- Unification. MAN is a specific PDA; other PDAs give different rate/subpacketization tradeoffs.
- Design space. One can search for PDAs with desirable properties β e.g., polynomial subpacketization with near-MAN rate.
This section defines PDAs and presents key constructions.
Definition: Placement Delivery Array
Placement Delivery Array
A -placement delivery array (PDA) is an integer matrix whose entries are either (star) or from , satisfying:
- Cache content rule. means user caches subfile . Each column has exactly entries equal to , so each user caches subfiles per file.
- Delivery rule. means subfile is transmitted to user during the -th coded message.
- Coding consistency. If for , then and (each user in the coded message has the "other" subfile cached, enabling XOR cancellation).
The PDA describes a coded caching scheme with subpacketization and coded transmissions per delivery round.
The MAN scheme corresponds to a specific PDA with rows. Other PDAs have smaller at some rate cost.
Theorem: PDA Achievability
Given a -PDA, there exists a coded caching scheme with users, cache size (i.e., out of subfiles per file), and delivery rate The subpacketization is exactly .
The PDA encodes a valid placement and delivery. The rate equals the number of coded transmissions divided by subpacketization (each transmission contains bits of data).
Placement from PDA
User 's cache contains subfile iff . By assumption, per column, so cache size = subfiles per file.
Delivery from PDA
For each , the -th coded message is an XOR of the subfiles β the set of pairs where that entry equals .
Decoding
User receives the -th XOR message. It contains the subfile where . Other summands are indexed by with ; by the coding consistency rule, (user has subfile cached). Hence user can XOR-cancel and recover its target subfile.
Correctness
User collects all subfiles with from the coded messages. Together with cached subfiles (where ), user has all subfiles of , reconstructing its demanded file.
Example: MAN as a PDA
Express the MAN scheme as a PDA. For , , , list the PDA matrix.
MAN parameters
subfiles per file. Subfiles indexed by 1-subsets . User caches subfile iff , i.e., only subfile .
PDA matrix
Rows: subfile index ; columns: user index . Entry : if , then . Otherwise, entry = coded-message index for delivery.
Users 1, 2, 3. Subsets . Row : , 1, 2 (user 1 caches; users 2, 3 receive subfile via messages 1, 2 resp.). Row : 1, , 3 (similar). Row : 2, 3, .
Total: messages. Rate: file. Matches MAN: . β
Verification
Each column has 1 (cache = 1 subfile = files β but actually here , , ; each user caches 1 of 3 subfiles per file of each file total. β). Each coded message index appears exactly twice (once per targeted user).
PDA vs MAN Rate
PDA schemes achieve polynomial subpacketization at a small rate penalty. Plot shows MAN (exponential ) vs typical PDA (polynomial , ~1.3Γ rate gap). For realistic , PDA is vastly more deployable.
Parameters
Theorem: Yan et al. Polynomial-Subpacketization Construction
For any , there exists a -PDA with: achieving a rate equal to MAN's but with polynomial (in ) subpacketization.
The construction uses a combinatorial design (based on -element subsets of with extra structure) to reduce from to while preserving the rate.
Construction
Use a specific combinatorial design (e.g., transversal design TD(t+1, K)) to define the placement matrix. The design guarantees the PDA properties.
Parameter verification
follows from design counting. (each user caches a fraction of subfiles). Rate matches MAN.
Polynomial bound
is polynomial in (for fixed ). Contrast with exponential in for growing with .
Tradeoff
Small : both and rate are small. Large (comparable to ): both grow polynomially in , still exponential effect but milder than MAN.
PDA Design as Optimization
The PDA framework enables optimization: given target rate and , find minimum- PDA. This is a combinatorial optimization problem.
Known approaches:
- Structured constructions. Yan-Cheng-Tang-Chen 2017: PDA from transversal designs, Steiner systems.
- Integer programming. Direct search for small instances.
- Graph-theoretic. Via coloring of constructed graphs (Β§14.3).
- Heuristics. Greedy / random search with rate / objective.
The design space has been actively explored since 2017. Several PDA constructions achieve polynomial in with small constant rate gap ( typically). This is the practical frontier for coded caching.
Key Takeaway
PDAs unify the coded-caching scheme design space. MAN is a specific PDA; simpler PDAs have polynomial and constant rate gap. The PDA framework is the right level of abstraction for engineering coded caching β it trades subpacketization (bad) against rate (good) in a principled way.