Open AccessArticle

An Efficient Method to Construct Parity-Check Matrices for Recursively Encoding Spatially Coupled LDPC Codes †^†

Zhongwei Si

^*,

Sijie Wang

and

Junyang Ma

Key Laboratory of Universal Wireless Communications, Ministry of Education, Beijing University of Posts and Telecommunications (BUPT), No. 10 Xitucheng Road, Haidian District, Beijing 100876, China

Author to whom correspondence should be addressed.

^†

This paper is an extended version of our paper published in the 2015 IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, Hong Kong, China, 30 August–2 September 2015.

Entropy 2016, 18(8), 305; https://doi.org/10.3390/e18080305

Submission received: 15 June 2016 / Revised: 23 July 2016 / Accepted: 15 August 2016 / Published: 17 August 2016

(This article belongs to the Section Information Theory, Probability and Statistics)

Download

Browse Figures

Versions Notes

Abstract

Spatially coupled low-density parity-check (LDPC) codes have attracted considerable attention due to their promising performance. Recursive encoding of the codes with low delay and low complexity has been proposed in the literature but with constraints or restrictions. In this manuscript we propose an efficient method to construct parity-check matrices for recursively encoding spatially coupled LDPC codes with arbitrarily chosen node degrees. A general principle is proposed, which provides feasible and practical guidance for the construction of parity-check matrices. According to the specific structure of the matrix, each parity bit at a coupling position is jointly determined by the information bits at the current position and the encoded bits at former positions. Performance analysis in terms of design rate and density evolution has been presented. It can be observed that, in addition to the feature of recursive encoding, selected code structures constructed by the newly proposed method may lead to better belief-propagation thresholds than the conventional structures. Finite-length simulation results are provided as well, which verify the theoretical analysis.

Keywords:

channel coding; spatially coupled LDPC codes; protograph codes; recursive encoding; density evolution

Graphical Abstract

1. Introduction

Low-density parity-check (LDPC) codes [1] were the most researched channel coding in the last decade due to the good performance and the reasonable complexity. Their convolutional counterparts, the LDPC convolutional codes, were invented in [2] and further developed in, e.g., [3,4]. Different constructions and analytical results have been provided in [3,4,5,6,7,8,9,10,11]. For example, Lentmaier et al. [3] proposed a realization of LDPC convolutional codes and conjectured the capacity-achieving performance under belief-propagation (BP) decoding. The LDPC convolutional codes were considered in a realm of spatially coupled codes [4], and the capacity-achieving property of the code family has been proved theoretically [10,11,12,13]. The good features have triggered the application of spatially coupling in many scenarios, such as compressed sensing [14], rate-compatible coding [15,16], relay channels [17,18], wiretap channels [19], multiple access channels [20], multiuser detection [21], source coding [22], etc.

To realize the promising performance in practice, the implementation of spatially coupled LDPC codes is worth investigation. The best known implementation of spatially coupled LDPC codes is the one introduced in [6]. Based on the particular structure of the parity-check matrix, a recursive encoder using a shift-register was proposed. The encoder requires only a small number of memory units and the computational cost per bit is proportional to the check node degree. This is a clear advantage compared with the encoding of LDPC block code regarding storage requirements and computational costs. Combined with the pipeline decoding or the sliding-window decoding [6,23], spatially coupled LDPC codes provide a low-delay and low-complexity realization of channel coding with capacity-approaching performance.

The structure in [6] is suitable for recursive encoding; however, several constraints need to be satisfied when constructing the parity-check matrix. Alternatively, Sridharan et al. [8] proposed a simpler way to generate the parity-check matrix using randomly permuted identity matrices on condition that the check node degree

d_{c}

and the variable node degree

d_{v}

are not relatively prime. If we further require that the ratio of

d_{c}

and

d_{v}

is an integer, then the structure in [8] enables recursive encoding. These constraints and requirements limit the practical application of the codes. To extend the construction to the codes with arbitrary rates, we propose in this paper an efficient method to construct the parity-check matrices with permuted identity matrices regardless of the choice of

d_{c}

and

d_{v}

. By rearranging the edge connections, each parity bit at a coupling position is jointly determined by the information bits at the current position and the encoded bits at former positions [24]. A generalized principle is proposed, which provides feasible and practical guidance for constructing the recursive structures. The requirement of memory units and the computational complexity retain similar to the recursive encoder in [6]. Performance analysis in terms of design rate and density evolution is provided. It can be observed that, with properly designed pattern, the modified code structure may converge faster in the belief-propagation (BP) decoding than the existing structure [8]. Consequently, the corresponding spatially coupled LDPC ensemble is able to provide better BP thresholds and smaller gaps to the Shannon limits. Bit erasure rate (BER) performance with finite code lengths is provided as well, which verifies the analysis of the BP thresholds.

In this manuscript we restrict ourselves only to the convolutional-like LDPC codes with nearly regular structures. More advanced spatially coupled protograph codes [25] have been proposed with better decoding thresholds, minimum distances and finite-length trade-offs [26], such as spatially coupled repeat-accumulate (RA) codes [27], spatially coupled accumulate-jagged-accumulate (ARJA) codes [28] and spatially coupled MacKay–Neal (MN) codes [29]. The easy encoding of these codes is definitely worth investigations, and we will look into it in the future work.

The remainder of the paper is organized as follows. An overview of spatially coupled LDPC codes and the recursive encoding proposed in [6,8] are given in Section 2. In Section 3, we propose a principle on constructing the parity-check matrices of spatially coupled LDPC codes and illustrate the recursive encoding using a shift-register. Performance analysis based on design rate and density evolution is provided in Section 4. Section 5 presents the finite-length performance evaluation in the binary erasure channel (BEC). Section 6 concludes the paper.

2. Overview of Spatially Coupled LDPC Codes

Spatially coupled LDPC codes are constructed by coupling together a series of disjoint LDPC block codes into a single coupled chain. As shown in Figure 1, the left unit is the protograph of a LDPC code, and the structure on the right represents the protograph of the corresponding spatially coupled LDPC code. The spatially coupled LDPC ensemble is obtained by duplication and edge rearrangement from the LDPC ensemble.

(d_{v}, d_{c})

spatially coupled LDPC code with coupling chain L can also be defined using the parity-check matrix

H_{[0, L - 1]}^{T}

as follows:

H_{[0, L - 1]}^{T} = [\begin{matrix} M_{0}^{T} (0) & \dots & M_{0}^{T} (m_{s}) \\ ⋱ & M_{l}^{T} (l + m) & ⋱ \\ M_{L - 1}^{T} (L - 1) & \dots & M_{L - 1}^{T} (L + m_{s} - 1) \end{matrix}],

