arXiv subjects
Publications and source records attributed to David P. DiVincenzo.
We review the role of product bases in quantum information theory. We prove two conjectures which were made in DiVincenzo et al., quant-ph/9908070, namely the existence of two sets of bipartite unextendible product bases, in arbitrary dimensions, which are based on a tile construction. We pose some questions related to complete product bases.
After a brief introduction to the principles and promise of quantum information processing, the requirements for the physical implementation of quantum computation are discussed. These five requirements, plus two relating to the communication of quantum information, are extensively explored and related to the many schemes in atomic physics, quantum optics, nuclear and electron magnetic resonance spectroscopy, superconducting electronics, and quantum-dot physics, for achieving quantum computing.
Two families of bipartite mixed quantum states are studied for which it is proved that the number of members in the optimal-decomposition ensemble --- the ensemble realizing the entanglement of formation --- is greater than the rank of the mixed state. We find examples for which the number of states in this optimal ensemble can be larger than the rank by an arbitrarily large factor. In one case the proof relies on the fact that the partial transpose of the mixed state has zero eigenvalues; in the other case the result arises from the properties of product bases that are completable only by embedding in a larger Hilbert space.
Quantum error correcting codes have been developed to protect a quantum computer from decoherence due to a noisy environment. In this paper, we present two methods for optimizing the physical implementation of such error correction schemes. First, we discuss an optimal quantum circuit implementation of the smallest error-correcting code (the three bit code). Quantum circuits are physically implemented by serial pulses, i.e. by switching on and off external parameters in the Hamiltonian one after another. In contrast to this, we introduce a new parallel switching method that allows faster gate operation by switching all external parameters simultaneously. These two methods are applied to electron spins in coupled quantum dots subject to a Heisenberg coupling H=J(t) S_1*S_2 which can generate the universal quantum gate `square-root-of-swap'. Using parallel pulses, the encoding for three-bit quantum error correction in a Heisenberg system can be accelerated by a factor of about two. We point out that parallel switching has potential applications for arbitrary quantum computer architectures.
We address the question of how a quantum computer can be used to simulate experiments on quantum systems in thermal equilibrium. We present two approaches for the preparation of the equilibrium state on a quantum computer. For both approaches, we show that the output state of the algorithm, after long enough time, is the desired equilibrium. We present a numerical analysis of one of these approaches for small systems. We show how equilibrium (time)-correlation functions can be efficiently estimated on a quantum computer, given a preparation of the equilibrium state. The quantum algorithms that we present are hard to simulate on a classical computer. This indicates that they could provide an exponential speedup over what can be achieved with a classical device.
We present a family of additive quantum error-correcting codes whose capacities exceeds that of quantum random coding (hashing) for very noisy channels. These codes provide non-zero capacity in a depolarizing channel for fidelity parameters $f$ when $f> .80944$. Random coding has non-zero capacity only for $f>.81071$; by analogy to the classical Shannon coding limit, this value had previously been conjectured to be a lower bound. We use the method introduced by Shor and Smolin of concatenating a non-random (cat) code within a random code to obtain good codes. The cat code with block size five is shown to be optimal for single concatenation. The best known multiple-concatenated code we found has a block size of 25. We derive a general relation between the capacity attainable by these concatenation schemes and the coherent information of the inner code states.
We exhibit an orthogonal set of product states of two three-state particles that nevertheless cannot be reliably distinguished by a pair of separated observers ignorant of which of the states has been presented to them, even if the observers are allowed any sequence of local operations and classical communication between the separate observers. It is proved that there is a finite gap between the mutual information obtainable by a joint measurement on these states and a measurement in which only local actions are permitted. This result implies the existence of separable superoperators that cannot be implemented locally. A set of states are found involving three two-state particles which also appear to be nonmeasurable locally. These and other multipartite states are classified according to the entropy and entanglement costs of preparing and measuring them by local operations.
Many things will have to go right for quantum computation to become a reality in the lab. For any of the presently-proposed approaches involving spin states in solids, an essential requirement is that these spins should be measured at the single-Bohr-magneton level. Fortunately, quantum computing provides a suggestion for a new approach to this seemingly almost impossible task: convert the magnetization into a charge, and measure the charge. I show how this might be done by exploiting the spin filter effect provided by ferromagnetic tunnel barriers, used in conjunction with one-electron quantum dots.
We consider a new quantum gate mechanism based on electron spins in coupled semiconductor quantum dots. Such gates provide a general source of spin entanglement and can be used for quantum computers. We determine the exchange coupling J in the effective Heisenberg model as a function of magnetic (B) and electric fields, and of the inter-dot distance (a) within the Heitler-London approximation of molecular physics. This result is refined by using sp-hybridization, and by the Hund-Mulliken molecular-orbit approach which leads to an extended Hubbard description for the two-dot system that shows a remarkable dependence on B and a due to the long-range Coulomb interaction. We find that the exchange J changes sign at a finite field (leading to a pronounced jump in the magnetization) and then decays exponentially. The magnetization and the spin susceptibilities of the coupled dots are calculated. We show that the dephasing due to nuclear spins in GaAs can be strongly suppressed by dynamical nuclear spin polarization and/or by magnetic fields.
The newfound importance of ``entanglement as a resource'' in quantum computation and quantum communication compels us to quantify it in as many distinct ways as possible. Here we explore a new measure of entanglement for mixed quantum states of bipartite systems, which we name the Entanglement of Assistance. We show it to be the maximum average entanglement of all pure-state ensembles consistent with the given density matrix. In this sense, the Entanglement of Assistance is a quantity directly dual to the more standard Entanglement of Formation. With the help of lower and upper bounds, we calculate the Entanglement of Assistance for a few cases and use these results to show that it possesses the surprising property of superadditivity. We believe that this may shed some light on the question of additivity for the Entanglement of Formation.
We discuss a few current developments in the use of quantum mechanically coherent systems for information processing. In each of these developments, Rolf Landauer has played a crucial role in nudging us and other workers in the field into asking the right questions, some of which we have been lucky enough to answer. A general overview of the key ideas of quantum error correction is given. We discuss how quantum entanglement is the key to protecting quantum states from decoherence in a manner which, in a theoretical sense, is as effective as the protection of digital data from bit noise. We also discuss five general criteria which must be satisfied to implement a quantum computer in the laboratory, and we illustrate the application of these criteria by discussing our ideas for creating a quantum computer out of the spin states of coupled quantum dots.
We propose a new implementation of a universal set of one- and two-qubit gates for quantum computation using the spin states of coupled single-electron quantum dots. Desired operations are effected by the gating of the tunneling barrier between neighboring dots. Several measures of the gate quality are computed within a newly derived spin master equation incorporating decoherence caused by a prototypical magnetic environment. Dot-array experiments which would provide an initial demonstration of the desired non-equilibrium spin dynamics are proposed.
A historical review is given of the emergence of the idea of the quantum logic gate from the theory of reversible Boolean gates. I highlight the quantum XOR or controlled NOT as the fundamental two-bit gate for quantum computation. This gate plays a central role in networks for quantum error correction.
The quantum analog of the classical erasure channel provides a simple example of a channel whose asymptotic capacity for faithful transmission of intact quantum states, with and without the assistance of a two-way classical side channel, can be computed exactly. We derive the quantum and classical capacities for the quantum erasure channel and related channels, and compare them to the depolarizing channel, for which only upper and lower bounds on the capacities are known.
I provide an introduction to quantum computers, describing how they might be realized using language accessible to a solid state physicist. A listing of the minimal requirements for creating a quantum computer is given. I also discuss several recent developments in the area of quantum error correction, a subject of importance not only to quantum computation, but also to some aspects of the foundations of quantum theory.
A brief review is given of the physical implementation of quantum computation within spin systems or other two-state quantum systems. The importance of the controlled-NOT or quantum XOR gate as the fundamental primitive operation of quantum logic is emphasized. Recent developments in the use of quantum entanglement to built error-robust quantum states, and the simplest protocol for quantum error correction, are discussed.
Quantum codewords are highly entangled combinations of two-state systems. The standard assumptions of local realism lead to logical contradictions similar to those found by Bell, Kochen and Specker, Greenberger, Horne and Zeilinger, and Mermin. The new contradictions have some noteworthy features that did not appear in the older ones.
We exhibit a simple, systematic procedure for detecting and correcting errors using any of the recently reported quantum error-correcting codes. The procedure is shown explicitly for a code in which one qubit is mapped into five. The quantum networks obtained are fault tolerant, that is, they can function successfully even if errors occur during the error correction. Our construction is derived using a recently introduced group-theoretic framework for unifying all known quantum codes.