Showing 1–44 of 44 results for author: Sarvepalli, P

Concatenating Extended CSS Codes for Communication Efficient Quantum Secret Sharing

Authors: Kaushik Senthoor, Pradeep Kiran Sarvepalli

Abstract: Recently, a class of quantum secret sharing schemes called communication efficient quantum threshold secret sharing schemes (CE-QTS) was introduced. These schemes reduced the communication cost during secret recovery. In this paper, we introduce a general class of communication efficient quantum secret sharing schemes (CE-QSS) which include both threshold and non-threshold schemes. We propose a fr… ▽ More Recently, a class of quantum secret sharing schemes called communication efficient quantum threshold secret sharing schemes (CE-QTS) was introduced. These schemes reduced the communication cost during secret recovery. In this paper, we introduce a general class of communication efficient quantum secret sharing schemes (CE-QSS) which include both threshold and non-threshold schemes. We propose a framework for constructing CE-QSS schemes to generalize the earlier construction of CE-QTS schemes which was based on the staircase codes. The main component in this framework is a class of quantum codes which we call the extended Calderbank-Shor-Steane codes. These extended CSS codes could have other applications. We derive a bound on communication cost for CE-QSS schemes. Finally, we provide a construction of CE-QSS schemes meeting this bound using the proposed framework. △ Less

Submitted 13 November, 2022; originally announced November 2022.

Comments: 13 pages (two-column), 5 figures

Decoding Topological Subsystem Color Codes Over the Erasure Channel using Gauge Fixing

Authors: Hiteshvi Manish Solanki, Pradeep Kiran Sarvepalli

Abstract: Topological subsystem color codes (TSCCs) are an important class of topological subsystem codes that allow for syndrome measurement with only 2-body measurements. It is expected that such low complexity measurements can help in fault tolerance. While TSCCs have been studied over depolarizing noise model, their performance over the erasure channel has not been studied as much. Recently, we proposed… ▽ More Topological subsystem color codes (TSCCs) are an important class of topological subsystem codes that allow for syndrome measurement with only 2-body measurements. It is expected that such low complexity measurements can help in fault tolerance. While TSCCs have been studied over depolarizing noise model, their performance over the erasure channel has not been studied as much. Recently, we proposed erasure decoders for TSCCs and reported a threshold of 9.7%. In this paper, we continue our study of TSCCS over the erasure channel. We propose two erasure decoders for topological subsystem color codes. These decoders use the technique of gauge fixing where some of the gauge operators of the subsystem code are promoted to stabilizers. We perform gauge fixing using 4-body and 8-body gauge operators. With partial gauge fixing we obtained a threshold of 17.7% on a TSCC derived from the square octagon lattice. Using an order maximal gauge fixing decoder we were able to improve the threshold to 44%. The previously known decoder for TSCC over the erasure channel had a threshold of 9.7%. We also study the correctability of erasures on the subsystem codes. △ Less

Submitted 15 April, 2022; v1 submitted 29 November, 2021; originally announced November 2021.

Comments: 15 pages, 14 figures, Latex (tex file)

Quantum computation with charge-and-color permuting twists in qudit color codes

Authors: Manoj G. Gowda, Pradeep Kiran Sarvepalli

Abstract: Twists are defects in the lattice which can be utilized to perform computations on encoded data. Twists have been studied in various classes of topological codes like qubit and qudit surface codes, qubit color codes and qubit subsystem color codes. They are known to exhibit projective non-Abelian statistics which is exploited to perform encoded gates. In this paper, we initiate the study of twists… ▽ More Twists are defects in the lattice which can be utilized to perform computations on encoded data. Twists have been studied in various classes of topological codes like qubit and qudit surface codes, qubit color codes and qubit subsystem color codes. They are known to exhibit projective non-Abelian statistics which is exploited to perform encoded gates. In this paper, we initiate the study of twists in qudit color codes over odd prime alphabet. To the best of our knowledge, this is the first study of twists in qudit color codes. Specifically, we present a systematic construction of twists in qudit color codes that permute both charge and color of the excitations. We also present a mapping between generalized Pauli operators and strings in the lattice. Making use of the construction, we give protocols to implement generalized Clifford gates using charge-and-color-permuting twists. △ Less

Submitted 1 March, 2022; v1 submitted 16 October, 2021; originally announced October 2021.

Journal ref: Phys. Rev. A 105, 022621 (2022)

Color codes with twists: construction and universal gate set implementation

Authors: Manoj G. Gowda, Pradeep Kiran Sarvepalli

Abstract: Twists are defects in the lattice that can be used to perform encoded computations. Three basic types of twists can be introduced in color codes, namely, twists that permute color, charge of anyons and domino twists that permute the charge label of an anyon with a color label. In this paper, we study a subset these twists from coding theoretic viewpoint. Specifically, we discuss systematic constru… ▽ More Twists are defects in the lattice that can be used to perform encoded computations. Three basic types of twists can be introduced in color codes, namely, twists that permute color, charge of anyons and domino twists that permute the charge label of an anyon with a color label. In this paper, we study a subset these twists from coding theoretic viewpoint. Specifically, we discuss systematic construction of charge permuting and color permuting twists in color codes. We show that by braiding alone, Clifford gates can be realized in color codes with charge permuting twists. We also discuss implementing single qubit Clifford gates by Pauli frame update and CNOT gate by braiding holes around twists in color codes with color permuting twists. Finally, we also discuss implementing a non-Clifford gate by state injection, thus completing the realization of a universal gate set. △ Less

Submitted 16 July, 2021; v1 submitted 8 April, 2021; originally announced April 2021.

Journal ref: Phys. Rev. A 104, 012603 (2021)

Theory of Communication Efficient Quantum Secret Sharing

Authors: Kaushik Senthoor, Pradeep Kiran Sarvepalli

Abstract: A $((k,n))$ quantum threshold secret sharing (QTS) scheme is a quantum cryptographic protocol for sharing a quantum secret among $n$ parties such that the secret can be recovered by any $k$ or more parties while $k-1$ or fewer parties have no information about the secret. Despite extensive research on these schemes, there has been very little study on optimizing the quantum communication cost duri… ▽ More A $((k,n))$ quantum threshold secret sharing (QTS) scheme is a quantum cryptographic protocol for sharing a quantum secret among $n$ parties such that the secret can be recovered by any $k$ or more parties while $k-1$ or fewer parties have no information about the secret. Despite extensive research on these schemes, there has been very little study on optimizing the quantum communication cost during recovery. Recently, we initiated the study of communication efficient quantum threshold secret sharing (CE-QTS) schemes. These schemes reduce the communication complexity in QTS schemes by accessing $d\geq k$ parties for recovery; here $d$ is fixed ahead of encoding the secret. In contrast to the standard QTS schemes which require $k$ qudits for recovering each qudit in the secret, these schemes have a lower communication cost of $\frac{d}{d-k+1}$ for $d>k$. In this paper, we further develop the theory of communication efficient quantum threshold schemes. Here, we propose universal CE-QTS schemes which reduce the communication cost for all $d\geq k$ simultaneously. We provide a framework based on ramp quantum secret sharing to construct CE-QTS and universal CE-QTS schemes. We give another construction for universal CE-QTS schemes based on Staircase codes. We derived a lower bound on communication complexity and show that our constructions are optimal. Finally, an information theoretic model is developed to analyse CE-QTS schemes and the lower bound on communication complexity is proved again using this model. △ Less

