15 research outputs found
Proving Threshold Saturation for Nonbinary SC-LDPC Codes on the Binary Erasure Channel
We analyze nonbinary spatially-coupled low-density parity-check (SC-LDPC)
codes built on the general linear group for transmission over the binary
erasure channel. We prove threshold saturation of the belief propagation
decoding to the potential threshold, by generalizing the proof technique based
on potential functions recently introduced by Yedla et al.. The existence of
the potential function is also discussed for a vector sparse system in the
general case, and some existence conditions are developed. We finally give
density evolution and simulation results for several nonbinary SC-LDPC code
ensembles.Comment: in Proc. 2014 XXXIth URSI General Assembly and Scientific Symposium,
URSI GASS, Beijing, China, August 16-23, 2014. Invited pape
Threshold Saturation for Nonbinary SC-LDPC Codes on the Binary Erasure Channel
We analyze the asymptotic performance of nonbinary spatially-coupled
low-density parity-check (SC-LDPC) code ensembles defined over the general
linear group on the binary erasure channel. In particular, we prove threshold
saturation of belief propagation decoding to the so called potential threshold,
using the proof technique based on potential functions introduced by Yedla
\textit{et al.}, assuming that the potential function exists. We rewrite the
density evolution of nonbinary SC-LDPC codes in an equivalent vector recursion
form which is suited for the use of the potential function. We then discuss the
existence of the potential function for the general case of vector recursions
defined by multivariate polynomials, and give a method to construct it. We
define a potential function in a slightly more general form than one by Yedla
\textit{et al.}, in order to make the technique based on potential functions
applicable to the case of nonbinary LDPC codes. We show that the potential
function exists if a solution to a carefully designed system of linear
equations exists. Furthermore, we show numerically the existence of a solution
to the system of linear equations for a large number of nonbinary LDPC code
ensembles, which allows us to define their potential function and thus prove
threshold saturation.Comment: To appear in IT Transaction
Threshold Saturation for Spatially Coupled Turbo-like Codes over the Binary Erasure Channel
In this paper we prove threshold saturation for spatially coupled turbo codes
(SC-TCs) and braided convolutional codes (BCCs) over the binary erasure
channel. We introduce a compact graph representation for the ensembles of SC-TC
and BCC codes which simplifies their description and the analysis of the
message passing decoding. We demonstrate that by few assumptions in the
ensembles of these codes, it is possible to rewrite their vector recursions in
a form which places these ensembles under the category of scalar admissible
systems. This allows us to define potential functions and prove threshold
saturation using the proof technique introduced by Yedla et al..Comment: 5 pages, 3figure
Thresholds of Spatially Coupled Systems via Lyapunov's Method
The threshold, or saturation phenomenon of spatially coupled systems is
revisited in the light of Lyapunov's theory of dynamical systems. It is shown
that an application of Lyapunov's direct method can be used to quantitatively
describe the threshold phenomenon, prove convergence, and compute threshold
values. This provides a general proof methodology for the various systems
recently studied. Examples of spatially coupled systems are given and their
thresholds are computed.Comment: 6 page
A Simple Proof of Maxwell Saturation for Coupled Scalar Recursions
Low-density parity-check (LDPC) convolutional codes (or spatially-coupled
codes) were recently shown to approach capacity on the binary erasure channel
(BEC) and binary-input memoryless symmetric channels. The mechanism behind this
spectacular performance is now called threshold saturation via spatial
coupling. This new phenomenon is characterized by the belief-propagation
threshold of the spatially-coupled ensemble increasing to an intrinsic noise
threshold defined by the uncoupled system. In this paper, we present a simple
proof of threshold saturation that applies to a wide class of coupled scalar
recursions. Our approach is based on constructing potential functions for both
the coupled and uncoupled recursions. Our results actually show that the fixed
point of the coupled recursion is essentially determined by the minimum of the
uncoupled potential function and we refer to this phenomenon as Maxwell
saturation. A variety of examples are considered including the
density-evolution equations for: irregular LDPC codes on the BEC, irregular
low-density generator matrix codes on the BEC, a class of generalized LDPC
codes with BCH component codes, the joint iterative decoding of LDPC codes on
intersymbol-interference channels with erasure noise, and the compressed
sensing of random vectors with i.i.d. components.Comment: This article is an extended journal version of arXiv:1204.5703 and
has now been accepted to the IEEE Transactions on Information Theory. This
version adds additional explanation for some details and also corrects a
number of small typo
Threshold Saturation for Spatially Coupled LDPC and LDGM Codes on BMS Channels
Spatially-coupled low-density parity-check (LDPC) codes, which were first introduced as LDPC convolutional codes, have been shown to exhibit excellent performance under low-complexity belief-propagation decoding. This phenomenon is now termed threshold saturation via spatial coupling. Spatially-coupled codes have been successfully applied in numerous areas. In particular, it was proven that spatially-coupled regular LDPC codes universally achieve capacity over the class of binary memoryless symmetric (BMS) channels under belief-propagation decoding. Recently, potential functions have been used to simplify threshold saturation proofs for scalar and vector recursions. In this paper, potential functions are used to prove threshold saturation for irregular LDPC and low-density generator-matrix codes on BMS channels, extending the simplified proof technique to BMS channels. The corresponding potential functions are closely related to the average Bethe free entropy of the ensembles in the large-system limit. These functions also appear in statistical physics when the replica method is used to analyze optimal decoding