Apparatus and method for generating polar codes

Abstract

A method for generating a polar code cN of length N and dimension K, on the basis of a generator matrix GN of size N×N, is provided. The method includes generating a distance spectrum vector dTp=(dTp(1), . . . , dTp(p)) of size p of the kernel Tp, wherein dTp(h), h=1, . . . , p, corresponds to a maximum value among all possible minimum distances of all possible polar codes of size p and dimension h generated on the basis of the kernel Tp. The method also includes generating a distance spectrum vector dGN of size N of the generator matrix GN on the basis of the distance spectrum vector dTp, determining the set of K information bit indices I on the basis of the distance spectrum vector dGN, and generating the polar code cN on the basis of the set of K information bit indices I.

Description

TECHNICAL FIELD

In general, embodiments of the present invention relate to data encoding and decoding in communication systems. More specifically, the present invention relates to an apparatus and method for generating polar codes.

BACKGROUND

Reliable transmission of data over noisy communication channels generally requires some kind of error correction coding to be used. Polar codes were shown to achieve the Shannon capacity of many channels. See, E. Arikan, “Channel polarization: A method for constructing capacity achieving codes for symmetric binary-input memoryless channels”, IEEE Trans. on Inf. Theory, vol. 55, no. 7, pp. 3051-3073, July 2009).

In their original or classical construction as specified in the above mentioned work by Arikan, polar codes are based on the polarization effect generated by the Kronecker products of the following kernel:

$T_2=\left(\begin{array}{cc}1& 0\\ 1& 1\end{array}\right).$

In general, a classical polar code of length N and dimension K is defined by a generator matrix G_N=T₂^⊗n, N=2ⁿ, and a set of frozen bit indices F⊂[N], [N]={0, 1, . . . , N−1}, wherein the size of the set of frozen bit indices F is given by |F|=N−K. A set of K information bit indices I is defined as the complementary set of the set of frozen bit indices, namely I=[N]\F, and therefore |I|=K.

In order to encode the K information bits into a polar code or codeword c_N of length N, the elements u_i of a binary input vector u_N of length N are set equal to zero for i∈F and equal to the K information bits for i∈I. Then, the encoded polar code c_N can be obtained as:c_N=u_N·G_N.

According to the classical construction of polar codes, the effective generator matrix G_N is a sub-matrix of T₂^⊗n formed by rows of T₂^⊗n. As a consequence, only polar codes having a length of powers of 2, namely N=2ⁿ, can be generated. Therefore, given a code dimension (i.e. number of information bits) K, classical polar codes admit only a polar code rate R=K/N, under the condition that N is a power of 2.

The relationship between the input vector u_N and the polar code c_N can also be represented by a Tanner graph. An example of such a graph is provided in FIG. 1, wherein N=8 and G₈=T₂^⊗3. In particular, in FIG. 1, the three stages result from n=3, and P⁻¹ denotes the inverse bit-reversal permutation of length 8 (for more details, see the aforementioned work by Arikan). This graph is also the basis for decoding algorithms used to decode the polar code c_N in order to get the input vector u_N and, therefore, the K encoded information bits.

As already mentioned above, a major drawback of the polar codes constructed by making use of only one kernel, i.e. T₂, is that the code lengths are restricted to powers of 2, i.e., N=2ⁿ. This is not sufficient to cover the diversity of block lengths demanded by modern communication systems. Using the so-called puncturing or shortening techniques from coding theory, the codes can be trimmed to any code length (see, e.g., “A Novel Puncturing Scheme for Polar Codes”, by Wang et. al., IEEE Comm. Lett., December 2014, “On the Puncturing Patterns for Punctured Polar Codes”, IEEE ISIT, July 2014, by Zhang et. al., and “Beyond Turbo Codes: Rate-Compatible Punctured Polar Codes”, IEEE ICC, June 2013, by C. Kai et al.). However, the main shortcomings of puncturing and shortening techniques of original polar codes is the lack of structure of the frozen sets and puncturing or shortening patterns generated by these methods. In particular, every modified code has a completely different set of frozen bit indices and puncturing or shortening pattern that has to be stored or calculated on the fly. Hence, these methods are not practical to implement due to their high latency and are not simple to describe in a systematic manner, such as tables of nested sets. Moreover, puncturing and shortening lead to a loss of performance compared to a full code.

Another approach to overcome the problem of the length of polar codes, which makes use of constructions of generator matrices based on several kernels, is disclosed in PCT/EP2016/069593. On the basis of this approach, multi-kernel polar codes of lengths N that are not only powers of two can be constructed. In particular, the original polar codes constructed on the basis of the kernel T₂ are a sub-case of multi-kernel polar codes wherein the block length N is a power of 2. In general, multi-kernel polar codes have a good performance while the encoding complexity remains low, and the decoding follows the same general structure as for usual binary kernel codes. In particular, the original polar codes constructed on the basis of the kernel T₂ are a sub-case of multi-kernel polar codes where the block length N is a power of 2. The multi-kernel construction of polar codes largely increases the number of code lengths that can be achieved without making use of the techniques of puncturing or shortening. However, the performance of multi-kernel polar codes crucially depends on the kernels which are used to construct the generator matrix.

Furthermore, in the construction of polar codes, besides the importance of determining a good generator matrix G_N, the generation of the set of information bit indices plays also a very important role. In fact, the main idea behind the classical construction of polar codes is that, based on successive-cancellation (SC) decoding, some bit indices of the input vector u_N can be more reliable than other bit indices in terms of transmission probability or reliability, and this is also known as the polarization phenomenon, and thus the name “polar code”.

