Login| Sign Up| Help| Contact|

Patent Searching and Data


Title:
DEVICES AND METHODS IMPLEMENTING POLAR CODES
Document Type and Number:
WIPO Patent Application WO/2017/196203
Kind Code:
A1
Abstract:
The invention relates to devices and methods implementing generalized polar codes with improved Hamming distance. For instance, the invention relates to an encoder (110) for encoding a data vector z, wherein the encoder (100) comprises a processor (111) configured to encode data z into a codeword c such that c0 n-1 = u0 n-1 A subject to the constraints u0 n-1 V T = 0, so that c=z. W.A where W is a matrix such that W.VT=0, wherein Formula (I) wherein F⊗m denotes the m-times Kronecker product of the matrix F with itself and wherein the constraint matrix V comprises in addition to the constraint matrix V0 of a parent polar code the constraint matrix V1 of a first helper code and the constraint matrix V2 of a second helper code C2.

Inventors:
KURMAEV OLEG FEAT'EVICH (CN)
RAZINKIN ALEXEY MIKHAILOVICH (CN)
USATYUK VASILY STANISLAVOVICH (CN)
Application Number:
PCT/RU2016/000285
Publication Date:
November 16, 2017
Filing Date:
May 12, 2016
Export Citation:
Click for automatic bibliography generation   Help
Assignee:
HUAWEI TECH CO LTD (CN)
KURMAEV OLEG FEAT'EVICH (CN)
International Classes:
H03M13/13; H03M13/29
Foreign References:
US20150295593A12015-10-15
EP2849377A12015-03-18
Other References:
TRIFONOV PETER ET AL: "Polar Subcodes", IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, IEEE SERVICE CENTER, PISCATAWAY, US, vol. 34, no. 2, February 2016 (2016-02-01), pages 254 - 266, XP011593857, ISSN: 0733-8716, [retrieved on 20160115], DOI: 10.1109/JSAC.2015.2504269
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, July 2009 (2009-07-01), pages 3051 - 3073, XP011262510
P. TRIFONOV; V. MILOSLAVSKAYA: "Polar subcodes", IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, vol. 34, no. 2, February 2016 (2016-02-01), pages 254 - 266, XP011593857, DOI: doi:10.1109/JSAC.2015.2504269
I. TAL; A. VARDY: "How to construct polar codes", IEEE TRANSACTIONS ON INFORMATION THEORY, vol. 59, no. 10, October 2013 (2013-10-01), pages 6562 - 6582, XP011526786, DOI: doi:10.1109/TIT.2013.2272694
P. TRIFONOV: "Efficient design and decoding of polar codes", IEEE TRANSACTIONS ON COMMUNICATIONS, vol. 60, no. 11, November 2012 (2012-11-01), pages 3221 - 3227, XP011473857, DOI: doi:10.1109/TCOMM.2012.081512.110872
E. ARIKAN: "Channel polarization: A method for constructing capacity achieving codes for symmetric binary-input memoryless channels", IEEE TRANS. OH INF. THEORY, vol. 55, no. 7, July 2009 (2009-07-01), pages 3051 - 3073, XP011262510
Attorney, Agent or Firm:
LAW FIRM "GORODISSKY & PARTNERS" LTD. (RU)
Download PDF:
Claims:
CLAIMS

1 . An encoder (1 10) for encoding data, wherein the encoder (100) comprises: a processor (1 1 1 ) configured to encode the data using a (n, k, d) parent polar code C into denotes the roduct of the

matrix F with itself and wherein the constraint matrix V is defined by the following equation: wherein V0 denotes the constraint matrix of the parent polar code, Vx denotes the constraint matrix of a first helper code Cl t V2 denotes the constraint matrix of a second helper code C2 and E denotes a matrix consisting of rows of weight 1.

2. The encoder (1 10) of claim 1 , wherein the first helper code C1 defines a minimum distance dl t which is greater than or equal to the minimum distance d of the parent polar code C. 3. The encoder (1 10) of claim 1 or 2, wherein the second helper code C2 defines a minimum distance d2 , which is greater than or equal to half the minimum distance d of the parent polar code C.

4. The encoder (1 10) of any one of the preceding claims, wherein the processor (1 1 1 ) is configured to generate the constraint matrix V of the first helper code C1 and/or the constraint matrix V2 of the second helper code C2 recursively.

5. The encoder (1 10) of claim 4, wherein the processor (1 1 1 ) is configured to generate the constraint matrix V1 of the first helper code Cx and the constraint matrix V2 of the second helper code C2 by generating the constraint matrix Vx of the first helper code Cx in the same way as the constraint matrix V and by generating the constraint matrix V2 of the second helper code C2 in the same way as the constraint matrix V.

6. The encoder (1 10) of any one of the preceding claims, wherein the parent polar code C, the first helper code C and/or the second helper code C2 is an extended Bose- Chaudhuri-Hocquenghem (BCH) code. 7. The encoder (1 10) of any one of the preceding claims, wherein the encoder (1 10) further comprises a memory (1 13) comprising a specification of the parent polar code C, the first helper code C1 and/or the second helper code C2, wherein the specification is based on an approximation of the parent polar code C, the first helper code C and/or the second helper code C2 for a binary erasure channel (BEC).

8. The encoder (1 10) of claim 7, wherein the specification of the parent polar code C, the first helper code C1 and/or the second helper code C2 is generated by the following steps: determining a first frozen set of the code; determining a second frozen set of an approximation of the code using the binary erasure channel (BEC); and storing the differences between the first frozen set and the second frozen set in the memory (1 13) of the encoder (1 10).

9. A method for encoding data, wherein the method comprises the step of: encoding the data using a (n, k, d) parent polar code C into codewords c _ 1 = UQ ~1A subject to the constraints UQ '^7 = 0, wherein Q _1 denotes the data, wherein A = m-times Kronecker product of the matrix F with

itself and wherein the constraint matrix V is defined by the following equation:

wherein V0 denotes the constraint matrix of the parent polar code, Vx denotes the constraint matrix of a first helper code Cl t V2 denotes the constraint matrix of a second helper code C2 and E denotes a matrix consisting of rows of weight 1 .

10. A decoder (130) for decoding codewords, wherein the decoder (130) comprises: a processor (131 ) configured to decode the codewords Cg _ 1 = UQ ~ 1A using a (n, k, d) parent polar code C subject to the constraints UQ ~1 VT = 0, wherein Ug - 1 denotes the data, wherein A = m denotes the m-times Kronecker product of the

matrix F with itself and wherein the constraint matrix V is defined by the following equation: wherein V0 denotes the constraint matrix of the parent polar code, V1 denotes the constraint matrix of a first helper code CL T V2 denotes the constraint matrix of a second helper code C2 and E denotes a matrix consisting of rows of weight 1.

1 1. The decoder (130) of claim 10, wherein the first helper code CX defines a minimum distance d , which is greater than or equal to the minimum distance d of the parent polar code C.

12. The decoder (130) of claim 10 or 1 1 , wherein the second helper code C2 defines a minimum distance d2 , which is greater than or equal to half the minimum distance d of the parent polar code C.

13. The decoder (130) of any one of claims 10 to 12, wherein the processor (1 1 1 ) is configured to generate the constraint matrix V1 of the first helper code C1 and/or the constraint matrix V2 of the second helper code C2 recursively.

14. The decoder (130) of claim 13, wherein the processor (1 1 1 ) is configured to generate the constraint matrix x of the first helper code C1 and the constraint matrix V2 of the second helper code C2 by generating the constraint matrix V of the first helper code Cx in the same way as the constraint matrix V and by generating the constraint matrix V2 of the second helper code C2 in the same way as the constraint matrix V.

15. The decoder (130) of any one of claims 10 to 14, wherein the parent polar code C, the first helper code Cx and/or the second helper code C2 is an extended Bose-Chaudhuri- Hocquenghem (BCH) code. 16. The decoder (130) of any one of claims 10 to 15, wherein the decoder (130) further comprises a memory (133) comprising a specification of the parent polar code C, the first helper code C1 and/or the second helper code C2, wherein the specification is based on an approximation of the parent polar code C, the first helper code Cx and/or the second helper code C2 for a binary erasure channel (BEC).

17. The decoder (130) of claim 16, wherein the specification of the parent polar code C, the first helper code C1 and/or the second helper code C2 is generated by the following steps: determining a first frozen set of the code; determining a second frozen set of an approximation of the code using the binary erasure channel (BEC); and storing the differences between the first frozen set and the second frozen set in the memory (133) of the decoder (130).

18. A method for decoding codewords, wherein the method comprises the step of: decoding the codewords CQ _ 1 = UQ ~1A using a (n, k, d) parent polar code C subject to the constraints UQ 1VT = 0, wherein UQ 1 denotes the data, wherein A =

M denotes the m-times Kronecker product of the matrix F with itself and wherein the constraint matrix V is defined by the following equation:

wherein V0 denotes the constraint matrix of the parent polar code, Vx denotes the constraint matrix of a first helper code Cl t V2 denotes the constraint matrix of a second helper code C2 and E denotes a matrix consisting of rows of weight 1 .

19. A method of generating a compact specification of a polar code, wherein the method comprises the steps of: determining a first frozen set of the polar code; determining a second frozen set of an approximation of the polar code using the binary erasure channel (BEC); and determining the differences between the first frozen set and the second frozen set.

20. A computer program comprising program code for performing the method of claim 9, the method of claim 18 or the method of claim 19 when executed on a computer.

Description:
DESCRIPTION

Devices and methods implementing polar codes

TECHNICAL FIELD

In general, the present invention relates to data encoding and decoding in communication systems. More specifically, the present invention relates to devices and methods for encoding and decoding data using polar codes. Moreover, the invention relates to a method for generating a compact specification of a polar code.

BACKGROUND

Reliable transmission of data over noisy communication channels 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). However, the performance of polar codes with practical parameters is often unsatisfactory.

Recently, polar subcodes were shown to have higher minimum distance than classical polar codes, and provide substantially better performance under list, sequential and block sequential decoding (see P. Trifonov and V. Miloslavskaya, "Polar subcodes", IEEE Journal on Selected Areas in Communications, 34(2):254-266, February 2016). However, the performance of polar subcodes still can be improved. Moreover, in the low SNR

(signal-to-noise ratio) region a block sequential decoding algorithm may require a lot of iterations for near-ML (maximum likelihood) decoding.

Another problem arising in the practical implementation of polar subcodes is the complexity of their specification, i.e. defining these codes so that they can be executed by a processor. Typically, communication systems need to implement a number of codes with different parameters. The description of all these codes, i.e. their specification, has to be stored in a compact form both at the transmitter and at the receiver. Generally, a (n = 2 m , k) polar subcode C over GF(2) is a set of vectors c = zWA, where W is a k x n matrix, A = ; " ) , and F® m denotes the m-times Kronecker product of the matrix F with itself. Classical polar codes are obtained by choosing the matrix W such that each column of W has at most a weight of 1 and each row has a weight of 1. Polar subcodes are obtained by choosing the matrix W such that the vectors c are also codewords of some parent code with sufficiently high minimum distance, i.e. cH T = 0, where H is a check matrix of the parent code. Extended BCH codes were shown to be good parent codes.

An equivalent way to define a polar subcode is to consider it as a set of vectors c = uA, where uV T - 0 and V is a (n - k) x n constraint matrix, such that WV T = 0. By employing Gaussian elimination, the matrix V can be transformed into a form such that at most one row ends in each column. Doing so, one obtains the following set of constraints for the input symbols ; of the polarizing transformation A: u Ji =∑ s <] i: v ts =i u s , 0≤i < n - k, wherein j t denotes the position of the last non-zero entry in the i-th row of the matrix V. The symbols are referred to as dynamic frozen symbols, which can be considered as a generalization of the concept of static frozen symbols used in the construction of classical polar codes. The standard way to construct a polar subcode is to construct the constraint matrix V 0 = HA T , where, as already mentioned above, H is the check matrix of a suitable parent code, and to introduce additional constraints u j . = 0 (so-called static freezing constraints) for symbols with the highest error probability P under the successive cancellation decoding for some specific communication channel. Hence, the matrix V can be expressed as: wherein E is the matrix consisting of rows with weight 1.

The existing techniques for specifying polar codes essentially reduce to specifying the parameters of the channel, and a particular method for computing error probabilities P £ so that one can re-construct the set T of frozen symbols The following three methods for solving this problem are known in the prior art:

Firstly, density evolution (see I. Tal, A. Vardy, "How to construct polar codes", IEEE Transactions on Information Theory, 59(10):6562-6582, October 2013) is an optimal and precise method for computing the error probabilities P 0 0 < ί < n with complexity 0(ημ 2 1ο§μ), where μ is of the order of several hundreds, which is impractical for online code construction.

Secondly, the Gaussian approximation method described in P. Trifonov, "Efficient design and decoding of polar codes", IEEE Transactions on Communications, 60(1 1 ):3221 - 3227, November 2012 has a complexity 0(n). However, this method requires evaluation of transcendental functions and, therefore, is very difficult to implement in hardware.

Thirdly, in the binary erasure channel (BEC) approximation method the Ρ φ are taken as erasure probabilities Ρ φ = Z m ^ under successive cancellation decoding in the case of transmission of a codeword of a polar code over the binary erasure channel with erasure

probability Ζ , where m 2 = 2Z m _ 1 0 - (ζ _ 1 0 ) 2 , Ζ τη 2φ+1 = (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). The complexity of this method is 0(n), but it produces suboptimal codes for channels other than a BEC.

Thus, there is a need for improved devices and methods for encoding and decoding data using polar codes, in particular polar subcodes, as well as specifying these codes in an efficient way.

SUMMARY

It is an object of the invention to provide for improved devices and methods for encoding and decoding data using polar codes. Moreover, it is an object of the invention to provide for a method for generating a specification of a polar code in an efficient way.

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 the invention relates to an encoder for encoding data. The encoder comprises a processor configured to encode the data using a n, k, d) parent polar code C into codewords j - 1 = u ^A subject to the constraints u% ~i V T = 0, wherein denotes the m-times Kronecker product of the matrix F with itself and wherein the constraint matrix V is defined by the following equation: wherein V 0 denotes the constraint matrix of the parent polar code, V x denotes the constraint matrix of a first helper code C l t V 2 denotes the constraint matrix of a second helper code C 2 and E denotes a matrix consisting of rows of weight 1 .

Encoding data by means of the encoder according to the first aspect of the invention allows using a larger number of freezing constraints during the early phases of the sequential/list decoding process. This, in turn, allows reducing the number of high probability paths in the code tree explored by the decoder, thereby reducing the average number of iterations performed and the probability of the decoder losing the correct path. Thus, encoding data by means of the encoder according to the first aspect of the invention provides a peter performance in the high SNR region and substantially reduces the coding complexity compared to encoders using conventional polar subcodes.

In a first possible implementation form of the encoder according to the first aspect as such, the first helper code C x defines a minimum distance d t , which is greater than or equal to the minimum distance d of the parent polar code C.

In a second possible implementation form of the encoder according to the first aspect as such or the first implementation form thereof, the second helper code C 2 defines a minimum distance d 2 , which is greater than or equal to half the minimum distance d of the parent polar code C.

In a third possible implementation form of the encoder according to the first aspect as such or the first or second implementation form thereof, the processor is configured to generate the constraint matrix V x of the first helper code C x and/or the constraint matrix V 2 of the second helper code C 2 recursively.

In a fourth possible implementation form of the encoder according to the third

implementation form of the first aspect, the processor is configured to generate the constraint matrix V of the first helper code C x and the constraint matrix V 2 of the second helper code C 2 by generating the constraint matrix V X of the first helper code C X in the same way as the constraint matrix V and by generating the constraint matrix V 2 of the second helper code C 2 in the same way as the constraint matrix V. In a fifth possible implementation form of the encoder according to the first aspect as such or any one of the first to fourth implementation form thereof, the parent polar code C, the first helper code C X and/or the second helper code C 2 is an extended Bose-Chaudhuri- Hocquenghem (BCH) code. In a sixth possible implementation form of the encoder according to the first aspect as such or any one of the first to fifth implementation form thereof, the encoder further comprises a memory comprising a specification of the parent polar code C, the first helper code C X and/or the second helper code C 2 , wherein the specification is based on an approximation of the parent polar code C, the first helper code C X and/or the second helper code C 2 for a binary erasure channel (BEC).

In a seventh possible implementation form of the encoder according to the sixth implementation form of the first aspect, the specification of the parent polar code C, the first helper code C X and/or the second helper code C 2 is generated by the following steps: determining a first frozen set of the code; determining a second frozen set of an approximation of the code using the binary erasure channel (BEC); and storing the differences between the first frozen set and the second frozen set in the memory of the encoder. According to a second aspect the invention relates to a method for encoding data, wherein the method comprises the step of encoding the data using a (n, k, d) parent polar to the constraints Uo - 1 T = 0, wherein Q - 1 erein F® m denotes the m-times Kronecker

product of the matrix F with itself and wherein the constraint matrix V is defined by the following equation:

wherein V 0 denotes the constraint matrix of the parent polar code, V t denotes the constraint matrix of a first helper code C x , V 2 denotes the constraint matrix of a second helper code C 2 and E denotes a matrix consisting of rows of weight 1 .

The method according to the second aspect of the invention can be performed by the encoder according to the first aspect of the invention. Further features of the method according to the second aspect of the invention result directly from the functionality of the encoder according to the first aspect of the invention and its different implementation forms.

According to a third aspect the invention relates to a decoder for decoding codewords, wherein the decoder comprises a processor configured to decode the codewords

~ 1 A using a (n, k, d) parent polar code C subject to the constraints Q ' 1 ]/ 7 = 0, wherein F® m denotes the m-

times Kronecker product of the matrix F with itself and wherein the constraint matrix V defined by the following equation:

wherein V 0 denotes the constraint matrix of the parent polar code, V denotes the constraint matrix of a first helper code C l t V 2 denotes the constraint matrix of a second helper code C 2 and E denotes a matrix consisting of rows of weight 1 .

In a first possible implementation form of the decoder according to the third aspect, the first helper code C defines a minimum distance d x , which is greater than or equal to the minimum distance d of the parent polar code C.

In a second possible implementation form of the decoder according to the third aspect as such or the first implementation form thereof, the second helper code C 2 defines a minimum distance d 2 , which is greater than or equal to half the minimum distance d of the parent polar code C. ln a third possible implementation form of the decoder according to the third aspect as such or the first or second implementation form thereof, the processor is configured to generate the constraint matrix V 1 of the first helper code C and/or the constraint matrix V 2 of the second helper code C 2 recursively.

In a fourth possible implementation form of the decoder according to the third

implementation form of the third aspect, the processor is configured to generate the constraint matrix V 1 of the first helper code C x and the constraint matrix V 2 of the second helper code C 2 by generating the constraint matrix V of the first helper code C x in the same way as the constraint matrix V and by generating the constraint matrix V 2 of the second helper code C 2 in the same way as the constraint matrix V.

In a fifth possible implementation form of the decoder according to the third aspect as such or any one of the first to fourth implementation form thereof, the parent polar code C, the first helper code C r and/or the second helper code C 2 is an extended Bose-Chaudhuri- Hocquenghem (BCH) code.

In a sixth possible implementation form of the decoder according to the third aspect as such or any one of the first to fifth implementation form thereof, the decoder further comprises a memory comprising a specification of the parent polar code C, the first helper code C and/or the second helper code C 2 , wherein the specification is based on an approximation of the parent polar code C, the first helper code C x and/or the second helper code C 2 for a binary erasure channel (BEC). In a seventh possible implementation form of the decoder according to the sixth implementation form of the third aspect, the specification of the parent polar code C, the first helper code C x and/or the second helper code C 2 is generated by the following steps: determining a first frozen set of the code; determining a second frozen set of an approximation of the code using the binary erasure channel (BEC); and storing the differences between the first frozen set and the second frozen set in the memory of the encoder.

According to a fourth aspect the invention relates to a method for decoding codewords, wherein the method comprises the step of decoding the codewords cj - 1 = U Q ~ 1 A using a (n, k, d) parent polar code C subject to the constraints u^V 7 = 0, wherein u£ _1 denotes the data, wherein A = { , wherein F® m denotes the m-times Kronecker product of the matrix F with itself and wherein the constraint matrix V is defined by the following equation:

wherein V 0 denotes the constraint matrix of the parent polar code, V t denotes the constraint matrix of a first helper code C x , V 2 denotes the constraint matrix of a second helper code C 2 and E denotes a matrix consisting of rows of weight 1 .

The method according to the fourth aspect of the invention can be performed by the decoder according to the third aspect of the invention. Further features of the method according to the fourth aspect of the invention result directly from the functionality of the decoder according to the third aspect of the invention and its different implementation forms.

According to a fifth aspect the invention relates to a method of providing a compact specification of a polar code, wherein the method comprises the steps of: determining a first frozen set of the polar code; determining a second frozen set of an approximation of the polar code using the binary erasure channel (BEC); and determining the differences between the first frozen set and the second frozen set.

According to a sixth aspect the invention relates to a computer program comprising program code for performing the method according to the second aspect of the invention, the method according to the fourth aspect of the invention or according to the fifth aspect of the invention, 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 of a communication system comprising an encoder according to an embodiment and a decoder according to an embodiment;

Fig. 2 shows two exemplary constraint matrices for generating a polar code according to an embodiment;

Fig. 3 shows an exemplary constraint matrix for generating a polar code according to an embodiment; Fig. 4 shows an exemplary constraint matrix for generating a polar code according to an embodiment;

Fig. 5 shows a diagram for comparing the performance of recursive polar subcodes and conventional non-recursive polar subcodes in the context of sequential and block sequential decoding;

Fig. 6 shows a diagram for comparing the complexity of recursive polar subcodes and conventional non-recursive polar subcodes in the context of sequential decoding; and Fig. 7 shows a table for comparing the efficiency of the compact code specification implemented in embodiments of the inventions with conventional code specifications.

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

DETAILED DESCRIPTION OF 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 will be appreciated that the invention may be placed in other aspects and that structural or logical changes may be made without departing from the scope of the invention. The following detailed description, therefore, is not to be taken in a limiting sense, as the scope of the invention is defined by the appended claims. For instance, it will be appreciated that a disclosure in connection with a described method will generally 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.

Moreover, in the following detailed description as well as in the claims, embodiments with functional blocks or processing units are described, which are connected with each other or exchange signals. It will be appreciated that the invention also covers embodiments which include additional functional blocks or processing units that are arranged between the functional blocks or processing units of the embodiments described below.

Finally, it is understood that the features of the various exemplary aspects described herein may be combined with each other, unless specifically noted otherwise.

Figure 1 shows a schematic diagram illustrating a communication system 100 comprising an encoder 110 and a decoder 130, which can communicate via a communication channel 120. The encoder 110 comprises a processor 1 11 and a memory 113 and is configured to encode data. Likewise, the decoder 130 comprises a processor 131 and a memory 133 and is configured to decode data, in particular data encoded by the encoder 110. The encoder 110 and/or the decoder 130 can be implemented as part of a communication device, such as a mobile phone or a base station of a cellular communication network.

In order to reduce the decoding error probability and complexity of sequential decoding, embodiments of the invention provide recursive polar subcodes. The constraint matrix for a recursive polar subcode is given by

where V x and V 2 are the constraint matrices of some helper (n/2, k it d ) codes and C 2 . Thus, in an embodiment the processor 1 1 1 of the encoder 1 10 is configured to encode the data using a (n, k, d) parent polar code C into codewords c" -1 = v% A subject to the l 0\® m constraints U Q 1 V T = 0, wherein UQ 1 denotes the data, wherein A = J , wherein p®m cj eno tes the m-times Kronecker product of the matrix F with itself, (n, k, d) defines the length n of the parent polar code C, the number of information bits k, i.e the length of the data, and the minimum distance d of the parent polar code C. The constraint matrix V is defined by the following equation:

wherein V 0 denotes the constraint matrix of the parent polar code, V denotes the constraint matrix of a first helper code C l f V 2 denotes the constraint matrix of a second helper code C 2 and E denotes a matrix consisting of rows of weight 1 . In an embodiment, the first helper code C x and/or the second helper code C 2 are subcodes of a Reed-Muller code of sufficiently small order. The rows of weight 1 of the matrix E define static freezing constraints, which, in an embodiment, are imposed onto bit subchannels of low capacity by the polarizing transformation.

Likewise, in an embodiment the processor 131 of the decoder 130 is configured to decode the codewords j -1 = U Q ~ 1 A using a (n, k, d) parent polar code C subject to the constraints v% 1 V T = 0, wherein U Q 1 denotes the data, wherein A = wherein

m denotes the m-times Kronecker product of the matrix F with itself and wherein the constraint matrix V is defined by the following equation:

wherein V 0 denotes the constraint matrix of the parent polar code, V i denotes the constraint matrix of a first helper code C l t V 2 denotes the constraint matrix of a second helper code C 2 and E denotes a matrix consisting of rows of weight 1. In an embodiment, the parameters of the helper codes are selected in such a way that they have sufficiently high minimum distance, i.e. d x ≥d, d 2 ≥ .

The constraint matrices V 1 and V 2 of the helper codes can be constructed recursively in the same way as the constraint matrix V 0 of the parent code. Thus, embodiments of the invention allow introducing more freezing constraints to the early phases of the sequential/list decoding process. This allows reducing the number of high probability paths in the code tree explored by the decoder, reducing thus the average number of iterations performed, and the probability of the decoder losing the correct path.

In an embodiment, the code can be constructed in the follow way: 1. Construct dynamic freezing constraints for a parent (n, k', d) extended BCH code;

2. Construct dynamic freezing constraints for the helper (r^, k h d ) extended BCH codes;

3. Combine the constraint matrices of parent and helper codes to obtain r' x n matrix V, and let F' = {i } = max i: „.. ≠0 i |0 < ; < r'};

4. Compute the error probability in bit subchannels '( o 1-1 , ι _1 |ΐίφ), 0 < φ < 2 m using the techniques described, for example, in I. Tal, A. Vardy, "How to construct polar codes", IEEE Transactions on Information Theory, 59(10): 6562-6582, October 2013 or P. Trifonov, "Efficient design and decoding of polar codes", IEEE Transactions on Communications, 60(1 1 ):3221 - 3227, November 2012; and 5. Find n - r' - k indices φ £ F' with the highest error probability, and define

additional constraints υ. φ = 0.

In an embodiment, the parent polar code C, the first helper code C x and/or the second helper code C 2 is an extended Bose-Chaudhuri-Hocquenghem (BCH) code. The check matrix of an extended BCH parent or helper code is given by

where x t are distinct values of GF 2 m ). Each row of this matrix results in a number of freezing constraints of the following form:

114( , ..., -i) r = 0, 0≤ t < d (1 )

It is possible to show that after combining with additional constraints ; = 0 corresponding to bit subchannels with high error probability most of the equations defined by (1 ) become trivial (i.e. u i; . = 0).

The rows of check matrices corresponding to the non-trivial constraints

are referred to as active rows. In an embodiment, only the active rows (i.e. integers t) of the constraint matrix are specified.

In an embodiment, the remaining static freezing constraints are specified in the following manner. A parameter Z 0 0 defining the binary erasure channel (BEC) is specified and only the symmetric differences between the set of static frozen symbol indices (i.e. integers i: Ui = 0) of the polar code constructed for the BEC and the considered polar subcode are stored as part of the specification. As known to the person skilled in the art, the symmetric difference of two sets A and D is their union excluding their intersection, i.e.

ΑΔΒ=(Α U B)\(A n B).

Thus, the present invention provides a method of generating a compact specification of a polar code, wherein the method comprises the steps of: determining a first frozen set of the polar code; determining a second frozen set of an approximation of the polar code using the binary erasure channel (BEC); and determining the differences between the first frozen set and the second frozen set. Such compact specifications can be stored in the memory 1 13 of the encoder 1 10 and/or the memory 133 of the decoder 130.

Let T be the set of trivial frozen symbol indices for a code of length n = 2 m , \T\ = f.

Consider a BEC with erasure probability Z 0 0 = p. Denote B(p) as the vector of indices i of

f'-l subchannels sorted by their erasure probabilities Z m i in descending order. Let B(p 0 be the set of frozen symbol indices for a (n, n - /') polar code C optimized for the BEC. In an embodiment, the size of the difference of the set of indices of frozen symbols between C and the target code is minimized. Thereafter, B T = Β(ρ * ) _1 can be computed, where (ρ * , * ) = arg A B(p) f Q 1 \. Hence, according to an embodiment the code can be specified by a tuple S m, T) = (m, \T\, p \B T \, TAB F ), where m is the logarithm to the base 2 of the code length, \T\ is number of static frozen symbols, and p * is the optimal erasure probability.

In an embodiment, this approach is implemented recursively. In an embodiment, the set T is split into two subsets H L (m, T) = {i e T\i < 2 171 - 1 } and H R (m, T) = {i - 2 m→ \i E T, i≥ 2 m-1 }. In an embodiment, the compact specification procedure 5(m, F) is recursively applied to obtain a recursive specification in the following form: - l, H R (m, F)) \ herwise, where \S\ is the length in bytes of the specification and 5 X .S 2 denotes a concatenation of the two specifications 5 X and S 2 . In the following an example will be described, which illustrate several aspects of the invention.

Consider construction of a (32,17,6) recursive polar subcode. A constraint matrix of the (32,21,6) e-BCH parent code is given by the matrix V 0 shown in figure 2. A constraint matrix of the (16,7,6) e-BCH code is given by the matrix V 1 shown also in figure 2.

Combining these matrices, one obtains the matrix V shown in figure 3. Eliminating linearly dependent rows, one obtains the equivalent constraint matrix V shown in figure 4. Since this matrix has already 32-17=15 rows, there is no need to impose any additional constraints, so it can be taken as a constraint matrix of the (32,17,6) recursive polar subcode.

Consider a (32, 16)-polar code with the following set of frozen symbols F:

F = {0, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31}

In an embodiment, the frozen set F can be approximated by the frozen set for the binary erasure channel (BEC) with erasure probabilities of 0.005, 0.01 , 0.015, ... , 0.995. In an embodiment, the optimal approximated set is B F = {0}, p* = 0.005,/ * = 1. The non- recursive compact specification is defined as follows:

