Showing 1–33 of 33 results for author: Klappenecker, A

A Combinatorial Interpretation for the Shor-Laflamme Weight Enumerators of CWS Codes

Authors: Andrew Nemec, Andreas Klappenecker

Abstract: We show that one of the Shor-Laflamme weight enumerators of a codeword stabilized quantum code may be interpreted as the distance enumerator of an associated classical code. We show that one of the Shor-Laflamme weight enumerators of a codeword stabilized quantum code may be interpreted as the distance enumerator of an associated classical code. △ Less

Submitted 14 July, 2021; originally announced July 2021.

Comments: 4 pages, 1 figure

Encoding Classical Information in Gauge Subsystems of Quantum Codes

Authors: Andrew Nemec, Andreas Klappenecker

Abstract: We show how to construct hybrid quantum-classical codes from subsystem codes by encoding the classical information into the gauge qudits using gauge fixing. Unlike previous work on hybrid codes, we allow for two separate minimum distances, one for the quantum information and one for the classical information. We give an explicit construction of hybrid codes from two classical linear codes using Ba… ▽ More We show how to construct hybrid quantum-classical codes from subsystem codes by encoding the classical information into the gauge qudits using gauge fixing. Unlike previous work on hybrid codes, we allow for two separate minimum distances, one for the quantum information and one for the classical information. We give an explicit construction of hybrid codes from two classical linear codes using Bacon-Casaccino subsystem codes, as well as several new examples of good hybrid code. △ Less

Submitted 17 March, 2022; v1 submitted 10 December, 2020; originally announced December 2020.

Comments: 22 pages, 2 figures

Journal ref: Int. J. Quantum Inf., vol. 20, no. 2, pp. 2150041 (2022)

Nonbinary Error-Detecting Hybrid Codes

Authors: Andrew Nemec, Andreas Klappenecker

Abstract: Hybrid codes simultaneously encode both quantum and classical information, allowing for the transmission of both across a quantum channel. We construct a family of nonbinary error-detecting hybrid stabilizer codes that can detect one error while also encoding a single classical bit over the residue class rings $\mathbb{Z}_{q}$ inspired by constructions of nonbinary non-additive codes. Hybrid codes simultaneously encode both quantum and classical information, allowing for the transmission of both across a quantum channel. We construct a family of nonbinary error-detecting hybrid stabilizer codes that can detect one error while also encoding a single classical bit over the residue class rings $\mathbb{Z}_{q}$ inspired by constructions of nonbinary non-additive codes. △ Less

Submitted 25 February, 2020; originally announced February 2020.

Comments: 9 pages

Infinite Families of Quantum-Classical Hybrid Codes

Authors: Andrew Nemec, Andreas Klappenecker

Abstract: Hybrid codes simultaneously encode both quantum and classical information into physical qubits. We give several general results about hybrid codes, most notably that the quantum codes comprising a genuine hybrid code must be impure and that hybrid codes can always detect more errors than comparable quantum codes. We also introduce the weight enumerators for general hybrid codes, which we then use… ▽ More Hybrid codes simultaneously encode both quantum and classical information into physical qubits. We give several general results about hybrid codes, most notably that the quantum codes comprising a genuine hybrid code must be impure and that hybrid codes can always detect more errors than comparable quantum codes. We also introduce the weight enumerators for general hybrid codes, which we then use to derive linear programming bounds. Finally, inspired by the construction of some families of nonadditive codes, we construct several infinite families of genuine hybrid codes with minimum distance two and three. △ Less

Submitted 9 September, 2020; v1 submitted 26 November, 2019; originally announced November 2019.

Comments: 10 pages. arXiv admin note: text overlap with arXiv:1901.02913

Bird's-eye view on Noise-Based Logic

Authors: Laszlo B. Kish, Claes-Goran Granqvist, Tamas Horvath, Andreas Klappenecker, He Wen, Sergey M. Bezrukov