In a current system, the information bits are put in the most reliable positions of the input vector u_N, while the unreliable positions are fixed to the bit value 0, also called frozen bits. The reliability of input bit positions can be obtained, for example, by density evolution algorithms, genie-aided simulation, or other similar methods (e.g., see “A comparative study of polar code constructions for the AWGN channel,” by H. Vangala et. al, arXiv:1501.02473, 2015). Such a construction of polar codes is appropriate especially for long codes under SC decoding. However, for short codes under list decoding, such a construction of polar codes, and, in particular, of multi-kernel polar codes does not provide a good block error rate (BLER) performance. This is due to the fact that this construction relies on the polarization effect as mentioned above, and polarization needs a large code length to be effective. Thus, for short code lengths, the polarization does not occur. Moreover, the density evolution algorithm employed in the calculation of the reliabilities of the bits is quite complex, and this increases the latency of the encoder used to encode the input vector u_N and of the decoder used to decode the polar code c_N in order to obtain u_N. In particular, this is an important issue for short codes, where the complexity of the density evolution algorithm is significant compared to the encoding complexity.

Thus, there is a need for an improved apparatus and method for generating a polar code in a less complex manner.

SUMMARY

It is an object of the invention to provide for an improved apparatus and method for generating a polar code in a less complex manner.

The foregoing and other objects are achieved by the subject matter of the independent claims. Further implementation forms are apparent from the dependent claims, the description and the figures.

According to a first aspect, embodiments of the present invention relate to an apparatus for generating a polar code c_N of length N and dimension K, on the basis of a generator matrix G_N of size N×N, wherein the generator matrix G_N is based on a kernel T_p of size p×p, with p≤N. The polar code c_N is given by c_N=u_N·G_N, wherein u_N=(u₀, . . . , u_N-1) is a vector of size N, u_i, i=0, . . . N−1, corresponding to an information bit if i∈I, I being a set of K information bit indices, and u_i=0, if i∈F, F being a set of N−K frozen bit indices. The apparatus comprises a processor configured to: generate a distance spectrum vector d_Tp=(d_Tp(1), . . . , d_Tp(p)) of size p of the kernel T_p, wherein d_Tp(h), h=1, . . . , p, corresponds to a maximum value among all possible minimum distances of all possible polar codes of size p and dimension h generated on the basis of the kernel T_p. The processor is also configured to generate a distance spectrum vector d_GN of size N of the generator matrix G_N on the basis of the distance spectrum vector d_Tp. The processor is also configured to determine the set of K information bit indices I on the basis of the distance spectrum vector d_GN, and generate the polar code c_N on the basis of the set of K information bit indices I.

Thus, an improved apparatus for generating a polar code in a less complex manner is provided.

In a first possible implementation form of the apparatus according to the first aspect as such, p=3 and the kernel T₃ is given by the following equation:

$T_3=\left(\begin{array}{ccc}1& 1& 1\\ 1& 0& 1\\ 0& 1& 1\end{array}\right).$

In a second possible implementation form of the apparatus according to the first implementation form of the first aspect, the generator matrix G_N is given by the following equation:G_N=G′_n⊗T₃,wherein G′_n represents a first additional generator matrix and ⊗ represents the Kronecker product operator.

In a third possible implementation form of the apparatus according to the second implementation form of the first aspect, the processor is further configured to generate the distance spectrum vector d_GN of the generator matrix G_N on the basis of the following equation:d_GN=d_G′n⊗d_T3,

wherein d_G′n is the distance spectrum vector of the first additional generator matrix G′_n and d_T3=(3,2,1) is the distance spectrum vector of the kernel T₃.

In a fourth possible implementation form of the apparatus according to the first aspect as such, p=5 and the kernel T₅ is given by following equation:

$T_5=\left(\begin{array}{ccccc}1& 1& 1& 1& 1\\ 1& 0& 0& 0& 0\\ 1& 0& 0& 1& 0\\ 1& 1& 1& 0& 0\\ 0& 0& 1& 1& 1\end{array}\right).$

In a fifth possible implementation form of the apparatus according to the fourth implementation form of the first aspect, the generator matrix G_N is given by the following equation:G_N=G″_m⊗T₅,

wherein G″_m represents a second additional generator matrix and ⊗ represents the Kronecker product operator.

In a sixth possible implementation form of the apparatus according to the fifth implementation form of the first aspect, the processor is further configured to generate the distance spectrum vector d_GN of the generator matrix G_N on the basis of the following equation:d_GN=d_G″m⊗d_T5,

wherein d_G′m is the distance spectrum vector of the second additional generator matrix G″_m and d_T5=(5,3,2,1,1) is the distance spectrum vector of the kernel T₅.

In a seventh possible implementation form of the apparatus according to the first aspect as such or any one of the first to sixth implementation form thereof, the first row of the kernel T_p has a maximum Hamming weight among all rows of the kernel T_p.

In an eighth possible implementation form of the apparatus according to the seventh implementation form of the first aspect, the generator matrix G_N can be written as follows:G_N=G_q⊗G_p,

wherein G_q is a third generator matrix of a code of size q and G_p is a fourth generator matrix of a code of size p, and wherein, in order to generate the set of K information bit indices I. The processor is further configured to: generate a vector:r_Gp=(d_Gp(1),d_Gp(p−1),d_Gp(p−2) . . . ,d_Gp(2),d_Gp(2)) of size p. The processor is further configured to generate an auxiliary vector:r′_Gp=(d_Gp(p),d_Gp(p−1),d_Gp(p−2) . . . ,d_Gp(2),d_Gp(2)) of size p. The processor is further generate a vector r_GN=d_Gq^rev ⊗r_Gp of size q·p, wherein the vector d_Gq^rev is the reverse of a distance spectrum vector d_Gq, d_Gq being the distance spectrum vector of the third generator matrix G_q. The processor is further configured to generate a vector: r′_GN=d_Gq^rev⊗r′_Gp. The processor is further configured to determine, for i=1, . . . , K, a position l of the last largest entry of the vector r_GN. The processor is further configured to add l to the set of K information bit indices I. The processor is further configured to set r_GN(l) equal to zero. The processor is further configured to remove, if l=0 mod p, from the set of frozen bit indices F, an index t equal to l−p+1. The processor is further configured to substitute the index t by l−1. The processor is further configured to set r_Gp(l−1)=0; and set r_Gp(l−p+1)=r′_Gp(l−p+1).