Submitted 30 May, 2023; v1 submitted 29 January, 2021; originally announced January 2021.

Comments: 24 pages. This version corrects the error in the Staircase construction of universal CE-QTS schemes in arXiv:2101.12419v1. The correction is by replacing the Vandermonde matrix with Cauchy matrix

Universal Communication Efficient Quantum Threshold Secret Sharing Schemes

Authors: Kaushik Senthoor, Pradeep Kiran Sarvepalli

Abstract: Quantum secret sharing (QSS) is a cryptographic protocol in which a quantum secret is distributed among a number of parties where some subsets of the parties are able to recover the secret while some subsets are unable to recover the secret. In the standard $((k,n))$ quantum threshold secret sharing scheme, any subset of $k$ or more parties out of the total $n$ parties can recover the secret while… ▽ More Quantum secret sharing (QSS) is a cryptographic protocol in which a quantum secret is distributed among a number of parties where some subsets of the parties are able to recover the secret while some subsets are unable to recover the secret. In the standard $((k,n))$ quantum threshold secret sharing scheme, any subset of $k$ or more parties out of the total $n$ parties can recover the secret while other subsets have no information about the secret. But recovery of the secret incurs a communication cost of at least $k$ qudits for every qudit in the secret. Recently, a class of communication efficient QSS schemes were proposed which can improve this communication cost to $\frac{d}{d-k+1}$ by contacting $d\geq k$ parties where $d$ is fixed prior to the distribution of shares. In this paper, we propose a more general class of $((k,n))$ quantum secret sharing schemes with low communication complexity. Our schemes are universal in the sense that the combiner can contact any number of parties to recover the secret with communication efficiency i.e. any $d$ in the range $k\leq d\leq n$ can be chosen by the combiner. This is the first such class of universal communication efficient quantum threshold schemes. △ Less

Submitted 30 May, 2023; v1 submitted 21 February, 2020; originally announced February 2020.

Comments: This version corrects the error in the construction of universal CE-QTS schemes in earlier versions. The correction is by replacing the Vandermonde matrix with Cauchy matrix

Decoding toric codes on three dimensional simplical complexes

Authors: Arun B. Aloshious, Pradeep Kiran Sarvepalli

Abstract: Three dimensional (3D) toric codes are a class of stabilizer codes with local checks and come under the umbrella of topological codes. While decoding algorithms have been proposed for the 3D toric code on a cubic lattice, there have been very few studies on the decoding of 3D toric codes over arbitrary lattices. Color codes in 3D can be mapped to toric codes. However, the resulting toric codes are… ▽ More Three dimensional (3D) toric codes are a class of stabilizer codes with local checks and come under the umbrella of topological codes. While decoding algorithms have been proposed for the 3D toric code on a cubic lattice, there have been very few studies on the decoding of 3D toric codes over arbitrary lattices. Color codes in 3D can be mapped to toric codes. However, the resulting toric codes are not defined on cubic lattice. They are arbitrary lattices with triangular faces. Decoding toric codes over an arbitrary lattice will help in studying the performance of color codes. Furthermore, gauge color codes can also be decoded via 3D toric codes. Motivated by this, we propose an efficient algorithm to decode 3D toric codes on arbitrary lattices (with and without boundaries). We simulated the performance of 3D toric code for cubic lattice under bit flip channel. We obtained a threshold of 12.2\% for the toric code on the cubic lattice with periodic boundary conditions. △ Less

Submitted 14 November, 2019; originally announced November 2019.

Quantum Bicyclic Hyperbolic Codes

Authors: Sankara Sai Chaithanya Rayudu, Pradeep Kiran Sarvepalli

Abstract: Bicyclic codes are a generalization of the one dimensional (1D) cyclic codes to two dimensions (2D). Similar to the 1D case, in some cases, 2D cyclic codes can also be constructed to guarantee a specified minimum distance. Many aspects of these codes are yet unexplored. Motivated by the problem of constructing quantum codes, in this paper, we study some structural properties of certain bicyclic co… ▽ More Bicyclic codes are a generalization of the one dimensional (1D) cyclic codes to two dimensions (2D). Similar to the 1D case, in some cases, 2D cyclic codes can also be constructed to guarantee a specified minimum distance. Many aspects of these codes are yet unexplored. Motivated by the problem of constructing quantum codes, in this paper, we study some structural properties of certain bicyclic codes. We show that a primitive narrow-sense bicyclic hyperbolic code of length $n^2$ contains its dual if and only if its design distance is lower than $n-Δ$, where $Δ=\mathcal{O}(\sqrt{n})$. We extend the sufficiency condition to the non-primitive case as well. We also show that over quadratic extension fields, a primitive bicyclic hyperbolic code of length $n^2$ contains Hermitian dual if and only if its design distance is lower than $n-Δ_h$, where $Δ_h=\mathcal{O}(\sqrt{n})$. Our results are analogous to some structural results known for BCH and Reed-Solomon codes. They further our understanding of bicyclic codes. We also give an application of these results by showing that we can construct two classes of quantum bicyclic codes based on our results. △ Less

Submitted 25 September, 2019; originally announced September 2019.

Comments: 16 pages

Neural Decoder for Topological Codes using Pseudo-Inverse of Parity Check Matrix

Authors: Chaitanya Chinni, Abhishek Kulkarni, Dheeraj M. Pai, Kaushik Mitra, Pradeep Kiran Sarvepalli

Abstract: Recent developments in the field of deep learning have motivated many researchers to apply these methods to problems in quantum information. Torlai and Melko first proposed a decoder for surface codes based on neural networks. Since then, many other researchers have applied neural networks to study a variety of problems in the context of decoding. An important development in this regard was due to… ▽ More Recent developments in the field of deep learning have motivated many researchers to apply these methods to problems in quantum information. Torlai and Melko first proposed a decoder for surface codes based on neural networks. Since then, many other researchers have applied neural networks to study a variety of problems in the context of decoding. An important development in this regard was due to Varsamopoulos et al. who proposed a two-step decoder using neural networks. Subsequent work of Maskara et al. used the same concept for decoding for various noise models. We propose a similar two-step neural decoder using inverse parity-check matrix for topological color codes. We show that it outperforms the state-of-the-art performance of non-neural decoders for independent Pauli errors noise model on a 2D hexagonal color code. Our final decoder is independent of the noise model and achieves a threshold of $10 \%$. Our result is comparable to the recent work on neural decoder for quantum error correction by Maskara et al.. It appears that our decoder has significant advantages with respect to training cost and complexity of the network for higher lengths when compared to that of Maskara et al.. Our proposed method can also be extended to arbitrary dimension and other stabilizer codes. △ Less

Submitted 24 January, 2019; v1 submitted 21 January, 2019; originally announced January 2019.

Comments: 12 pages, 12 figures, 2 tables, submitted to the 2019 IEEE International Symposium on Information Theory

Efficiently decoding the 3D toric codes and welded codes on cubic lattices

Authors: Abhishek Kulkarni, Pradeep Kiran Sarvepalli