Abstract: Noise-based logic is a practically deterministic logic scheme inspired by the randomness of neural spikes and uses a system of uncorrelated stochastic processes and their superposition to represent the logic state. We briefly discuss various questions such as (i) What does practical determinism mean? (ii) Is noise-based logic a Turing machine? (iii) Is there hope to beat (the dreams of) quantum co… ▽ More Noise-based logic is a practically deterministic logic scheme inspired by the randomness of neural spikes and uses a system of uncorrelated stochastic processes and their superposition to represent the logic state. We briefly discuss various questions such as (i) What does practical determinism mean? (ii) Is noise-based logic a Turing machine? (iii) Is there hope to beat (the dreams of) quantum computation by a classical physical noise-based processor, and what are the minimum hardware requirements for that? Finally, (iv) we address the problem of random number generators and show that the common belief that quantum number generators are superior to classical (thermal) noise-based generators is nothing but a myth. △ Less

Submitted 18 August, 2014; originally announced August 2014.

Comments: paper in press

Journal ref: Int. J. Mod. Phys. Conf. Ser. 33, 1460363 (2014)

New noise-based logic representations to avoid some problems with time complexity

Authors: H. Wen, L. B. Kish, A. Klappenecker, F. Peper

Abstract: Instantaneous noise-based logic can avoid time-averaging, which implies significant potential for low-power parallel operations in beyond-Moore-law-chips. However, the universe (uniform superposition) will be zero with high probability (non-zero with exponentially low probability) in the random-telegraph-wave representation thus the operations with the universe would require exponential time-compl… ▽ More Instantaneous noise-based logic can avoid time-averaging, which implies significant potential for low-power parallel operations in beyond-Moore-law-chips. However, the universe (uniform superposition) will be zero with high probability (non-zero with exponentially low probability) in the random-telegraph-wave representation thus the operations with the universe would require exponential time-complexity. To fix this deficiency, we modify the amplitudes of the signals of the L and H states and achieve an exponential speedup compared to the old situation. Another improvement concerns the identification of a single product (hyperspace) state. We introduce a time shifted noise-based logic, which is constructed by shifting each reference signal with a small time delay. This modification implies an exponential speedup of single hyperspace vector identification compared to the former case and it requires the same, O(N) complexity as in quantum computing. △ Less

Submitted 7 January, 2012; v1 submitted 10 November, 2011; originally announced November 2011.

Comments: submitted for publication

Journal ref: Fluctuation and Noise Letters 11 (2012) 1250003

Constructions of Subsystem Codes over Finite Fields

Authors: Salah A. Aly, Andreas Klappenecker

Abstract: Subsystem codes protect quantum information by encoding it in a tensor factor of a subspace of the physical state space. Subsystem codes generalize all major quantum error protection schemes, and therefore are especially versatile. This paper introduces numerous constructions of subsystem codes. It is shown how one can derive subsystem codes from classical cyclic codes. Methods to trade the dime… ▽ More Subsystem codes protect quantum information by encoding it in a tensor factor of a subspace of the physical state space. Subsystem codes generalize all major quantum error protection schemes, and therefore are especially versatile. This paper introduces numerous constructions of subsystem codes. It is shown how one can derive subsystem codes from classical cyclic codes. Methods to trade the dimensions of subsystem and co-subystem are introduced that maintain or improve the minimum distance. As a consequence, many optimal subsystem codes are obtained. Furthermore, it is shown how given subsystem codes can be extended, shortened, or combined to yield new subsystem codes. These subsystem code constructions are used to derive tables of upper and lower bounds on the subsystem code parameters. △ Less

Submitted 10 November, 2008; originally announced November 2008.

Scheduling Sensors by Tiling Lattices

Authors: Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch

Abstract: Suppose that wirelessly communicating sensors are placed in a regular fashion on the points of a lattice. Common communication protocols allow the sensors to broadcast messages at arbitrary times, which can lead to problems should two sensors broadcast at the same time. It is shown that one can exploit a tiling of the lattice to derive a deterministic periodic schedule for the broadcast communic… ▽ More Suppose that wirelessly communicating sensors are placed in a regular fashion on the points of a lattice. Common communication protocols allow the sensors to broadcast messages at arbitrary times, which can lead to problems should two sensors broadcast at the same time. It is shown that one can exploit a tiling of the lattice to derive a deterministic periodic schedule for the broadcast communication of sensors that is guaranteed to be collision-free. The proposed schedule is shown to be optimal in the number of time slots. △ Less