According to a second aspect, embodiments of the present invention relate to a communication apparatus comprising a channel encoder comprising an apparatus for generating a polar code according to the first aspect as such or any one of the first to eighth implementation form thereof.

According to a third aspect, embodiments of the present invention relate to a communication apparatus comprising a channel decoder comprising an apparatus for generating a polar code according to the first aspect as such or any one of the first to eighth implementation form thereof.

According to a fourth aspect, embodiments of the present invention relate to a method for generating a polar code c_N of length N and dimension K on the basis of a generator matrix G_N of size N×N, wherein the generator matrix G_N is based on a kernel T_p of size p×p, with p≤N. The polar code c_N is given by c_N=u_N·G_N, wherein u_N=(u₀, . . . , u_N-1) is a vector of size N, u_i, i=0, . . . N−1, corresponding to an information bit if i∈I, I being a set of K information bit indices, and u_i=0, if i∈F, F being a set of N−K frozen bit indices. The method comprises: generating a distance spectrum vector d_Tp=(d_Tp(1), . . . , d_Tp(p)) of size p of the kernel T_p, wherein d_Tp(h), h=1, . . . , p, corresponds to a maximum value among all possible minimum distances of all possible polar codes of size p and dimension h generated on the basis of the kernel T_p. The method also includes generating a distance spectrum vector d_GN of size N of the generator matrix G_N on the basis of the distance spectrum vector d_Tp, determining the set of K information bit indices I on the basis of the distance spectrum vector d_GN, and generating the polar code c_N on the basis of the set of K information bit indices I.

Thus, an improved method for generating a polar code in a less complex manner is provided.

The method according to the fourth aspect of the embodiments of the present invention can be performed by the apparatus according to the first aspect of the invention. Further features of the method according to the fourth aspect of the embodiments of the preset invention result directly from the functionality of the apparatus according to the first aspect of the embodiments of the present invention and its different implementation forms.

According to a fifth aspect, embodiments of the present invention relate to a computer program comprising a program code for performing the method according to the fourth aspect when executed on a computer.

The invention can be implemented in hardware and/or software.

BRIEF DESCRIPTION OF THE DRAWINGS

Further embodiments of the invention will be described with respect to the following figures, wherein:

FIG. 1 shows a schematic diagram illustrating a conventional polar code of length 8;

FIG. 2 shows a schematic diagram of a communication system comprising a channel encoder comprising an apparatus for generating a polar code according to an embodiment and a channel decoder encoder comprising an apparatus for generating a polar code according to an embodiment;

FIG. 3 shows a schematic diagram illustrating a polar code of length 6 according to an embodiment;

FIG. 4 shows a graph illustrating the performance of a polar code according to an embodiment;

FIG. 5 shows a graph illustrating the performance of a polar code according to an embodiment;

FIG. 6 shows a graph illustrating the performance of a polar code according to an embodiment; and

FIG. 7 shows a schematic diagram of a method for generating a polar code according to an embodiment.

In the various figures, identical reference signs will be used for identical or at least functionally equivalent features.

DETAILED DESCRIPTION OF ILLUSTRATIVE EMBODIMENTS

In the following description, reference is made to the accompanying drawings, which form part of the disclosure, and in which are shown, by way of illustration, specific aspects in which the present invention may be placed. It is understood that other aspects may be utilized and structural or logical changes may be made without departing from the scope of the present invention. The following detailed description, therefore, is not to be taken in a limiting sense, as the scope of the present invention is defined by the appended claims.

For instance, it is understood that a disclosure in connection with a described method may also hold true for a corresponding device or system configured to perform the method and vice versa. For example, if a specific method step is described, a corresponding device may include a unit to perform the described method step, even if such unit is not explicitly described or illustrated in the figures. Further, it is understood that the features of the various exemplary aspects described herein may be combined with each other, unless specifically noted otherwise.

FIG. 2 shows a schematic diagram of a communication system 100 comprising a channel encoder 110 comprising an apparatus 110a for generating a polar code according to an embodiment. In this embodiment, the channel encoder 110 is in communication with a channel decoder 130 via a communication channel 120. The channel encoder 110 can be configured to send an encoded polar code or codeword c_N to the channel decoder 130. Moreover, the channel decoder 130 can comprise an apparatus 130a for decoding the polar code c_N by means of a processor 130a-1. In an embodiment, the apparatus 130a of the channel decoder 130 can be identical to the apparatus 110a of the channel encoder 110.

The apparatus 110a can generate the polar code c_N of length N and dimension K, on the basis of a generator matrix G_N of size N×N, wherein the generator matrix G_N is based on a kernel T_p of size p×p, with p≤N, wherein the polar code c_N is given by c_N=u_N·G_N, wherein u_N=(u₀, . . . , u_N-1) is a vector of size N, u_i, i=0, . . . N−1, corresponding to an information bit if i∈I, I being a set of K information bit indices, and u_i=0, if i∈F, F being a set of N−K frozen bit indices. The apparatus 110a comprises a processor 110a-1, wherein the processor 110a-1 is configured to perform the following steps: (i) generate a distance spectrum vector d_Tp=(d_Tp(1), . . . , d_Tp(p)) of size p of the kernel T_p, wherein d_Tp(h), h=1, . . . , p, corresponds to a maximum value among all possible minimum distances of all possible polar codes of size p and dimension h generated on the basis of the kernel T_p, (ii) generate a distance spectrum vector d_GN of size N of the generator matrix G_N on the basis of the distance spectrum vector d_Tp, (iii) determine the set of K information bit indices I on the basis of the distance spectrum vector d_GN, and (iv) generate the polar code c_N on the basis of the set of K information bit indices I.

Thus, as will be appreciate, in an embodiment of the invention, the generation of the polar code c_N can be divided into two main steps: firstly, the generator matrix G_N having good distance properties is constructed, and then the set of K information bit indices of the polar code or of the multi-kernel polar code is generated on the basis of the distance properties of the generator matrix G_N, as will be described in more detail in the following.