Abstract: The recent years have seen a growing interest in quantum codes in three dimensions (3D). One of the earliest proposed 3D quantum codes is the 3D toric code. It has been shown that 3D color codes can be mapped to 3D toric codes. The 3D toric code on cubic lattice is also a building block for the welded code which has highest energy barrier to date. Although well known, the performance of the 3D tor… ▽ More The recent years have seen a growing interest in quantum codes in three dimensions (3D). One of the earliest proposed 3D quantum codes is the 3D toric code. It has been shown that 3D color codes can be mapped to 3D toric codes. The 3D toric code on cubic lattice is also a building block for the welded code which has highest energy barrier to date. Although well known, the performance of the 3D toric code has not been studied extensively. In this paper, we propose efficient decoding algorithms for the 3D toric code on a cubic lattice with and without boundaries and report their performance for various quantum channels. We observe a threshold of $\gtrsim 12\%$ for the bit flip errors, $\approx 3\%$ for phase flip errors and $ 24.8\%$ for erasure channel. We also study the performance of the welded 3D toric code on the quantum erasure channel. We did not observe a threshold for the welded code over the erasure channel. △ Less

Submitted 9 August, 2018; originally announced August 2018.

Comments: LaTeX, 18 pages and 31 figures

Journal ref: Phys. Rev. A 100, 012311 (2019)

Decoding Algorithms for Hypergraph Subsystem Codes and Generalized Subsystem Surface Codes

Authors: Vinuta V. Gayatri, Pradeep Kiran Sarvepalli

Abstract: Topological subsystem codes can combine the advantages of both topological codes and subsystem codes. Suchara et al. proposed a framework based on hypergraphs for construction of such codes. They also studied the performance of some subsystem codes. Later Bravyi et al. proposed a subsystem surface code. Building upon these works, we propose efficient decoding algorithms for large classes of subsys… ▽ More Topological subsystem codes can combine the advantages of both topological codes and subsystem codes. Suchara et al. proposed a framework based on hypergraphs for construction of such codes. They also studied the performance of some subsystem codes. Later Bravyi et al. proposed a subsystem surface code. Building upon these works, we propose efficient decoding algorithms for large classes of subsystem codes on hypergraphs and surfaces. We also propose a construction of the subsystem surface codes that includes the code proposed by Bravyi et al. Our simulations for the subsystem code on the square octagon lattice resulted in a noise threshold of 1.75%. This is comparable to previous result of 2% by Bombin et al. who used a different algorithm. △ Less

Submitted 31 May, 2018; originally announced May 2018.

Comments: LaTeX, 23 pages, 19 figures

On the Local Equivalence of 2D Color Codes and Surface Codes with Applications

Authors: Arun B. Aloshious, Arjun Nitin Bhagoji, Pradeep Kiran Sarvepalli

Abstract: In recent years, there have been many studies on local stabilizer codes. Under the assumption of translation and scale invariance Yoshida classified such codes. His result implies that translation invariant 2D color codes are equivalent to copies of toric codes. Independently, Bombin, Duclos-Cianci, and Poulin showed that a local translation invariant 2D topological stabilizer code is locally equi… ▽ More In recent years, there have been many studies on local stabilizer codes. Under the assumption of translation and scale invariance Yoshida classified such codes. His result implies that translation invariant 2D color codes are equivalent to copies of toric codes. Independently, Bombin, Duclos-Cianci, and Poulin showed that a local translation invariant 2D topological stabilizer code is locally equivalent to a finite number of copies of Kitaev's toric code. In this paper we focus on 2D topological color codes and relax the assumption of translation invariance. Using a linear algebraic framework we show that any 2D color code (without boundaries) is locally equivalent to two copies of a related surface code. This surface code is induced by color code. We study the application of this equivalence to the decoding of 2D color codes over the bit flip channel as well as the quantum erasure channel. We report the performance of the color code on the square octagonal lattice over the quantum erasure channel. Further, we provide explicit circuits that perform the transformation between 2D color codes and surface codes. Our circuits do not require any additional ancilla qubits. △ Less

Submitted 3 April, 2018; originally announced April 2018.

Comments: LaTeX, 23 pages and 14 figures. This paper supersedes arXiv:1503.03009. Some of the results were presented at 2015 IEEE International Symposium on Information Theory, Hong Kong

Communication Efficient Quantum Secret Sharing

Authors: Kaushik Senthoor, Pradeep Kiran Sarvepalli

Abstract: In the standard model of quantum secret sharing, typically, one is interested in minimal authorized sets for the reconstruction of the secret. In such a setting, reconstruction requires the communication of all the shares of the corresponding authorized set. If we allow for non-minimal authorized sets, then we can trade off the size of the authorized sets with the amount of communication required… ▽ More In the standard model of quantum secret sharing, typically, one is interested in minimal authorized sets for the reconstruction of the secret. In such a setting, reconstruction requires the communication of all the shares of the corresponding authorized set. If we allow for non-minimal authorized sets, then we can trade off the size of the authorized sets with the amount of communication required for reconstruction. Based on the staircase codes, proposed by Bitar and El Rouayheb, we propose a class of quantum threshold secret sharing schemes that are also communication efficient. We call them $((k,2k-1,d))$ communication efficient quantum secret sharing schemes where $k\leq d\leq2k-1$. Using the proposed construction, we can recover a secret of $d-k+1$ qudits by communicating $d$ qudits whereas using the standard $((k,2k-1))$ quantum secret sharing requires $k(d-k+1)$ qudits to be communicated. In other words, to share a secret of one qudit, the standard quantum secret sharing requires $k$ qudits whereas the proposed schemes communicate only $\frac{d}{d-k+1}$ qudits per qudit in the communication complexity. Proposed schemes can reduce communication overheads by a factor $O(k)$ with respect to standard schemes, when $d$ equals $2k-1$. Further, we show that our schemes have optimal communication cost for secret reconstruction. △ Less

Submitted 16 May, 2019; v1 submitted 29 January, 2018; originally announced January 2018.

Comments: 6 pages, LaTeX. Slightly revised presentation. Corrected proof of Theorem 2, no change in final results

Journal ref: Phys. Rev. A 100, 052313 (2019)

Projecting 3D color codes onto 3D toric codes

Authors: Arun B. Aloshious, Pradeep Kiran Sarvepalli

Abstract: Toric codes and color codes are two important classes of topological codes. Kubica, Yoshida, and Pastawski showed that any $D$-dimensional color code can be mapped to a finite number of toric codes in $D$-dimensions. In this paper we propose an alternate map of 3D color codes to 3D toric codes with a view to decoding 3D color codes. Our approach builds on Delfosse's result for 2D color codes and e… ▽ More Toric codes and color codes are two important classes of topological codes. Kubica, Yoshida, and Pastawski showed that any $D$-dimensional color code can be mapped to a finite number of toric codes in $D$-dimensions. In this paper we propose an alternate map of 3D color codes to 3D toric codes with a view to decoding 3D color codes. Our approach builds on Delfosse's result for 2D color codes and exploits the topological properties of these codes. Our result reduces the decoding of 3D color codes to that of 3D toric codes. Bit flip errors are decoded by projecting on one set of 3D toric codes while phase flip errors are decoded by projecting onto another set of 3D toric codes. △ Less

Submitted 24 October, 2016; v1 submitted 2 June, 2016; originally announced June 2016.

Comments: LaTeX, 11 pages. Improved presentation, simplified proofs, main results unchanged

Journal ref: Phys. Rev. A 98, 012302 (2018)

