How to Achieve the Capacity of Asymmetric Channels

We survey coding techniques that enable reliable transmission at rates that approach the capacity of an arbitrary discrete memoryless channel. In particular, we take the point of view of modern coding theory and discuss how recent advances in coding for symmetric channels help provide more efficient solutions for the asymmetric case. We consider, in more detail, three basic coding paradigms. The first one is Gallager’s scheme that consists of concatenating a linear code with a non-linear mapping so that the input distribution can be appropriately shaped. We explicitly show that both polar codes and spatially coupled codes can be employed in this scenario. Furthermore, we derive a scaling law between the gap to capacity, the cardinality of the input and output alphabets, and the required size of the mapper. The second one is an integrated scheme in which the code is used both for source coding, in order to create codewords distributed according to the capacity-achieving input distribution, and for channel coding, in order to provide error protection. Such a technique has been recently introduced by Honda and Yamamoto in the context of polar codes, and we show how to apply it also to the design of sparse graph codes. The third paradigm is based on an idea of Bocherer and Mathar, and separates the two tasks of source coding and channel coding by a chaining construction that binds together several codewords. We present conditions for the source code and the channel code, and we describe how to combine any source code with any channel code that fulfill those conditions, in order to provide capacity-achieving schemes for asymmetric channels. In particular, we show that polar codes, spatially coupled codes, and homophonic codes are suitable as basic building blocks of the proposed coding strategy. Rather than focusing on the exact details of the schemes, the purpose of this tutorial is to present different coding techniques that can then be implemented with many variants. There is no absolute winner and, in order to understand the most suitable technique for a specific application scenario, we provide a detailed comparison that takes into account several performance metrics.

[1]  Rüdiger L. Urbanke,et al.  Achieving Marton’s Region for Broadcast Channels Using Polar Codes , 2014, IEEE Transactions on Information Theory.

[2]  Harm S. Cronie,et al.  Lossless source coding with polar codes , 2010, 2010 IEEE International Symposium on Information Theory.

[3]  Rajai Nasser An Ergodic Theory of Binary Operations—Part I: Key Properties , 2016, IEEE Transactions on Information Theory.

[4]  Zhengmin Zhang,et al.  Estimating Mutual Information Via Kolmogorov Distance , 2007, IEEE Transactions on Information Theory.

[5]  Rudolf Mathar,et al.  Operating LDPC codes with zero shaping gap , 2011, 2011 IEEE Information Theory Workshop.

[6]  Rüdiger L. Urbanke,et al.  Modern Coding Theory , 2008 .

[7]  Michael Lentmaier,et al.  Asymptotic analysis of spatially coupled MacKay-Neal and Hsu-Anastasopoulos LDPC codes , 2012, 2012 International Symposium on Information Theory and its Applications.

[8]  Kenta Kasai,et al.  Spatially-coupled MacKay-Neal codes and Hsu-Anastasopoulos codes , 2011, 2011 IEEE International Symposium on Information Theory Proceedings.

[9]  Lele Wang,et al.  Linear code duality between channel coding and Slepian-Wolf coding , 2015, 2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton).

[10]  Christoph G. Günther,et al.  A Universal Algorithm for Homophonic Coding , 1988, EUROCRYPT.

[11]  D. A. Bell,et al.  Information Theory and Reliable Communication , 1969 .

[12]  Rüdiger L. Urbanke,et al.  Construction of polar codes with sublinear complexity , 2016, 2017 IEEE International Symposium on Information Theory (ISIT).

[13]  H. Rumsey,et al.  Two Results On Binary-input Discrete Memoryless Channels , 1991, Proceedings. 1991 IEEE International Symposium on Information Theory.

[14]  Rudiger Urbanke,et al.  From Polar to Reed-Muller Codes: A Technique to Improve the Finite-Length Performance , 2014, IEEE Trans. Commun..

[15]  Emmanuel Abbe,et al.  Randomness and Dependencies Extraction via Polarization, With Applications to Slepian–Wolf Coding and Secrecy , 2011, IEEE Transactions on Information Theory.