Submitted 7 June, 2008; originally announced June 2008.

Comments: 9 pages, 11 figures

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 dam** 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 dam** 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

Network Coding Capacity of Random Wireless Networks under a SINR Model

Authors: Zhenning Kong, Salah A. Aly, Emina Soljanin, Edmund M. Yeh, Andreas Klappenecker

Abstract: Previous work on network coding capacity for random wired and wireless networks have focused on the case where the capacities of links in the network are independent. In this paper, we consider a more realistic model, where wireless networks are modelled by random geometric graphs with interference and noise. In this model, the capacities of links are not independent. By employing coupling and m… ▽ More Previous work on network coding capacity for random wired and wireless networks have focused on the case where the capacities of links in the network are independent. In this paper, we consider a more realistic model, where wireless networks are modelled by random geometric graphs with interference and noise. In this model, the capacities of links are not independent. By employing coupling and martingale methods, we show that, under mild conditions, the network coding capacity for random wireless networks still exhibits a concentration behavior around the mean value of the minimum cut. △ Less

Submitted 27 April, 2008; originally announced April 2008.

Subsystem Code Constructions

Authors: Salah A. Aly, Andreas Klappenecker

Abstract: Subsystem codes are the most versatile class of quantum error-correcting codes known to date that combine the best features of all known passive and active error-control schemes. The subsystem code is a subspace of the quantum state space that is decomposed into a tensor product of two vector spaces: the subsystem and the co-subsystem. A generic method to derive subsystem codes from existing sub… ▽ More Subsystem codes are the most versatile class of quantum error-correcting codes known to date that combine the best features of all known passive and active error-control schemes. The subsystem code is a subspace of the quantum state space that is decomposed into a tensor product of two vector spaces: the subsystem and the co-subsystem. A generic method to derive subsystem codes from existing subsystem codes is given that allows one to trade the dimensions of subsystem and co-subsystem while maintaining or improving the minimum distance. As a consequence, it is shown that all pure MDS subsystem codes are derived from MDS stabilizer codes. The existence of numerous families of MDS subsystem codes is established. Propagation rules are derived that allow one to obtain longer and shorter subsystem codes from given subsystem codes. Furthermore, propagation rules are derived that allow one to construct a new subsystem code by combining two given subsystem codes. △ Less

Submitted 8 January, 2008; v1 submitted 28 December, 2007; originally announced December 2007.

Comments: 5 pages, trading dimensions of subsystem codes, MDS subsystem codes, and propagation rules. All stabilizer codes are converted to subsystem codes. A talk given at QEC07, and submitted to IEEE ISIT 2008

Journal ref: Proc. of IEEE ISIT 08, Toronto, CA, 2008

Bounds on the Network Coding Capacity for Wireless Random Networks

Authors: Salah A. Aly, Vishal Kapoor, Jie Meng, Andreas Klappenecker

Abstract: Recently, it has been shown that the max flow capacity can be achieved in a multicast network using network coding. In this paper, we propose and analyze a more realistic model for wireless random networks. We prove that the capacity of network coding for this model is concentrated around the expected value of its minimum cut. Furthermore, we establish upper and lower bounds for wireless nodes u… ▽ More Recently, it has been shown that the max flow capacity can be achieved in a multicast network using network coding. In this paper, we propose and analyze a more realistic model for wireless random networks. We prove that the capacity of network coding for this model is concentrated around the expected value of its minimum cut. Furthermore, we establish upper and lower bounds for wireless nodes using Chernoff bound. Our experiments show that our theoretical predictions are well matched by simulation results. △ Less

Submitted 29 October, 2007; originally announced October 2007.

Comments: Netcoding07

Network Coding Capacity of Random Wireless Networks under a Signal-to-Interference-and-Noise Model

Authors: Zhenning Kong, Salah A. Aly, Emina Soljanin, Edmund M. Yeh, Andreas Klappenecker