In embodiment of the invention, for codes having short lengths, the kernel T_p can be constructed in such a way that the code distance is taken into account. For a given kernel T_p, the minimum distance of a code based on T_p is closely related to the minimum Hamming weight of vectors in the space spanned by the rows selected to generate the set of K information bit indices I. In multi-kernel polar codes, the number of rows of G_N to be selected depends on the number of information bits, namely on K. Traditionally (see e.g., the aforementioned work by Arikan), the rows of G_N are selected according to a transmission reliability order, namely the K information bits are put in the K most reliable positions of the input vector u_N, while the unreliable positions (frozen bits) are fixed to the bit value o. As a result, codes of same length but different dimension are nested, i.e., the set of information bit indices of the code of a smaller rate is a subset of the set of information bit indices of the code of a larger rate, differently from embodiments of the present invention, where different subsets of rows for different information set sizes are selected. In this way, the information sets of codes of different dimension may not be nested.

In embodiments of the invention, for p=3, the kernel T₃ of size 3×3 is given by:

$T_3=\left(\begin{array}{ccc}1& 1& 1\\ 1& 0& 1\\ 0& 1& 1\end{array}\right).$

This kernel shows polarization effects similar to the one shown by the conventional kernel T₂, and shows optimal properties in terms of the distance profile.

In embodiments of the invention, p=5 and the kernel T₅ is given by following equation:

$T_5=\left(\begin{array}{ccccc}1& 1& 1& 1& 1\\ 1& 0& 0& 0& 0\\ 1& 0& 0& 1& 0\\ 1& 1& 1& 0& 0\\ 0& 0& 1& 1& 1\end{array}\right).$

In order to better elucidate some advantages of the generation of polar codes according to embodiments of the present invention compared to prior art solutions, the distance spectrum vector d_T3 of the kernel T₃ according to embodiments of the invention is calculated in the following.

Since the kernel T₃ has a size of 3×3, only codes of size 3 having a dimension K=1, 2 or 3 can be generated: c₃=u₃·T₃.

If K=1, one row i of the kernel T₃ can be selected, or equivalently the information bit can be put in the i-th component of the input vector u₃. In particular, in order to maximize the minimum distance of the polar code c₃, the first row (1 1 1) is selected, giving a minimum distance 3. Any other row selection would result in a smaller minimum distance, namely 2. In fact, the only possible non-zero input sequences for u₃ are {1 0 0}, {0 1 0}, and {0 0 1}, for the first, second and third bits being chosen as information bits, respectively. This results in the codes or codewords c₃: {111}, {101}, {011}, which have minimum distances 3, 2, and 2, respectively. Therefore, by choosing the first row, the codeword having maximum value, i.e. 3, among all possible values of the minimum distances is obtained. In particular, in case K=1, the obtained set of codewords corresponds to the rows of the generator matrix, which in this case is T₃.

If K=2, the possible input vectors are given by: u(2,3)={001,010,011}, if the two information bits are put into the last two rows of the kernel T₃ (or equivalently correspond to the second and third elements of the input vector u₃); u(1,3)={101,001,100}, if the two information bits are put into the first and third row of T₃, respectively, and, analogously, u(1,2)={100,010,110}. The corresponding polar codes or codewords are given by: c(2,3)={011,101,110} (having minimum distance 2), c(1,3)={100,011,111} (having minimum distance 1), and c(1,2)={111,101,010} (having minimum distance 1), respectively. Therefore, in order to maximize the minimum distance among all possible minimum distances among all possible codewords, the last two rows

$\hspace{1em}\left(\begin{array}{ccc}1& 0& 1\\ 0& 1& 1\end{array}\right)$ of T₃ can be selected to place the two information bits, generating a code of minimum distance equal to 2.

If K=3, then all the rows of T₃ have to be selected to put the 3 information bits. Namely, all non-zero input vectors are given by: u₃={001,010,100,011,101,110,111} which results in a minimum distance 1 (since e.g. c(110)=010 has weight 1). Therefore, the distance spectrum vector d₃ in this embodiment in given by: d₃=(3,2,1).

The classical construction of the distance spectrum vector on the basis of the reliability of the transmission selects the last row for dimension 1, the last two rows for dimension 2, and all rows for dimension 3. This results in the classical distance spectrum vector d₃=(2,2,1).

By comparing the distance spectrum vector used in embodiments of the invention and the classical distance spectrum vector, it can be seen that the construction of the polar code according to embodiments of the invention achieves a larger distance for dimension 1 (K=1) than the conventional construction based on reliabilities of the transmission.

In embodiments of the invention, the generator matrix G_N is given by the Kronecker product of various kernels, e.g. T₂ and T₃. In this case, the generated code c_N is a multi-kernel polar code and shows polarization properties. It can be proved that the distance spectrum vector of the Kronecker product of two or more kernels is given by the Kronecker product of the distance spectrum vectors of the kernels, sorted in descending order. This property can be used to easily calculate the distance spectrum vector of a multi-kernel code designed according to embodiments of the invention.

In order to better elucidate the construction of multi-kernel polar codes and of their distance spectrum vectors, in FIG. 3 a schematic construction of a Tanner graph of a multi-kernel polar code of length 6 according to embodiments of the invention is shown, wherein P denotes an edge permutation and P⁻¹ its inverse, and wherein the generator matrix G₆ is given by:

$G_6=T_2\otimes T_3=\left(\begin{array}{cc}{T}_3& 0\\ T_3& T_3\end{array}\right)=\left(\begin{array}{cccccc}1& 1& 1& 0& 0& 0\\ 1& 0& 1& 0& 0& 0\\ 0& 1& 1& 0& 0& 0\\ 1& 1& 1& 1& 1& 1\\ 1& 0& 1& 1& 0& 1\\ 0& 1& 1& 0& 1& 1\end{array}\right).$ In this embodiment, a code c₆ of length 6 is obtained as c₆=u₆·G₆, wherein u₆ is an input vector of length 6 comprising K information bits and N−K frozen bits.