[16]  Michael Gastpar,et al.  Polar Codes for Broadcast Channels , 2013, IEEE Transactions on Information Theory.

[17]  Rüdiger L. Urbanke,et al.  Polar Codes are Optimal for Lossy Source Coding , 2009, IEEE Transactions on Information Theory.

[18]  Emre Telatar,et al.  On the rate of channel polarization , 2008, 2009 IEEE International Symposium on Information Theory.

[19]  Thomas M. Cover,et al.  Elements of Information Theory , 2005 .

[20]  Paul H. Siegel,et al.  Capacity-approaching bandwidth-efficient coded modulation schemes based on low-density parity-check codes , 2003, IEEE Trans. Inf. Theory.

[21]  Toshiyuki Tanaka,et al.  Channel polarization on q-ary discrete memoryless channels by arbitrary kernels , 2010, 2010 IEEE International Symposium on Information Theory.

[22]  Rongke Liu,et al.  Construction of polar codes for channels with memory , 2015, 2015 IEEE Information Theory Workshop - Fall (ITW).

[23]  Pablo M. Olmos,et al.  A Scaling Law to Predict the Finite-Length Performance of Spatially-Coupled LDPC Codes , 2014, IEEE Transactions on Information Theory.

[24]  H. Vincent Poor,et al.  Density evolution for asymmetric memoryless channels , 2005, IEEE Transactions on Information Theory.

[25]  Alexander Vardy,et al.  How to Construct Polar Codes , 2011, IEEE Transactions on Information Theory.

[26]  Emre Telatar,et al.  Polarization for arbitrary discrete memoryless channels , 2009, 2009 IEEE Information Theory Workshop.

[27]  Marc Mézard,et al.  The theoretical capacity of the Parity Source Coder , 2005, ArXiv.

[28]  David Burshtein,et al.  Improved Bounds on the Finite Length Scaling of Polar Codes , 2013, IEEE Transactions on Information Theory.

[29]  Robert J. McEliece Are Turbo-like Codes Effective on Nonstandard Channels?* , 2001 .

[30]  Rüdiger L. Urbanke,et al.  Finite-Length Scaling for Polar Codes , 2013, IEEE Transactions on Information Theory.

[31]  Rüdiger L. Urbanke,et al.  Spatially coupled ensembles universally achieve capacity under belief propagation , 2012, 2012 IEEE International Symposium on Information Theory Proceedings.

[32]  Erdal Arikan,et al.  Channel Polarization: A Method for Constructing Capacity-Achieving Codes for Symmetric Binary-Input Memoryless Channels , 2008, IEEE Transactions on Information Theory.

[33]  Rajai Nasser Ergodic theory meets polarization I: A foundation of polarization theory , 2015, 2015 IEEE International Symposium on Information Theory (ISIT).

[34]  S. Verdú,et al.  Noiseless Data Compression with Low-Density Parity-Check Codes , 2003, Advances in Network Information Theory.

[35]  Kenta Kasai,et al.  Design and Performance of Rate-Compatible Non-binary LDPC Convolutional Codes , 2010, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

[36]  Rüdiger L. Urbanke,et al.  Polar codes: Robustness of the successive cancellation decoder with respect to quantization , 2012, 2012 IEEE International Symposium on Information Theory Proceedings.

[37]  Emre Telatar,et al.  Polar Codes for the Two-User Multiple-Access Channel , 2010, IEEE Transactions on Information Theory.

[38]  Junya Honda,et al.  Efficient Polar and LDPC Coding for Asymmetric Channels and Sources , 2013 .

[39]  Giulio Colavolpe,et al.  Nonbinary spatially-coupled LDPC codes on the binary erasure channel , 2013, 2013 IEEE International Conference on Communications (ICC).

[40]  Junya Honda,et al.  Polar Coding Without Alphabet Extension for Asymmetric Models , 2013, IEEE Transactions on Information Theory.

[41]  Erdal Arikan,et al.  Source polarization , 2010, 2010 IEEE International Symposium on Information Theory.