Abstract: In this paper, we study network coding capacity for random wireless networks. Previous work on network coding capacity for wired and wireless networks have focused on the case where the capacities of links in the network are independent. In this paper, we consider a more realistic model, where wireless networks are modeled by random geometric graphs with interference and noise. In this model, th… ▽ More In this paper, we study network coding capacity for random wireless networks. Previous work on network coding capacity for wired and wireless networks have focused on the case where the capacities of links in the network are independent. In this paper, we consider a more realistic model, where wireless networks are modeled by random geometric graphs with interference and noise. In this model, the capacities of links are not independent. We consider two scenarios, single source multiple destinations and multiple sources multiple destinations. In the first scenario, employing coupling and martingale methods, we show that the network coding capacity for random wireless networks still exhibits a concentration behavior around the mean value of the minimum cut under some mild conditions. Furthermore, we establish upper and lower bounds on the network coding capacity for dependent and independent nodes. In the second one, we also show that the network coding capacity still follows a concentration behavior. Our simulation results confirm our theoretical predictions. △ Less

Submitted 22 August, 2007; originally announced August 2007.

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

Graphs, Quadratic Forms, and Quantum Codes

Authors: Markus Grassl, Andreas Klappenecker, Martin Roetteler

Abstract: We show that any stabilizer code over a finite field is equivalent to a graphical quantum code. Furthermore we prove that a graphical quantum code over a finite field is a stabilizer code. The technique used in the proof establishes a new connection between quantum codes and quadratic forms. We provide some simple examples to illustrate our results. We show that any stabilizer code over a finite field is equivalent to a graphical quantum code. Furthermore we prove that a graphical quantum code over a finite field is a stabilizer code. The technique used in the proof establishes a new connection between quantum codes and quadratic forms. We provide some simple examples to illustrate our results. △ Less

Submitted 13 March, 2007; originally announced March 2007.

Comments: 5 pages, 2 figures, paper presented at the 2002 IEEE International Symposium on Information Theory

Journal ref: Proceedings 2002 IEEE International Symposium on Information Theory (ISIT 2002), Lausanne, Switzerland, June/July 2002, p. 45

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

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

On Approximately Symmetric Informationally Complete Positive Operator-Valued Measures and Related Systems of Quantum States

Authors: Andreas Klappenecker, Martin Roetteler, Igor Shparlinski, Arne Winterhof

Abstract: We address the problem of constructing positive operator-valued measures (POVMs) in finite dimension $n$ consisting of $n^2$ operators of rank one which have an inner product close to uniform. This is motivated by the related question of constructing symmetric informationally complete POVMs (SIC-POVMs) for which the inner products are perfectly uniform. However, SIC-POVMs are notoriously hard to… ▽ More We address the problem of constructing positive operator-valued measures (POVMs) in finite dimension $n$ consisting of $n^2$ operators of rank one which have an inner product close to uniform. This is motivated by the related question of constructing symmetric informationally complete POVMs (SIC-POVMs) for which the inner products are perfectly uniform. However, SIC-POVMs are notoriously hard to construct and despite some success of constructing them numerically, there is no analytic construction known. We present two constructions of approximate versions of SIC-POVMs, where a small deviation from uniformity of the inner products is allowed. The first construction is based on selecting vectors from a maximal collection of mutually unbiased bases and works whenever the dimension of the system is a prime power. The second construction is based on perturbing the matrix elements of a subset of mutually unbiased bases. Moreover, we construct vector systems in $\C^n$ which are almost orthogonal and which might turn out to be useful for quantum computation. Our constructions are based on results of analytic number theory. △ Less

Submitted 31 March, 2005; originally announced March 2005.

Comments: 29 pages, LaTeX

Journal ref: Journal of Mathematical Physics, 46:082104, 2005

New Tales of the Mean King

Authors: Andreas Klappenecker, Martin Roetteler

Abstract: The Mean King's problem asks to determine the outcome of a measurement that is randomly selected from a set of complementary observables. We review this problem and offer a combinatorial solution. More generally, we show that whenever an affine resolvable design exists, then a state reconstruction problem similar to the Mean King's problem can be defined and solved. As an application of this gen… ▽ More The Mean King's problem asks to determine the outcome of a measurement that is randomly selected from a set of complementary observables. We review this problem and offer a combinatorial solution. More generally, we show that whenever an affine resolvable design exists, then a state reconstruction problem similar to the Mean King's problem can be defined and solved. As an application of this general framework we consider a problem involving three qubits in which the outcome of nine different measurements can be determined without using ancillary qubits. The solution is based on a measurement derived from Hadamard designs. △ Less