As mentioned above, in order to calculate the distance spectrum vector of G₆, the Kronecker product of the distance spectrum vectors of T₂ and T₃ can be calculated according to the following formula:d₆=d₂⊗d₃=(2,1)⊗(3,2,1)=(6,4,2,3,2,1),wherein d₂=(2,1) is the distance spectrum of the kernel T₂. Sorting the result in descending order, the distance spectrum vector of G₆ can be obtained for the minimum distance construction, namely: (6,4,3,2,2,1). This means that sets of information bit indices can be selected in order to obtain a code of dimension K=1 with minimum distance 6, of dimension K=2 with minimum distance 4, etc. On the other hand, the distance spectrum vector according to of the classical reliability construction is given by: (4,4,2,2,2,1). In this case as well, the construction of the polar code according to embodiments of the invention shows better distance properties compared to prior art constructions.

In embodiments of the invention, the distance spectrum vector d_GN of the generator matrix G_N determines which minimum distance is achievable for a given dimension K. Once the distance spectrum vector d_GN is generated, the remaining task to generate the polar code c_N is to determine the set of K information bit indices I in order to achieve this minimum distance. In embodiments of the invention, the following algorithm (herein also referred to as row selection algorithm) can be used to determine the set of K information bit indices I, such that the polar code has the minimum distance as defined in the distance spectrum vector.

In embodiments of the invention, the kernel T_p with distance spectrum d_Tp=(d_Tp(1), . . . , d_Tp(p)), wherein d_Tp(i) represents the minimum distance of the polar code of dimension i, has the following structure: the first row is the row with the maximum Hamming weight, while the other rows, when selected starting from the last row to the second row, provide the desired distance. For small kernel sizes, this is not a strong limitation, since kernels with good spectra can be designed respecting this property. As an example, the T₃ kernel presented previously has this property. In an embodiment, the following algorithm is used to generate the set of K information bit indices I.

As first, the distance spectrum of the kernel is used to create a vector r_Tp, defined as r_Tp=(d_Tp(1), d_Tp(p−1), d_Tp(p−2) . . . , d_Tp(2), d_Tp(2)), along with an auxiliary vector r′_Tp, defined as r′_Tp=(d_Tp(p), d_Tp(p−1), d_Tp(p−2) . . . , d_Tp(2), d_Tp(2)). The difference between r_Tp and its auxiliary vector r′_Tp is given by the first element. If the generator matrix G_N can be written as G_N=G_q⊗G_p, i.e., with G_p at the rightmost position of the Kronecker product, then the algorithm comprises the steps explained in the following.

First, the vector r_GN=d_Gq^rev⊗r_Gp and the vector r′_GN=d_Gq^rev⊗r′_Gp are calculated, wherein d_Gq^rev is the reverse of d_Gq. Due to the fact that for a code of dimension K, K row indices are required for the information set, the algorithm adds sequentially one row index per step to the information set. At each step, the position l of the last largest entry in r_GN is found, and l is added to the set of information bit indices, while r_GN(l) is set to zero. However, if l=0 mod p, then by construction r_GN(l−p+1) is in the set of frozen bit indices, since in r_Gp(1) is larger than the other elements of r_Gp, while r_GN(l−1) is not in the set of K information bit indices I, since r_Gp(p)=r_Gp(p−1). Otherwise, l−p+1 is removed by the set of frozen bit indices and substituted by l−1, while the algorithm sets r_Gp (l−1)=0 and r_Gp(l−p+1)=r′_Gp(l−p+1). The algorithm stops when the set of information bit indices I includes K elements. Afterwards, the remaining N−K elements are stored in the set of frozen bit indices F.

This algorithm finds an optimal solution if only one kernel of size larger than 2 is used in the multi-kernel construction. It may also be applied in the case of multiple kernels of size larger than 2, leading to good results, as demonstrated by simulations illustrated in FIGS. 4, 5, and 6. Generalizations of the proposed algorithm are also possible.

In order to better elucidate the steps of the row selection algorithm according to embodiments of the invention, the set of information bit indices I obtained for the exemplary generator matrix G₆ described above is shown in table 1, wherein

$G_6=\left(\begin{array}{cccccc}1& 1& 1& 0& 0& 0\\ 1& 0& 1& 0& 0& 0\\ 0& 1& 1& 0& 0& 0\\ 1& 1& 1& 1& 1& 1\\ 1& 0& 1& 1& 0& 1\\ 0& 1& 1& 0& 1& 1\end{array}\right),r_6=\left(\begin{array}{c}3\\ 2\\ 2\\ 6\\ 4\\ 4\end{array}\right)\mathrm{and}{r}_6^{\prime }=\left(\begin{array}{c}1\\ 2\\ 2\\ 2\\ 4\\ 4\end{array}\right),$

and wherein the differences between the vector r₆ and the vector r₆′ are indicated in boldface. In particular, in table 1, the set of information bit indices I calculated by means of the row selection algorithm following the distance criterion according to embodiments of the invention and the set of information bit indices obtained by using the conventional criterion based on transmission reliability are shown for different dimensions K. In table 1, the differences between the two sets of information bit indices are indicated in boldface.

TABLE 1
Distance properties of multi-kernel polar codes
according to embodiments of the invention.
	Dimension K
	1	2	3
design by	Information Set	[u5]	[u4, u5]	[u2, u4, u5]
reliability	Minimum distance	4	4	2
design by	Information Set	[u3]	[u4, u5]	[u0, u4, u5]
distance	Minimum distance	6	4	3

The bit positions or indices of u₆ ordered according a decreasing reliability are [5,4,2,3,1,0]. For example, if the coding rate is fixed to R=½, which means that there are K=3 information bits (R=K/N), then the 3 information bits are put in the 3 most reliable bit positions, corresponding to the bits [u₅, u₄, u₂], while the 3 less reliable bits are fixed to o, i.e., they are frozen bits. Therefore, according to the classical construction of polar codes, the set of indices {5,4,2} of the input vector u₆ defines the set of information bit indices I, while the remaining indices, namely the set of indices {3,1,0}, form the set of frozen bit indices F.