Equivalence of 2D color codes (without translational symmetry) to surface codes

Authors: Arjun Bhagoji, Pradeep Sarvepalli

Abstract: In a recent work, Bombin, Duclos-Cianci, and Poulin showed that every local translationally invariant 2D topological stabilizer code is locally equivalent to a finite number of copies of Kitaev's toric code. For 2D color codes, Delfosse relaxed the constraint on translation invariance and mapped a 2D color code onto three surface codes. In this paper, we propose an alternate map based on linear al… ▽ More In a recent work, Bombin, Duclos-Cianci, and Poulin showed that every local translationally invariant 2D topological stabilizer code is locally equivalent to a finite number of copies of Kitaev's toric code. For 2D color codes, Delfosse relaxed the constraint on translation invariance and mapped a 2D color code onto three surface codes. In this paper, we propose an alternate map based on linear algebra. We show that any 2D color code can be mapped onto exactly two copies of a related surface code. The surface code in our map is induced by the color code and easily derived from the color code. Furthermore, our map does not require any ancilla qubits for the surface codes. △ Less

Submitted 27 April, 2015; v1 submitted 10 March, 2015; originally announced March 2015.

Comments: Title slightly changed. Revised introduction, with minor corrections and additional references to related work. Expanded version of the manuscript submitted to ISIT 2015

Relation Between Surface Codes and Hypermap-Homology Quantum Codes

Authors: Pradeep Sarvepalli

Abstract: Recently, a new class of quantum codes based on hypermaps were proposed. These codes are obtained from embeddings of hypergraphs as opposed to surface codes which are obtained from the embeddings of graphs. It is natural to compare these two classes of codes and their relation to each other. In this context two related questions are addressed in this paper: Can the parameters of hypermap-homology… ▽ More Recently, a new class of quantum codes based on hypermaps were proposed. These codes are obtained from embeddings of hypergraphs as opposed to surface codes which are obtained from the embeddings of graphs. It is natural to compare these two classes of codes and their relation to each other. In this context two related questions are addressed in this paper: Can the parameters of hypermap-homology codes be superior to those of surface codes and what is precisely the relation between these two classes of quantum codes? We show that a canonical hypermap code is identical to a surface code while a noncanonical hypermap code can be transformed to a surface code by CNOT gates alone. Our approach is constructive; we construct the related surface code and the transformation involving CNOT gates. △ Less

Submitted 14 March, 2014; v1 submitted 22 December, 2013; originally announced December 2013.

Comments: 9 pages, LaTeX. Revised title, abstract and introduction. Minor changes in presentation

Journal ref: Phys. Rev. A 89, 052316 (2014)

Symmetry constraints on temporal order in measurement-based quantum computation

Authors: R. Raussendorf, P. Sarvepalli, T. -C. Wei, P. Haghnegahdar

Abstract: We discuss the interdependence of resource state, measurement setting and temporal order in measurement-based quantum computation. The possible temporal orders of measurement events are constrained by the principle that the randomness inherent in quantum measurement should not affect the outcome of the computation. We provide a classification for all temporal relations among measurement events com… ▽ More We discuss the interdependence of resource state, measurement setting and temporal order in measurement-based quantum computation. The possible temporal orders of measurement events are constrained by the principle that the randomness inherent in quantum measurement should not affect the outcome of the computation. We provide a classification for all temporal relations among measurement events compatible with a given initial stabilizer state and measurement setting, in terms of a matroid. Conversely, we show that classical processing relations necessary for turning the local measurement outcomes into computational output determine the resource state and measurement setting up to local equivalence. Further, we find a symmetry transformation related to local complementation that leaves the temporal relations invariant. △ Less

Submitted 1 October, 2012; originally announced October 2012.

Comments: In Proceedings QPL 2011, arXiv:1210.0298

Journal ref: EPTCS 95, 2012, pp. 219-250

Topological Subsystem Codes From Graphs and Hypergraphs

Authors: Pradeep Sarvepalli, Kenneth R. Brown

Abstract: Topological subsystem codes were proposed by Bombin based on 3-face-colorable cubic graphs. Suchara, Bravyi and Terhal generalized this construction and proposed a method to construct topological subsystem codes using 3-valent hypergraphs that satisfy certain constraints. Finding such hypergraphs and computing their parameters however is a nontrivial task. We propose families of topological subsys… ▽ More Topological subsystem codes were proposed by Bombin based on 3-face-colorable cubic graphs. Suchara, Bravyi and Terhal generalized this construction and proposed a method to construct topological subsystem codes using 3-valent hypergraphs that satisfy certain constraints. Finding such hypergraphs and computing their parameters however is a nontrivial task. We propose families of topological subsystem codes that were previously not known. In particular, our constructions give codes which cannot be derived from Bombin's construction. We also study the error recovery schemes for the proposed subsystem codes and give detailed schedules for the syndrome measurement that take advantage of the 2-locality of the gauge group. The study also leads to a new and general construction for color codes. △ Less

Submitted 2 July, 2012; originally announced July 2012.

Comments: LaTeX, 14 pages

Journal ref: Phy. Rev A 86, 042336, (2012)

Non-Threshold Quantum Secret Sharing Schemes in the Graph State Formalism

Authors: Pradeep Sarvepalli

Abstract: In a recent work, Markham and Sanders have proposed a framework to study quantum secret sharing (QSS) schemes using graph states. This framework unified three classes of QSS protocols, namely, sharing classical secrets over private and public channels, and sharing quantum secrets. However, most work on secret sharing based on graph states focused on threshold schemes. In this paper, we focus on ge… ▽ More In a recent work, Markham and Sanders have proposed a framework to study quantum secret sharing (QSS) schemes using graph states. This framework unified three classes of QSS protocols, namely, sharing classical secrets over private and public channels, and sharing quantum secrets. However, most work on secret sharing based on graph states focused on threshold schemes. In this paper, we focus on general access structures. We show how to realize a large class of arbitrary access structures using the graph state formalism. We show an equivalence between $[[n,1]]$ binary quantum codes and graph state secret sharing schemes sharing one bit. We also establish a similar (but restricted) equivalence between a class of $[[n,1]]$ Calderbank-Shor-Steane (CSS) codes and graph state QSS schemes sharing one qubit. With these results we are able to construct a large class of quantum secret sharing schemes with arbitrary access structures. △ Less

Submitted 15 February, 2012; originally announced February 2012.

Comments: LaTeX, 6 pages

Journal ref: Phys. Rev. A 86, 042303 (2012)

Efficient Decoding of Topological Color Codes

Authors: Pradeep Sarvepalli, Robert Raussendorf

Abstract: Color codes are a class of topological quantum codes with a high error threshold and large set of transversal encoded gates, and are thus suitable for fault tolerant quantum computation in two-dimensional architectures. Recently, computationally efficient decoders for the color codes were proposed. We describe an alternate efficient iterative decoder for topological color codes, and apply it to th… ▽ More Color codes are a class of topological quantum codes with a high error threshold and large set of transversal encoded gates, and are thus suitable for fault tolerant quantum computation in two-dimensional architectures. Recently, computationally efficient decoders for the color codes were proposed. We describe an alternate efficient iterative decoder for topological color codes, and apply it to the color code on hexagonal lattice embedded on a torus. In numerical simulations, we find an error threshold of 7.8% for independent dephasing and spin flip errors. △ Less

