-
Encoded Universality from a Single Physical Interaction
Authors:
J. Kempe,
D. Bacon,
D. P. DiVincenzo,
K. B. Whaley
Abstract:
We present a theoretical analysis of the paradigm of encoded universality, using a Lie algebraic analysis to derive specific conditions under which physical interactions can provide universality. We discuss the significance of the tensor product structure in the quantum circuit model and use this to define the conjoining of encoded qudits. The construction of encoded gates between conjoined qudi…
▽ More
We present a theoretical analysis of the paradigm of encoded universality, using a Lie algebraic analysis to derive specific conditions under which physical interactions can provide universality. We discuss the significance of the tensor product structure in the quantum circuit model and use this to define the conjoining of encoded qudits. The construction of encoded gates between conjoined qudits is discussed in detail. We illustrate the general procedures with several examples from exchange-only quantum computation. In particular, we extend our earlier results showing universality with the isotropic exchange interaction to the derivation of encoded universality with the anisotropic exchange interaction, i.e., to the XY model. In this case the minimal encoding for universality is into qutrits rather than into qubits as was the case for isotropic (Heisenberg) exchange. We also address issues of fault-tolerance, leakage and correction of encoded qudits.
△ Less
Submitted 3 December, 2001;
originally announced December 2001.
-
Robustness of Multi-Party Entanglement
Authors:
Christoph Simon,
Julia Kempe
Abstract:
How common is large-scale entanglement in nature? As a first step towards addressing this question, we study the robustness of multi-party entanglement under local decoherence, modeled by partially depolarizing channels acting independently on each subsystem. Surprisingly, we find that n-qubit GHZ entanglement can stand more than 55 % local depolarization in the limit of n going to infinity, and…
▽ More
How common is large-scale entanglement in nature? As a first step towards addressing this question, we study the robustness of multi-party entanglement under local decoherence, modeled by partially depolarizing channels acting independently on each subsystem. Surprisingly, we find that n-qubit GHZ entanglement can stand more than 55 % local depolarization in the limit of n going to infinity, and that GHZ states are more robust than other generic states of 3 and 4 qubits. We also study spin-squeezed states in the limit n going to infinity and find that they too can stand considerable local depolarization.
△ Less
Submitted 20 September, 2001;
originally announced September 2001.
-
Encoded Universality in Physical Implementations of a Quantum Computer
Authors:
D. Bacon,
J. Kempe,
D. P. DiVincenzo,
D. A. Lidar,
K. B. Whaley
Abstract:
We revisit the question of universality in quantum computing and propose a new paradigm. Instead of forcing a physical system to enact a predetermined set of universal gates (e.g., single-qubit operations and CNOT), we focus on the intrinsic ability of a system to act as a universal quantum computer using only its naturally available interactions. A key element of this approach is the realizatio…
▽ More
We revisit the question of universality in quantum computing and propose a new paradigm. Instead of forcing a physical system to enact a predetermined set of universal gates (e.g., single-qubit operations and CNOT), we focus on the intrinsic ability of a system to act as a universal quantum computer using only its naturally available interactions. A key element of this approach is the realization that the fungible nature of quantum information allows for universal manipulations using quantum information encoded in a subspace of the full system Hilbert space, as an alternative to using physical qubits directly. Starting with the interactions intrinsic to the physical system, we show how to determine the possible universality resulting from these interactions over an encoded subspace. We outline a general Lie-algebraic framework which can be used to find the encoding for universality and give several examples relevant to solid-state quantum computing.
△ Less
Submitted 12 April, 2001; v1 submitted 27 February, 2001;
originally announced February 2001.
-
Quantum Walks On Graphs
Authors:
Dorit Aharonov,
Andris Ambainis,
Julia Kempe,
Umesh Vazirani
Abstract:
We set the ground for a theory of quantum walks on graphs- the generalization of random walks on finite graphs to the quantum world. Such quantum walks do not converge to any stationary distribution, as they are unitary and reversible.
However, by suitably relaxing the definition, we can obtain a measure of how fast the quantum walk spreads or how confined the quantum walk stays in a small neig…
▽ More
We set the ground for a theory of quantum walks on graphs- the generalization of random walks on finite graphs to the quantum world. Such quantum walks do not converge to any stationary distribution, as they are unitary and reversible.
However, by suitably relaxing the definition, we can obtain a measure of how fast the quantum walk spreads or how confined the quantum walk stays in a small neighborhood. We give definitions of mixing time, filling time, dispersion time. We show that in all these measures, the quantum walk on the cycle is almost quadratically faster then its classical correspondent. On the other hand, we give a lower bound on the possible speed up by quantum walks for general graphs, showing that quantum walks can be at most polynomially faster than their classical counterparts.
△ Less
Submitted 24 May, 2002; v1 submitted 17 December, 2000;
originally announced December 2000.
-
Separable states are more disordered globally than locally
Authors:
M. A. Nielsen,
J. Kempe
Abstract:
A remarkable feature of quantum entanglement is that an entangled state of two parties, Alice (A) and Bob (B), may be more disordered locally than globally. That is, S(A) > S(A,B), where S(.) is the von Neumann entropy. It is known that satisfaction of this inequality implies that a state is non-separable. In this paper we prove the stronger result that for separable states the vector of eigenva…
▽ More
A remarkable feature of quantum entanglement is that an entangled state of two parties, Alice (A) and Bob (B), may be more disordered locally than globally. That is, S(A) > S(A,B), where S(.) is the von Neumann entropy. It is known that satisfaction of this inequality implies that a state is non-separable. In this paper we prove the stronger result that for separable states the vector of eigenvalues of the density matrix of system AB is majorized by the vector of eigenvalues of the density matrix of system A alone. This gives a strong sense in which a separable state is more disordered globally than locally and a new necessary condition for separability of bipartite states in arbitrary dimensions. We also investigate the extent to which these conditions are sufficient to characterize separability, exhibiting examples that show separability cannot be characterized solely in terms of the local and global spectra of a state. We apply our conditions to give a simple proof that non-separable states exist sufficiently close to the completely mixed state of $n$ qudits.
△ Less
Submitted 29 November, 2000;
originally announced November 2000.
-
Universal simulation of Markovian quantum dynamics
Authors:
Dave Bacon,
Andrew M. Childs,
Isaac L. Chuang,
Julia Kempe,
Debbie W. Leung,
Xinlan Zhou
Abstract:
Although the conditions for performing arbitrary unitary operations to simulate the dynamics of a closed quantum system are well understood, the same is not true of the more general class of quantum operations (also known as superoperators) corresponding to the dynamics of open quantum systems. We propose a framework for the generation of Markovian quantum dynamics and study the resources needed…
▽ More
Although the conditions for performing arbitrary unitary operations to simulate the dynamics of a closed quantum system are well understood, the same is not true of the more general class of quantum operations (also known as superoperators) corresponding to the dynamics of open quantum systems. We propose a framework for the generation of Markovian quantum dynamics and study the resources needed for universality. For the case of a single qubit, we show that a single nonunitary process is necessary and sufficient to generate all unital Markovian quantum dynamics, whereas a set of processes parametrized by one continuous parameter is needed in general. We also obtain preliminary results for the unital case in higher dimensions.
△ Less
Submitted 18 June, 2001; v1 submitted 15 August, 2000;
originally announced August 2000.
-
Decoherence-Free Subspaces for Multiple-Qubit Errors: (II) Universal, Fault-Tolerant Quantum Computation
Authors:
Daniel A. Lidar,
Dave Bacon,
Julia Kempe,
K. B. Whaley
Abstract:
Decoherence-free subspaces (DFSs) shield quantum information from errors induced by the interaction with an uncontrollable environment. Here we study a model of correlated errors forming an Abelian subgroup (stabilizer) of the Pauli group (the group of tensor products of Pauli matrices). Unlike previous studies of DFSs, this type of errors does not involve any spatial symmetry assumptions on the…
▽ More
Decoherence-free subspaces (DFSs) shield quantum information from errors induced by the interaction with an uncontrollable environment. Here we study a model of correlated errors forming an Abelian subgroup (stabilizer) of the Pauli group (the group of tensor products of Pauli matrices). Unlike previous studies of DFSs, this type of errors does not involve any spatial symmetry assumptions on the system-environment interaction. We solve the problem of universal, fault-tolerant quantum computation on the associated class of DFSs.
△ Less
Submitted 5 July, 2000;
originally announced July 2000.
-
Universal Quantum Computation with the Exchange Interaction
Authors:
D. P. DiVincenzo,
D. Bacon,
J. Kempe,
G. Burkard,
K. B. Whaley
Abstract:
Experimental implementations of quantum computer architectures are now being investigated in many different physical settings. The full set of requirements that must be met to make quantum computing a reality in the laboratory [1] is daunting, involving capabilities well beyond the present state of the art. In this report we develop a significant simplification of these requirements that can be…
▽ More
Experimental implementations of quantum computer architectures are now being investigated in many different physical settings. The full set of requirements that must be met to make quantum computing a reality in the laboratory [1] is daunting, involving capabilities well beyond the present state of the art. In this report we develop a significant simplification of these requirements that can be applied in many recent solid-state approaches, using quantum dots [2], and using donor-atom nuclear spins [3] or electron spins [4]. In these approaches, the basic two-qubit quantum gate is generated by a tunable Heisenberg interaction (the Hamiltonian is $H_{ij}=J(t){\vec S}_i\cdot{\vec S}_j$ between spins $i$ and $j$), while the one-qubit gates require the control of a local Zeeman field. Compared to the Heisenberg operation, the one-qubit operations are significantly slower and require substantially greater materials and device complexity, which may also contribute to increasing the decoherence rate. Here we introduce an explicit scheme in which the Heisenberg interaction alone suffices to exactly implement any quantum computer circuit, at a price of a factor of three in additional qubits and about a factor of ten in additional two-qubit operations. Even at this cost, the ability to eliminate the complexity of one-qubit operations should accelerate progress towards these solid-state implementations of quantum computation.
△ Less
Submitted 23 May, 2002; v1 submitted 26 May, 2000;
originally announced May 2000.
-
Theory of Decoherence-Free Fault-Tolerant Universal Quantum Computation
Authors:
Julia Kempe,
Dave Bacon,
Daniel A. Lidar,
K. Birgitta Whaley
Abstract:
Universal quantum computation on decoherence-free subspaces and subsystems (DFSs) is examined with particular emphasis on using only physically relevant interactions. A necessary and sufficient condition for the existence of decoherence-free (noiseless) subsystems in the Markovian regime is derived here for the first time. A stabilizer formalism for DFSs is then developed which allows for the ex…
▽ More
Universal quantum computation on decoherence-free subspaces and subsystems (DFSs) is examined with particular emphasis on using only physically relevant interactions. A necessary and sufficient condition for the existence of decoherence-free (noiseless) subsystems in the Markovian regime is derived here for the first time. A stabilizer formalism for DFSs is then developed which allows for the explicit understanding of these in their dual role as quantum error correcting codes. Conditions for the existence of Hamiltonians whose induced evolution always preserves a DFS are derived within this stabilizer formalism. Two possible collective decoherence mechanisms arising from permutation symmetries of the system-bath coupling are examined within this framework. It is shown that in both cases universal quantum computation which always preserves the DFS (*natural fault-tolerant computation*) can be performed using only two-body interactions. This is in marked contrast to standard error correcting codes, where all known constructions using one or two-body interactions must leave the codespace during the on-time of the fault-tolerant gates. A further consequence of our universality construction is that a single exchange Hamiltonian can be used to perform universal quantum computation on an encoded space whose asymptotic coding efficiency is unity. The exchange Hamiltonian, which is naturally present in many quantum systems, is thus *asymptotically universal*.
△ Less
Submitted 19 April, 2000; v1 submitted 15 April, 2000;
originally announced April 2000.
-
Lambda's, V's and optimal cloning with stimulated emission
Authors:
Julia Kempe,
Christoph Simon,
Gregor Weihs
Abstract:
We show that optimal universal cloning of the polarization state of photons can be achieved via stimulated emission in three-level systems, both of the Lambda and the V type. We establish the equivalence of our systems with coupled harmonic oscillators, which permits us to analyze the structure of the cloning transformations realized. These transformations are shown to be equivalent to the optim…
▽ More
We show that optimal universal cloning of the polarization state of photons can be achieved via stimulated emission in three-level systems, both of the Lambda and the V type. We establish the equivalence of our systems with coupled harmonic oscillators, which permits us to analyze the structure of the cloning transformations realized. These transformations are shown to be equivalent to the optimal cloning transformations for qubits discovered by Buzek and Hillery, and Gisin and Massar. The down-conversion cloner discovered previously by some of the authors is obtained as a limiting case. We demonstrate an interesting equivalence between systems of Lambda atoms and systems of pairwise entangled V atoms. Finally we discuss the physical differences between our photon cloners and the qubit cloners considered previously and prove that the bounds on the fidelity of the clones derived for qubits also apply in our situation.
△ Less
Submitted 7 March, 2000;
originally announced March 2000.
-
Universal Fault-Tolerant Computation on Decoherence-Free Subspaces
Authors:
Dave Bacon,
Julia Kempe,
Daniel A. Lidar,
K. B. Whaley
Abstract:
A general scheme to perform universal quantum computation within decoherence-free subspaces (DFSs) of a system's Hilbert space is presented. This scheme leads to the first fault-tolerant realization of universal quantum computation on DFSs with the properties that (i) only one- and two-qubit interactions are required, and (ii) the system remains within the DFS throughout the entire implementatio…
▽ More
A general scheme to perform universal quantum computation within decoherence-free subspaces (DFSs) of a system's Hilbert space is presented. This scheme leads to the first fault-tolerant realization of universal quantum computation on DFSs with the properties that (i) only one- and two-qubit interactions are required, and (ii) the system remains within the DFS throughout the entire implementation of a quantum gate. We show explicitly how to perform universal computation on clusters of the four-qubit DFS encoding one logical qubit each under "collective decoherence" (qubit-permutation-invariant system-bath coupling). Our results have immediate relevance to a number of solid-state quantum computer implementations, in particular those in which quantum logic is implemented through exchange interactions, such as the recently proposed spin-spin coupled GaAs quantum dot arrays and the Si:$^{31}$P nuclear spin arrays.
△ Less
Submitted 29 June, 2000; v1 submitted 17 September, 1999;
originally announced September 1999.
-
Decoherence-Free Subspaces for Multiple-Qubit Errors: (I) Characterization
Authors:
Daniel A. Lidar,
Dave Bacon,
Julia Kempe,
K. B. Whaley
Abstract:
Coherence in an open quantum system is degraded through its interaction with a bath. This decoherence can be avoided by restricting the dynamics of the system to special decoherence-free subspaces. These subspaces are usually constructed under the assumption of spatially symmetric system-bath coupling. Here we show that decoherence-free subspaces may appear without spatial symmetry. Instead, we…
▽ More
Coherence in an open quantum system is degraded through its interaction with a bath. This decoherence can be avoided by restricting the dynamics of the system to special decoherence-free subspaces. These subspaces are usually constructed under the assumption of spatially symmetric system-bath coupling. Here we show that decoherence-free subspaces may appear without spatial symmetry. Instead, we consider a model of system-bath interactions in which to first order only multiple-qubit coupling to the bath is present, with single-qubit system-bath coupling absent. We derive necessary and sufficient conditions for the appearance of decoherence-free states in this model, and give a number of examples. In a sequel paper we show how to perform universal and fault tolerant quantum computation on the decoherence-free subspaces considered in this paper.
△ Less
Submitted 5 July, 2000; v1 submitted 18 August, 1999;
originally announced August 1999.
-
Protecting Quantum Information Encoded in Decoherence Free States Against Exchange Errors
Authors:
Daniel A. Lidar,
David Bacon,
Julia Kempe,
K. Birgitta Whaley
Abstract:
The exchange interaction between identical qubits in a quantum information processor gives rise to unitary two-qubit errors. It is shown here that decoherence free subspaces (DFSs) for collective decoherence undergo Pauli errors under exchange, which however do not take the decoherence free states outside of the DFS. In order to protect DFSs against these errors it is sufficient to employ a rece…
▽ More
The exchange interaction between identical qubits in a quantum information processor gives rise to unitary two-qubit errors. It is shown here that decoherence free subspaces (DFSs) for collective decoherence undergo Pauli errors under exchange, which however do not take the decoherence free states outside of the DFS. In order to protect DFSs against these errors it is sufficient to employ a recently proposed concatenated DFS-quantum error correcting code scheme [D.A. Lidar, D. Bacon and K.B. Whaley, Phys. Rev. Lett. {\bf 82}, 4556 (1999)].
△ Less
Submitted 2 December, 1999; v1 submitted 29 July, 1999;
originally announced July 1999.
-
Multi-particle entanglement and its applications to cryptography
Authors:
Julia Kempe
Abstract:
Entanglement between three or more parties exhibits a realm of properties unknown to two-party states. Bipartite states are easily classified using the Schmidt decomposition. The Schmidt coefficients of a bipartite pure state encompass all the non-local properties of the state and can be "seen" by looking at one party's density matrix only.
Pure states of three and more parties however lack su…
▽ More
Entanglement between three or more parties exhibits a realm of properties unknown to two-party states. Bipartite states are easily classified using the Schmidt decomposition. The Schmidt coefficients of a bipartite pure state encompass all the non-local properties of the state and can be "seen" by looking at one party's density matrix only.
Pure states of three and more parties however lack such a simple form. They have more invariants under local unitary transformations than any one party can "see" on their sub-system. These "hidden non-localities" will allow us to exhibit a class of multipartite states that cannot be distinguished from each other by any party. Generalizing a result of BPRST and using a recent result by Nielsen we will show that these states cannot be transformed into each other by local actions and classical communication. Furthermore we will use an orthogonal subset of such states to hint at applications to cryptography and illustrate an extension to quantum secret sharing (using recently suggested ((n,k))-threshold schemes).
△ Less
Submitted 3 May, 1999; v1 submitted 9 February, 1999;
originally announced February 1999.