As it can be taken from table 1, the row selection algorithm according to embodiments of the invention, finds the set of information bit indices leading to the minimum distance as determined by the distance spectrum, and the code construction according to embodiments of the invention leads to a larger minimum distance than the code construction according to the criterion based on transmission reliability.

For example, let us assume that a polar code c₆ of dimension N=6 is generated by encoding an information bit (K=1) by means of the generator matrix G₆ according to the formula:c₆=u₆·G₆,wherein u=(u₀,u₁,u₂,u₃,u₄,u₅) comprises the information bit and N−K=5 frozen bits. According to the row selection algorithm implemented in embodiments of the invention, the fourth element of the vector u₆ should correspond to the information bit, because the maximum value of the minimum distance (in this case 6) among all possible values of the minimum distance, a codeword can have, corresponds to the fourth element of the vector r₆.

Once the input vector u₆ is encoded generating the polar code c₆, then the channel encoder 110 can send the polar code c₆ to the channel decoder 130 over the communication channel 120. The channel decoder 130 can be a successive cancellation (SC) decoder, configured to decode the polar code c₆.

In the SC decoder, input bits (on the left side of FIG. 3) are decoded successively from top to bottom by propagating the log-likelihood ratio (LLR) values from right to left and hard-decisions from left to right (e.g., see the work by Arikan). The LLRs L₀⁽⁰⁾, . . . , L₀⁽⁵⁾ appearing at the right side correspond to the channel observations. In particular, the code of length N=6 has s=2 stages. LLRs and hard-decisions can be computed according to update functions (e.g., see the work by Arikan). As an alternative to SC decoding, SC list decoding (see “List decoding of polar codes,” by Tal et al., in IEEE ISIT, July 2011) or similar methods may be applied at the channel decoder 130.

Embodiments of the invention realize different advantages, such as the generation of multi-kernel polar codes based on a minimum distance criterion, and on the kernel T₃. In order to lower the computational complexity of the construction of polar codes, a simple greedy algorithm is given in order to generate the set of information bit indices (and hence the set of frozen bit indices) of multi-kernel polar codes. In particular, the complexity of the algorithm according to embodiments of the invention is much lower than the complexity of state-of-the-art algorithms based on density evolution or similar methods. Therefore, embodiments of the invention lead to a lower encoding and decoding latency. Moreover, the encoding or decoding algorithm according to embodiments of the invention is more efficient compared to prior art algorithms (e.g., see aforementioned the work by Arikan), for which a mother code has to be punctured or shortened in order to get the same block length, and decoding has to be performed on a longer mother code.

FIG. 4 shows a graph illustrating the performance of a polar code according to an embodiment. In this embodiment, the block error rate (BLER) of a polar code is shown as a function of the signal to noise ration E_b/N₀ in dB. In this embodiment, a multi-kernel polar code of size N=192 and dimension K=96 is decoded using the SC-list decoding method (see the aforementioned work of Tal et al.) with list size L=8 for a transmission with binary phase shift keying (BPSK) over an additive white Gaussian noise (AWGN) channel. In this embodiment, the generator matrix is given by G₁₉₂=T₂^⊗6⊗T₃, i.e., there is only one T₃ kernel at the rightmost of the Kronecker product, and the row selection algorithm is optimal. The performance (BLER) of the multi-kernel polar code according to embodiments of the invention is depicted as MK-dist and is compared to the performance of the multi-kernel polar codes generated on the basis of the conventional transmission reliability method, depicted as MK-rel. In particular, the case MK-dist refers to multi-kernel polar codes generated by using the row selection algorithm according to embodiments of the invention. Moreover, in FIG. 4, the performances of a polar code generated by means of a puncturing method and of a polar code generated by means of a shortening method are also depicted as reference cases. In particular, the shortened polar code is depicted as polar-short and corresponds to the one proposed in “A Novel Puncturing Scheme for Polar Codes”, Wang et. al., IEEE Comm. Lett., December 2014, while the punctured polar code, depicted as “polar-punct”, is the QUP construction proposed in “Beyond Turbo Codes: Rate-Compatible Punctured Polar Codes”, C. Kai et. al, IEEE ICC, June 2013.

As it can be seen in FIG. 4, the multi-kernel polar code according to embodiments of the invention has a better performance, namely a lower BLER at a certain E_b/N₀, than the other polar codes.

FIG. 5 shows a graph illustrating the performance of a polar code according to an embodiment. In this embodiment, analogously to FIG. 4, the block error rate (BLER) of a polar code is shown as a function of the signal to noise ration E_b/N₀ in dB. In this embodiment, a multi-kernel polar code of size N=144 and dimension K=72 is decoded using the SC-list decoding method with list size L=8. In this embodiment, the generator matrix is given by G₁₄₄=T₂^⊗4 ⊗T₃^⊗2, i.e., there are two T₃ kernels at the rightmost of the Kronecker product. In this embodiment, the row selection algorithm used to generate the multi-kernel polar code is not as optimal as the one used to generate the polar code described with reference to FIG. 4, in which only one T₃ kernel is at the rightmost of the Kronecker product. The performance of the multi-kernel polar code (BLER) generated according to embodiments of the invention is compared to the performance of polar code generated using other methods as already described in the context of FIG. 4. In this case as well, the multi-kernel polar code according to embodiments of this invention (MK-dist) outperforms the other polar codes.

FIG. 6 shows a graph illustrating the performance of a polar code according to an embodiment. In this embodiment, analogously to FIGS. 4 and 5, the block error rate (BLER) of a polar code is shown as a function of the signal to noise ration E_b/N₀ in dB. In this embodiment, a multi-kernel polar code of size N=40, dimension K=10 and rate

$R=\frac{K}{N}=0.4$ is decoded using the SC-list decoding method with list size L=8. In this embodiment, the generator matrix is given by G₄₀=T₂^⊗3⊗T₅, wherein the kernel T₅ is defined by:

$T_5=\left(\begin{array}{ccccc}1& 1& 1& 1& 1\\ 1& 0& 0& 0& 0\\ 1& 0& 0& 1& 0\\ 1& 1& 1& 0& 0\\ 0& 0& 1& 1& 1\end{array}\right).$