Submitted 3 November, 2011; originally announced November 2011.

Comments: 7 pages, LaTeX

Journal ref: Phys. Rev. A 85, 022317 (2012)

Measurement-based quantum computation--a quantum-mechanical toy model for spacetime?

Authors: R. Raussendorf, P. Sarvepalli, T. -C. Wei, P. Haghnegahdar

Abstract: We propose measurement-based quantum computation (MBQC) as a quantum mechanical toy model for spacetime. Within this framework, we discuss the constraints on possible temporal orders enforced by certain symmetries present in every MBQC. We provide a classification for all MBQC temporal relations compatible with a given initial quantum state and measurement setting, in terms of a matroid. Further,… ▽ More We propose measurement-based quantum computation (MBQC) as a quantum mechanical toy model for spacetime. Within this framework, we discuss the constraints on possible temporal orders enforced by certain symmetries present in every MBQC. We provide a classification for all MBQC temporal relations compatible with a given initial quantum state and measurement setting, in terms of a matroid. Further, we find a symmetry transformation related to local complementation that leaves the temporal relations invariant. After light cones and closed time-like curves have previously been found to have MBQC counterparts, we identify event horizons as a third piece of the phenomenology of General Relativity that has an analogue in MBQC. △ Less

Submitted 29 August, 2011; originally announced August 2011.

Comments: 33 pages

Quantum Algorithms for One-Dimensional Infrastructures

Authors: Pradeep Sarvepalli, Pawel Wocjan

Abstract: Infrastructures are group-like objects that make their appearance in arithmetic geometry in the study of computational problems related to number fields and function fields over finite fields. The most prominent computational tasks of infrastructures are the computation of the circumference of the infrastructure and the generalized discrete logarithms. Both these problems are not known to have eff… ▽ More Infrastructures are group-like objects that make their appearance in arithmetic geometry in the study of computational problems related to number fields and function fields over finite fields. The most prominent computational tasks of infrastructures are the computation of the circumference of the infrastructure and the generalized discrete logarithms. Both these problems are not known to have efficient classical algorithms for an arbitrary infrastructure. Our main contributions are polynomial time quantum algorithms for one-dimensional infrastructures that satisfy certain conditions. For instance, these conditions are always fulfilled for infrastructures obtained from number fields and function fields, both of unit rank one. Since quadratic number fields give rise to such infrastructures, this algorithm can be used to solve Pell's equation and the principal ideal problem. In this sense we generalize Hallgren's quantum algorithms for quadratic number fields, while also providing a polynomial speedup over them. Our more general approach shows that these quantum algorithms can also be applied to infrastructures obtained from complex cubic and totally complex quartic number fields. Our improved way of analyzing the performance makes it possible to show that these algorithms succeed with constant probability independent of the problem size. In contrast, the lower bound on the success probability due to Hallgren decreases as the fourth power of the logarithm of the circumference. Our analysis also shows that fewer qubits are required. We also contribute to the study of infrastructures, and show how to compute efficiently within infrastructures. △ Less

Submitted 30 May, 2012; v1 submitted 30 June, 2011; originally announced June 2011.

Comments: LaTeX, 34 pages. Revised the presentation. Minor changes in abstract, introduction, sections 3 and 4

Quantum Codes and Symplectic Matroids

Authors: Pradeep Sarvepalli

Abstract: The correspondence between linear codes and representable matroids is well known. But a similar correspondence between quantum codes and matroids is not known. We show that representable symplectic matroids over a finite field $\mathbb{F}_q$ correspond to $\mathbb{F}_q$-linear quantum codes. Although this connection is straightforward, it does not appear to have been made earlier in literature. Th… ▽ More The correspondence between linear codes and representable matroids is well known. But a similar correspondence between quantum codes and matroids is not known. We show that representable symplectic matroids over a finite field $\mathbb{F}_q$ correspond to $\mathbb{F}_q$-linear quantum codes. Although this connection is straightforward, it does not appear to have been made earlier in literature. The correspondence is made through isotropic subspaces. We also show that the popular Calderbank-Shor-Steane (CSS) codes are essentially the homogenous symplectic matroids while the graph states, which figure so prominently in measurement based quantum computation, correspond to a special class of symplectic matroids, namely Lagrangian matroids. This association is useful in that it enables the study of symplectic matroids in terms of quantum codes and vice versa. Furthermore, it has application in the study of quantum secret sharing schemes. △ Less

Submitted 6 April, 2011; originally announced April 2011.

Comments: LateX, 7 pages

Entropic Inequalities for a Class of Quantum Secret Sharing States

Authors: Pradeep Sarvepalli

Abstract: It is well-known that von Neumann entropy is nonmonotonic unlike Shannon entropy (which is monotonically nondecreasing). Consequently, it is difficult to relate the entropies of the subsystems of a given quantum state. In this paper, we show that if we consider quantum secret sharing states arising from a class of monotone span programs, then we can partially recover the monotonicity of entropy fo… ▽ More It is well-known that von Neumann entropy is nonmonotonic unlike Shannon entropy (which is monotonically nondecreasing). Consequently, it is difficult to relate the entropies of the subsystems of a given quantum state. In this paper, we show that if we consider quantum secret sharing states arising from a class of monotone span programs, then we can partially recover the monotonicity of entropy for the so-called unauthorized sets. Furthermore, we can show for these quantum states the entropy of the authorized sets is monotonically nonincreasing. △ Less

Submitted 2 September, 2010; originally announced September 2010.

Comments: LaTex, 5 pages

Journal ref: Phys. Rev. A 83, 042303, 2011

Bounds on the Information Rate of Quantum Secret Sharing Schemes

Authors: Pradeep Sarvepalli

Abstract: An important metric of the performance of a quantum secret sharing scheme is its information rate. Beyond the fact that the information rate is upper bounded by one, very little is known in terms of bounds on the information rate of quantum secret sharing schemes. Further, not every scheme can be realized with rate one. In this paper we derive new upper bounds for the information rates of quantum… ▽ More An important metric of the performance of a quantum secret sharing scheme is its information rate. Beyond the fact that the information rate is upper bounded by one, very little is known in terms of bounds on the information rate of quantum secret sharing schemes. Further, not every scheme can be realized with rate one. In this paper we derive new upper bounds for the information rates of quantum secret sharing schemes. We show that there exist quantum access structures on $n$ players for which the information rate cannot be better than $O((\log_2 n)/n)$. These results are the quantum analogues of the bounds for classical secret sharing schemes proved by Csirmaz. △ Less

Submitted 7 July, 2010; originally announced July 2010.

Comments: 5 pages, LaTeX

Journal ref: Phys. Rev. A 83, 042324 (2011)

On Local Equivalence, Surface Code States and Matroids

Authors: Pradeep Sarvepalli, Robert Raussendorf