where each submatrix

M_{l}^{T} (l + m)

is a

c \times (c - b)

binary matrix. The parameter c corresponds to the number of variable nodes at each position, and

(c - b)

is the corresponding number of check nodes. In the notation, l,

0 \leq l < L

, denotes the position in the chain, and m,

0 \leq m \leq m_{s}

, indicates the position of edge connections. The parameter

m_{s}

is called the syndrome former memory, and

(m_{s} + 1) c

is regarded as the constraint length of the code.

Once the node degrees

(d_{v}, d_{c})

have been given, the parity-check matrix

H_{[0, L - 1]}^{T}

needs to satisfy the following constraints:

The number of ones in each row is $d_{v}$ .
The number of ones in each column is $d_{c}$ , except the beginning and the terminating ends of the chain.
$M_{l}^{T} (l + m) = 0$ , for $m < 0$ and $m > m_{s}$ , $\forall l$ .
There exists l such that $M_{l}^{T} (l + m_{s}) \neq 0$ .
$M_{l}^{T} (l) \neq 0$ has full rank $\forall l$ .

To implement the systematic and recursive encoding according to [6],

M_{l}^{T} (l + m)

must additionally satisfy:

6.: The last $c - b$ rows of $M_{l}^{T} (l)$ is a $(c - b) \times (c - b)$ identity matrix.

Note that, in this paper we assume that the encoder is systematic, i.e., the information bits is part of the codeword. We define the recursive encoding as that each parity bit to be encoded can be obtained through the module-2 addition of the known information bits and parity bits. Once a parity bit is determined, it will be utilized in the forthcoming calculation of other unknown parity bits.

It usually takes some efforts to simultaneously satisfy all the above constraints. Instead, if using the structure illustrated in [8], a syndrome matrix meeting all the requirements can be constructed simply.

We now describe the structure proposed in [8]. According to [8], the submatrix

M_{l}^{T} (l + m)

is constructed as

M_{l}^{T} (l + m) = [\begin{matrix} P_{0, 0} (l + m) & \dots & P_{0, d_{v}^{'} - 1} (l + m) \\ ⋮ & P_{i, j} (l + m) & ⋮ \\ P_{d_{c}^{'} - 1, 0} (l + m) & \dots & P_{d_{c}^{'} - 1, d_{v}^{'} - 1} (l + m) \end{matrix}],

where

P_{i, j} (l + m)

is an

M \times M

random permutation matrix in the i-th row and the j-th column of

M_{l}^{T} (l + m)

. Let

m_{b} = \gcd (d_{v}, d_{c})

denote the greatest common divisor of

d_{v}

and

d_{c}

, then there exist positive integers