Since there is only a T₅ kernel at the rightmost of the Kronecker product of the generator matrix, in this case as well, the row selection algorithm provided by embodiments of the invention is optimal. The kernel T₅ as well complies with the assumptions on the kernel as described above, and, therefore, the multi-kernel polar code according to embodiments of this invention (MK-dist) outperforms the other polar codes.

FIG. 7 shows a schematic diagram of a corresponding method 700 for generating a polar code according to an embodiment. In this embodiment, the polar code c_N has a length N and dimension K and is generated on the basis of a generator matrix G_N of size N×N, wherein the generator matrix G_N is based on a kernel T_p of size p×p, with p≤N, wherein the polar code c_N is given by c_N=u_N·G_N, wherein u_N=(u₀, . . . , u_N-1) is a vector of size N, u_i, i=0, . . . N−1, corresponding to an information bit if i∈I, I being a set of K information bit indices, and u_i=0, if i∈F, F being a set of N−K frozen bit indices. The method 700 comprises the following steps: generating 702 a distance spectrum vector d_Tp=(d_Tp(1), . . . , d_Tp(p)) of size p of the kernel T_p, wherein d_Tp(h), h=1, . . . , p, corresponds to a maximum value among all possible minimum distances of all possible polar codes of size p and dimension h generated on the basis of the kernel T_p; generating 704 a distance spectrum vector d_GN of size N of the generator matrix G_N on the basis of the distance spectrum vector d_Tp; determining 706 the set of K information bit indices I on the basis of the distance spectrum vector d_GN; and generating 708 the polar code c_N on the basis of the set of K information bit indices I.

While a particular feature or aspect of the disclosure may have been disclosed with respect to only one of several implementations or embodiments, such feature or aspect may be combined with one or more other features or aspects of the other implementations or embodiments as may be desired and advantageous for any given or particular application. Furthermore, to the extent that the terms “include”, “have”, “with”, or other variants thereof are used in either the detailed description or the claims, such terms are intended to be inclusive in a manner similar to the term “comprise”. Also, the terms “exemplary”, “for example” and “e.g.” are merely meant as an example, rather than the best or optimal. The terms “coupled” and “connected”, along with derivatives may have been used. It should be understood that these terms may have been used to indicate that two elements cooperate or interact with each other regardless whether they are in direct physical or electrical contact, or they are not in direct contact with each other.

Although specific aspects have been illustrated and described herein, it will be appreciated by those of ordinary skill in the art that a variety of alternate and/or equivalent implementations may be substituted for the specific aspects shown and described without departing from the scope of the present disclosure. This application is intended to cover any adaptations or variations of the specific aspects discussed herein.

Although the elements in the following claims are recited in a particular sequence with corresponding labeling, unless the claim recitations otherwise imply a particular sequence for implementing some or all of those elements, those elements are not necessarily intended to be limited to being implemented in that particular sequence.

Many alternatives, modifications, and variations will be apparent to those skilled in the art in light of the above teachings. Of course, those skilled in the art readily recognize that there are numerous applications of the invention beyond those described herein. While the present invention has been described with reference to one or more particular embodiments, those skilled in the art recognize that many changes may be made thereto without departing from the scope of the present invention. It is therefore to be understood that within the scope of the appended claims and their equivalents, the invention may be practiced otherwise than as specifically described herein

Claims

1. An apparatus, comprising: a processor; anda computer-readable storage medium storing a program to be executed by the processor, the program including instructions for: generating a distance spectrum vector dTp=(dTp(1), . . . ,dTp(p)) of size p of a kernel Tp, wherein the kernel Tp has a size p×p, with p<N, and wherein dTp(h), for each h of h=1, . . . , p, and corresponds to a maximum value among all possible minimum distances of all possible polar codes of size p and dimension h generated by selecting h rows of the kernel Tp;generating a distance spectrum vector dGN of size N of a generator matrix GN on the basis of the distance spectrum vector dTp, wherein the generator matrix GN has a size N×N, the generator matrix GN is based on the kernel Tp;determining a set of K information bit indices I on the basis of the distance spectrum vector dGN;recording a polar code cN on the basis of the set of K information bit indices I, wherein the polar code cN has a length N and a dimension K, wherein the polar code cN is given by cN=uN·GN, wherein uN=(u0, . . . , uN-1) is a vector of size N,ui, i=0, . . . N−1, corresponding to an information bit if i∈I, I being the set of K information bit indices, and ui=0, if i∈F, F being a set of N−K frozen bit indices;encoding first data using the recorded polar code cN; andtransmitting the encoded first data to a second apparatus.

2. The apparatus of claim 1, wherein p=3, and the kernel T3 is given by:

3. The apparatus of claim 2, wherein the generator matrix GN is given by: GN=G′n⊗T3; andwherein G′n represents a first additional generator matrix and ⊗ represents the Kronecker product operator.

4. The apparatus of claim 3, wherein the program further includes instructions for: generating the distance spectrum vector dGN of the generator matrix GN on the basis of the following: dGN=dG′n⊗dT3,wherein dG′n is the distance spectrum vector of the first additional generator matrix G′n and dT3=(3,2,1) is the distance spectrum vector of the kernel T3.

5. The apparatus of claim 1, wherein p=5 and the kernel T5 is given by:

6. The apparatus of claim 5, wherein the generator matrix GN is given by: GN=G″m⊗T5; andwherein G″m represents a second additional generator matrix and ⊗ represents the Kronecker product operator.

7. The apparatus of claim 6, wherein the program further includes instructions for: generating the distance spectrum vector dGN of the generator matrix GN on the basis of the following: dGN=dG″m⊗dT5; andwherein dG″m is the distance spectrum vector of the second additional generator matrix G″m and dT5=(5,3,2,1,1) is the distance spectrum vector of the kernel T5.

8. The apparatus of claim 1, wherein the first row of the kernel Tp has a maximum Hamming weight among all rows of the kernel Tp.