Submitted 22 February, 2005; originally announced February 2005.

Comments: 20 pages, 1 figure, uses yfonts

Mutually Unbiased Bases are Complex Projective 2-Designs

Authors: Andreas Klappenecker, Martin Roetteler

Abstract: Mutually unbiased bases (MUBs) are a primitive used in quantum information processing to capture the principle of complementarity. While constructions of maximal sets of d+1 such bases are known for systems of prime power dimension d, it is unknown whether this bound can be achieved for any non-prime power dimension. In this paper we demonstrate that maximal sets of MUBs come with a rich combina… ▽ More Mutually unbiased bases (MUBs) are a primitive used in quantum information processing to capture the principle of complementarity. While constructions of maximal sets of d+1 such bases are known for systems of prime power dimension d, it is unknown whether this bound can be achieved for any non-prime power dimension. In this paper we demonstrate that maximal sets of MUBs come with a rich combinatorial structure by showing that they actually are the same objects as the complex projective 2-designs with angle set {0,1/d}. We also give a new and simple proof that symmetric informationally complete POVMs are complex projective 2-designs with angle set {1/(d+1)}. △ Less

Submitted 11 February, 2005; v1 submitted 3 February, 2005; originally announced February 2005.

Comments: 5 pages; minor corrections, two remarks on previous work added, submitted to 2005 IEEE International Symposium on Information Theory

Journal ref: Proceedings 2005 IEEE International Symposium on Information Theory (ISIT 2005), Adelaide, Australia, pp. 1740-1744, 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

Remarks on Clifford codes

Authors: Andreas Klappenecker, Martin Roetteler

Abstract: Clifford codes are a class of quantum error control codes that form a natural generalization of stabilizer codes. These codes were introduced in 1996 by Knill, but only a single Clifford code was known, which is not already a stabilizer code. We derive a necessary and sufficient condition that allows to decide when a Clifford code is a stabilizer code, and compile a table of all true Clifford co… ▽ More Clifford codes are a class of quantum error control codes that form a natural generalization of stabilizer codes. These codes were introduced in 1996 by Knill, but only a single Clifford code was known, which is not already a stabilizer code. We derive a necessary and sufficient condition that allows to decide when a Clifford code is a stabilizer code, and compile a table of all true Clifford codes for error groups of small order. △ Less

Submitted 31 December, 2003; originally announced December 2003.

Comments: 10 pages; submitted to Quantum Information and Computation

Journal ref: Proceedings 2004 IEEE International Symposium on Information Theory (ISIT 2004), Chicago, USA, pp. 354, 2004

Quantum Software Reusability

Authors: Andreas Klappenecker, Martin Roetteler

Abstract: The design of efficient quantum circuits is an important issue in quantum computing. It is in general a formidable task to find a highly optimized quantum circuit for a given unitary matrix. We propose a quantum circuit design method that has the following unique feature: It allows to construct efficient quantum circuits in a systematic way by reusing and combining a set of highly optimized quan… ▽ More The design of efficient quantum circuits is an important issue in quantum computing. It is in general a formidable task to find a highly optimized quantum circuit for a given unitary matrix. We propose a quantum circuit design method that has the following unique feature: It allows to construct efficient quantum circuits in a systematic way by reusing and combining a set of highly optimized quantum circuits. Specifically, the method realizes a quantum circuit for a given unitary matrix by implementing a linear combination of representing matrices of a group, which have known fast quantum circuits. We motivate and illustrate this method by deriving extremely efficient quantum circuits for the discrete Hartley transform and for the fractional Fourier transforms. The sound mathematical basis of this design method allows to give meaningful and natural interpretations of the resulting circuits. We demonstrate this aspect by giving a natural interpretation of known teleportation circuits. △ Less

Submitted 15 September, 2003; v1 submitted 15 September, 2003; originally announced September 2003.