Abstract: Recently, Ji et al disproved the LU-LC conjecture and showed that the local unitary and local Clifford equivalence classes of the stabilizer states are not always the same. Despite the fact this settles the LU-LC conjecture, a sufficient condition for stabilizer states that violate the LU-LC conjecture is missing. In this paper, we investigate further the properties of stabilizer states with res… ▽ More Recently, Ji et al disproved the LU-LC conjecture and showed that the local unitary and local Clifford equivalence classes of the stabilizer states are not always the same. Despite the fact this settles the LU-LC conjecture, a sufficient condition for stabilizer states that violate the LU-LC conjecture is missing. In this paper, we investigate further the properties of stabilizer states with respect to local equivalence. Our first result shows that there exist infinitely many stabilizer states which violate the LU-LC conjecture. In particular, we show that for all numbers of qubits $n\geq 28$, there exist distance two stabilizer states which are counterexamples to the LU-LC conjecture. We prove that for all odd $n\geq 195$, there exist stabilizer states with distance greater than two which are LU equivalent but not LC equivalent. Two important classes of stabilizer states that are of great interest in quantum computation are the cluster states and stabilizer states of the surface codes. To date, the status of these states with respect to the LU-LC conjecture was not studied. We show that, under some minimal restrictions, both these classes of states preclude any counterexamples. In this context, we also show that the associated surface codes do not have any encoded non-Clifford transversal gates. We characterize the CSS surface code states in terms of a class of minor closed binary matroids. In addition to making connection with an important open problem in binary matroid theory, this characterization does in some cases provide an efficient test for CSS states that are not counterexamples. △ Less

Submitted 5 April, 2010; v1 submitted 9 November, 2009; originally announced November 2009.

Comments: LaTeX, 13 pages; Revised introduction, minor changes and corrections mainly in section V.

Journal ref: Phys. Rev. A 82, 022304 (2010)

Matroids and Quantum Secret Sharing Schemes

Authors: Pradeep Sarvepalli, Robert Raussendorf

Abstract: A secret sharing scheme is a cryptographic protocol to distribute a secret state in an encoded form among a group of players such that only authorized subsets of the players can reconstruct the secret. Classically, efficient secret sharing schemes have been shown to be induced by matroids. Furthermore, access structures of such schemes can be characterized by an excluded minor relation. No such… ▽ More A secret sharing scheme is a cryptographic protocol to distribute a secret state in an encoded form among a group of players such that only authorized subsets of the players can reconstruct the secret. Classically, efficient secret sharing schemes have been shown to be induced by matroids. Furthermore, access structures of such schemes can be characterized by an excluded minor relation. No such relations are known for quantum secret sharing schemes. In this paper we take the first steps toward a matroidal characterization of quantum secret sharing schemes. In addition to providing a new perspective on quantum secret sharing schemes, this characterization has important benefits. While previous work has shown how to construct quantum secret sharing schemes for general access structures, these schemes are not claimed to be efficient. In this context the present results prove to be useful; they enable us to construct efficient quantum secret sharing schemes for many general access structures. More precisely, we show that an identically self-dual matroid that is representable over a finite field induces a pure state quantum secret sharing scheme with information rate one. △ Less

Submitted 23 October, 2009; v1 submitted 3 September, 2009; originally announced September 2009.

Journal ref: Phys. Rev. A 81, 052333 (2010)

Sharing classical secrets with CSS codes

Authors: Pradeep Kiran Sarvepalli, Andreas Klappenecker

Abstract: In this paper we investigate the use of quantum information to share classical secrets. While every quantum secret sharing scheme is a quantum error correcting code, the converse is not true. Motivated by this we sought to find quantum codes which can be converted to secret sharing schemes. If we are interested in sharing classical secrets using quantum information, then we show that a class of… ▽ More In this paper we investigate the use of quantum information to share classical secrets. While every quantum secret sharing scheme is a quantum error correcting code, the converse is not true. Motivated by this we sought to find quantum codes which can be converted to secret sharing schemes. If we are interested in sharing classical secrets using quantum information, then we show that a class of pure $[[n,1,d]]_q$ CSS codes can be converted to perfect secret sharing schemes. These secret sharing schemes are perfect in the sense the unauthorized parties do not learn anything about the secret. Gottesman had given conditions to test whether a given subset is an authorized or unauthorized set; they enable us to determine the access structure of quantum secret sharing schemes. For the secret sharing schemes proposed in this paper the access structure can be characterized in terms of minimal codewords of the classical code underlying the CSS code. This characterization of the access structure for quantum secret sharing schemes is thought to be new. △ Less

Submitted 11 May, 2009; originally announced May 2009.

Journal ref: Phys. Rev. A 80, 022321 (2009)

Degenerate quantum codes and the quantum Hamming bound

Authors: Pradeep Kiran Sarvepalli, Andreas Klappenecker

Abstract: The parameters of a nondegenerate quantum code must obey the Hamming bound. An important open problem in quantum coding theory is whether or not the parameters of a degenerate quantum code can violate this bound for nondegenerate quantum codes. In this paper we show that Calderbank-Shor-Steane (CSS) codes with alphabet $q\geq 5$ cannot beat the quantum Hamming bound. We prove a quantum version o… ▽ More The parameters of a nondegenerate quantum code must obey the Hamming bound. An important open problem in quantum coding theory is whether or not the parameters of a degenerate quantum code can violate this bound for nondegenerate quantum codes. In this paper we show that Calderbank-Shor-Steane (CSS) codes with alphabet $q\geq 5$ cannot beat the quantum Hamming bound. We prove a quantum version of the Griesmer bound for the CSS codes which allows us to strengthen the Rains' bound that an $[[n,k,d]]_2$ code cannot correct more than $\floor{(n+1)/6}$ errors to $\floor{(n-k+1)/6}$. Additionally, we also show that the general quantum codes $[[n,k,d]]_q$ with $k+d\leq {(1-2eq^{-2})n}$ cannot beat the quantum Hamming bound. △ Less

Submitted 21 November, 2009; v1 submitted 14 December, 2008; originally announced December 2008.

Comments: Reformulated one of the results, corrected an erroneous remark and added a few more results

Journal ref: Phys. Rev. A 81, 032318 (2010)

Quantum stabilizer codes and beyond

Authors: Pradeep Kiran Sarvepalli

Abstract: 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… ▽ More 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. △ Less

Submitted 14 October, 2008; originally announced October 2008.

Comments: Ph.D. Dissertation, Texas A&M University, 2008

Encoding Subsystem Codes

Authors: Pradeep Kiran Sarvepalli, Andreas Klappenecker

Abstract: In this paper we investigate the encoding of operator quantum error correcting codes i.e. subsystem codes. We show that encoding of subsystem codes can be reduced to encoding of a related stabilizer code making it possible to use all the known results on encoding of stabilizer codes. Along the way we also show how Clifford codes can be encoded. We also show that gauge qubits can be exploited to… ▽ More In this paper we investigate the encoding of operator quantum error correcting codes i.e. subsystem codes. We show that encoding of subsystem codes can be reduced to encoding of a related stabilizer code making it possible to use all the known results on encoding of stabilizer codes. Along the way we also show how Clifford codes can be encoded. We also show that gauge qubits can be exploited to reduce the encoding complexity. △ Less

Submitted 30 June, 2008; originally announced June 2008.

Comments: 31 pages, LaTeX

Asymmetric Quantum LDPC Codes

Authors: Pradeep Kiran Sarvepalli, Martin Roetteler, Andreas Klappenecker

