Showing 1–9 of 9 results for author: Beth, T

On optimal quantum codes

Authors: Markus Grassl, Thomas Beth, Martin Roetteler

Abstract: We present families of quantum error-correcting codes which are optimal in the sense that the minimum distance is maximal. These maximum distance separable (MDS) codes are defined over q-dimensional quantum systems, where q is an arbitrary prime power. It is shown that codes with parameters [[n,n-2d+2,d]]_q exist for all 3 <= n <= q and 1 <= d <= n/2+1. We also present quantum MDS codes with par… ▽ More We present families of quantum error-correcting codes which are optimal in the sense that the minimum distance is maximal. These maximum distance separable (MDS) codes are defined over q-dimensional quantum systems, where q is an arbitrary prime power. It is shown that codes with parameters [[n,n-2d+2,d]]_q exist for all 3 <= n <= q and 1 <= d <= n/2+1. We also present quantum MDS codes with parameters [[q^2,q^2-2d+2,d]]_q for 1 <= d <= q which additionally give rise to shortened codes [[q^2-s,q^2-2d+2-s,d]]_q for some s. △ Less

Submitted 19 December, 2003; originally announced December 2003.

Comments: Accepted for publication in the International Journal of Quantum Information

Journal ref: International Journal of Quantum Information, Vol. 2, No. 1 (2004), pp. 55-64

Efficient Quantum Circuits for Non-Qubit Quantum Error-Correcting Codes

Authors: Markus Grassl, Martin Roetteler, Thomas Beth

Abstract: We present two methods for the construction of quantum circuits for quantum error-correcting codes (QECC). The underlying quantum systems are tensor products of subsystems (qudits) of equal dimension which is a prime power. For a QECC encoding k qudits into n qudits, the resulting quantum circuit has O(n(n-k)) gates. The running time of the classical algorithm to compute the quantum circuit is O… ▽ More We present two methods for the construction of quantum circuits for quantum error-correcting codes (QECC). The underlying quantum systems are tensor products of subsystems (qudits) of equal dimension which is a prime power. For a QECC encoding k qudits into n qudits, the resulting quantum circuit has O(n(n-k)) gates. The running time of the classical algorithm to compute the quantum circuit is O(n(n-k)^2). △ Less

Submitted 4 November, 2002; originally announced November 2002.

Comments: 18 pages, submitted to special issue of IJFCS

Journal ref: International Journal of Foundations of Computer Science (IJFCS), Vol. 14, No. 5 (2003), pp. 757-775

Required sample size for learning sparse Bayesian networks with many variables

Authors: Pawel Wocjan, Dominik Janzing, Thomas Beth

Abstract: Learning joint probability distributions on n random variables requires exponential sample size in the generic case. Here we consider the case that a temporal (or causal) order of the variables is known and that the (unknown) graph of causal dependencies has bounded in-degree Delta. Then the joint measure is uniquely determined by the probabilities of all (2 Delta+1)-tuples. Upper bounds on the… ▽ More Learning joint probability distributions on n random variables requires exponential sample size in the generic case. Here we consider the case that a temporal (or causal) order of the variables is known and that the (unknown) graph of causal dependencies has bounded in-degree Delta. Then the joint measure is uniquely determined by the probabilities of all (2 Delta+1)-tuples. Upper bounds on the sample size required for estimating their probabilities can be given in terms of the VC-dimension of the set of corresponding cylinder sets. The sample size grows less than linearly with n. △ Less

Submitted 26 April, 2002; originally announced April 2002.

Comments: 9 pages

ACM Class: I.2.6

Lower Bound on the Chromatic Number by Spectra of Weighted Adjacency Matrices

Authors: Pawel Wocjan, Dominik Janzing, Thomas Beth

Abstract: A lower bound on the chromatic number of a graph is derived by majorization of spectra of weighted adjacency matrices. These matrices are given by Hadamard products of the adjacency matrix and arbitrary Hermitian matrices. A lower bound on the chromatic number of a graph is derived by majorization of spectra of weighted adjacency matrices. These matrices are given by Hadamard products of the adjacency matrix and arbitrary Hermitian matrices. △ Less

Submitted 21 December, 2001; originally announced December 2001.

Comments: 6 pages

ACM Class: G.2.2

Simulating Hamiltonians in Quantum Networks: Efficient Schemes and Complexity Bounds

Authors: Pawel Wocjan, Martin Roetteler, Dominik Janzing, Thomas Beth

