420 research outputs found
Density Evolution and Functional Threshold for the Noisy Min-Sum Decoder
This paper investigates the behavior of the Min-Sum decoder running on noisy
devices. The aim is to evaluate the robustness of the decoder in the presence
of computation noise, e.g. due to faulty logic in the processing units, which
represents a new source of errors that may occur during the decoding process.
To this end, we first introduce probabilistic models for the arithmetic and
logic units of the the finite-precision Min-Sum decoder, and then carry out the
density evolution analysis of the noisy Min-Sum decoder. We show that in some
particular cases, the noise introduced by the device can help the Min-Sum
decoder to escape from fixed points attractors, and may actually result in an
increased correction capacity with respect to the noiseless decoder. We also
reveal the existence of a specific threshold phenomenon, referred to as
functional threshold. The behavior of the noisy decoder is demonstrated in the
asymptotic limit of the code-length -- by using "noisy" density evolution
equations -- and it is also verified in the finite-length case by Monte-Carlo
simulation.Comment: 46 pages (draft version); extended version of the paper with same
title, submitted to IEEE Transactions on Communication
Statistical mechanics of error exponents for error-correcting codes
Error exponents characterize the exponential decay, when increasing message
length, of the probability of error of many error-correcting codes. To tackle
the long standing problem of computing them exactly, we introduce a general,
thermodynamic, formalism that we illustrate with maximum-likelihood decoding of
low-density parity-check (LDPC) codes on the binary erasure channel (BEC) and
the binary symmetric channel (BSC). In this formalism, we apply the cavity
method for large deviations to derive expressions for both the average and
typical error exponents, which differ by the procedure used to select the codes
from specified ensembles. When decreasing the noise intensity, we find that two
phase transitions take place, at two different levels: a glass to ferromagnetic
transition in the space of codewords, and a paramagnetic to glass transition in
the space of codes.Comment: 32 pages, 13 figure
Spin glass reflection of the decoding transition for quantum error correcting codes
We study the decoding transition for quantum error correcting codes with the
help of a mapping to random-bond Wegner spin models.
Families of quantum low density parity-check (LDPC) codes with a finite
decoding threshold lead to both known models (e.g., random bond Ising and
random plaquette gauge models) as well as unexplored earlier generally
non-local disordered spin models with non-trivial phase diagrams. The decoding
transition corresponds to a transition from the ordered phase by proliferation
of extended defects which generalize the notion of domain walls to non-local
spin models. In recently discovered quantum LDPC code families with finite
rates the number of distinct classes of such extended defects is exponentially
large, corresponding to extensive ground state entropy of these codes.
Here, the transition can be driven by the entropy of the extended defects, a
mechanism distinct from that in the local spin models where the number of
defect types (domain walls) is always finite.Comment: 15 pages, 2 figure
- …