271 research outputs found
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 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
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
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
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
The Space of Solutions of Coupled XORSAT Formulae
The XOR-satisfiability (XORSAT) problem deals with a system of Boolean
variables and clauses. Each clause is a linear Boolean equation (XOR) of a
subset of the variables. A -clause is a clause involving distinct
variables. In the random -XORSAT problem a formula is created by choosing
-clauses uniformly at random from the set of all possible clauses on
variables. The set of solutions of a random formula exhibits various
geometrical transitions as the ratio varies.
We consider a {\em coupled} -XORSAT ensemble, consisting of a chain of
random XORSAT models that are spatially coupled across a finite window along
the chain direction. We observe that the threshold saturation phenomenon takes
place for this ensemble and we characterize various properties of the space of
solutions of such coupled formulae.Comment: Submitted to ISIT 201
- …