---
title: Hotplug Placement Delivery Arrays (HpPDAs)
url: https://www.emergentmind.com/topics/hotplug-placement-delivery-arrays-hppdas
type: topic
---

# Hotplug Placement Delivery Arrays (HpPDAs)

Searching arXiv for the cited HpPDA and hotplug coded caching papers to ground the article and confirm metadata.
Hotplug Placement Delivery Arrays (HpPDAs) are a combinatorial abstraction for centralized coded caching systems in which only a subset of users is active during the delivery phase. They generalize the classical Placement Delivery Array (PDA) formalism by separating placement structure from delivery structure: an HpPDA consists of a star-only array over all users together with a classical PDA over the active users, linked by a matching condition that must hold for every possible active subset. This construction captures the defining hotplug constraint that placement is performed without knowing which users will later be offline, while delivery must still exploit coded multicast opportunities among whichever \(K'\) users are active. HpPDAs were introduced for hotplug coded caching and subsequently used to derive MAN-induced and \(t\)-design-based schemes, later extended with MDS-coded placement and, under information-theoretic secrecy constraints, with secret sharing, Cauchy-matrix mixing, and masking keys [2311.02856] [2404.06433] [2507.13961].

## 1. Origin and system model

Hotplug coded caching modifies the Maddah-Ali–Niesen setting by allowing some users to be offline during delivery. In a \((K,K',N)\) hotplug system, a server stores \(N\) files and serves \(K\) users over an error-free shared link, but exactly \(K'\) users are active during delivery; the identities of those active users are unknown at placement time, although the value of \(K'\) is known [2404.06433]. Placement is centralized and demand-agnostic, and delivery must succeed for every active subset \(I \subseteq [K]\) with \(|I|=K'\) [2311.02856].

This model was first introduced by Ma and Tuninetti, and HpPDAs were later formulated to encode the combinatorial condition that a single placement pattern must support any realization of the active set [2404.06433] [2311.02856]. A fundamental implication of the hotplug model is that the system cannot outperform a classical coded caching problem with \(K'\) users, so converse bounds for the classical setting apply with \(K\) replaced by \(K'\) [2404.06433]. In the secretive hotplug setting, an additional lower bound from private or secretive coded caching implies \(R^* \ge 1\), so at least one file-size transmission is necessary under secrecy [2507.13961].

The central design objectives are therefore threefold: robustness to unknown offline users, efficient multicast coding during delivery, and control of rate, memory, and subpacketization. HpPDAs provide a compact way to express all three.

## 2. Formal definition and relation to classical PDAs

A classical \([K,F,Z,S]\)-PDA is an \(F \times K\) array whose entries are either stars or integers, with exactly \(Z\) stars in each column, every integer appearing at least once, and the standard PDA cross condition requiring that if the same integer appears twice, the corresponding \(2 \times 2\) subarray has stars off the diagonal [2507.13961]. A PDA induces a classical coded caching scheme with subpacketization \(F\), cache ratio \(M/N = Z/F\), and rate \(R=S/F\) [2507.13961] [2404.06433].

An HpPDA replaces the single array by a pair \((P,B)\). In the formulation used in the hotplug literature, \(P\) is an \(F \times K\) array with entries either “\(*\)” or null, each column containing exactly \(Z\) stars, while \(B\) is an \(F' \times K'\) classical \([K',F',Z',S]\)-PDA [2507.13961] [2404.06433]. The defining hotplug matching condition is that for every active subset \(\tau \subseteq [K]\) with \(|\tau|=K'\), there exists a row subset \(\zeta \subseteq [F]\) with \(|\zeta|=F'\) such that the subarray \([P]_{\zeta \times \tau}\) has the same star pattern as \(B\) [2311.02856].

This condition is the core of the framework. It means that once the active users are known, the server can select the corresponding rows \(\zeta\), fill the null entries of \([P]_{\zeta \times \tau}\) with the integer labels of \(B\), and recover a valid PDA for those active users. Delivery then proceeds exactly as in the classical PDA setting, but only on the induced subarray [2404.06433]. Offline users simply disappear from the induced delivery instance; the combinatorial structure required for decodability survives because the star pattern of \(B\) is guaranteed to appear inside \(P\) for every active set [2507.13961].

The parameter mapping depends on the specific construction. In the uncoded HpPDA scheme of the original formulation, the achievable point is
\[
\left(\frac{M}{N},R\right)=\left(\frac{Z}{F'},\frac{S}{F'}\right),
\]
with MDS coding across the \(F'\) subfiles to generate \(F\) coded subfiles [2311.02856]. In the later MDS-coded hotplug scheme, the placement dimension is enlarged to \(L = F' - Z' + Z\), yielding
\[
\left(\frac{M}{N},R\right)=\left(\frac{Z}{F'-Z'+Z},\frac{S}{F'-Z'+Z}\right),
\]
with operational subpacketization \(F\) [2404.06433]. In the secretive setting, the delivery load becomes
\[
R = \frac{S}{F' - Z'},
\]
because each multicast transmission carries one coded share of size \(B/(F'-Z')\) [2507.13961].

## 3. Placement and delivery mechanisms

The original HpPDA-based hotplug scheme uses an \([F,F']\) MDS code across file subfiles. Each file is partitioned into \(F'\) equal-sized subfiles and encoded into \(F\) coded subfiles indexed by the rows of \(P\); user \(k\) stores precisely those coded subfiles corresponding to star positions in column \(k\) of \(P\) [2311.02856]. When an active set \(I\) is revealed, the server chooses a row subset \(\zeta\) whose star pattern over columns \(I\) matches \(B\), fills the non-star entries with the integers of \(B\), and for each integer \(s \in [S]\) broadcasts the XOR of the coded subfiles indexed by entries equal to \(s\) [2311.02856].

The correctness argument is inherited from the classical PDA formalism. Because \(B\) satisfies the PDA cross condition, every user participating in a multicast already holds the interfering coded subfiles as side information and can therefore recover its desired coded subfile from that transmission [2404.06433]. Each active user obtains \(F' - Z'\) coded packets from delivery and already has \(Z\) coded packets from placement; with an \([F,L]\) MDS code of dimension \(L = F' - Z' + Z\), these \(L\) coded packets suffice to reconstruct the entire file [2404.06433].

The later MDS-coded scheme of Rajput and Rajan retains the same HpPDA combinatorics but shifts the operating point to lower memory. For a fixed HpPDA \((P,B)\), the earlier uncoded construction operates at \(M/N = Z/F'\), whereas the new scheme operates at \(M/N = Z/(F' - Z' + Z)\). Since \(Z' \le Z\), it follows that
\[
\frac{Z}{F' - Z' + Z} \le \frac{Z}{F'},
\]
so the new scheme moves to a smaller memory point and improves rate behavior in lower-memory regimes relative to the prior HpPDA-based construction [2404.06433].

A worked MAN-HpPDA example appears repeatedly in the literature: for \(K=6\), \(K'=4\), and \(t=2\), the parameters are \(F=15\), \(F'=6\), \(Z=5\), \(Z'=3\), and \(S=4\) [2311.02856] [2404.06433] [2507.13961]. In the non-secretive MDS-coded realization, \(L=F'-Z'+Z=8\), so a \([15,8]\) MDS code is used and the achieved point is \((M/N,R)=(5/8,1/2)\) [2404.06433]. In the earlier HpPDA realization with \(L=F'\), the same combinatorics yield \((M/N,R)=(5/6,2/3)\) [2311.02856]. This contrast illustrates how the same HpPDA can support different caching schemes depending on the coding layer placed on top of it.

## 4. Principal HpPDA constructions

Two HpPDA classes are explicitly identified in the literature: MAN-HpPDAs and HpPDAs derived from \(t\)-designs [2507.13961].

### MAN-HpPDAs

MAN-HpPDAs are obtained by taking the MAN PDA over \(K'\) users as the active-user delivery array \(B\), and the MAN PDA over \(K\) users with all integer entries replaced by null as the global placement array \(P\) [2311.02856]. For integers \(K\), \(K'\), and \(t\), the resulting parameters are
\[
F'=\binom{K'}{t}, \quad F=\binom{K}{t}, \quad
Z'=\binom{K'-1}{t-1}, \quad Z=\binom{K-1}{t-1}, \quad
S=\binom{K'}{t+1}.
\]
The HpPDA property follows from the combinatorial alignment of \(t\)-subsets: for any active set of size \(K'\), the rows corresponding to the \(t\)-subsets of that active set provide the required star pattern [2507.13961].

In the secretive setting, the MAN-HpPDA scheme achieves
\[
R=\frac{S}{F'-Z'}=\frac{\binom{K'}{t+1}}{\binom{K'-1}{t}}=\frac{K'}{t+1},
\]
and
\[
M=\frac{N\binom{K-1}{t-1}+\binom{K-1}{t}}{\binom{K'-1}{t}},
\]
with the special case \(t=K'-1\) yielding \(R=1\), which is optimal under the secrecy lower bound \(R \ge 1\) [2507.13961].

### HpPDAs from \(t\)-designs

The second class is derived from a \(t\)-\((v,k,\lambda)\) design \((X,\mathcal{A})\), with users indexed by points and rows indexed by blocks [2311.02856] [2507.13961]. The star-only array \(P\) is the transposed incidence matrix with “1” replaced by “\(*\)” and “0” by null, so \(K=v\), \(F=b=|\mathcal{A}|\), and each column has \(Z=\lambda_1\) stars [2311.02856]. The delivery PDA \(B\) is assembled from rows indexed by pairs \((Y,i)\), where \(Y\) is an \(s\)-subset of \([t]\) and \(i \in [a_s]\), for chosen integers \(a_s\) satisfying \(0 \le a_s \le \lambda_s^t\) [2507.13961].

The resulting parameters are
\[
F'=\sum_{s=1}^{t-1} a_s \binom{t}{s}, \quad
Z'=\sum_{s=1}^{t-1} a_s \binom{t-1}{s-1}, \quad
S=\sum_{s=1}^{t-1} a_s \binom{t}{s+1},
\]
and \((P,B)\) is an HpPDA for \(K'=t\) [2507.13961]. This construction is significant because it allows more flexible parameter tuning than MAN-HpPDAs and can reduce subpacketization relative to \(F=\binom{K}{t}\) in MAN-based schemes [2507.13961].

The earlier \(t\)-scheme literature also studies rate improvement by deleting certain integer labels from \(B\) when \(Z > Z'\), thereby reducing transmissions while preserving decodability [2311.02856]. For MAN-HpPDAs this yields an improved rate
\[
R = \frac{S - \left\lfloor \frac{K'}{t+1} \right\rfloor (Z-Z')}{F'},
\]
and for the \(t\)-design case a more general deletion formula based on layered MAN subarrays inside \(B\) [2311.02856]. This suggests that HpPDAs should be viewed not merely as static combinatorial objects, but as a basis for subsequent transmission-pruning mechanisms.

## 5. Secretive HpPDAs and information-theoretic secrecy

The paper "Secretive Hotplug Coded Caching" extends HpPDA-based hotplug systems with perfect information-theoretic secrecy [2507.13961]. The secrecy model assumes honest-but-curious, non-colluding users and public server transmissions. Two secrecy constraints are imposed. First, cache secrecy requires
\[
I(W_{[N]}; Z_i)=0 \quad \text{for every } i \in [K],
\]
so a cache alone reveals no information about any file [2507.13961]. Second, for each active user \(i \in I\) demanding \(W_{d_i}\), decodability and delivery secrecy require
\[
H(W_{d_i}\mid X,Z_i)=0, \qquad
I(W_{[N]\setminus \{d_i\}}; X,Z_i)=0,
\]
where \(X\) denotes the delivery transmissions [2507.13961].

The proposed secretive schemes share several coding ingredients. Each file is split into \(F'-Z'\) equal-size parts and encoded using a \((Z, F'-Z'+Z)\) non-perfect secret sharing scheme, so any set of at most \(Z\) shares leaks no information, while \(F'-Z'+Z\) shares suffice to reconstruct the file [2507.13961]. These shares are formed by linear combinations of file parts and independent keys via a square Cauchy matrix, ensuring that every submatrix is full rank and preventing linear leakage [2507.13961]. The resulting \(F'-Z'+Z\) shares are then encoded by an \((F, F'-Z'+Z)\) MDS code to produce \(F\) coded shares indexed by the rows of \(P\), and each cache stores the \(Z\) coded shares corresponding to star positions in its column [2507.13961].

Additional random vectors \(V\) are stored as one-time-pad keys to mask transmissions that are not useful to all active users [2507.13961]. In the secretive MAN-HpPDA scheme, for each \((t+1)\)-subset \(S\) of active users, the server transmits
\[
X_S = V_S \oplus \bigoplus_{k \in S} C_{d_k, S \setminus \{k\}},
\]
and only users in \(S\) possess the key \(V_S\) needed to remove the mask [2507.13961]. In the \(t\)-design-based secretive scheme, multicast signals indexed by subsets \(Y\) with \(|Y| \le t-1\) are similarly masked, while transmissions useful to all active users, corresponding to \(|Y|=t\), need not be masked [2507.13961].

A baseline secretive scheme, adapted from the classical PDA setting of Meel–Rajan, uses a \([K',F',Z',S]\)-PDA \(B\) directly and achieves memory
\[
M = \frac{NZ'}{F'-Z'} + 1
\]
and rate \(R = S/(F'-Z')\), where the additional \(+1\) term reflects a complete per-file key budget [2507.13961]. The HpPDA-based secretive schemes exploit the larger ambient \(K\) through the placement array \(P\) and outperform this baseline in specific memory ranges [2507.13961].

## 6. Performance, complexity, and known trade-offs

The literature emphasizes that HpPDAs are primarily a mechanism for navigating the memory–rate–subpacketization trade-off under hotplug constraints. Their main benefit is structural robustness: placement is fixed once for all users, yet delivery can adapt to any active subset through the subarray matching property [2311.02856] [2507.13961].

The following table summarizes the principal parameter mappings that recur across the literature.

| Construction | Achievable point | Notes |
|---|---|---|
| Original HpPDA scheme | \((M/N,R)=(Z/F',\, S/F')\) | Uses \([F,F']\) MDS coding [2311.02856] |
| MDS-coded HpPDA scheme | \((M/N,R)=\left(Z/(F'-Z'+Z),\, S/(F'-Z'+Z)\right)\) | Extends operation to lower memory [2404.06433] |
| Secretive HpPDA scheme | \(R=S/(F'-Z')\) | Adds non-perfect secret sharing, Cauchy mixing, masking [2507.13961] |

For MAN-HpPDAs, the subpacketization \(F=\binom{K}{t}\) grows combinatorially with \(K\), which can be prohibitive [2507.13961]. This is one of the major practical limitations of the MAN family. The \(t\)-design-based HpPDAs can have substantially smaller \(F=b\), where \(b\) is the number of blocks in the underlying design, and are therefore presented as a way to improve practicality while retaining good memory–rate performance [2507.13961]. The MDS and secret-sharing layers add further linear-algebraic complexity: MDS encoding and decoding involve finite-field operations across \(F\) coded packets, and the secretive schemes additionally require Cauchy-matrix-based share generation and one-time-pad key handling [2507.13961].

Several numerical comparisons are reported. For \((K,K',N)=(8,3,8)\), the secretive MAN-HpPDA scheme outperforms the secretive baseline in the low-memory region \(M \in [1, 11.9]\), with load decreasing from \(R \approx 3\) to \(\approx 1.45\), while the secretive \(t\)-design HpPDA scheme derived from a \(3\)-\((8,4,1)\) design outperforms the baseline in \(M \in [10.4, 15.7]\), with \(R\) from \(\approx 1.52\) down to \(\approx 1.25\) [2507.13961]. For \((12,3,12)\), the MAN-HpPDA scheme beats the baseline for \(M \in [1, 19.12]\), and the \(t\)-design scheme from a \(3\)-\((12,4,3)\) design beats the baseline over \(M \in [1, 28.3]\); between \(M \approx 13\) and \(M \approx 17.8\), the \(t\)-design scheme is better than MAN-HpPDA, while below \(M \approx 13\), MAN-HpPDA is better among the proposed schemes [2507.13961].

In the non-secretive MDS-coded setting, the same pattern appears. For \((8,3,8)\) with a \(3\)-\((8,4,1)\) design, the points \((7/11,5/11)\) and \((7/13,8/13)\) improve over both the baseline and the improved \(t\)-scheme in the memory interval from \(4.0975\) to \(5.4902\) file units [2404.06433]. For \((12,3,12)\), improvement is reported from \(M \approx 5.1968\) with \(R \approx 0.8504\) to \(M \approx 5.6410\) with \(R \approx 0.7436\) [2404.06433].

These results suggest a stable qualitative pattern: MAN-HpPDAs tend to be stronger in lower-memory regimes, while \(t\)-design HpPDAs become competitive or superior in moderate-memory regimes, especially when reduced subpacketization is valuable [2507.13961]. The papers stop short of a universal dominance statement, and the observed behavior is explicitly parameter-dependent.

## 7. Extensions, variants, and open directions

HpPDAs have already been generalized beyond the original dedicated-cache single-access model. A 2026 extension introduces a generalized HpPDA for combinatorial multi-access hotplug networks, where each user accesses multiple caches and only a subset of caches is online during delivery [2601.10503]. In that framework, a cache-level star array \(P_c\), a derived user-level array \(P\), and a family of PDAs \(\{B_j\}\) indexed by the number of online neighboring caches together replace the single pair \((P,B)\) [2601.10503]. This generalization preserves the central HpPDA principle—matching star patterns for every admissible online configuration—while broadening the topology to multi-access networks.

Several open directions are explicitly noted in the secretive hotplug literature. One is collusion: the current secrecy guarantees are for honest-but-curious, non-colluding users, and extending them to colluding sets remains open [2507.13961]. Another is decentralized placement: all HpPDA constructions discussed are centralized, and a decentralized hotplug analog with secrecy is not yet provided [2507.13961]. Heterogeneous cache sizes, joint file secrecy and demand privacy, and extensions to multi-server, combination-network, D2D, or fog-RAN settings are also identified as unresolved problems [2507.13961].

A further issue is subpacketization reduction. This theme already appears in the non-secretive literature, where \(t\)-design constructions are valued partly because they can reduce \(F\) relative to MAN-HpPDAs [2311.02856] [2404.06433]. The multi-access generalization continues this emphasis by allowing tunable parameters \(\{a_{s,j}\}\) that control redundancy elimination and subpacketization [2601.10503]. A plausible implication is that future HpPDA research will focus less on introducing the abstraction itself—which is now mature—and more on exploiting it as a design template for new combinatorial families with better rate–memory–subpacketization trade-offs under richer operational constraints.

In summary, HpPDAs occupy a specific role in coded caching theory: they are the canonical combinatorial mechanism for hotplug robustness. Their importance lies not in a single scheme, but in the way they decouple global placement from active-set-specific delivery. MAN-HpPDAs and \(t\)-design HpPDAs provide the two foundational construction classes, the MDS-coded refinement shifts achievable points to lower memory, and the secretive extension shows that the same combinatorial skeleton can support perfect information-theoretic secrecy through layered coding and masking [2311.02856] [2404.06433] [2507.13961].

Source: https://www.emergentmind.com/topics/hotplug-placement-delivery-arrays-hppdas