Comments: 20 pages latex, 11 postscript figures

Journal ref: International Journal on Foundations of Computer Science, 14(5), pages 777-796, 2003

Constructions of Mutually Unbiased Bases

Authors: Andreas Klappenecker, Martin Roetteler

Abstract: Two orthonormal bases B and B' of a d-dimensional complex inner-product space are called mutually unbiased if and only if |<b|b'>|^2=1/d holds for all b in B and b' in B'. The size of any set containing (pairwise) mutually unbiased bases of C^d cannot exceed d+1. If d is a power of a prime, then extremal sets containing d+1 mutually unbiased bases are known to exist. We give a simplified proof o… ▽ More Two orthonormal bases B and B' of a d-dimensional complex inner-product space are called mutually unbiased if and only if |<b|b'>|^2=1/d holds for all b in B and b' in B'. The size of any set containing (pairwise) mutually unbiased bases of C^d cannot exceed d+1. If d is a power of a prime, then extremal sets containing d+1 mutually unbiased bases are known to exist. We give a simplified proof of this fact based on the estimation of exponential sums. We discuss conjectures and open problems concerning the maximal number of mutually unbiased bases for arbitrary dimensions. △ Less

Submitted 15 September, 2003; originally announced September 2003.

Comments: 8 pages latex

Journal ref: Proceedings of the 7th International Conference on Finite Fields (Fq7), Toulouse, France, Springer LNCS, pp. 137-144, 2004

On the Monomiality of Nice Error Bases

Authors: Andreas Klappenecker, Martin Roetteler