Abstract: We address the problem of simulating pair-interaction Hamiltonians in n node quantum networks where the subsystems have arbitrary, possibly different, dimensions. We show that any pair-interaction can be used to simulate any other by applying sequences of appropriate local control sequences. Efficient schemes for decoupling and time reversal can be constructed from orthogonal arrays. Conditions… ▽ More We address the problem of simulating pair-interaction Hamiltonians in n node quantum networks where the subsystems have arbitrary, possibly different, dimensions. We show that any pair-interaction can be used to simulate any other by applying sequences of appropriate local control sequences. Efficient schemes for decoupling and time reversal can be constructed from orthogonal arrays. Conditions on time optimal simulation are formulated in terms of spectral majorization of matrices characterizing the coupling parameters. Moreover, we consider a specific system of n harmonic oscillators with bilinear interaction. In this case, decoupling can efficiently be achieved using the combinatorial concept of difference schemes. For this type of interactions we present optimal schemes for inversion. △ Less

Submitted 18 September, 2001; originally announced September 2001.

Comments: 19 pages, LaTeX2e

Journal ref: Phys. Rev. A 65, 042309 (2002)

Universal Simulation of Hamiltonians Using a Finite Set of Control Operations

Authors: Pawel Wocjan, Martin Roetteler, Dominik Janzing, Thomas Beth

Abstract: Any quantum system with a non-trivial Hamiltonian is able to simulate any other Hamiltonian evolution provided that a sufficiently large group of unitary control operations is available. We show that there exist finite groups with this property and present a sufficient condition in terms of group characters. We give examples of such groups in dimension 2 and 3. Furthermore, we show that it is po… ▽ More Any quantum system with a non-trivial Hamiltonian is able to simulate any other Hamiltonian evolution provided that a sufficiently large group of unitary control operations is available. We show that there exist finite groups with this property and present a sufficient condition in terms of group characters. We give examples of such groups in dimension 2 and 3. Furthermore, we show that it is possible to simulate an arbitrary bipartite interaction by a given one using such groups acting locally on the subsystems. △ Less

Submitted 13 September, 2001; originally announced September 2001.

Comments: 18 pages, LaTeX2e

Journal ref: Quantum Information & Computation 2(2): 133-150, 2002

Polynomial-Time Solution to the Hidden Subgroup Problem for a Class of non-abelian Groups

Authors: Martin Roetteler, Thomas Beth

Abstract: We present a family of non-abelian groups for which the hidden subgroup problem can be solved efficiently on a quantum computer. We present a family of non-abelian groups for which the hidden subgroup problem can be solved efficiently on a quantum computer. △ Less

Submitted 23 December, 1998; originally announced December 1998.

Comments: 16 pages, LaTeX2e, 3 figures

Fast Quantum Fourier Transforms for a Class of Non-abelian Groups

Authors: Markus Pueschel, Martin Roetteler, Thomas Beth

Abstract: An algorithm is presented allowing the construction of fast Fourier transforms for any solvable group on a classical computer. The special structure of the recursion formula being the core of this algorithm makes it a good starting point to obtain systematically fast Fourier transforms for solvable groups on a quantum computer. The inherent structure of the Hilbert space imposed by the qubit arc… ▽ More An algorithm is presented allowing the construction of fast Fourier transforms for any solvable group on a classical computer. The special structure of the recursion formula being the core of this algorithm makes it a good starting point to obtain systematically fast Fourier transforms for solvable groups on a quantum computer. The inherent structure of the Hilbert space imposed by the qubit architecture suggests to consider groups of order 2^n first (where n is the number of qubits). As an example, fast quantum Fourier transforms for all 4 classes of non-abelian 2-groups with cyclic normal subgroup of index 2 are explicitly constructed in terms of quantum circuits. The (quantum) complexity of the Fourier transform for these groups of size 2^n is O(n^2) in all cases. △ Less

Submitted 22 July, 1998; originally announced July 1998.

Comments: 16 pages, LaTeX2e

Journal ref: Proceedings 13th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes (AAECC'99), Honolulu, Hawaii, Springer LNCS, pp. 148-159, 1999

Computing Local Invariants of Qubit Systems

Authors: Markus Grassl, Martin Roetteler, Thomas Beth

Abstract: We investigate means to describe the non-local properties of quantum systems and to test if two quantum systems are locally equivalent. For this we consider quantum systems that consist of several subsystems, especially multiple qubits. We compute invariant polynomials, i. e., polynomial functions of the entries of the density operator which are invariant under local unitary operations. As an… ▽ More We investigate means to describe the non-local properties of quantum systems and to test if two quantum systems are locally equivalent. For this we consider quantum systems that consist of several subsystems, especially multiple qubits. We compute invariant polynomials, i. e., polynomial functions of the entries of the density operator which are invariant under local unitary operations. As an example, we consider a system of two qubits. We compute the Molien series for the corresponding representation which gives information about the number of linearly independent invariants. Furthermore, we present a set of polynomials which generate all invariants (at least) up to degree 23. Finally, the use of invariants to check whether two density operators are locally equivalent is demonstrated. △ Less

Submitted 29 May, 1998; v1 submitted 18 December, 1997; originally announced December 1997.

Comments: 8 pages, RevTeX, submitted to PRA; example added to demonstrate the application of the invariants

Journal ref: Phys.Rev.A58:1833-1839,1998