American Institute of Mathematical Sciences

February  2017, 11(1): 1-65. doi: 10.3934/amc.2017001

Recursive descriptions of polar codes

 School of Electrical Engineering, Tel Aviv University, Ramat Aviv 69978 Israel

Received  February 2015 Revised  June 2016 Published  February 2017

Polar codes are recursive general concatenated codes. This property motivates a recursive formalization of the known decoding algorithms: Successive Cancellation, Successive Cancellation with Lists and Belief Propagation. Using such description allows an easy development of these algorithms for arbitrary polarizing kernels. Hardware architectures for these decoding algorithms are also described in a recursive way, both for Arıkan's standard polar codes and for arbitrary polarizing kernels.

Citation: Noam Presman, Simon Litsyn. Recursive descriptions of polar codes. Advances in Mathematics of Communications, 2017, 11 (1) : 1-65. doi: 10.3934/amc.2017001
References:

show all references

References:
A GCC representation of a polar code of length $\ell^n$ symbols constructed by a homogenous kernel according to Definition 1
Example 1's GCC representation (Arıkan's construction)
Representation of a polar code with kernel of $\ell = 2$ dimensions as a layered factor graph
Representation of a polar code with kernel of $\ell = 2$ dimensions as a layered factor graph (detailed version of Figure 3-recursion unfolded)
Normal factor graph representation of the $g(\cdot)$ block from Figures 3 and 4 for Arikan's $(u+v, v)$ construction
A GCC representation of the length $N=4^n$ bits mixed-kernels polar code $g^{(n)}(\cdot)$ described in Example 3
Decoding tree for $(u+v, v)$ polar code illustrating the decision space of the SC and SCL algorithms
Representation of SC as a sequential walk on a decoding tree
SCL ($L=4$) algorithm example of $(u+v, v)$ with $N=8$ bits (see Figure 7) illustrated on the right a decoding tree on the outer-codes of the structure ($\mathcal{C}_{0}, \mathcal{C}_{1}$). The left decoding tree expands each edge of the right tree into decoding-paths on the outer-codes of $\mathcal{C}_{0}$ and $\mathcal{C}_{1}$. The labels of the edges are the values of the outer-codes.
Normal factor graphs representations of polar codes kernels
Messages of BP algorithm
Normal factor graph representation for the first kernel of Example 4. This kernel is constructed by gluing inputs $u_{1}, u_2$ of the mapping defined by the generating matrix $\bf G$
$(u+v, v)$ polar code PE block
Blocks of the $(u+v, v)$ polar code decoders of length $N$ bits
Block diagram for the SC pipeline decoder
Block diagram for the SC line decoder
Block diagram for the limited parallelism line decoder
BP line decoder components definitions
Block diagram for the BP line decoder. Details of figure appear in Figures 20, 21 and 22 corresponding to sub-figures A, B and C respectively.
Block diagram for the BP line decoder (Figure 19) -zoom-in: Sub-figure A
Block diagram for the BP line decoder (Figure 19) -zoom-in: Sub-figure B
Block diagram for the BP line decoder (Figure 19) -zoom-in: Sub-figure C
Block definitions of SC line decoder for polar code of length $N$ based on a linear $\ell$ dimensions kernel with alphabet $F$
Routing tables for OP-MUX and OP-DEMUX in Figure 18
 $c^{(opMux)}, c^{(opDeMux)}$ $c^{(BPPE)}$ $\mu^{(in)}_0$ $\mu^{(in)}_1$ $\mu^{(out)}$ Equation $0$ $0$ $\mu^{(in)}_{x_1}$ $\mu^{(in)}_{u_1}$ $\mu_{e_1\rightarrow a_0}$ (45) $1$ $1$ $\mu^{(in)}_{x_0}$ $\mu^{(in)}_{u_0}$ $\mu_{a_0 \rightarrow e_1}$ (46) $2$ $1$ $\mu^{(in)}_{x_0}$ $\mu_{e_1\rightarrow a_0}$ $\mu_{u_0}^{(out)}$ (47) $3$ $0$ $\mu^{(in)}_{x_1}$ $\mu_{a_0\rightarrow e_1}$ $\mu_{u_1}^{(out)}$ (48) $4$ $1$ $\mu^{(in)}_{u_0}$ $\mu_{e_1\rightarrow a_0}$ $\mu_{x_0}^{(out)}$ (49) $5$ $0$ $\mu^{(in)}_{u_1}$ $\mu_{a_0\rightarrow e_1}$ $\mu_{x_1}^{(out)}$ (50) $6$ $0$ or $1$ $\mu^{(ext, in)}_0$ $\mu^{(ext, in)}_1$ $\mu^{(ext, out)}$ (80)
 $c^{(opMux)}, c^{(opDeMux)}$ $c^{(BPPE)}$ $\mu^{(in)}_0$ $\mu^{(in)}_1$ $\mu^{(out)}$ Equation $0$ $0$ $\mu^{(in)}_{x_1}$ $\mu^{(in)}_{u_1}$ $\mu_{e_1\rightarrow a_0}$ (45) $1$ $1$ $\mu^{(in)}_{x_0}$ $\mu^{(in)}_{u_0}$ $\mu_{a_0 \rightarrow e_1}$ (46) $2$ $1$ $\mu^{(in)}_{x_0}$ $\mu_{e_1\rightarrow a_0}$ $\mu_{u_0}^{(out)}$ (47) $3$ $0$ $\mu^{(in)}_{x_1}$ $\mu_{a_0\rightarrow e_1}$ $\mu_{u_1}^{(out)}$ (48) $4$ $1$ $\mu^{(in)}_{u_0}$ $\mu_{e_1\rightarrow a_0}$ $\mu_{x_0}^{(out)}$ (49) $5$ $0$ $\mu^{(in)}_{u_1}$ $\mu_{a_0\rightarrow e_1}$ $\mu_{x_1}^{(out)}$ (50) $6$ $0$ or $1$ $\mu^{(ext, in)}_0$ $\mu^{(ext, in)}_1$ $\mu^{(ext, out)}$ (80)
 [1] Min Ye, Alexander Barg. Polar codes for distributed hierarchical source coding. Advances in Mathematics of Communications, 2015, 9 (1) : 87-103. doi: 10.3934/amc.2015.9.87 [2] Arseny Egorov. Morse coding for a Fuchsian group of finite covolume. Journal of Modern Dynamics, 2009, 3 (4) : 637-646. doi: 10.3934/jmd.2009.3.637 [3] Miguel Mendes. A note on the coding of orbits in certain discontinuous maps. Discrete & Continuous Dynamical Systems - A, 2010, 27 (1) : 369-382. doi: 10.3934/dcds.2010.27.369 [4] Keisuke Minami, Takahiro Matsuda, Tetsuya Takine, Taku Noguchi. Asynchronous multiple source network coding for wireless broadcasting. Numerical Algebra, Control & Optimization, 2011, 1 (4) : 577-592. doi: 10.3934/naco.2011.1.577 [5] Carla Mascia, Giancarlo Rinaldo, Massimiliano Sala. Hilbert quasi-polynomial for order domains and application to coding theory. Advances in Mathematics of Communications, 2018, 12 (2) : 287-301. doi: 10.3934/amc.2018018 [6] T. Jäger. Neuronal coding of pacemaker neurons -- A random dynamical systems approach. Communications on Pure & Applied Analysis, 2011, 10 (3) : 995-1009. doi: 10.3934/cpaa.2011.10.995 [7] Shinsuke Koyama, Lubomir Kostal. The effect of interspike interval statistics on the information gain under the rate coding hypothesis. Mathematical Biosciences & Engineering, 2014, 11 (1) : 63-80. doi: 10.3934/mbe.2014.11.63 [8] Stefan Martignoli, Ruedi Stoop. Phase-locking and Arnold coding in prototypical network topologies. Discrete & Continuous Dynamical Systems - B, 2008, 9 (1) : 145-162. doi: 10.3934/dcdsb.2008.9.145 [9] Giuseppe Bianchi, Lorenzo Bracciale, Keren Censor-Hillel, Andrea Lincoln, Muriel Médard. The one-out-of-k retrieval problem and linear network coding. Advances in Mathematics of Communications, 2016, 10 (1) : 95-112. doi: 10.3934/amc.2016.10.95 [10] Vincent Astier, Thomas Unger. Galois extensions, positive involutions and an application to unitary space-time coding. Advances in Mathematics of Communications, 2019, 13 (3) : 513-516. doi: 10.3934/amc.2019032 [11] Qian Guo, Thomas Johansson, Erik Mårtensson, Paul Stankovski Wagner. Some cryptanalytic and coding-theoretic applications of a soft stern algorithm. Advances in Mathematics of Communications, 2019, 13 (4) : 559-578. doi: 10.3934/amc.2019035 [12] Georgy L. Alfimov, Pavel P. Kizin, Dmitry A. Zezyulin. Gap solitons for the repulsive Gross-Pitaevskii equation with periodic potential: Coding and method for computation. Discrete & Continuous Dynamical Systems - B, 2017, 22 (4) : 1207-1229. doi: 10.3934/dcdsb.2017059 [13] Lassi Roininen, Markku S. Lehtinen. Perfect pulse-compression coding via ARMA algorithms and unimodular transfer functions. Inverse Problems & Imaging, 2013, 7 (2) : 649-661. doi: 10.3934/ipi.2013.7.649 [14] Kyung Jae Kim, Jin Soo Park, Bong Dae Choi. Admission control scheme of extended rtPS algorithm for VoIP service in IEEE 802.16e with adaptive modulation and coding. Journal of Industrial & Management Optimization, 2010, 6 (3) : 641-660. doi: 10.3934/jimo.2010.6.641 [15] Gokhan Calis, O. Ozan Koyluoglu. Architecture-aware coding for distributed storage: Repairable block failure resilient codes. Advances in Mathematics of Communications, 2018, 12 (3) : 465-503. doi: 10.3934/amc.2018028 [16] Jonas Eriksson. A weight-based characterization of the set of correctable error patterns under list-of-2 decoding. Advances in Mathematics of Communications, 2007, 1 (3) : 331-356. doi: 10.3934/amc.2007.1.331 [17] Easton Li Xu, Weiping Shang, Guangyue Han. Network encoding complexity: Exact values, bounds, and inequalities. Advances in Mathematics of Communications, 2017, 11 (3) : 567-594. doi: 10.3934/amc.2017044 [18] Anton Petrunin. Correction to: Metric minimizing surfaces. Electronic Research Announcements, 2018, 25: 96-96. doi: 10.3934/era.2018.25.010 [19] Kwankyu Lee. Decoding of differential AG codes. Advances in Mathematics of Communications, 2016, 10 (2) : 307-319. doi: 10.3934/amc.2016007 [20] Elisa Gorla, Felice Manganiello, Joachim Rosenthal. An algebraic approach for decoding spread codes. Advances in Mathematics of Communications, 2012, 6 (4) : 443-466. doi: 10.3934/amc.2012.6.443

2018 Impact Factor: 0.879