9. The apparatus of claim 8, wherein the generator matrix GN is: GN=Gq⊗Gp,wherein Gq is a third generator matrix of a code of size q and Gp is a fourth generator matrix of a code of size p, and wherein the program further includes instructions for: generating a vector rGp=(dGp(1),dGp(p−1),dGp(p−2) . . . , dGp(2),dGp(2)) of size p;generating an auxiliary vector: r′Gp=(dGp(p),dGp(p−1),dGp(p−2) . . . ,dGp(2),dGp(2)) of size p; generating a vector rGN=dGqrev⊗rGp of size q·p, wherein the vector dGqrev is the reverse of a distance spectrum vector dGq, dGq being the distance spectrum vector of the third generator matrix Gq;generating a vector r′GN=dGqrev⊗r′Gp;determining, for i=1, . . . , K, a position l of the last largest entry of the vector rGN;adding l to the set of K information bit indices I;setting rGN(l) equal to zero;removing, when l=0 mod p, from the set of frozen bit indices F, an index t equal to l−p+1;substituting the index t by l−1;setting rGp(l−1)=0; andsetting rGp(l−p+1)=r′Gp(l−p+1).

10. A method, comprising: generating, by a device, a distance spectrum vector dTp=(dTp(1), . . . ,dTp(p)) of size p of a kernel Tp, wherein the kernel Tp has a size p×p, with p<N, and wherein dTp(h), for each h of h=1, . . . ,p, and corresponds to a maximum value among all possible minimum distances of all possible codes of size p and dimension h generated by selecting h rows of the kernel Tp;generating, by the device, a distance spectrum vector dGN of size N of a generator matrix GN on the basis of the distance spectrum vector dTp, wherein the generator matrix GN has a size N×N, the generator matrix GN is based on the kernel Tp;determining, by the device, a set of K information bit indices I on the basis of the distance spectrum vector dGN;recording, by the device, a polar code cN on the basis of the set of K information bit indices I, wherein to polar code cN has a length N and a dimension K, wherein the polar code cN is given by cN=uN·GN, wherein uN=(u0, . . . , uN-1) is a vector of size N, ui, i=0, . . . N−1, corresponding to an information bit if i∈I, I being the set of K information bit indices, and ui=0, if i∈F, F being a set of N−K frozen bit indices;encoding, by the device, first data using the recorded polar code cN; andtransmitting, by the device, the encoded first data to a second apparatus.

11. The method of claim 10, wherein p=3, and the kernel T3 is given by:

12. The method of claim 11, wherein the generator matrix GN is given by: GN=G′n⊗T3; andwherein G′n represents a first additional generator matrix and ⊗ represents the Kronecker product operator.

13. The method of claim 12, further comprising: generating the distance spectrum vector dGN of the generator matrix GN on the basis of the following: dGN=dG′n⊗dT3,wherein dG′n is the distance spectrum vector of the first additional generator matrix G′n and dT3=(3,2,1) is the distance spectrum vector of the kernel T3.

14. The method of claim 10, wherein p=5 and the kernel T5 is given by:

15. The method of claim 14, wherein the generator matrix GN is given by: GN=G″m⊗T5; andwherein G″m represents a second additional generator matrix and ⊗ represents the Kronecker product operator.

16. The method of claim 15, further comprising: generating the distance spectrum vector dGN of the generator matrix GN on the basis of the following: dGN=dG″m⊗dT5; andwherein dG″m is the distance spectrum vector of the second additional generator matrix G″m and dT5=(5,3,2,1,1) is the distance spectrum vector of the kernel T5.

17. The method of claim 10, wherein the first row of the kernel Tp has a maximum Hamming weight among all rows of the kernel Tp.

18. The method of claim 17, wherein the generator matrix GN is: GN=Gq⊗Gp,wherein Gq is a third generator matrix of a code of size q and Gp is a fourth generator matrix of a code of size p, and wherein the method comprises: generating a vector rGp=(dGp(1), dGp(p−1),dGp(p−2) . . . , dGp(2),dGp(2)) of size p;generating an auxiliary vector: r′Gp=(dGp(p),dGp(p−1),dGp(p−2) . . . , dGp(2),dGp(2)) of size p;generating a vector r′GN=Gqrev⊗r′Gp of size q·p, wherein the vector d′Gqrev is the reverse of a distance spectrum vector dGq, dGq being the distance spectrum vector of the third generator matrix Gq;generating a vector r′GN=dGqrev⊗r′Gp;determining, for i=1, . . . , K, a position l of the last largest entry of the vector rGN;adding l to the set of K information bit indices l;setting rGN(l) equal to zero;removing, when l=0 mod p, from the set of frozen bit indices F, an index t equal to l−p+1;substituting the index t by l−1;setting rGp(l−1)=0; andsetting rGp(l−p+1)=r′Gp(l−p+1).

19. A method, comprising: generating, by a device, a distance spectrum vector dTp=(dTp(1), . . . ,dTp(p)) of size p of a kernel Tp, wherein the kernel Tp has a size p×p, with p<N, and wherein dTp(h), for each h of h=1, . . . ,p, and corresponds to a maximum value among all possible minimum distances of all possible codes of size p and dimension h generated spanned by h rows of the kernel Tp;generating, by the device, a distance spectrum vector dGN of size N of a generator matrix GN on the basis of the distance spectrum vector dTp, wherein the generator matrix GN has a size N×N, the generator matrix GN is based on the kernel Tp;determining, by the device, a set of K information bit indices I on the basis of the distance spectrum vector dGN;recording, by the device, a polar code cN on the basis of the set of K information bit indices I, wherein to polar code cN has a length N and a dimension K, wherein the polar code cN is given by cN=uN·GN, wherein uN=(u0, . . . ,uN-1) is a vector of size N, ui, i=0, . . . N−1, corresponding to an information bit if i∈I, I being the set of K information bit indices, and ui=0, if i∈F, F being a set of N−K frozen bit indices;encoding, by the device, first data using the recorded polar code cN; andtransmitting, by the device, the encoded first data to a second apparatus.

20. The method of claim 19, wherein p=3, and the kernel T3 is given by: