The present disclosure generally pertains to forward error correction. In particular, the present disclosure relates to Low Density Parity Check (LDPC) codes.
In a typical communication system, forward error correction (FEC) is often applied in order to improve robustness of the system against a wide range of impairments of the communication channel.
Referring to
In many modern communication systems, FEC uses Low Density Parity Check (LDPC) codes that are applied to a block of information data of the finite length.
One way to represent LDPC codes is by using so-called Tanner graphs, in which N symbol nodes, correspond to bits of the codeword and M check nodes, correspond to the set of parity check constraints which define the code. Edges in the graph connect symbol nodes to check nodes.
LDPC codes can also be specified by a parity check matrix H of size M×N. In the matrix H, each column corresponds to one of the symbol nodes while each row corresponds to one of the check nodes. This matrix defines an LDPC block code (N, K), where K is the information block size, N is the length of the codeword, and M is the number of parity check bits. M=N−K. A general characteristic of the LDPC parity check matrix is the low density of non-zero elements that allows utilization of efficient decoding algorithms. The structure of the LDPC code parity check matrix is first outlined in the context of prior art hardware architectures that can exploit the properties of these parity check matrices.
In order to accommodate various larger code rates without redesigning parity check matrix and therefore avoiding changing significantly base hardware wiring, expansion of a base parity check matrix is one of the common approaches. This may be achieved, for example, by replacing each non-zero element by a permutation matrix of the size of the expansion factor.
One problem often faced by the designer of LDPC codes is that the parity part of the base parity check matrix does not allow simple encoding algorithm. Another problem is that row weight is not uniform or not close to uniform.
Therefore, there is an unmet need for LDPC codes for use in modern communication systems.
In accordance with a first aspect of the present disclosure there is provided a method for constructing a low-density parity-check (LDPC) code having a structured parity check matrix, the method comprises the steps of: a) constructing a base parity check matrix H=[Hd|Hp], Hd is a data portion of the base parity check matrix, and Hp is the parity portion of the base parity check matrix; and b) expanding the base parity check matrix into an expanded parity check matrix by replacing each non-zero element by a shifted identity matrix; and replacing each zero element of the plurality of elements by a zero matrix. The base parity check matrix has a coding rate of R=1/2, 2/3, 3/4, 5/6, or 7/8; and accordingly is of the size of 12×24, 8×24, 6×24, 4×24, or 3×24.
Preferably, the parity portion allows a recursive encoding algorithm.
Preferably, the inverse of the parity portion of the expanded parity check matrix is sparse, allowing simple encoding per equation
p=H
p
exp
−1
H
d
exp
d
wherein d is a vector of uncoded bits, p is a vector of parity bits, Hp
More preferably, the data portion of the base parity check matrix has a minimum column weight of 3; a coding rate of R=2/3, and has the size 8×24 and the total weight of the base parity check matrix is equal or less then 88.
More preferably, the base parity check matrix is:
More preferably, the base parity check matrix is expanded by an expansion factor L of 27, and supports a code length of up to 648, and is represented by the expanded parity check matrix:
wherein −1 represents L×L all-zero square matrix, and other integers represent L×L identity matrix, circularly right shifted a number of times corresponding to the integers.
Preferably, the base parity check matrix has a coding rate of R=3/4, and is:
More preferably, the base parity check matrix is expanded by expansion factors L between 24 and Lmax=96, and is represented by the expanded parity check matrix:
In accordance with another aspect of the present disclosure there is provide a storage medium readable by a computer encoding a computer program for execution by the computer to carry out a method for constructing a low-density parity-check (LDPC) code having a structured parity check matrix, the computer program comprises: a) code means for constructing a base parity check matrix H=[Hd|Hp] having a plurality of elements, Hd being a data portion of the base parity check matrix, Hp being the parity portion of the base parity check matrix; and b) code means for expanding the base parity check matrix into an expanded parity check matrix by replacing each non-zero element of the plurality of elements by a shifted identity matrix, and each zero element of the plurality of elements by a zero matrix. The base parity check matrix has a coding rate selected from the group consisting of R=1/2, 2/3, 3/4, 5/6, and 7/8; and accordingly is of the size selected from the group consisting of 12×24, 8×24, 6×24, 4×24, and 3×24.
Preferably, the data portion of the base parity check matrix has a minimum weight of 3, the base parity check matrix has a constraint of maximum base parity check matrix weight of 88, and the base parity check matrix is:
More preferably, the base parity check matrix is expanded by an expansion factor L of 27, thereby supporting a code length of up to 648, and is represented by the expanded parity check matrix:
wherein −1 represents L×L all-zero square matrix, and other integers represent L×L identity matrix, circularly right shifted a number of times corresponding to the integers.
Preferably, the base parity check matrix has a coding rate of R=3/4, and is:
More preferably, the base parity check matrix is expanded by expansion factors L between 24 and Lmax=96, and is represented by the expanded parity check matrix:
wherein −1 represents L×L all-zero square matrix, the integer sij represents circular shifted L×L identity matrix, the amount of the shift sij is determined as follows:
In accordance with another aspect of the present disclosure there is provide a low density parity check (LDPC) base parity check matrix for use in communication systems, comprising a data part having a minimum weight of 3, the base parity check matrix having a coding rate of R=2/3, a constraint of maximum base parity check matrix weight of 88, the base parity check matrix being:
Preferably, an LDPC code is expanded from the above base parity check matrix by an expansion factor L of 27, thereby supporting a code length of up to 648, and is represented by following matrix:
wherein −1 represents L×L all-zero square matrix, and other integers represent L×L identity matrix, circularly right shifted a number of times corresponding to the integers.
The invention and the illustrated embodiments may be better understood, and the numerous objects, advantages, and features of the present disclosure and illustrated embodiments will become apparent to those skilled in the art by reference to the accompanying drawings, and wherein:
Reference will now be made in detail to some specific embodiments of the invention including the best modes contemplated by the inventors for carrying out the invention. Examples of these specific embodiments are illustrated in the accompanying drawings. While the invention is described in conjunction with these specific embodiments, it will be understood that it is not intended to limit the invention to the described embodiments. On the contrary, it is intended to cover alternatives, modifications, and equivalents as may be included within the spirit and scope of the invention as defined by the appended claims. In the following description, numerous specific details are set forth in order to provide a thorough understanding of the present invention. The present invention may be practiced without some or all of these specific details. In other instances, well known process operations have not been described in detail in order not to unnecessarily obscure the present invention.
Efficient decoder architectures are enabled by designing the parity check matrix, which in turn defines the LDPC code, around some structural assumptions: structured LDPC codes.
One example of this design is that the parity check matrix comprises sub-matrices in the form of binary permutation or pseudo-permutation matrices.
The term “permutation matrices” is intended to mean square matrices with the property that each row and each column has one element equal to 1 and other elements equal to 0. The term “pseudo-permutation matrices” is intended to include matrices that are not necessarily square matrices, and matrices may have row(s) and/or column(s) consisting of all zeros. It has been shown, that using this design, significant savings in wiring, memory, and power consumption are possible while still preserving the main portion of the coding gain. This design enables various serial, parallel, and semi parallel hardware architectures and therefore various trade-off mechanisms.
LDPC parity check matrix design also results in the reduction in encoder complexity. Classical encoding of LDPC codes is more complex than encoding of other advanced codes used in FEC, such as turbo codes. In order to ease this complexity it has become common to design systematic LDPC codes with the parity part comprising a lower triangular matrix. This allows simple recursive decoding. One simple example of a lower triangular matrix is a dual diagonal matrix as shown in
Referring to
where d=[d0 . . . dK-1]T is the block of (uncoded) data bits and p=[p0 . . . pM-1]T are the parity bits. A codeword is any binary (or in general, non-binary) N-vector c that satisfies:
Hc=H
d
d+H
p
p=0
Thus, a given data block d is encoded by solving binary equation Hdd=Hpp for the parity bits p. In principle, this involves inverting the M×M matrix Hp:
p=H
p
−1
H
d
d [equation 1]
This assumes Hp is invertible. If Hp−1 is also low density then the direct encoding specified by the above formula can be done efficiently.
One desirable feature of LDPC codes is that they support various required code rates and block sizes. A common approach is to have a small base parity check matrix defined for each required code rate and to support various block sizes by expanding the base matrix. Since it is usually required to support a range of block sizes, a common approach is to define expansion for the largest block size and then apply other algorithms which specify expansion for smaller block sizes. Below is an example of a base matrix:
In this example the base parity check matrix is designed for the code rate R=½ and its dimensions are (Mb×Nb)=(6×12). Assume that the block (codeword) sizes (lengths) to be supported are in the range N=[72,144], with increments of 12, i.e. N=[72, 84, . . . , 132, 144]. In order to accommodate those block lengths the parity check matrix needs to be of the appropriate size (i.e. the number of columns match N, the block length). The number of rows is defined by the code rate: M=(1−R)N. The expansion is defined by the base parity check matrix elements and the expansion factor L, which results the maximum block size. The conventions used in this example, for interpreting the numbers in the base matrix, are as follows:
−1, represents L×L all-zero square matrix, 0L, L equals 12 in this example;
0, represents L×L identity matrix, IL.
integer, r(<L), represents L×L identity matrix, IL, rotated to the right (for example) a number of times corresponding to the integer.
The following example shows a rotated identity matrix where the integer specifying rotation is 5:
Therefore, for the codeword size of N=144, base parity check matrix needs to be expanded by an expansion factor of 12. That way the final parity check matrix to be used for encoding and generating the codeword of size 144, is of the size (72×144). In other words, the base parity check matrix was expanded Lmax=12 times (from 6×12 to 72×144). For block sizes smaller than the maximum, the base parity check matrix gets expanded by a factor L<Lmax. In this case expansion is performed in a similar fashion except that now matrices IL and 0L, are used instead of ILmax and 0Lmax, respectively. Integers specifying the amount of rotation of the appropriate identity matrix, IL, are derived from those corresponding to the maximum expansion.
An example of such a matrix is shown in
The expansion may be done for example by replacing each non-zero element with a permutation matrix of the size of the expansion factor. One example of performing expansion is as follows:
Expansion of Hp may be done by replacing each “0” element by an L×L zero matrix, 0L×L, and each “1” element by an L×L identity matrix, IL×L, where L represents the expansion factor.
Expansion of Hd may be done by replacing each “0” element by an L×L zero matrix, 0L×L, and each “1” element by a circularly shifted version of an L×L identity matrix, IL×L. The shift order, s(number of circular shifts to the right, for example) is determined for each non-zero element of the base matrix.
It should be apparent to a person skilled in the art that these expansions can be implemented without the need to significantly change the base hardware wiring.
The simple recursive algorithm can be applied to the expanded matrix. If hi,j represent elements of the Hd portion of the expanded parity check matrix, then parity bits can be determined as follows:
p
0
=h
0,0
d
0
+h
0,1
d
1
+h
0,2
d
2
+ . . .+h
0,11
d
11
p
1
=h
1,0
d
0
+h
1,1
d
1
+h
1,2
d
2
+ . . .+h
1,11
d
11
p
2
=h
2,0
d
0
+h
2,1
d
1
+h
2,2
d
2
+ . . .+h
2,11
d
11
p
3
=p
0
+h
3,0
d
0
+h
3,1
d
1
+h
3,2
d
2
+ . . .+h
3,11
d
11
p
4
=p
1
+h
4,0
d
0
+h
4,1
d
1
+h
4,2
d
2
+ . . .+h
4,11
d
11
p
5
=p
2
+h
5,0
d
0
+h
5,1
d
1
+h
5,2
d
2
+ . . .+h
5,11
d
11
p
6
=p
3
+h
6,0
d
0
+h
6,1
d
1
+h
6,2
d
2
+ . . .+h
6,11
d
11
p
7
=p
4
+h
7,0
d
0
+h
7,1
d
1
+h
7,2
d
2
+ . . .+h
7,11
d
11
p
8
=p
5
+h
8,0
d
0
+h
8,1
d
1
+h
8,2
d
2
+ . . .+h
8,11
d
11
p
9
=p
6
+h
9,0
d
0
+h
9,1
d
1
+h
9,2
d
2
+ . . .+h
9,11
d
11
p
10
=p
7
+h
10,0
d
0
+h
10,1
d
1
+h
10,2
d
2
+ . . .+h
10,11
d
11
p
11
=p
8
+h
11,0
d
0
+h
11,1
d
1
+h
11,2
d
2
+ . . .+h
11,11
d
11
However, when the expansion factor becomes large, then the number of columns with only one non-zero element, i.e. 1 in the example here, in the Hp becomes large as well. This may have a negative effect on the performance of the code. One remedy for this situation is to use a slightly modified dual diagonal Hp matrix. This is illustrated with reference to
The parity check equations now become:
h
0,0
d
0
+h
0,1
d
1
+ . . .+h
0,11
d
11
+p
0
+p
3=0 [equation 2]
h
1,0
d
0
+h
1,1
d
1
+ . . . +h
1,11
d
11
+p
1
+p
4=0 [equation 3]
h
2,0
d
0
+h
2,1
d
1
+ . . .+h
2,11
d
11
+p
2
+p
5=0 [equation 4]
h
3,0
d
0
+h
3,1
d
1
+ . . .+h
3,11
d
11
+p
0
+p
3
+p
6=0 [equation 5]
h
4,0
d
0
+h
4,1
d
1
+ . . .+h
4,11
d
11
+p
1
+p
4
+p
7=0 [equation 6]
h
5,0
d
0
+h
5,1
d
1
+ . . .+h
5,11
d
11
+p
2
+p
5
+p
8=0 [equation 7]
h
6,0
d
0
+h
6,1
d
1
+ . . .+h
6,11
d
11
+p
6
+p
9=0 [equation 8]
h
7,0
d
0
+h
7,1
d
1
+ . . .+h
7,11
d
11
+p
7
+p
10=0 [equation 9]
h
8,0
d
0
+h
8,1
d
1
+ . . .+h
8,11
d
11
+p
8
+p
11=0 [equation 10]
h
9,0
d
0
+h
9,1
d
1
+ . . .+h
9,11
d
11
+p
0
+p
9=0 [equation 11]
h
10,0
d
0
+h
10,1
d
1
+ . . .+h
10,11
d
11
+p
1
+p
10=0 [equation 12]
h
11,0
d
0
+h
11,1
d
1
+ . . .+h
11,11
d
11
+p
2
+p
11=0 [equation 13]
Now by summing up equations 2, 5, 8, and 11, the following expression is obtained:
(h0,0+h3,0+h6,0+h0,9)d0+(h0,1+h3,1+h6,1+h9,1)d1+ . . .+(h0,11+h3,11+h6,11+h9,11)d11+p0+p3+p0+p3+p6+p6+p9+p0+p9=0
Since only p0 appears an odd number of times in the equation above, all other parity check bits cancel except for p0, and thus:
p
0=(h0,0+h3,0+h6,0+h9,0)d0+(h0,1+h3,1+h6,1+h9,1)d1+ . . .+(h0,11+h3,11+h6,11+9,11)d11
Likewise:
p
1=(h1,0+h4,0+h7,0+h10,0)d0+(h1,1+h4,1+h7,1+h10,1)d1+ . . .+(h1,11+h4,11+h7,11+10,11)d11
p
2=(h2,0+h5,0+h8,0+h11,0)d0+(h2,1+h5,1+h8,1+h11,1)d1+ . . .+(h2,11+h5,11+h8,11+11,11)d11
After determining p0, p1, p2 the other parity check bits are obtained recursively:
p
3
=h
0,0
d
0
+h
0,1
d
1
+ . . .+h
0,11
d
11
+p
0
p
4
=h
1,0
d
0
+h
1,1
d
1
+ . . .+h
1,11
d
11
+p
1
p
5
=h
2,0
d
0
+h
2,1
d
1
+ . . .+h
2,11
d
11
+p
2
p
6
=h
3,0
d
0
+h
3,1
d
1
+ . . .+h
3,11
d
11
+p
0
+p
3
p
7
=h
4,0
d
0
+h
4,1
d
1
+ . . .+h
4,11
d
11
+p
1
+p
4
p
8
=h
5,0
d
0
+h
5,1
d
1
+ . . .+h
5,11
d
11
+p
2
+p
5
p
9
=h
6,0
d
0
+h
6,1
d
1
+ . . .+h
6,11
d
11
+p
6
p
10
=h
7,0
d
0
+h
7,1
d
1
+ . . .+h
7,11
d
11
+p
7
p
11
=h
8,0
d
0
+h
8,1
d
1
+ . . .+h
8,11
d
11
+p
8 [equation 14]
The present invention provides new LPDC base parity matrices, and expanded matrices based on the new base parity matrices, and method for use thereof.
The locations of non-zero matrices for rate R in a first exemplary matrix are chosen, so that:
a) parity part ((1−R)*24 rightmost columns) of the matrix is designed to allow simple encoding algorithms;
b) weights of all columns in the data portion of base parity check matrix is uniform;
c) weights of all rows in the data portion of a base parity check matrix is uniform;
d) the parity part of the matrix allows simple encoding algorithms. For example, the encoding algorithm based on equation 1, or equation 14.
An example of R=3/4 base parity check matrix design using criteria a) to d) is:
The rate R=3/4 matrix definition built based on such base parity check matrix covers expansion factors in the range L between 24 and Lmax=96 in increments of 4. Right circular shifts of the corresponding L×L identity matrix sij, are determined as follows:
where sij is specified in the matrix definition below:
The locations of non-zero matrices for rate R in a second exemplary matrix are chosen, so that:
a) parity part ((1−R)*24 rightmost columns) of the matrix is designed to allow simple encoding algorithms;
b) minimum weight of the data portion of the matrix (R*24 leftmost columns) is 3;
c) maximum weight of the columns of the data portion is maximized, with a constraint of maximum total base parity check matrix weight; and
d) row weight is uniform or close to uniform;
e) the parity part of the matrix uses simple encoding algorithms. For example, the encoding algorithm based on equation 1, or equation 14.
For example, the base parity check matrix weight may be selected to be 88. The remaining weight is then distributed in the data part of the matrix in such a way that the matrix becomes as irregular as possible.
An example of R=2/3 base parity check matrix design using criteria a) to e) with the constraint of maximum base parity check matrix weight being 88, is:
Three matrices below expand the above base parity check matrix to achieve code lengths of 1944, 1296, and 648 bits using expansion factors L=81, 54, and 27, respectively.
Code Length=1944, Expansion Factor 81
Code Length=1296, Expansion Factor 54
Code Length=648, Expansion Factor 27
This is a continuation of U.S. patent application Ser. No. 13/346,155, filed on Jan. 9, 2012, which is a continuation of U.S. patent application Ser. No. 12/987,729, filed Jan. 10, 2011, now U.S. Pat. No. 8,099,646, which is a continuation of U.S. patent application Ser. No. 12/796,453, filed Jun. 8, 2010, now U.S. Pat. No. 7,917,829, which is a continuation of U.S. patent application Ser. No. 11/393,622, filed Mar. 30, 2006, now U.S. Pat. No. 7,752,521, which claims the benefit of U.S. Provisional Patent Application Ser. No. 60/727,932 filed on Oct. 18, 2005, and which is a continuation-in-part of International Application PCT/CA2005/001563, with an international filing date of Oct. 12, 2005, which claims the benefits of U.S. Provisional Application Nos. 60/673,323, filed Apr. 20, 2005; 60/656,587, filed Feb. 25, 2005; 60/647,259, filed Jan. 26, 2005; 60/639,420, filed Dec. 27, 2004; 60/638,832, filed Dec. 22, 2004; 60/635,525, filed Dec. 13, 2004; 60/627,348, filed Nov. 12, 2004; and 60/617,902, filed Oct. 12, 2004.
Number | Date | Country | |
---|---|---|---|
60727932 | Oct 2005 | US | |
60673323 | Apr 2005 | US | |
60656587 | Feb 2005 | US | |
60647259 | Jan 2005 | US | |
60639420 | Dec 2004 | US | |
60638832 | Dec 2004 | US | |
60635525 | Dec 2004 | US | |
60627348 | Nov 2004 | US | |
60617902 | Oct 2004 | US |
Number | Date | Country | |
---|---|---|---|
Parent | 13346155 | Jan 2012 | US |
Child | 13619380 | US | |
Parent | 12987729 | Jan 2011 | US |
Child | 13346155 | US | |
Parent | 12796453 | Jun 2010 | US |
Child | 12987729 | US | |
Parent | 11393622 | Mar 2006 | US |
Child | 12796453 | US |
Number | Date | Country | |
---|---|---|---|
Parent | PCT/CA2005/001563 | Oct 2005 | US |
Child | 11393622 | US |