Abstract:This paper considers a massive connectivity setting in which a base-station (BS) aims to communicate sources $(X_1,\cdots,X_k)$ to a randomly activated subset of $k$ users, among a large pool of $n$ users, via a common downlink message. Although the identities of the $k$ active users are assumed to be known at the BS, each active user only knows whether itself is active and does not know the identities of the other active users. A naive coding strategy is to transmit the sources alongside the identities of the users for which the source information is intended, which would require $H(X_1,\cdots,X_k) + k\log(n)$ bits, because the cost of specifying the identity of a user is $\log(n)$ bits. For large $n$, this overhead can be significant. This paper shows that it is possible to develop coding techniques that eliminate the dependency of the overhead on $n$, if the source distribution follows certain symmetry. Specifically, if the source distribution is independent and identically distributed (i.i.d.) then the overhead can be reduced to at most $O(\log(k))$ bits, and in case of uniform i.i.d. sources, the overhead can be further reduced to $O(1)$ bits. For sources that follow a more general exchangeable distribution, the overhead is at most $O(k)$ bits, and in case of finite-alphabet exchangeable sources, the overhead can be further reduced to $O(\log(k))$ bits. The downlink massive random access problem is closely connected to the study of finite exchangeable sequences. The proposed coding strategy allows bounds on the relative entropy distance between finite exchangeable distributions and i.i.d. mixture distributions to be developed, and gives a new relative entropy version of the finite de Finetti theorem which is scaling optimal.

On the set of uniquely decodable codes with a given sequence of code word lengths

Query-Efficient Locally Decodable Codes of Subexponential Length

List-decodable Codes and Covering Codes

Explicit Good Codes Approaching Distance 1 in Ulam Metric

On the Capacity of Locally Decodable Codes

Redundancy Estimates for Word-Based Encoding of Sequences Produced by a Bernoulli Source

Bounded-degree Low Rank Parity Check Codes

On Duplication-Free Codes for Disjoint or Equal-Length Errors

On a class of $(δ+αu^2)$-constacyclic codes over $\mathbb{F}_{q}[u]/\langle u^4\rangle$

Nonlinear Codes with Low Redundancy

AG codes have no list-decoding friends: Approaching the generalized Singleton bound requires exponential alphabets

Lengths of divisible codes -- the missing cases

Coded Downlink Massive Random Access and a Finite de Finetti Theorem

Universal Slepian-Wolf coding for individual sequences

Randomness-Efficient Constructions of Capacity-Achieving List-Decodable Codes

On the Second Separating Redundancy of LDPC Codes from Finite Planes.

A New Class of Linear Codes

Bounds and Constructions of $\ell$-Read Codes under the Hamming Metric

Combinatorial Alphabet-Dependent Bounds for Locally Recoverable Codes

A Novel Ultra-Reliable Decoder of Short Rate-Compatible Codes for Mission Critical Communications