[42]  Toshiaki Koike-Akino,et al.  Threshold analysis of non-binary spatially-coupled LDPC codes with windowed decoding , 2014, 2014 IEEE International Symposium on Information Theory.

[43]  Alexander Vardy,et al.  List Decoding of Polar Codes , 2015, IEEE Transactions on Information Theory.

[44]  Rajai Nasser An Ergodic Theory of Binary Operations—Part II: Applications to Polarization , 2017, IEEE Transactions on Information Theory.

[45]  Alexandre Graell i Amat,et al.  Threshold Saturation for Nonbinary SC-LDPC Codes on the Binary Erasure Channel , 2016, IEEE Transactions on Information Theory.

[46]  Jun Muramatsu,et al.  Construction of a Lossy Source Code Using LDPC Matrices , 2007, 2007 IEEE International Symposium on Information Theory.

[47]  Jun Muramatsu,et al.  Channel Coding and Lossy Source Coding Using a Generator of Constrained Random Numbers , 2013, IEEE Transactions on Information Theory.

[48]  Shlomo Shamai,et al.  A new data compression algorithm for sources with memory based on error correcting codes , 2003, Proceedings 2003 IEEE Information Theory Workshop (Cat. No.03EX674).

[49]  Rüdiger L. Urbanke,et al.  Universal polar codes , 2013, 2014 IEEE International Symposium on Information Theory.

[50]  Alexander Barg,et al.  Polar Codes for $q$-Ary Channels, $q=2^{r}$ , 2013, IEEE Trans. Inf. Theory.

[51]  Mamoru Hoshi,et al.  Interval algorithm for homophonic coding , 2001, IEEE Trans. Inf. Theory.

[52]  Jun Muramatsu,et al.  Hash Property and Coding Theorems for Sparse Matrices and Maximum-Likelihood Coding , 2008, IEEE Transactions on Information Theory.

[53]  Rajai Nasser,et al.  Polar Codes for Arbitrary DMCs and Arbitrary MACs , 2016, IEEE Transactions on Information Theory.

[54]  Jun Muramatsu,et al.  A Construction of Channel Code, Joint Source-Channel Code, and Universal Code for Arbitrary Stationary Memoryless Channels Using Sparse Matrices , 2009 .

[55]  Vincent Y. F. Tan,et al.  On the Scaling Exponent of Polar Codes for Binary-Input Energy-Harvesting Channels , 2016, IEEE Journal on Selected Areas in Communications.

[56]  Meir Feder,et al.  The uniform distribution as a universal prior , 2004, IEEE Transactions on Information Theory.

[57]  Xue-Bin Liang On a conjecture of Majani and Rumsey , 2004, International Symposium onInformation Theory, 2004. ISIT 2004. Proceedings..

[58]  Aria Ghasemian Sahebi,et al.  Multilevel Channel Polarization for Arbitrary Discrete Memoryless Channels , 2013, IEEE Transactions on Information Theory.

[59]  Emre Telatar,et al.  On the construction of polar codes , 2011, 2011 IEEE International Symposium on Information Theory Proceedings.

[60]  Joseph M. Renes,et al.  Achieving the capacity of any DMC using only polar codes , 2012, 2012 IEEE Information Theory Workshop.

[61]  Alexander Vardy,et al.  A new polar coding scheme for strong security on wiretap channels , 2013, 2013 IEEE International Symposium on Information Theory.

[62]  Santhosh Kumar,et al.  Spatially-coupled codes for side-information problems , 2014, 2014 IEEE International Symposium on Information Theory.

[63]  Nicolas Macris,et al.  Approaching the Rate-Distortion Limit With Spatial Coupling, Belief Propagation, and Decimation , 2015, IEEE Transactions on Information Theory.

[64]  Lele Wang,et al.  Universal polarization , 2014, ISIT.

[65]  Imre Csiszár,et al.  Information Theory - Coding Theorems for Discrete Memoryless Systems, Second Edition , 2011 .