Abstract: Recently, quantum error-correcting codes were proposed that capitalize on the fact that many physical error models lead to a significant asymmetry between the probabilities for bit flip and phase flip errors. An example for a channel which exhibits such asymmetry is the combined amplitude damping and dephasing channel, where the probabilities of bit flips and phase flips can be related to relaxa… ▽ More Recently, quantum error-correcting codes were proposed that capitalize on the fact that many physical error models lead to a significant asymmetry between the probabilities for bit flip and phase flip errors. An example for a channel which exhibits such asymmetry is the combined amplitude damping and dephasing channel, where the probabilities of bit flips and phase flips can be related to relaxation and dephasing time, respectively. We give systematic constructions of asymmetric quantum stabilizer codes that exploit this asymmetry. Our approach is based on a CSS construction that combines BCH and finite geometry LDPC codes. △ Less

Submitted 27 April, 2008; originally announced April 2008.

Comments: 5 pages, 1 figure, 1 table, to appear in the Proceedings of the 2008 IEEE International Symposium on Information Theory

Journal ref: Proceedings 2008 IEEE International Symposium on Information Theory (ISIT 2008), Toronto, Canada, pp. 305-309, 2008

Asymptotics of the quantum Hamming bound for subsystem codes

Authors: Andreas Klappenecker, Pradeep Kiran Sarvepalli

Abstract: Ashikhmin and Litsyn showed that all binary stabilizer codes - pure or impure - of sufficiently large length obey the quantum Hamming bound, ruling out the possibility that impure codes of large length can outperform pure codes with respect to sphere packing. In contrast we show that impure subsystem codes do not obey the quantum Hamming bound for pure subsystem codes, not even asymptotically. W… ▽ More Ashikhmin and Litsyn showed that all binary stabilizer codes - pure or impure - of sufficiently large length obey the quantum Hamming bound, ruling out the possibility that impure codes of large length can outperform pure codes with respect to sphere packing. In contrast we show that impure subsystem codes do not obey the quantum Hamming bound for pure subsystem codes, not even asymptotically. We show that there exist arbitrarily long Bacon-Shor codes that violate the quantum Hamming bound. △ Less

Submitted 23 October, 2007; originally announced October 2007.

Comments: 2 pages

On Subsystem Codes Beating the Hamming or Singleton Bound

Authors: Andreas Klappenecker, Pradeep Kiran Sarvepalli

Abstract: Subsystem codes are a generalization of noiseless subsystems, decoherence free subspaces, and quantum error-correcting codes. We prove a Singleton bound for GF(q)-linear subsystem codes. It follows that no subsystem code over a prime field can beat the Singleton bound. On the other hand, we show the remarkable fact that there exist impure subsystem codes beating the Hamming bound. A number of op… ▽ More Subsystem codes are a generalization of noiseless subsystems, decoherence free subspaces, and quantum error-correcting codes. We prove a Singleton bound for GF(q)-linear subsystem codes. It follows that no subsystem code over a prime field can beat the Singleton bound. On the other hand, we show the remarkable fact that there exist impure subsystem codes beating the Hamming bound. A number of open problems concern the comparison in performance of stabilizer and subsystem codes. One of the open problems suggested by Poulin's work asks whether a subsystem code can use fewer syndrome measurements than an optimal MDS stabilizer code while encoding the same number of qudits and having the same distance. We prove that linear subsystem codes cannot offer such an improvement under complete decoding. △ Less

Submitted 22 March, 2007; originally announced March 2007.

Comments: 18 pages more densely packed than classically possible

Quantum Convolutional BCH Codes

Authors: Salah A. Aly, Markus Grassl, Andreas Klappenecker, Martin Roetteler, Pradeep Kiran Sarvepalli

Abstract: Quantum convolutional codes can be used to protect a sequence of qubits of arbitrary length against decoherence. We introduce two new families of quantum convolutional codes. Our construction is based on an algebraic method which allows to construct classical convolutional codes from block codes, in particular BCH codes. These codes have the property that they contain their Euclidean, respective… ▽ More Quantum convolutional codes can be used to protect a sequence of qubits of arbitrary length against decoherence. We introduce two new families of quantum convolutional codes. Our construction is based on an algebraic method which allows to construct classical convolutional codes from block codes, in particular BCH codes. These codes have the property that they contain their Euclidean, respectively Hermitian, dual codes. Hence, they can be used to define quantum convolutional codes by the stabilizer code construction. We compute BCH-like bounds on the free distances which can be controlled as in the case of block codes, and establish that the codes have non-catastrophic encoders. △ Less

Submitted 9 April, 2007; v1 submitted 13 March, 2007; originally announced March 2007.