Abstract: Unitary error bases generalize the Pauli matrices to higher dimensional systems. Two basic constructions of unitary error bases are known: An algebraic construction by Knill, which yields nice error bases, and a combinatorial construction by Werner, which yields shift-and-multiply bases. An open problem posed by Schlingemann and Werner (see http://www.imaph.tu-bs.de/qi/problems/6.html) relates t… ▽ More Unitary error bases generalize the Pauli matrices to higher dimensional systems. Two basic constructions of unitary error bases are known: An algebraic construction by Knill, which yields nice error bases, and a combinatorial construction by Werner, which yields shift-and-multiply bases. An open problem posed by Schlingemann and Werner (see http://www.imaph.tu-bs.de/qi/problems/6.html) relates these two constructions and asks whether each nice error basis is equivalent to a shift-and-multiply basis. We solve this problem and show that the answer is negative. However, we also show that it is always possible to find a fairly sparse representation of a nice error basis. △ Less

Submitted 15 January, 2003; originally announced January 2003.

Comments: 6 pages

Journal ref: IEEE Transactions on Information Theory, vol. 51, no. 3, pp. 1084 - 1089, 2005

Engineering Functional Quantum Algorithms

Authors: Andreas Klappenecker, Martin Roetteler

Abstract: Suppose that a quantum circuit with K elementary gates is known for a unitary matrix U, and assume that U^m is a scalar matrix for some positive integer m. We show that a function of U can be realized on a quantum computer with at most O(mK+m^2log m) elementary gates. The functions of U are realized by a generic quantum circuit, which has a particularly simple structure. Among other results, we… ▽ More Suppose that a quantum circuit with K elementary gates is known for a unitary matrix U, and assume that U^m is a scalar matrix for some positive integer m. We show that a function of U can be realized on a quantum computer with at most O(mK+m^2log m) elementary gates. The functions of U are realized by a generic quantum circuit, which has a particularly simple structure. Among other results, we obtain efficient circuits for the fractional Fourier transform. △ Less

Submitted 20 August, 2002; originally announced August 2002.

Comments: 4 pages, 2 figures

Journal ref: Physical Review A, 67, 010302, 2003

On the Irresistible Efficiency of Signal Processing Methods in Quantum Computing

Authors: Andreas Klappenecker, Martin Roetteler

Abstract: We show that many well-known signal transforms allow highly efficient realizations on a quantum computer. We explain some elementary quantum circuits and review the construction of the Quantum Fourier Transform. We derive quantum circuits for the Discrete Cosine and Sine Transforms, and for the Discrete Hartley transform. We show that at most O(log^2 N) elementary quantum gates are necessary to… ▽ More We show that many well-known signal transforms allow highly efficient realizations on a quantum computer. We explain some elementary quantum circuits and review the construction of the Quantum Fourier Transform. We derive quantum circuits for the Discrete Cosine and Sine Transforms, and for the Discrete Hartley transform. We show that at most O(log^2 N) elementary quantum gates are necessary to implement any of those transforms for input sequences of length N. △ Less

Submitted 6 November, 2001; originally announced November 2001.

Comments: 15 pages, LaTeX 2e. Expanded version of quant-ph/0111038. SPECLOG 2000, Tampere, Finland

Journal ref: Proceedings of the First International Workshop on Spectral Techniques and Logic Design (SPECLOG 2000), pp. 483-497, 2000

Discrete Cosine Transforms on Quantum Computers

Authors: Andreas Klappenecker, Martin Roetteler

Abstract: A classical computer does not allow to calculate a discrete cosine transform on N points in less than linear time. This trivial lower bound is no longer valid for a computer that takes advantage of quantum mechanical superposition, entanglement, and interference principles. In fact, we show that it is possible to realize the discrete cosine transforms and the discrete sine transforms of size NxN… ▽ More A classical computer does not allow to calculate a discrete cosine transform on N points in less than linear time. This trivial lower bound is no longer valid for a computer that takes advantage of quantum mechanical superposition, entanglement, and interference principles. In fact, we show that it is possible to realize the discrete cosine transforms and the discrete sine transforms of size NxN and types I,II,III, and IV with as little as O(log^2 N) operations on a quantum computer, whereas the known fast algorithms on a classical computer need O(N log N) operations. △ Less

Submitted 6 November, 2001; originally announced November 2001.

Comments: 5 pages, LaTeX 2e, IEEE ISPA01, Pula, Croatia, 2001

Journal ref: IEEE R8-EURASIP Symposium on Image and Signal Processing and Analysis, pp. 464-468, Pula, Croatia, 2001

Beyond Stabilizer Codes I: Nice Error Bases

Authors: Andreas Klappenecker, Martin Roetteler

Abstract: Nice error bases have been introduced by Knill as a generalization of the Pauli basis. These bases are shown to be projective representations of finite groups. We classify all nice error bases of small degree, and all nice error bases with abelian index groups. We show that in general an index group of a nice error basis is necessarily solvable. Nice error bases have been introduced by Knill as a generalization of the Pauli basis. These bases are shown to be projective representations of finite groups. We classify all nice error bases of small degree, and all nice error bases with abelian index groups. We show that in general an index group of a nice error basis is necessarily solvable. △ Less

Submitted 6 November, 2001; v1 submitted 23 October, 2000; originally announced October 2000.

Comments: 12 pages, LaTeX2e. Minor changes. Title changed by request of IEEE Trans. IT

Journal ref: IEEE Transactions on Information Theory, vol. 48, no. 8, pp. 2392-2395, 2002

Beyond Stabilizer Codes II: Clifford Codes

Authors: Andreas Klappenecker, Martin Roetteler

Abstract: Knill introduced a generalization of stabilizer codes, in this note called Clifford codes. It remained unclear whether or not Clifford codes can be superior to stabilizer codes. We show that Clifford codes are stabilizer codes provided that the abstract error group has an abelian index group. In particular, if the errors are modelled by tensor products of Pauli matrices, then the associated Clif… ▽ More Knill introduced a generalization of stabilizer codes, in this note called Clifford codes. It remained unclear whether or not Clifford codes can be superior to stabilizer codes. We show that Clifford codes are stabilizer codes provided that the abstract error group has an abelian index group. In particular, if the errors are modelled by tensor products of Pauli matrices, then the associated Clifford codes are necessarily stabilizer codes. △ Less

Submitted 6 November, 2001; v1 submitted 23 October, 2000; originally announced October 2000.

Comments: 9 pages, LaTeX2e. Minor changes. Title changed by request of IEEE Trans. IT

Journal ref: IEEE Transactions on Information Theory, vol. 48, no. 8, pp. 2396-2399, 2002