5,801 research outputs found
Deterministic and Ensemble-Based Spatially-Coupled Product Codes
Several authors have proposed spatially-coupled (or convolutional-like)
variants of product codes (PCs). In this paper, we focus on a parametrized
family of generalized PCs that recovers some of these codes (e.g., staircase
and block-wise braided codes) as special cases and study the iterative decoding
performance over the binary erasure channel. Even though our code construction
is deterministic (and not based on a randomized ensemble), we show that it is
still possible to rigorously derive the density evolution (DE) equations that
govern the asymptotic performance. The obtained DE equations are then compared
to those for a related spatially-coupled PC ensemble. In particular, we show
that there exists a family of (deterministic) braided codes that follows the
same DE equation as the ensemble, for any spatial length and coupling width.Comment: accepted at ISIT 2016, Barcelona, Spai
Binary Message Passing Decoding of Product-like Codes
We propose a novel binary message passing decoding algorithm for product-like
codes based on bounded distance decoding (BDD) of the component codes. The
algorithm, dubbed iterative BDD with scaled reliability (iBDD-SR), exploits the
channel reliabilities and is therefore soft in nature. However, the messages
exchanged by the component decoders are binary (hard) messages, which
significantly reduces the decoder data flow. The exchanged binary messages are
obtained by combining the channel reliability with the BDD decoder output
reliabilities, properly conveyed by a scaling factor applied to the BDD
decisions. We perform a density evolution analysis for generalized low-density
parity-check (GLDPC) code ensembles and spatially coupled GLDPC code ensembles,
from which the scaling factors of the iBDD-SR for product and staircase codes,
respectively, can be obtained. For the white additive Gaussian noise channel,
we show performance gains up to dB and dB for product and
staircase codes compared to conventional iterative BDD (iBDD) with the same
decoder data flow. Furthermore, we show that iBDD-SR approaches the performance
of ideal iBDD that prevents miscorrections.Comment: Accepted for publication in the IEEE Transactions on Communication
How to Achieve the Capacity of Asymmetric Channels
We survey coding techniques that enable reliable transmission at rates that
approach the capacity of an arbitrary discrete memoryless channel. In
particular, we take the point of view of modern coding theory and discuss how
recent advances in coding for symmetric channels help provide more efficient
solutions for the asymmetric case. We consider, in more detail, three basic
coding paradigms.
The first one is Gallager's scheme that consists of concatenating a linear
code with a non-linear mapping so that the input distribution can be
appropriately shaped. We explicitly show that both polar codes and spatially
coupled codes can be employed in this scenario. Furthermore, we derive a
scaling law between the gap to capacity, the cardinality of the input and
output alphabets, and the required size of the mapper.
The second one is an integrated scheme in which the code is used both for
source coding, in order to create codewords distributed according to the
capacity-achieving input distribution, and for channel coding, in order to
provide error protection. Such a technique has been recently introduced by
Honda and Yamamoto in the context of polar codes, and we show how to apply it
also to the design of sparse graph codes.
The third paradigm is based on an idea of B\"ocherer and Mathar, and
separates the two tasks of source coding and channel coding by a chaining
construction that binds together several codewords. We present conditions for
the source code and the channel code, and we describe how to combine any source
code with any channel code that fulfill those conditions, in order to provide
capacity-achieving schemes for asymmetric channels. In particular, we show that
polar codes, spatially coupled codes, and homophonic codes are suitable as
basic building blocks of the proposed coding strategy.Comment: 32 pages, 4 figures, presented in part at Allerton'14 and published
in IEEE Trans. Inform. Theor
Joint Compute and Forward for the Two Way Relay Channel with Spatially Coupled LDPC Codes
We consider the design and analysis of coding schemes for the binary input
two way relay channel with erasure noise. We are particularly interested in
reliable physical layer network coding in which the relay performs perfect
error correction prior to forwarding messages. The best known achievable rates
for this problem can be achieved through either decode and forward or compute
and forward relaying. We consider a decoding paradigm called joint compute and
forward which we numerically show can achieve the best of these rates with a
single encoder and decoder. This is accomplished by deriving the exact
performance of a message passing decoder based on joint compute and forward for
spatially coupled LDPC ensembles.Comment: This paper was submitted to IEEE Global Communications Conference
201
Approaching Capacity at High-Rates with Iterative Hard-Decision Decoding
A variety of low-density parity-check (LDPC) ensembles have now been observed
to approach capacity with message-passing decoding. However, all of them use
soft (i.e., non-binary) messages and a posteriori probability (APP) decoding of
their component codes. In this paper, we show that one can approach capacity at
high rates using iterative hard-decision decoding (HDD) of generalized product
codes. Specifically, a class of spatially-coupled GLDPC codes with BCH
component codes is considered, and it is observed that, in the high-rate
regime, they can approach capacity under the proposed iterative HDD. These
codes can be seen as generalized product codes and are closely related to
braided block codes. An iterative HDD algorithm is proposed that enables one to
analyze the performance of these codes via density evolution (DE).Comment: 22 pages, this version accepted to the IEEE Transactions on
Information Theor
Achievable Information Rates for Coded Modulation with Hard Decision Decoding for Coherent Fiber-Optic Systems
We analyze the achievable information rates (AIRs) for coded modulation
schemes with QAM constellations with both bit-wise and symbol-wise decoders,
corresponding to the case where a binary code is used in combination with a
higher-order modulation using the bit-interleaved coded modulation (BICM)
paradigm and to the case where a nonbinary code over a field matched to the
constellation size is used, respectively. In particular, we consider hard
decision decoding, which is the preferable option for fiber-optic communication
systems where decoding complexity is a concern. Recently, Liga \emph{et al.}
analyzed the AIRs for bit-wise and symbol-wise decoders considering what the
authors called \emph{hard decision decoder} which, however, exploits \emph{soft
information} of the transition probabilities of discrete-input discrete-output
channel resulting from the hard detection. As such, the complexity of the
decoder is essentially the same as the complexity of a soft decision decoder.
In this paper, we analyze instead the AIRs for the standard hard decision
decoder, commonly used in practice, where the decoding is based on the Hamming
distance metric. We show that if standard hard decision decoding is used,
bit-wise decoders yield significantly higher AIRs than symbol-wise decoders. As
a result, contrary to the conclusion by Liga \emph{et al.}, binary decoders
together with the BICM paradigm are preferable for spectrally-efficient
fiber-optic systems. We also design binary and nonbinary staircase codes and
show that, in agreement with the AIRs, binary codes yield better performance.Comment: Published in IEEE/OSA Journal of Lightwave Technology, 201
Threshold Saturation in Spatially Coupled Constraint Satisfaction Problems
We consider chains of random constraint satisfaction models that are
spatially coupled across a finite window along the chain direction. We
investigate their phase diagram at zero temperature using the survey
propagation formalism and the interpolation method. We prove that the SAT-UNSAT
phase transition threshold of an infinite chain is identical to the one of the
individual standard model, and is therefore not affected by spatial coupling.
We compute the survey propagation complexity using population dynamics as well
as large degree approximations, and determine the survey propagation threshold.
We find that a clustering phase survives coupling. However, as one increases
the range of the coupling window, the survey propagation threshold increases
and saturates towards the phase transition threshold. We also briefly discuss
other aspects of the problem. Namely, the condensation threshold is not
affected by coupling, but the dynamic threshold displays saturation towards the
condensation one. All these features may provide a new avenue for obtaining
better provable algorithmic lower bounds on phase transition thresholds of the
individual standard model
- …