Comments: 4 pages, minor changes, accepted for publication at the 10th Canadian Workshop on Information Theory (CWIT'07)

Journal ref: Proceedings 2007 Canadian Workshop on Information Theory (CWIT 2007), Edmonton, Canada, June 2007, pp. 180-183

Quantum Convolutional Codes Derived From Reed-Solomon and Reed-Muller Codes

Authors: Salah A. Aly, Andreas Klappenecker, Pradeep Kiran Sarvepalli

Abstract: Convolutional stabilizer codes promise to make quantum communication more reliable with attractive online encoding and decoding algorithms. This paper introduces a new approach to convolutional stabilizer codes based on direct limit constructions. Two families of quantum convolutional codes are derived from generalized Reed-Solomon codes and from Reed- Muller codes. A Singleton bound for pure co… ▽ More Convolutional stabilizer codes promise to make quantum communication more reliable with attractive online encoding and decoding algorithms. This paper introduces a new approach to convolutional stabilizer codes based on direct limit constructions. Two families of quantum convolutional codes are derived from generalized Reed-Solomon codes and from Reed- Muller codes. A Singleton bound for pure convolutional stabilizer codes is given. △ Less

Submitted 22 January, 2007; v1 submitted 8 January, 2007; originally announced January 2007.

Comments: 5 pages; updated parameters of classical (whence quantum) RM convolutional codes

Duadic Group Algebra Codes

Authors: Salah A. Aly, Andreas Klappenecker, Pradeep Kiran Sarvepalli

Abstract: Duadic group algebra codes are a generalization of quadratic residue codes. This paper settles an open problem raised by Zhu concerning the existence of duadic group algebra codes. These codes can be used to construct degenerate quantum stabilizer codes that have the nice feature that many errors of small weight do not need error correction; this fact is illustrated by an example. Duadic group algebra codes are a generalization of quadratic residue codes. This paper settles an open problem raised by Zhu concerning the existence of duadic group algebra codes. These codes can be used to construct degenerate quantum stabilizer codes that have the nice feature that many errors of small weight do not need error correction; this fact is illustrated by an example. △ Less

Submitted 8 January, 2007; originally announced January 2007.

Comments: 5 pages

Subsystem Codes

Authors: Salah A. Aly, Andreas Klappenecker, Pradeep Kiran Sarvepalli

Abstract: We investigate various aspects of operator quantum error-correcting codes or, as we prefer to call them, subsystem codes. We give various methods to derive subsystem codes from classical codes. We give a proof for the existence of subsystem codes using a counting argument similar to the quantum Gilbert-Varshamov bound. We derive linear programming bounds and other upper bounds. We answer the que… ▽ More We investigate various aspects of operator quantum error-correcting codes or, as we prefer to call them, subsystem codes. We give various methods to derive subsystem codes from classical codes. We give a proof for the existence of subsystem codes using a counting argument similar to the quantum Gilbert-Varshamov bound. We derive linear programming bounds and other upper bounds. We answer the question whether or not there exist [[n,n-2d+2,r>0,d]]_q subsystem codes. Finally, we compare stabilizer and subsystem codes with respect to the required number of syndrome qudits. △ Less

Submitted 18 October, 2006; originally announced October 2006.

Comments: 8 pages; 44th Allerton Conference

Clifford Code Constructions of Operator Quantum Error Correcting Codes

Authors: Andreas Klappenecker, Pradeep Kiran Sarvepalli

Abstract: Recently, operator quantum error-correcting codes have been proposed to unify and generalize decoherence free subspaces, noiseless subsystems, and quantum error-correcting codes. This note introduces a natural construction of such codes in terms of Clifford codes, an elegant generalization of stabilizer codes due to Knill. Character-theoretic methods are used to derive a simple method to constru… ▽ More Recently, operator quantum error-correcting codes have been proposed to unify and generalize decoherence free subspaces, noiseless subsystems, and quantum error-correcting codes. This note introduces a natural construction of such codes in terms of Clifford codes, an elegant generalization of stabilizer codes due to Knill. Character-theoretic methods are used to derive a simple method to construct operator quantum error-correcting codes from any classical additive code over a finite field. △ Less

Submitted 18 October, 2006; v1 submitted 21 April, 2006; originally announced April 2006.

Comments: 11 pages of character theory; minor changes, theorem 6 added

On Quantum and Classical BCH Codes

Authors: Salah A. Aly, Andreas Klappenecker, Pradeep Kiran Sarvepalli

Abstract: Classical BCH codes that contain their (Euclidean or Hermitian) dual codes can be used to construct quantum stabilizer codes; this correspondence studies the properties of such codes. It is shown that a BCH code of length n can contain its dual code only if its designed distance d=O(sqrt(n)), and the converse is proved in the case of narrow-sense codes. Furthermore, the dimension of narrow-sense… ▽ More Classical BCH codes that contain their (Euclidean or Hermitian) dual codes can be used to construct quantum stabilizer codes; this correspondence studies the properties of such codes. It is shown that a BCH code of length n can contain its dual code only if its designed distance d=O(sqrt(n)), and the converse is proved in the case of narrow-sense codes. Furthermore, the dimension of narrow-sense BCH codes with small design distance is completely determined, and - consequently - the bounds on their minimum distance are improved. These results make it possible to determine the parameters of quantum BCH codes in terms of their design parameters. △ Less

Submitted 14 April, 2006; originally announced April 2006.

Comments: 17 pages, LaTeX

Remarkable Degenerate Quantum Stabilizer Codes Derived from Duadic Codes

Authors: Salah A. Aly, Andreas Klappenecker, Pradeep Kiran Sarvepalli

Abstract: Good quantum codes, such as quantum MDS codes, are typically nondegenerate, meaning that errors of small weight require active error-correction, which is--paradoxically--itself prone to errors. Decoherence free subspaces, on the other hand, do not require active error correction, but perform poorly in terms of minimum distance. In this paper, examples of degenerate quantum codes are constructed… ▽ More Good quantum codes, such as quantum MDS codes, are typically nondegenerate, meaning that errors of small weight require active error-correction, which is--paradoxically--itself prone to errors. Decoherence free subspaces, on the other hand, do not require active error correction, but perform poorly in terms of minimum distance. In this paper, examples of degenerate quantum codes are constructed that have better minimum distance than decoherence free subspaces and allow some errors of small weight that do not require active error correction. In particular, two new families of [[n,1,>= sqrt(n)]]_q degenerate quantum codes are derived from classical duadic codes. △ Less

Submitted 17 January, 2006; originally announced January 2006.

Comments: 4 pages

Nonbinary stabilizer codes over finite fields

Authors: Avanti Ketkar, Andreas Klappenecker, Santosh Kumar, Pradeep Kiran Sarvepalli

Abstract: One formidable difficulty in quantum communication and computation is to protect information-carrying quantum states against undesired interactions with the environment. In past years, many good quantum error-correcting codes had been derived as binary stabilizer codes. Fault-tolerant quantum computation prompted the study of nonbinary quantum codes, but the theory of such codes is not as advanc… ▽ More One formidable difficulty in quantum communication and computation is to protect information-carrying quantum states against undesired interactions with the environment. In past years, many good quantum error-correcting codes had been derived as binary stabilizer codes. Fault-tolerant quantum computation prompted the study of nonbinary quantum codes, but the theory of such codes is not as advanced as that of binary quantum codes. This paper describes the basic theory of stabilizer codes over finite fields. The relation between stabilizer codes and general quantum codes is clarified by introducing a Galois theory for these objects. A characterization of nonbinary stabilizer codes over GF(q) in terms of classical codes over GF(q^2) is provided that generalizes the well-known notion of additive codes over GF(4) of the binary case. This paper derives lower and upper bounds on the minimum distance of stabilizer codes, gives several code constructions, and derives numerous families of stabilizer codes, including quantum Hamming codes, quadratic residue codes, quantum Melas codes, quantum BCH codes, and quantum character codes. The puncturing theory by Rains is generalized to additive codes that are not necessarily pure. Bounds on the maximal length of maximum distance separable stabilizer codes are given. A discussion of open problems concludes this paper. △ Less

Submitted 17 August, 2005; v1 submitted 8 August, 2005; originally announced August 2005.

Comments: 58 pages, LaTeX

Nonbinary Quantum Reed-Muller Codes

Authors: Pradeep Kiran Sarvepalli, Andreas Klappenecker

Abstract: We construct nonbinary quantum codes from classical generalized Reed-Muller codes and derive the conditions under which these quantum codes can be punctured. We provide a partial answer to a question raised by Grassl, Beth and Roetteler on the existence of q-ary quantum MDS codes of length n with q\le n\le q^2-1. We construct nonbinary quantum codes from classical generalized Reed-Muller codes and derive the conditions under which these quantum codes can be punctured. We provide a partial answer to a question raised by Grassl, Beth and Roetteler on the existence of q-ary quantum MDS codes of length n with q\le n\le q^2-1. △ Less

Submitted 31 January, 2005; originally announced February 2005.

Comments: 4 pages, submitted to IEEE ISIT 2005

Primitive Quantum BCH Codes over Finite Fields

Authors: Salah Aly, Andreas Klappenecker, Pradeep Kiran Sarvepalli

Abstract: An attractive feature of BCH codes is that one can infer valuable information from their design parameters (length, size of the finite field, and designed distance), such as bounds on the minimum distance and dimension of the code. In this paper, it is shown that one can also deduce from the design parameters whether or not a primitive, narrow-sense BCH contains its Euclidean or Hermitian dual c… ▽ More An attractive feature of BCH codes is that one can infer valuable information from their design parameters (length, size of the finite field, and designed distance), such as bounds on the minimum distance and dimension of the code. In this paper, it is shown that one can also deduce from the design parameters whether or not a primitive, narrow-sense BCH contains its Euclidean or Hermitian dual code. This information is invaluable in the construction of quantum BCH codes. A new proof is provided for the dimension of BCH codes with small designed distance, and simple bounds on the minimum distance of such codes and their duals are derived as a consequence. These results allow us to derive the parameters of two families of primitive quantum BCH codes as a function of their design parameters. △ Less

Submitted 17 January, 2006; v1 submitted 22 January, 2005; originally announced January 2005.

Comments: 5 pages; title changed, references added, revised