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

Symmetries in algebraic Property Testing

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2010.Cataloged from PDF version of thesis.Includes bibliographical references (p. 94-100).Modern computational tasks often involve large amounts of data, and efficiency is a very desirable feature of such algorithms. Local algorithms are especially attractive, since they can imply global properties by only inspecting a small window into the data. In Property Testing, a local algorithm should perform the task of distinguishing objects satisfying a given property from objects that require many modifications in order to satisfy the property. A special place in Property Testing is held by algebraic properties: they are some of the first properties to be tested, and have been heavily used in the PCP and LTC literature. We focus on conditions under which algebraic properties are testable, following the general goal of providing a more unified treatment of these properties. In particular, we explore the notion of symmetry in relation to testing, a direction initiated by Kaufman and Sudan. We investigate the interplay between local testing, symmetry and dual structure in linear codes, by showing both positive and negative results. On the negative side, we exhibit a counterexample to a conjecture proposed by Alon, Kaufman, Krivelevich, Litsyn, and Ron aimed at providing general sufficient conditions for testing. We show that a single codeword of small weight in the dual family together with the property of being invariant under a 2-transitive group of permutations do not necessarily imply testing. On the positive side, we exhibit a large class of codes whose duals possess a strong structural property ('the single orbit property'). Namely, they can be specified by a single codeword of small weight and the group of invariances of the code. Hence we show that sparsity and invariance under the affine group of permutations are sufficient conditions for a notion of very structured testing. These findings also reveal a new characterization of the extensively studied BCH codes. As a by-product, we obtain a more explicit description of structured tests for the special family of BCH codes of design distance 5.by Elena Grigorescu.Ph.D

New Approaches to the Analysis and Design of Reed-Solomon Related Codes

The research that led to this thesis was inspired by Sudan's breakthrough that demonstrated that Reed-Solomon codes can correct more errors than previously thought. This breakthrough can render the current state-of-the-art Reed-Solomon decoders obsolete. Much of the importance of Reed-Solomon codes stems from their ubiquity and utility. This thesis takes a few steps toward a deeper understanding of Reed-Solomon codes as well as toward the design of efficient algorithms for decoding them. After studying the binary images of Reed-Solomon codes, we proceeded to analyze their performance under optimum decoding. Moreover, we investigated the performance of Reed-Solomon codes in network scenarios when the code is shared by many users or applications. We proved that Reed-Solomon codes have many more desirable properties. Algebraic soft decoding of Reed-Solomon codes is a class of algorithms that was stirred by Sudan's breakthrough. We developed a mathematical model for algebraic soft decoding. By designing Reed-Solomon decoding algorithms, we showed that algebraic soft decoding can indeed approach the ultimate performance limits of Reed-Solomon codes. We then shifted our attention to products of Reed-Solomon codes. We analyzed the performance of linear product codes in general and Reed-Solomon product codes in particular. Motivated by these results we designed a number of algorithms, based on Sudan's breakthrough, for decoding Reed-Solomon product codes. Lastly, we tackled the problem of analyzing the performance of sphere decoding of lattice codes and linear codes, e.g., Reed-Solomon codes, with an eye on the tradeoff between performance and complexity.</p

Data transmission through channels pertubed by impulsive noise

Imperial Users onl

Graphs with Few Eigenvalues. An Interplay between Combinatorics and Algebra.

Abstract: Two standard matrix representations of a graph are the adjacency matrix and the Laplace matrix. The eigenvalues of these matrices are interesting parameters of the graph. Graphs with few eigenvalues in general have nice combinatorial properties and a rich structure. A well investigated family of such graphs comprises the strongly regular graphs (the regular graphs with three eigenvalues), and we may see other graphs with few eigenvalues as algebraic generalizations of such graphs. We study the (nonregular) graphs with three adjacency eigenvalues, graphs with three Laplace eigenvalues, and regular graphs with four eigenvalues. The last ones are also studied in relation with three-class association schemes. We also derive bounds on the diameter and on the size of special subsets in terms of the eigenvalues of the graph. Included are lists of feasible parameter sets of graphs with three Laplace eigenvalues, regular graphs with four eigenvalues, and three-class association schemes.