56 research outputs found
Quantum stabilizer codes and beyond
The importance of quantum error correction in paving the way to build a
practical quantum computer is no longer in doubt. This dissertation makes a
threefold contribution to the mathematical theory of quantum error-correcting
codes. Firstly, it extends the framework of an important class of quantum codes
-- nonbinary stabilizer codes. It clarifies the connections of stabilizer codes
to classical codes over quadratic extension fields, provides many new
constructions of quantum codes, and develops further the theory of optimal
quantum codes and punctured quantum codes. Secondly, it contributes to the
theory of operator quantum error correcting codes also called as subsystem
codes. These codes are expected to have efficient error recovery schemes than
stabilizer codes. This dissertation develops a framework for study and analysis
of subsystem codes using character theoretic methods. In particular, this work
establishes a close link between subsystem codes and classical codes showing
that the subsystem codes can be constructed from arbitrary classical codes.
Thirdly, it seeks to exploit the knowledge of noise to design efficient quantum
codes and considers more realistic channels than the commonly studied
depolarizing channel. It gives systematic constructions of asymmetric quantum
stabilizer codes that exploit the asymmetry of errors in certain quantum
channels.Comment: Ph.D. Dissertation, Texas A&M University, 200
A STUDY OF LINEAR ERROR CORRECTING CODES
Since Shannon's ground-breaking work in 1948, there have been two main development streams
of channel coding in approaching the limit of communication channels, namely classical coding
theory which aims at designing codes with large minimum Hamming distance and probabilistic
coding which places the emphasis on low complexity probabilistic decoding using long codes built
from simple constituent codes. This work presents some further investigations in these two channel
coding development streams.
Low-density parity-check (LDPC) codes form a class of capacity-approaching codes with sparse
parity-check matrix and low-complexity decoder Two novel methods of constructing algebraic binary
LDPC codes are presented. These methods are based on the theory of cyclotomic cosets, idempotents
and Mattson-Solomon polynomials, and are complementary to each other. The two methods
generate in addition to some new cyclic iteratively decodable codes, the well-known Euclidean and
projective geometry codes. Their extension to non binary fields is shown to be straightforward.
These algebraic cyclic LDPC codes, for short block lengths, converge considerably well under iterative
decoding. It is also shown that for some of these codes, maximum likelihood performance may
be achieved by a modified belief propagation decoder which uses a different subset of 7^ codewords
of the dual code for each iteration.
Following a property of the revolving-door combination generator, multi-threaded minimum
Hamming distance computation algorithms are developed. Using these algorithms, the previously
unknown, minimum Hamming distance of the quadratic residue code for prime 199 has been evaluated.
In addition, the highest minimum Hamming distance attainable by all binary cyclic codes
of odd lengths from 129 to 189 has been determined, and as many as 901 new binary linear codes
which have higher minimum Hamming distance than the previously considered best known linear
code have been found.
It is shown that by exploiting the structure of circulant matrices, the number of codewords
required, to compute the minimum Hamming distance and the number of codewords of a given
Hamming weight of binary double-circulant codes based on primes, may be reduced. A means
of independently verifying the exhaustively computed number of codewords of a given Hamming
weight of these double-circulant codes is developed and in coiyunction with this, it is proved that
some published results are incorrect and the correct weight spectra are presented. Moreover, it is
shown that it is possible to estimate the minimum Hamming distance of this family of prime-based
double-circulant codes.
It is shown that linear codes may be efficiently decoded using the incremental correlation Dorsch
algorithm. By extending this algorithm, a list decoder is derived and a novel, CRC-less error detection
mechanism that offers much better throughput and performance than the conventional ORG
scheme is described. Using the same method it is shown that the performance of conventional CRC
scheme may be considerably enhanced. Error detection is an integral part of an incremental redundancy
communications system and it is shown that sequences of good error correction codes,
suitable for use in incremental redundancy communications systems may be obtained using the
Constructions X and XX. Examples are given and their performances presented in comparison to
conventional CRC schemes
Error-Correction Coding and Decoding: Bounds, Codes, Decoders, Analysis and Applications
Coding; Communications; Engineering; Networks; Information Theory; Algorithm
Near-capacity fixed-rate and rateless channel code constructions
Fixed-rate and rateless channel code constructions are designed for satisfying conflicting design tradeoffs, leading to codes that benefit from practical implementations, whilst offering a good bit error ratio (BER) and block error ratio (BLER) performance. More explicitly, two novel low-density parity-check code (LDPC) constructions are proposed; the first construction constitutes a family of quasi-cyclic protograph LDPC codes, which has a Vandermonde-like parity-check matrix (PCM). The second construction constitutes a specific class of protograph LDPC codes, which are termed as multilevel structured (MLS) LDPC codes. These codes possess a PCM construction that allows the coexistence of both pseudo-randomness as well as a structure requiring a reduced memory. More importantly, it is also demonstrated that these benefits accrue without any compromise in the attainable BER/BLER performance. We also present the novel concept of separating multiple users by means of user-specific channel codes, which is referred to as channel code division multiple access (CCDMA), and provide an example based on MLS LDPC codes. In particular, we circumvent the difficulty of having potentially high memory requirements, while ensuring that each user’s bits in the CCDMA system are equally protected. With regards to rateless channel coding, we propose a novel family of codes, which we refer to as reconfigurable rateless codes, that are capable of not only varying their code-rate but also to adaptively modify their encoding/decoding strategy according to the near-instantaneous channel conditions. We demonstrate that the proposed reconfigurable rateless codes are capable of shaping their own degree distribution according to the nearinstantaneous requirements imposed by the channel, but without any explicit channel knowledge at the transmitter. Additionally, a generalised transmit preprocessing aided closed-loop downlink multiple-input multiple-output (MIMO) system is presented, in which both the channel coding components as well as the linear transmit precoder exploit the knowledge of the channel state information (CSI). More explicitly, we embed a rateless code in a MIMO transmit preprocessing scheme, in order to attain near-capacity performance across a wide range of channel signal-to-ratios (SNRs), rather than only at a specific SNR. The performance of our scheme is further enhanced with the aid of a technique, referred to as pilot symbol assisted rateless (PSAR) coding, whereby a predetermined fraction of pilot bits is appropriately interspersed with the original information bits at the channel coding stage, instead of multiplexing pilots at the modulation stage, as in classic pilot symbol assisted modulation (PSAM). We subsequently demonstrate that the PSAR code-aided transmit preprocessing scheme succeeds in gleaning more information from the inserted pilots than the classic PSAM technique, because the pilot bits are not only useful for sounding the channel at the receiver but also beneficial for significantly reducing the computational complexity of the rateless channel decoder
Xing-Ling Codes, Duals of their Subcodes, and Good Asymmetric Quantum Codes
A class of powerful -ary linear polynomial codes originally proposed by
Xing and Ling is deployed to construct good asymmetric quantum codes via the
standard CSS construction. Our quantum codes are -ary block codes that
encode qudits of quantum information into qudits and correct up to
\flr{(d_{x}-1)/2} bit-flip errors and up to \flr{(d_{z}-1)/2} phase-flip
errors.. In many cases where the length
and the field size are fixed and for chosen values of and , where is the designed distance of
the Xing-Ling (XL) codes, the derived pure -ary asymmetric quantum CSS codes
possess the best possible size given the current state of the art knowledge on
the best classical linear block codes.Comment: To appear in Designs, Codes and Cryptography (accepted Sep. 27, 2013
Distance bounds for generalized bicycle codes
Generalized bicycle (GB) codes is a class of quantum error-correcting codes
constructed from a pair of binary circulant matrices. Unlike for other simple
quantum code ans\"atze, unrestricted GB codes may have linear distance scaling.
In addition, low-density parity-check GB codes have a naturally overcomplete
set of low-weight stabilizer generators, which is expected to improve their
performance in the presence of syndrome measurement errors. For such GB codes
with a given maximum generator weight , we constructed upper distance bounds
by mapping them to codes local in dimensions, and lower existence
bounds which give . We have also done an exhaustive
enumeration of GB codes for certain prime circulant sizes in a family of
two-qubit encoding codes with row weights 4, 6, and 8; the observed distance
scaling is consistent with , where is the code length
and is increasing with .Comment: 12 pages, 5 figure
- …