Compute-forward for DMCs: simultaneous decoding of multiple combinations
Files
First author draft
Date
2020-10
Authors
Lim, Sung Hoon
Feng, Chen
Pastore, Adriano
Nazer, Bobak
Gastpar, Michael
Version
OA Version
First author draft
Citation
Sung Hoon Lim, Chen Feng, Adriano Pastore, Bobak Nazer, Michael Gastpar. 2020. "Compute-Forward for DMCs: Simultaneous Decoding of Multiple Combinations." IEEE Transactions on Information Theory, Volume 66, Issue 10, pp. 6242 - 6255. https://doi.org/10.1109/TIT.2020.3009634
Abstract
Algebraic network information theory is an emerging facet of network information theory, studying the achievable rates of random code ensembles that have algebraic structure, such as random linear codes. A distinguishing feature is that linear combinations of codewords can sometimes be decoded more efficiently than codewords themselves. The present work further develops this framework by studying the simultaneous decoding of multiple messages. Specifically,} consider a receiver in a multi-user network that wishes to decode several messages. Simultaneous joint typicality decoding is one of the most powerful techniques for determining the fundamental limits at which reliable decoding is possible. This technique has historically been used in conjunction with random i.i.d. codebooks to establish achievable rate regions for networks. Recently, it has been shown that, in certain scenarios, nested linear codebooks in conjunction with "single-user"' or sequential decoding can yield better achievable rates. For instance, the compute--forward problem examines the scenario of recovering L <= K linear combinations of transmitted codewords over a K-user multiple-access channel (MAC), and it is well established that linear codebooks can yield higher rates. Here, we develop bounds for simultaneous joint typicality decoding used in conjunction with nested linear codebooks, and apply them to obtain a larger achievable region for compute--forward over a K-user discrete memoryless MAC. The key technical challenge is that competing codeword tuples that are linearly dependent on the true codeword tuple introduce statistical dependencies, which requires careful partitioning of the associated error events.