d_{v}^{'} = d_{v} / m_{b}

d_{c}^{'} = d_{c} / m_{b}

, and

\gcd (d_{v}^{'}, d_{c}^{'}) = 1

. In this case, we have

c = d_{c}^{'} M

b = (d_{c}^{'} - d_{v}^{'}) M

, and the syndrome former memory

m_{s} = m_{b} - 1

. The satisfaction of constraints 1–5 is obvious. When

d_{c} / d_{v}

is an integer,

M_{l}^{T} (l + m)

turns out to be a

d_{c}^{'} \times 1

matrix. The constraint 6 is easy to access by setting

P_{d_{c}^{'} - 1, 0} (l + m)

as an identity matrix.

The recursive encoding of spatially coupled LDPC code for the case that

d_{c} / d_{v}

is an integer is discussed in the following. The protograph of the

(3, 6, L)

spatially coupled LDPC ensemble has been provided in Figure 1, where the gray circles correspond to information bits and the white circles associate with parity bits. As shown in the protograph, the parity bits

v_{l, 1}

in each position l are determined according to the information bits

v_{l, 0}

and the related bits

v_{l^{'}, 0}

v_{l^{'}, 1}

0 \leq l^{'} < l

, from the previous positions. In this way, a recursive encoder is implemented.

However, it is disappointing that for the case

d_{c} / d_{v}

is not an integer, we cannot perform recursive encoding as above. Let us consider the case

d_{v} = 4

and

d_{c} = 6

. The protograph of the LDPC block code, which acts as the smallest coupling unit, is given on the left of Figure 2. The protograph of a

(d_{v}, d_{c}, L) = (4, 6, L)

spatially coupled LDPC ensemble constructed according to [8] is provided in Figure 2a. The notations are the same as in Figure 1. The protograph consists of

d_{c}^{'} = 3

variable nodes and

d_{v}^{'} = 2

check nodes at each position. The variable node degree equals

d_{v}

, and the check node degree is

d_{c}

. At each position l in Figure 2a,

v_{l, 0}

denotes the information bits while

v_{l, 1}

and

v_{l, 2}

represent the parity bits, for

0 \leq l < L

. It can be seen that the parity bits

v_{l, 1}

(and

v_{l, 2}

) can not be calculated only depending on

v_{l, 0}

and the encoded bits at former positions, as the two variable nodes associated with

v_{l, 1}

and

v_{l, 2}

connect to the same check node. Therefore, recursive encoding cannot be applied for this case.

Fortunately, the problem may have a solution using a modified protograph structure as illustrated in Figure 2b. Similarly,

v_{l, 0}

represents the information bits, and

v_{l, 1}, v_{l, 2}

are the parity bits, at each position l. The edge connection on the variable node associated with

v_{l, 2}

is rearranged. It avoids connecting to both the check nodes at the current position but connects to a check node one position away. By doing this, each check node connects with only one unknown variable nodes and

d_{c} - 1

known variable nodes. The parity bit

v_{l, 1}

can be calculated depending on

v_{l, 0}

and the encoded bits at former positions. Afterwards,

v_{l, 2}

can be obtained in turn through

v_{l, 0}

v_{l, 1}

and the encoded bits at former positions. After the modification, all the parity bits at the current position can be calculated depending on the information bits and the previously encoded parity bits. The recursive encoding is realized through a structure modification.

The recursive encoding significantly reduces the delay and the complexity compared to the encoding of LDPC block codes, and it promotes the application of spatially coupled LDPC codes in practice. Therefore, it is important to find an efficient and effective method to implement the recursive encoding for arbitrarily chosen node degrees. In the next section, we propose a simple but generalized principle for constructing the parity-check matrix and implement the recursive encoding for the proposed structures.

3. Recursive Encoding of Spatially Coupled LDPC Codes with Arbitrary Node Degrees

In the following we first propose a general method which guides the construction of the parity-check matrix for recursive encoding. Afterwards, the details of the encoding procedure is provided.

3.1. General Principle on Constructing Parity-Check Matrices

Instead of using the

d_{c}^{'} \times d_{v}^{'}

structure as the smallest coupling unit, we redefine a structure consisting of

d_{c} \times d_{v}

permuted identity matrices as:

B_{l}^{T} = [\begin{matrix} P_{0, 0}^{(0)} (l) & \dots & P_{0, d_{v} - 1}^{(d_{v} - 1)} (l) \\ ⋮ & P_{i, j}^{(n)} (l) & ⋮ \\ P_{d_{c} - 1, 0}^{(0)} (l) & \dots & P_{d_{c} - 1, d_{v} - 1}^{(d_{v} - 1)} (l) \end{matrix}],

(1)

where

P_{i, j}^{(n)} (l)

is an

M \times M

random permutation matrix in the i-th row and the j-th column of

B_{l}^{T}

, and n (

0 \leq n < d_{v}

) represents that

P_{i, j}^{(n)} (l)

is the n-th non-zero permutation matrix in the i-th row. By varying the offsets between adjacent rows, different types of coupling units are obtained. We define a pattern

a = (a_{0}, a_{1}, \dots, a_{i}, \dots, a_{d_{c} - 1})

, where

a_{i} \in {0, 1}

for

i = {0, 1, \dots, d_{c} - 1}

, to represent the coupling unit

{\tilde{H}}_{l}^{T}

after row offsetting as:

{\tilde{H}}_{l}^{T} = \begin{matrix} a_{0} = 1 \\ ⋮ \\ a_{i - 1} \\ a_{i} = 1 \\ ⋮ \\ a_{d_{c} - 1} \end{matrix} [\begin{matrix} P_{0, 0}^{(0)} (l) & P_{0, 1}^{(1)} (l) & \dots & P_{0, j + 1}^{(j + 1)} (l) & \dots & P_{0, d_{v} - 1}^{(d_{v} - 1)} (l) \\ ⋱ & ⋱ & ⋱ & ⋱ \\ P_{i - 1, j}^{(0)} (l) & P_{i - 1, j + 1}^{(1)} (l) & \dots & \dots & P_{i - 1, j + d_{v} - 1}^{(d_{v} - 1)} (l) \\ P_{i, j + 1}^{(0)} (l) & P_{i, j + 2}^{(1)} (l) & \dots & P_{i, j + d_{v} - 1}^{(d_{v} - 2)} (l) & P_{i, j + d_{v}}^{(d_{v} - 1)} (l) \\ ⋱ & ⋱ & ⋱ \\ P_{d_{c} - 1, d_{v} - 1}^{(0)} (l) & P_{d_{c} - 1, d_{v}}^{(1)} (l) & \dots & P_{d_{c} - 1, 2 d_{v} - 2}^{(d_{v} - 1)} (l) \end{matrix}]

(2)

The element

a_{i} = 1

means that the beginning of the non-zero matrices in the i-th row shifts by one column compared to that in the

(i - 1)

-th row, while

a_{i} = 0

indicates that the non-zero matrices in the i-th row are aligned with those in the

(i - 1)

-th row, for

0 < l < d_{c}

. Note that

a_{0} = 1

means that the beginning of the first row in

{\tilde{H}}_{l}^{T}

shifts by one column compared to the last row of

{\tilde{H}}_{l - 1}^{T}

. Figure 3 illustrates how to obtain

{\tilde{H}}_{l}^{T}

from

B_{l}^{T}

according to pattern

a

, and then how to assemble

H_{[0, L - 1]}^{T}

accordingly.

In the following we propose a theorem which selects all the parity-check matrix structures suitable for recursive encoding.

Theorem 1.

For a coupling unit represented by

a = (a_{0}, a_{1}, \dots, a_{i}, \dots, a_{d_{c} - 1})

, if the pattern

a

satisfies

\{\begin{matrix} \sum_{i = 0}^{d_{c} - 1} a_{i} = d_{v} \\ a_{0} = 1 \end{matrix},

(3)

the spatially coupled LDPC ensemble

{d_{v}, d_{c}, L}

constructed by coupling the unit of pattern

a

allows recursive encoding.

Proof of Theorem 1.

We first prove that any matrix

H_{[0, L - 1]}^{T}

coupling from a structure

{\tilde{H}}_{l}^{T}

satisfying condition (3) is the parity-check matrix of a spatially coupled LDPC ensemble. Each

P_{i, j}^{(n)} (l)

is a permutation matrix, which implies that each column or each row of

P_{i, j}^{(n)} (l)

only contains single one. Considering

\sum_{i = 0}^{d_{c} - 1} a_{i} = d_{v}

and

a_{0} = 1

, the structure

{\tilde{H}}_{l}^{T}

must have a form as in (2).

It is obvious that

{\tilde{H}}_{l}^{T}

is a

d_{c} \times (2 d_{v} - 1)

matrix, and each

P_{i, j}^{(n)} (l)

is an element of it. Apparently each row in

{\tilde{H}}_{l}^{T}

contains

d_{v}

non-zero columns, and so does

H_{[0, L - 1]}^{T}

. Then, as Figure 3 shows, the last

d_{v} - 1

columns of

{\tilde{H}}_{l - 1}^{T}

is aligned with the first

d_{v} - 1

columns of

{\tilde{H}}_{l}^{T}

a_{0} = 1

. Assuming that

a_{i^{*}}

represents the second 1 (

a_{0}

must be 1) in

a

, all columns in row

i^{'}

i^{'} \geq i^{*}

, has been shifted to the right by at least one column. Thus the first column in

{\tilde{H}}_{l - 1}^{T}

contains only

i^{*}

rows and the

d_{v}

-th column contains

d_{c} - i^{*}

rows. Note that the

d_{v}

-th column of

{\tilde{H}}_{l - 1}^{T}

corresponds to the first column of

{\tilde{H}}_{l}^{T}

. After assembling

{\tilde{H}}_{l - 1}^{T}

and

{\tilde{H}}_{l}^{T}

, the corresponding column in

H_{[0, L - 1]}^{T}

contains

d_{c}

rows. The same analysis can be applied to other columns except the beginning and terminating ends of

H_{[0, L - 1]}^{T}

. Therefore the matrix

H_{[0, L - 1]}^{T}

is the parity-check matrix of a spatially coupled LDPC ensemble with node degrees

d_{v}

and

d_{c}

We then prove why recursive encoding can be applied with this structure. We have assumed that the coupling unit has

d_{c}

variable nodes and

d_{v}

check nodes. We use

C (l, k)

to denote the k-th check node in the l-th coupling unit in the chain,

0 \leq k < d_{v}

. In each coupling unit, the number of variable nodes associated with the parity bits equals

d_{v}

, and the number of variable nodes corresponding to information bits is

d_{c} - d_{v}

. For convenience, we name the variable nodes associated with the parity bits as parity nodes, and we denote the k-th parity node in the l-th coupling unit as

P (l, k)

. The nodes related to the information bits are denoted as

I (l, j)

0 \leq j < d_{c} - d_{v}

To guarantee recursive encoding, we set the following conditions on the edge connections from the check node

C (l, k)

: (i) there is one and only one edge connecting the check node

C (l, k)

and the parity node

P (l, k)

; (ii) the remaining

(d_{c} - 1)

edges are only allowed to connect with the nodes in the set

{P (l^{'}, k^{'}) : d_{v} l^{'} + k^{'} < d_{v} l + k} \cup {I (l^{'}, j) : l^{'} \leq l, 0 \leq j < d_{c} - d_{v}}

. A protograph which illustrates the above connections for

d_{v} = 4

and

d_{c} = 6

is given in Figure 4. Without the loss of generality, we assume the information bits are associated with the first two variable nodes in each coupling unit.

In the following we describe the above conditions in form of parity-check matrix. Each coupling unit is described by a

d_{c} \times d_{v}

structure of permutation matrices. Without disarranging the edge connections, we change the order of rows so that the first

d_{v}

rows relate to parity nodes

P (l, k)

0 \leq k < d_{v}

. The indexes of the columns represent the check nodes

C (l, k)

. According to the condition (i), the permutation matrix at the k-th row and the k-th column for

0 \leq k < d_{v}

is non-zero. Meanwhile, based on the condition (ii), the permutation matrix at the k-th row and the

k^{'}

-th column,

k > k^{'}

0 \leq k, k^{'} < d_{v}

, must be a zero-matrix. We have defined that the element

a_{i} = 1

means that the beginning of the non-zero permutation matrices in the i-th row shifts by one column compared to that in the

(i - 1)

-th row. According to the conditions, there is obviously a number of

d_{v}

1s in the pattern

a

. ☐

a_{0} = 1

, the above theorem selects a number of

(\binom{d_{c} - 1}{d_{v} - 1})

structures which allow recursive encoding. However, some different structures may actually lead to the same edge connections in the chain. In order to screen out the structures which have truly different edge connections, we take into account the following restriction. The submatrices indexed by

a_{a}

and

a_{b}

are considered to result in different edge connections in the coupling chain only if they satisfy:

{(a_{a})}_{N} \neq a_{b}

(4)

where

{(a_{a})}_{N}

indicates a sequence obtained by circular shifting the elements in

a_{a}

for N times,

N \in \{0, 1, \dots d_{c} - 1\}

Once the pattern

a

is obtained, the positions for the information bits are determined. If

a_{i} = 0

0 < i < d_{v}

, the

(i - 1)

-th variable node is designated for one information bit. The structures selected by (3) and (4) for recursive encoding spatially coupled LDPC ensembles with

d_{v} = 4

and

d_{c} = 6

are

a_{a} = (1, 0, 0, 1, 1, 1)

a_{b} = (1, 0, 0, 1, 1, 1)

, and

a_{c} = (1, 0, 1, 1, 1, 0)

. The corresponding matrix structures are illustrated in Figure 5. The various structures lead to different performance which will be discussed later.

The spatially coupled LDPC codes need to be initialized and terminated properly for finite L. In order to ensure that the spatially coupled LDPC codes with the modified structures exhibit good performance, we try to maintain the degree of variable nodes for all the positions on the coupling chain but reduce the degree of check nodes at the boundary positions.

Take Figure 2b as an example. If we keep all the variable node degree to be

d_{v}

, there appears an additional check node at the end of the chain compared to Figure 2a. This check node will slightly reduce the design rate of the ensemble. On the other hand, if we remove this check node, the design rate will be the same as that of Figure 2a. For this case, the last variable node has a reduced degree

d_{v} - 1

. In this manuscript, we always choose to keep the variable node degree

d_{v}

on all the positions.

The same as in [6], the state of the register is non-zero after encoding. A solution to this problem has been proposed in [6], but it has to solve a system of linear equation which is complex. To solve the problem more efficiently, we adopt the efficient termination proposed in [9].

3.2. Implementation of Recursive Encoding

In this section, we introduce the implementation of recursive encoding based on the modified structure of spatially coupled LDPC codes as above.

To illustrate the recursive encoding, we first define the following notations. The subsequence of information bits at position l is defined as

u_{l} = [u_{l, 0}, u_{l, 1}, \dots, u_{l, d_{c} - d_{v} - 1}]

for

0 \leq l < L

. The encoded subsequence at position l is denoted as

v_{l} = [v_{l, 0}, v_{l, 1}, \dots, v_{l, d_{c} - 1}]

, and

c_{l} = [c_{l, 0}, c_{l, 1}, \dots, c_{l, d_{v} - 1}]

is the parity-bit vector for

0 \leq l < L

. We have the entire code sequence as

v_{[0, L - 1]} = [v_{0}, v_{1}, \dots, v_{L - 1}]

, and it satisfies the equation

v_{[0, L - 1]} {\tilde{H}}_{[0, L - 1]}^{T} = 0 .

(5)

We divide (5) into several sub-equations, and the l-th sub-equation is written as

v_{l} {\tilde{H}}_{l}^{T} = p_{l} = [s_{l}, q_{l}]

0 \leq l < L

. The vector

p_{l} = [s_{l}, q_{l}]

is the partial syndrome from the l-th sub-equation, where

s_{l} = [s_{l}^{(0)}, s_{l}^{(1)}, \dots, s_{l}^{(d_{v} - 1)}]

and

q_{l} = [q_{l}^{(0)}, q_{l}^{(1)}, \dots, q_{l}^{(d_{v} - 2)}]

From the structure of

{\tilde{H}}_{l}^{T}

, for

1 \leq l < L

, we have

\begin{matrix} p_{l - 1} = v_{l - 1} {\tilde{H}}_{l - 1}^{T}, \\ s_{l}^{(k)} = \{\begin{matrix} q_{l - 1}^{(k)} = p_{l - 1}^{(k + d_{v})}, & 0 \leq k < d_{v} - 1 \\ 0, & k = d_{v} - 1 \end{matrix} \end{matrix} .

P_{i, j}^{(0)} (l)

for

a_{i + 1} \neq 0

(

0 \leq i < d_{c}

a_{d_{c}} = a_{0} = 1

) is an identity matrix, then the parity bits can be calculated simply with the encoded bits obtained earlier. For

0 \leq l < L

, the i-th

(0 \leq i < d_{c})

encoded bit

v_{l, i}

is determined depending on the information bits, the encoded parity bits and the partial syndrome as

v_{l, i} = \{\begin{matrix} u_{l, g}, & a_{i + 1} = 0 \\ c_{l, k} = s_{l}^{(k)} + \sum_{i^{'} = 0}^{i - 1} v_{l, i^{'}} P_{i^{'}, j}^{(\cdot)} (l), & a_{i + 1} = 1 \end{matrix},

(6)

where

u_{l, g}

and

c_{l, k}

correspond to the coming information bits and the parity bits to be encoded, respectively. The indexes g, k and j are determined by the realization of

{\tilde{H}}_{l}^{T}

For

l = 0

s_{0} = 0

, the encoder is initialized by

p_{0} = [0, q_{0}] = v_{0} {\tilde{H}}_{0}^{T},

and the encoded bits are

v_{0, i} = \{\begin{matrix} u_{0, g}, & a_{i + 1} = 0 \\ c_{0, k} = \sum_{i^{'} = 0}^{i - 1} v_{0, i^{'}} P_{i^{'}, j}^{(\cdot)} [0], & a_{i + 1} = 1 \end{matrix}

(7)

According to (6) and (7), we can implement the recursive encoder of spatially coupled LDPC codes using shift-registers as in [6]. The encoder needs a number of

(d_{v} - 1) M

storage units, and the encoding complexity per bit is proportional to

d_{c}

4. Theoretical Analysis

In this section, the design rate of the terminated spatially coupled LDPC ensemble with the modified structure is calculated. In addition, analysis based on density evolution is provided. For a fair comparison with [8], in the following we assume an idealized termination where the state of the shift-register comes back to zero. For the ease of presentation, we refer to the structure in [8] as the original structure in the rest of the paper.

4.1. Design Rate

To get the design rate of a

(d_{v}, d_{c}, L)

spatially coupled LDPC ensemble, we calculate the total number of information bits and parity bits separately. Since there are M nodes for each position, the total number of variable nodes equals

d_{c} L M

, and the total number of check nodes is

(d_{v} L + d_{v} - 1) M

. Hence, the design rate of the spatially coupled LDPC code is

R = 1 - \frac{d_{v} L + d_{v} - 1}{d_{c} L} = 1 - \frac{d_{v}}{d_{c}} \times \frac{L + \frac{d_{v} - 1}{d_{v}}}{L} .

As we pointed out earlier, this rate is slightly lower than that of the original ensemble when

\gcd (d_{v}, d_{c}) < d_{v}

. When

\gcd (d_{v}, d_{c}) = d_{v}

, the modified ensemble is equivalent to the original structure, and the design rate is the same for both. For a large L, the rate reduction is negligible. When L tends to infinity, the design rate converges to

1 - d_{v} / d_{c}

4.2. Density Evolution

In the following we derive the density evolution of the proposed code structures. For comparison, we plot the remaining erasure probabilities after iterations for both the original spatially coupled structure and the newly proposed structures.

There are

d_{c}

variable nodes and

d_{v}

check nodes at each position. Due to the variety of edge connections, we track the message passing on each individual node instead of each position. We use

T (k, n)

to denote the set of indices

(f, g)

of the check nodes connected with variable node

(k, n)

and

J (f, g)

to represent the set of indices

(k, n)

of the variable nodes related to check node

(f, g)

. The check node

(f, g)

is the g-th check node at position f, and variable node

(k, n)

is the n-th variable node at position k.

In the t-th iteration of the decoding, we use

x_{k, f}^{n, g} (t)

to denote the probability that the message from variable node

(k, n)

to check node

(f, g)

is an erasure, while the probability that the message from check node

(f, g)

to variable node

(k, n)

corresponds to an erasure is represented by

y_{f, k}^{g, n} (t)

. As the variable node

(k, n)

connects with the check nodes indexed by

T (k, n)

x_{k, f}^{n, g} (t)

can be updated as

x_{k, f}^{n, g} (t) = ε \prod_{\binom{(f^{'}, g^{'}) \in T (k, n)}{s . t . (f^{'}, g^{'}) \neq (f, g)}} y_{f^{'}, k}^{g^{'}, n} (t - 1) .

Similarly, for check node

(f, g)

, we get

y_{f, k}^{g, n} (t) = 1 - \prod_{\binom{(k^{'}, n^{'}) \in J (f, g)}{s . t . (k^{'}, n^{'}) \neq (k, n)}} [1 - x_{k^{'}, f}^{n^{'}, g} (t)] .

In Figure 6, the density evolution for

(d_{v}, d_{c}, L) = (4, 6, 50)

spatially coupled LDPC ensemble with iteration numbers

n = {1, 101, 201, 301, . . ., 901}

is given for the binary erasure channel with erasure probability

ε = 0.646

. Figure 6a refers to the original spatially coupled LDPC ensemble in [8], while Figure 6b–d correspond to the spatially coupled LDPC ensembles modified for recursive encoding. The horizontal axis is the index of the variable nodes in the protograph, where every adjacent

d_{c}

variable nodes belong to the same position. The vertical axis presents the remaining erasure probability.

The curves of density evolution reflect the irregularity of check node degree at the boundary positions. In the initialization, the degree of the left four check nodes is respectively

{3, 3, 6, 6}

{2, 3, 5, 6}

{3, 4, 5, 6}

, and

{2, 3, 4, 6}

for (a) to (d). In general, lower check node degree leads to better decoding performance, which is verified in Figure 6. We can see that (b) and (d) show an advantage over (a) and (c) on the left boundary of the protograph. Similar superiority is observed for (b) and (c) on the right boundary due to their smaller check node degree.

For the original spatially coupled LDPC ensemble, all the variable nodes at the same position has the same coupling behavior. Therefore, (a) exhibits a stair for every

d_{c}

variable nodes. In the protograph of the modified structures, even for the same position, the edge connection may be different from one variable node to another. Consequently, the curves of remaining erasure probability in (b), (c), and (d) are smoother than that in (a). Meanwhile, the manner of edge connection clearly affects the convergence behavior in iterative decoding. For the erasure probability we chose, the codes are in the water-fall region. We can see from the distance between neighboring curves, (b) converges the fastest among all the ensembles, and (c) performs the worst.

The BP decoding performance of spatially coupled LDPC ensembles is jointly determined by the boundary effect and the manner of edge connections. Combining the above observations, we expect that the ensemble associated with Figure 6b outperforms the others regarding the decoding threshold. The BP thresholds will be given in the next section.

On top of BP threshold, the performance of a spatially coupled LDPC code can be analyzed through the distance property of the ensemble. For example, the minimum distance growth rate of a spatially coupled LDPC ensemble can be studied via ensemble weight enumerator [30], and the smallest stopping/trapping set size growth can be studied via stopping/trapping set enumerator [31]. This manuscript mainly discuss the implementation aspects of the recursive encoding after modifying the structure, and a comprehensive performance analysis based on the distance property will be addressed in the future work.

5. Simulation Results and Discussions

In this section, we evaluate the performance of the proposed structures in the binary erasure channel numerically. We compare the BP thresholds of the spatially coupled LDPC codes after the modifications with the BP thresholds of the corresponding original structures in [8]. In addition, the bit erasure rates for different structures are provided.

We first provide the comparison of BP thresholds among different realizations of the modification. We choose the parameters

d_{v} = 4

d_{c} = 6

and

L = 50

and carry out the density evolution for all the structures shown in Figure 5. The BP thresholds of the modified spatially coupled LDPC ensembles and the original implementation in [8] over the BEC are shown in Table 1, which are represented by

ε^{B P}

. Besides,

ε^{S h}

denotes the Shannon limit corresponding to different design rate. As predicted in Section 4.2, the ensemble with the pattern

(101101)

performs the best among all the structures. The gap between the Shannon limit and the BP threshold is smaller than that of the original structure. The structure modification does not necessarily result in better BP threshold. However, a properly designed pattern can enable both easy encoding and better threshold.

Based on the observations in Table 1, we realize the modifications with properly selected patterns for different

d_{v}

and

d_{c}

and provide the BP thresholds in Table 2. The selected patterns are listed in the table, and the coupling length is

L = 50

. The gaps between the BP thresholds and the Shannon limits for the modified spatially coupled LDPC ensembles and for the original ensembles in [8] are represented by

G a p

and

\tilde{G a p}

, respectively. Comparing

G a p

with

\tilde{G a p}

, we can find that all the gaps are narrowed after proper modifications. For the modified structures, all the gaps are very small and can be further narrowed if we increase the parameters. Properly modified spatially coupled LDPC ensembles are able to provide capacity-approaching performance over the BEC. A similar conclusion can be extended to the general binary memoryless symmetric channel.

Bit erasure rates for the modified spatially coupled LDPC codes and the original code over BECs are provided in Figure 7. Here, we set

M = 500

and

L = 50

, and we use the selected patterns as in Table 2. We also include the corresponding BP thresholds as the dashed lines and the Shannon limits as the dotted lines. Comparing the BER curves, we can find that the spatially coupled LDPC codes with properly modified structures clearly outperforms the original spatially coupled LDPC code in [8]. Note that, in addition to the good decoding performance, the proposed structure allows recursive encoding which facilitates the application of spatially coupled LDPC codes in practice.

6. Conclusions

In this manuscript, structure modification for the spatially coupled LDPC code has been proposed, which enables the recursive encoding using a shift-register for arbitrary node degrees. The proposed principle provides feasible and practical guidance for the code construction and significantly reduces the computational complexity and memory requirement for the encoding. Performance analysis in terms of design rate and density evolution has been provided. The belief-prorogation decoding threshold is improved if proper edge rearrangement is applied in the modified spatially coupled LDPC ensemble. Finite-length simulation results are provided, which verify the theoretical analysis.

Acknowledgments

This work was supported in part by the National Natural Science Foundation of China (No. 61401037), the 863 project (No. SS2015AA011303), and the NSFC-RS joint funding grant (Nos. 61511130081 and IE141387).

Author Contributions

Zhongwei Si and Junyang Ma developed the first proposal of the study for the recursive encoding of spatially coupled LDPC codes with arbitrary rates. Zhongwei Si and Sijie Wang extended the study by proposing a generalized design principle and proving the theorem. The analysis and simulations were carried out by all the three authors. All authors have participated in writing the manuscript. All authors have read and approved the final manuscript.

Conflicts of Interest

The authors declare no conflict of interest. The founding sponsors had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, and in the decision to publish the results.

References

Gallager, R.G. Low Density Parity Check Codes; MIT Press: Cambridge, MA, USA, 1963. [Google Scholar]
Jimenez-Feltström, A.; Zigangirov, K.S. Time-varying periodic convolutional codes with low-density parity-check matrix. IEEE Trans. Inf. Theory 1999, 45, 2181–2191. [Google Scholar] [CrossRef]
Lentmaier, M.; Sridharan, A.; Costello, D.J., Jr.; Zigangirov, K.S. Iterative decoding threshold analysis for LDPC convolutional codes. IEEE Trans. Inf. Theory 2010, 56, 5274–5289. [Google Scholar] [CrossRef]
Kudekar, S.; Richardson, T.; Urbanke, R. Threshold saturation via spatial coupling: Why convolutional LDPC ensembles perform so well over the BEC. IEEE Trans. Inf. Theory 2011, 57, 803–834. [Google Scholar] [CrossRef]
Mitchell, D.G.M.; Pusane, A.E.; Zigangirov, K.S.; Costello, D.J., Jr. Asymptotically good LDPC convolutional codes based on protograph. In Proceedings of the 2008 IEEE International Symposium on Information Theory, Toronto, ON, Canada, 6–11 July 2008; pp. 1030–1034.
Pusane, A.E.; Jimenez-Felström, A.; Sridharan, A.A.; Lentmaier, M.M.; Zigangirov, K.S.; Costello, D.J., Jr. Implementation aspects of LDPC convolutional codes. IEEE Trans. Commun. 2008, 56, 1060–1069. [Google Scholar] [CrossRef]
Tanner, R.M.; Sridhara, D.; Sridharan, A.; Fuja, T.E.; Costello, D.J., Jr. LDPC block and convolutional codes based on circulant matrices. IEEE Trans. Inf. Theory 2004, 50, 2966–2984. [Google Scholar] [CrossRef]
Sridharan, A.; Truhachev, D.V.; Lentmaier, M.; Costello, D.J.; Zigangirov, K.S. Distance bounds for an ensemble of LDPC convolutional codes. IEEE Trans. Inf. Theory 2007, 53, 4537–4555. [Google Scholar] [CrossRef]
Tazoe, K.; Kasai, K.; Sakaniwa, K. Efficient termination of spatially-coupled code. In Proceedings of the 2012 IEEE Information Theory Workshop, Lausanne, Switzerland, 3–7 September 2012; pp. 30–34.
Yedla, A.; Jian, Y.-Y.; Nguyen, P.S.; Pfister, H.D. A simple proof of threshold saturation for coupled scalar recursions. In Proceedings of the 2012 IEEE International Symposium on Turbo Codes and Iterative Information Processing, Gothenburg, Sweden, 27–31 August 2012; pp. 51–55.
Yedla, A.; Jian, Y.-Y.; Nguyen, P.S.; Pfister, H.D. A simple proof of threshold saturation for coupled vector recursions. In Proceedings of the 2012 IEEE Information Theory Workshop, Lausanne, Switzerland, 3–7 September 2012; pp. 25–29.
Kudekar, S.; Richardson, T.; Urbanke, R. Spatially coupled ensembles universally achieve capacity under belief propagation. In Proceedings of the 2012 IEEE International Symposium on Information Theory, Cambridge, UK, 1–6 July 2012; pp. 453–457.
Kumar, S.; Young, A.J.; Macris, N.; Pfister, H.D. Threshold saturation for spatially coupled LDPC and LDGM codes on BMS channels. IEEE Trans. Inf. Theory 2014, 60, 7389–7415. [Google Scholar] [CrossRef]
Kudekar, S.; Pfister, H.D. The effect of spatial coupling on compressive sensing. In Proceedings of the Allerton Conference on Communications, Control, and Computing, Monticello, NY, USA, 29 September–1 October 2010; pp. 347–353.
Si, Z.; Thobaben, R.; Skoglund, M. Rate-compatible LDPC convolutional codes achieving the capacity of the BEC. IEEE Trans. Inf. Theory 2012, 58, 4021–4029. [Google Scholar] [CrossRef]
Nitzold, W.; Lentmaier, M.; Fettweis, G.P. Spatially coupled protograph-based LDPC codes for incremental redundancy. In Proceedings of the International Symposium on Turbo Codes and Iterative Information Processing, Gothenburg, Sweden, 27–31 August 2012; pp. 155–159.
Si, Z.; Thobaben, R.; Skoglund, M. Bilayer LDPC convolutional codes for decode-and-forward relaying. IEEE Trans. Commun. 2013, 61, 3086–3099. [Google Scholar]
Schwandter, S.; Amat, A.G.; Matz, G. Spatially coupled LDPC codes for two-user decode-and-forward relaying. In Proceedings of the International Symposium on Turbo Codes and Iterative Information Processing, Gothenburg, Sweden, 27–31 August 2012; pp. 46–50.
Rathi, V.; Urbanke, R.; Andersson, M.; Skoglund, M. Rate-equivocation optimally spatially coupled LDPC codes for the BEC wiretap channel. In Proceedings of the 2011 IEEE International Symposium on Information Theory, Saint Petersburg, Russia, 31 July–5 August 2011; pp. 2393–2397.
Kudekar, S.; Kasai, K. Spatially coupled codes over the multiple access channel. In Proceedings of the 2011 IEEE International Symposium on Information Theory, Saint Petersburg, Russia, 31 July–5 August 2011; pp. 2816–2820.
Schlegel, C.; Truhachev, D. Multiple access demodulation in the lifted signal graph with spatial coupling. IEEE Trans. Inf. Theory 2013, 59, 2459–2470. [Google Scholar] [CrossRef]
Yedla, A.; Pfister, H.D.; Narayanan, K.R. Universality for the noisy Slepian-Wolf problem via spatial coupling. In Proceedings of the 2011 IEEE International Symposium on Information Theory, Saint Petersburg, Russia, 31 July–5 August 2011; pp. 2567–2571.
Iyengar, A.R.; Papaleo, M.; Siegel, P.H.; Wolf, J.K.; Vanelli-Coralli, A.; Corazza, G.E. Windowed decoding of protograph-based LDPC convolutional codes over erasure channels. IEEE Trans. Inf. Theory 2012, 58, 2303–2320. [Google Scholar] [CrossRef]
Ma, J.; Si, Z.; He, Z.; Niu, K. Recursive encoding of spatially coupled LDPC codes with arbitrary rates. In Proceedings of the 2015 IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, Hong Kong, China, 30 August–2 September 2015; pp. 127–131.
Mitchell, D.; Lentmaier, M.; Costello, D.J. Spatially coupled LDPC codes constructed from protographs. IEEE Trans. Inf. Theory 2015, 61, 4866–4889. [Google Scholar] [CrossRef]
Stinner, M.; Olmos, P.M. On the waterfall performance of finite-length SC-LDPC codes constructed from protographs. IEEE J. Sel. Areas Commun. 2016, 34, 345–361. [Google Scholar] [CrossRef]
Johnson, S.; Lechner, G. Spatially coupled repeat-accumulate codes. IEEE Commun. Lett. 2013, 17, 373–376. [Google Scholar] [CrossRef]
Divsalar, D.; Dolinar, S.; Jones, C.R.; Andrews, K. Capacity approaching protograph codes. IEEE J. Sel. Areas Commun. 2009, 27, 876–888. [Google Scholar] [CrossRef]
Kasai, K.; Sakaniwa, K. Spatially-coupled MacKay–Neal codes and Hsu–Anastasopoulos codes. In Proceedings of the 2011 IEEE International Symposium on Information Theory, Saint Petersburg, Russia, 31 July–5 August 2011; pp. 747–751.
Divsalar, D. Ensemble weight enumerators for protograph LDPC codes. In Proceedings of the 2006 IEEE International Symposium on Information Theory, Seattle, MA, USA, 9–14 July 2006; pp. 1554–1558.
Abu-Surra, S.; Divsalar, D.; Ryan, W.E. Enumerators for Protograph-based ensembles of LDPC and generalized LDPC codes. IEEE Trans. Inf. Theory 2011, 57, 858–886. [Google Scholar] [CrossRef]

Figure 1. Protograph of a

(3, 6, L)

spatially coupled low-density parity-check (LDPC) ensemble. The rectangles represent check nodes while the circles denote variable nodes. The gray circles correspond to information bits while the white circles associate with parity bits.

Figure 1. Protograph of a

(3, 6, L)

Figure 2. Protograph of a

(4, 6, L)

spatially coupled LDPC ensemble with (a) the structure in [8]; (b) a modified structure.

Figure 2. Protograph of a

(4, 6, L)

spatially coupled LDPC ensemble with (a) the structure in [8]; (b) a modified structure.

Figure 3. The construction of the parity-check matrix for the

(4, 6, L)

spatially coupled LDPC ensemble.

Figure 3. The construction of the parity-check matrix for the

(4, 6, L)

spatially coupled LDPC ensemble.

Figure 4. The connections for

(4, 6)

spatially coupled LDPC codes assuming the information bits are associated with the first two variable nodes.

Figure 4. The connections for

(4, 6)

spatially coupled LDPC codes assuming the information bits are associated with the first two variable nodes.

Figure 5. The coupling unit of

(4, 6, L)

spatially coupled LDPC ensembles with (a)

a_{a} = (1, 0, 1, 1, 0, 1)

; (b)

a_{b} = (1, 0, 0, 1, 1, 1)

and (c)

a_{c} = (1, 0, 1, 1, 1, 0)

Figure 5. The coupling unit of

(4, 6, L)

spatially coupled LDPC ensembles with (a)

a_{a} = (1, 0, 1, 1, 0, 1)

; (b)

a_{b} = (1, 0, 0, 1, 1, 1)

and (c)

a_{c} = (1, 0, 1, 1, 1, 0)

Figure 6. Density evolution for (4, 6, 50) spatially coupled LDPC ensembles with structure (a) in [8]; (b)

a_{j} = (1, 0, 1, 1, 0, 1)

; (c)

a_{j} = (1, 0, 0, 1, 1, 1)

and (d)

a_{j} = (1, 0, 1, 1, 1, 0)

Figure 6. Density evolution for (4, 6, 50) spatially coupled LDPC ensembles with structure (a) in [8]; (b)

a_{j} = (1, 0, 1, 1, 0, 1)

; (c)

a_{j} = (1, 0, 0, 1, 1, 1)

and (d)

a_{j} = (1, 0, 1, 1, 1, 0)

Figure 7. Bit erasure rates of spatially coupled LDPC codes over binary erasure channels. In the legend, “MSCLDPC” represents the modified code while “SCLDPC” stands for the original code.

Table 1. BP thresholds of (4, 6, 50) spatially coupled LDPC ensembles with different structures.

**Table 1.** BP thresholds of (4, 6, 50) spatially coupled LDPC ensembles with different structures.
Pattern a	Design Rate	$ε^{Sh}$	$ε^{BP}$	$Gap$
Original	0.3200	0.6800	0.6567	0.0233
(101101)	0.3133	0.6867	0.6646	0.0221
(100111)	0.3133	0.6867	0.6364	0.0503
(101110)	0.3133	0.6867	0.6479	0.0388

Table 2. BP thresholds of modified spatially coupled LDPC ensembles with different node degrees.

**Table 2.** BP thresholds of modified spatially coupled LDPC ensembles with different node degrees.
$(d_{v}, d_{c})$	Pattern a	Design Rate	$ε^{Sh}$	$ε^{BP}$	$Gap$	$\tilde{Gap}$
(4, 6)	(101101)	0.3133	0.6867	0.6646	0.0221	0.0233
(6, 9)	(101101101)	0.3007	0.6993	0.6653	0.0340	0.0361
(8, 12)	(101101101101)	0.2885	0.7115	0.6653	0.0462	0.0484
(6, 10)	(1001110011)	0.3800	0.6200	0.5925	0.0275	0.0830
(9, 15)	(100111001110011)	0.3686	0.6314	0.5925	0.0389	0.0945
(12, 20)	(10011100111001110011)	0.3577	0.6423	0.5925	0.0498	0.1055

© 2016 by the authors; licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC-BY) license (http://creativecommons.org/licenses/by/4.0/).

Share and Cite

MDPI and ACS Style

Si, Z.; Wang, S.; Ma, J. An Efficient Method to Construct Parity-Check Matrices for Recursively Encoding Spatially Coupled LDPC Codes †. Entropy 2016, 18, 305. https://doi.org/10.3390/e18080305

AMA Style

Si Z, Wang S, Ma J. An Efficient Method to Construct Parity-Check Matrices for Recursively Encoding Spatially Coupled LDPC Codes †. Entropy. 2016; 18(8):305. https://doi.org/10.3390/e18080305

Chicago/Turabian Style

Si, Zhongwei, Sijie Wang, and Junyang Ma. 2016. "An Efficient Method to Construct Parity-Check Matrices for Recursively Encoding Spatially Coupled LDPC Codes †" Entropy 18, no. 8: 305. https://doi.org/10.3390/e18080305

APA Style

Si, Z., Wang, S., & Ma, J. (2016). An Efficient Method to Construct Parity-Check Matrices for Recursively Encoding Spatially Coupled LDPC Codes †. Entropy, 18(8), 305. https://doi.org/10.3390/e18080305

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Menu

An Efficient Method to Construct Parity-Check Matrices for Recursively Encoding Spatially Coupled LDPC Codes †^†

Abstract

1. Introduction

2. Overview of Spatially Coupled LDPC Codes

3. Recursive Encoding of Spatially Coupled LDPC Codes with Arbitrary Node Degrees

3.1. General Principle on Constructing Parity-Check Matrices

3.2. Implementation of Recursive Encoding

4. Theoretical Analysis

4.1. Design Rate

4.2. Density Evolution

5. Simulation Results and Discussions

6. Conclusions

Acknowledgments

Author Contributions

Conflicts of Interest

References

Share and Cite

Article Metrics

Article Access Statistics

Further Information

Guidelines

MDPI Initiatives

Follow MDPI

Article Menu

An Efficient Method to Construct Parity-Check Matrices for Recursively Encoding Spatially Coupled LDPC Codes † †

Abstract

1. Introduction

2. Overview of Spatially Coupled LDPC Codes

3. Recursive Encoding of Spatially Coupled LDPC Codes with Arbitrary Node Degrees

3.1. General Principle on Constructing Parity-Check Matrices

3.2. Implementation of Recursive Encoding

4. Theoretical Analysis

4.1. Design Rate

4.2. Density Evolution

5. Simulation Results and Discussions

6. Conclusions

Acknowledgments

Author Contributions

Conflicts of Interest

References

Share and Cite

Article Metrics

Article Access Statistics

Further Information

Guidelines

MDPI Initiatives

Follow MDPI

An Efficient Method to Construct Parity-Check Matrices for Recursively Encoding Spatially Coupled LDPC Codes †^†