5(5, ) = (m, \F\,p * , \B P \, \F\B F \, F\B F , B F \F)

= (5, 16, 0.005, 1, 15, {16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31}, {}) This exemplary specification contains 20 numbers. After the algorithm finishes building this specification, it tries to split the frozen set into two parts and approximate them separately. In the considered case the partitioning is

H L = { }, H R = {0,1,2,3,4,5,6,7,8,9,10,12,13,14,15} The set H L is approximated by B HL = B Fl p H * L = V * HL = / * · Tn e set H R is approximated by

B HR = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15}, ft R = 16, p„ * R = 0.005,

Hence, the code can be specified by giving the following numbers:

4, 0.005, 1, 1, 0

4, 0.005, 15, 16, 0

11 This recursive specification requires just 11 numbers, which is much less than is required for the above presented non-recursive specification.

Figure 5 illustrates the performance of polar subcodes with recursive and non-recursive construction. It can be seen that recursive polar subcodes provide substantially better performance. Figure 6 illustrates the average number of operations performed by the block sequential decoding algorithm while decoding recursive and non-recursive polar subcodes. It can be seen that the decoding complexity for the case of recursive polar subcodes is approximately 22% lower compared to the case of non-recursive ones. The efficiency of the embodiments for compact code specification is illustrated by the table shown in figure 7. 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 will 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 will 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.