Showing papers in "arXiv: Quantum Physics in 1999"

Quantum Teleportation is a Universal Computational Primitive

Abstract: We present a method to create a variety of interesting gates by teleporting quantum bits through special entangled states. This allows, for instance, the construction of a quantum computer based on just single qubit operations, Bell measurements, and GHZ states. We also present straightforward constructions of a wide variety of fault-tolerant quantum gates.

Geometric quantum computation with NMR

Abstract: The experimental realisation of the basic constituents of quantum information processing devices, namely fault-tolerant quantum logic gates, requires conditional quantum dynamics, in which one subsystem undergoes a coherent evolution that depends on the quantum state of another subsystem. In particular, the subsystem may acquire a conditional phase shift. Here we consider a novel scenario in which this phase is of geometric rather than dynamical origin. As the conditional geometric (Berry) phase depends only on the geometry of the path executed it is resilient to certain types of errors, and offers the potential of an intrinsically fault-tolerant way of performing quantum gates. Nuclear Magnetic Resonance (NMR) has already been used to demonstrate both simple quantum information processing and Berry's phase. Here we report an NMR experiment which implements a conditional Berry phase, and thus a controlled phase shift gate. This constitutes the first elementary geometric quantum computation.

Theory of Quantum Error Correction for General Noise

Abstract: Quantum error correction protects quantum information against environmental noise. When using qubits, a measure of quality of a code is the maximum number of errors that it is able to correct. We show that a suitable notion of ``number of errors'' e makes sense for any system in the presence of arbitrary environmental interactions. In fact, the notion is directly related to the lowest order in time with which uncorrectable errors are introduced, and this in turn is derived from a grading of the algebra generated by the interaction operators. As a result, e-error-correcting codes are effective at protecting quantum information without requiring the usual assumptions of independence and lack of correlation. We prove the existence of large codes for both quantum and classical information. By viewing error-correcting codes as subsystems, we relate codes to irreducible representations of certain operator algebras and show that noiseless subsystems are infinite-distance error-correcting codes. An explicit example involving collective interactions is discussed.

Minimal Length Uncertainty Relation and Hydrogen Atom

Abstract: We propose a new approach to calculate perturbatively the effects of a particular deformed Heisenberg algebra on energy spectrum. We use this method to calculate the harmonic oscillator spectrum and find that corrections are in agreement with a previous calculation. Then, we apply this approach to obtain the hydrogen atom spectrum and we find that splittings of degenerate energy levels appear. Comparison with experimental data yields an interesting upper bound for the deformation parameter of the Heisenberg algebra.

Evaluating capacities of Bosonic Gaussian channels

Abstract: We show how to compute or at least to estimate various capacity-related quantities for Bosonic Gaussian channels. Among these are the coherent information, the entanglement assisted classical capacity, the one-shot classical capacity, and a new quantity involving the transpose operation, shown to be a general upper bound on the quantum capacity, even allowing for finite errors. All bounds are explicitly evaluated for the case of a one-mode channel with attenuation/amplification and classical noise.

Minimal Entropy of States Emerging from Noisy Quantum Channels

Abstract: In this paper, we consider the minimal entropy of qubit states transmitted through two uses of a noisy quantum channel, which is modeled by the action of a completely positive trace-preserving (or stochastic) map. We provide strong support for the conjecture that this minimal entropy is additive, namely that the minimum entropy can be achieved when product states are transmitted. Explicitly, we prove that for a tensor product of two unital stochastic maps on qubit states, using an entanglement that involves only states which emerge with minimal entropy cannot decrease the entropy below the minimum achievable using product states. We give a separate argument, based on the geometry of the image of the set of density matrices under stochastic maps, which suggests that the minimal entropy conjecture holds for non-unital as well as for unital maps. We also show that the maximal norm of the output states is multiplicative for most product maps on $n$-qubit states, including all those for which at least one map is unital. For the class of {\it unital} channels on ${\bf C}^2$, we show that additivity of minimal entropy implies that the Holevo capacity of the channel is {\it additive} over two inputs, achievable with orthogonal states, and equal to the Shannon capacity. This implies that superadditivity of the capacity is possible only for non-unital channels.

Loss and heating of particles in small and noisy traps

Abstract: We derive the life time and loss rate for a trapped particle that is coupled to fluctuating fields in the vicinity of a room-temperature metallic and/or dielectric surface. Our results indicate a clear predominance of near field effects over ordinary blackbody radiation. We develop a theoretical framework for both charged and neutral particles with and without spin. Loss processes that are due to a transition to an untrapped internal state are included.

The Hidden Subgroup Problem and Eigenvalue Estimation on a Quantum Computer

Abstract: A quantum computer can efficiently find the order of an element in a group, factors of composite integers, discrete logarithms, stabilisers in Abelian groups, and `hidden' or `unknown' subgroups of Abelian groups. It is already known how to phrase the first four problems as the estimation of eigenvalues of certain unitary operators. Here we show how the solution to the more general Abelian `hidden subgroup problem' can also be described and analysed as such. We then point out how certain instances of these problems can be solved with only one control qubit, or `flying qubits', instead of entire registers of control qubits.

Kirchhoff's Rule for Quantum Wires. II: The Inverse Problem with Possible Applications to Quantum Computers

Abstract: In this article we continue our investigations of one particle quantum scattering theory for Schroedinger operators on a set of connected (idealized one-dimensional) wires forming a graph with an arbitrary number of open ends. The Hamiltonian is given as minus the Laplace operator with suitable linear boundary conditions at the vertices (the local Kirchhoff law). In ``Kirchhoff's rule for quantum wires'' [J. Phys. A: Math. Gen. 32, 595 - 630 (1999)] we provided an explicit algebraic expression for the resulting (on-shell) S-matrix in terms of the boundary conditions and the lengths of the internal lines and we also proved its unitarity. Here we address the inverse problem in the simplest context with one vertex only but with an arbitrary number of open ends. We provide an explicit formula for the boundary conditions in terms of the S-matrix at a fixed, prescribed energy. We show that any unitary $n\times n$ matrix may be realized as the S-matrix at a given energy by choosing appropriate (unique) boundary conditions. This might possibly be used for the design of elementary gates in quantum computing. As an illustration we calculate the boundary conditions associated to the unitary operators of some elementary gates for quantum computers and raise the issue whether in general the unitary operators associated to quantum gates should rather be viewed as scattering operators instead of time evolution operators for a given time associated to a quantum mechanical Hamiltonian.

Coding theorems of quantum information theory

Abstract: Coding theorems and (strong) converses for memoryless quantum communication channels and quantum sources are proved: for the quantum source the coding theorem is reviewed, and the strong converse proven. For classical information transmission via quantum channels we give a new proof of the coding theorem, and prove the strong converse, even under the extended model of nonstationary channels. As a by-product we obtain a new proof of the famous Holevo bound. Then multi-user systems are investigated, and the capacity region for the quantum multiple access channel is determined. The last chapter contains a preliminary discussion of some models of compression of correlated quantum sources, and a proposal for a program to obtain operational meaning for quantum conditional entropy. An appendix features the introduction of a notation and calculus of entropy in quantum systems.

A new PT symmetric complex Hamiltonian with a real spectra

Abstract: We construct an isospectrum systems in terms of a real and complex potential to show that the underlying PT symmetric Hamiltonian possesses a real spectrum which is shared by its real partner.

Quantum noise in optical fibers I: stochastic equations

Abstract: We analyze the quantum dynamics of radiation propagating in a single mode optical fiber with dispersion, nonlinearity, and Raman coupling to thermal phonons. We start from a fundamental Hamiltonian that includes the principal known nonlinear effects and quantum noise sources, including linear gain and loss. Both Markovian and frequency-dependent, non-Markovian reservoirs are treated. This allows quantum Langevin equations to be calculated, which have a classical form except for additional quantum noise terms. In practical calculations, it is more useful to transform to Wigner or +$P$ quasi-probability operator representations. These result in stochastic equations that can be analyzed using perturbation theory or exact numerical techniques. The results have applications to fiber optics communications, networking, and sensor technology.

Effective mass in quantum effects of radiation pressure

Abstract: We study the quantum effects of radiation pressure in a high-finesse cavity with a mirror coated on a mechanical resonator. We show that the optomechanical coupling can be described by an effective susceptibility which takes into account every acoustic modes of the resonator and their coupling to the light. At low frequency this effective response is similar to a harmonic response with an effective mass smaller than the total mass of the mirror. For a plano-convex resonator the effective mass is related to the light spot size and becomes very small for small optical waists, thus enhancing the quantum effects of optomechanical coupling.

Quantum information processing using quantum dot spins and cavity-QED

Abstract: The electronic spin degrees of freedom in semiconductors typically have decoherence times that are several orders of magnitude longer than other relevant timescales. A solid-state quantum computer based on localized electron spins as qubits is therefore of potential interest. Here, a scheme that realizes controlled interactions between two distant quantum dot spins is proposed. The effective long-range interaction is mediated by the vacuum field of a high finesse microcavity. By using conduction-band-hole Raman transitions induced by classical laser fields and the cavity-mode, parallel controlled-not operations and arbitrary single qubit rotations can be realized. Optical techniques can also be used to measure the spin-state of each quantum dot.

Optimal lower bounds for quantum automata and random access codes

Abstract: Consider the finite regular language L_n = {w0 : w \in {0,1}^*, |w| \le n}. It was shown by Ambainis, Nayak, Ta-Shma and Vazirani that while this language is accepted by a deterministic finite automaton of size O(n), any one-way quantum finite automaton (QFA) for it has size 2^{Omega(n/log n)}. This was based on the fact that the evolution of a QFA is required to be reversible. When arbitrary intermediate measurements are allowed, this intuition breaks down. Nonetheless, we show a 2^{Omega(n)} lower bound for such QFA for L_n, thus also improving the previous bound. The improved bound is obtained by simple entropy arguments based on Holevo's theorem. This method also allows us to obtain an asymptotically optimal (1-H(p))n bound for the dense quantum codes (random access codes) introduced by Ambainis et al. We then turn to Holevo's theorem, and show that in typical situations, it may be replaced by a tighter and more transparent in-probability bound.

Quantum BCH Codes

Abstract: After a brief introduction to both quantum computation and quantum error correction, we show how to construct quantum error-correcting codes based on classical BCH codes. With these codes, decoding can exploit additional information about the position of errors. This error model - the quantum erasure channel - is discussed. Finally, parameters of quantum BCH codes are provided.

Optimal signal ensembles

Abstract: Classical messages can be sent via a noisy quantum channel in various ways, corresponding to various choices of signal states of the channel. Previous work by Holevo and by Schumacher and Westmoreland relates the capacity of the channel to the properties of the signal ensemble. Here we describe some properties characterizing the ensemble that maximizes the capacity, using the relative entropy "distance" between density operators to give the results a geometric flavor.

Fault-Tolerant Quantum Computation with Local Gates

Abstract: I discuss how to perform fault-tolerant quantum computation with concatenated codes using local gates in small numbers of dimensions. I show that a threshold result still exists in three, two, or one dimensions when next-to-nearest-neighbor gates are available, and present explicit constructions. In two or three dimensions, I also show how nearest-neighbor gates can give a threshold result. In all cases, I simply demonstrate that a threshold exists, and do not attempt to optimize the error correction circuit or determine the exact value of the threshold. The additional overhead due to the fault-tolerance in both space and time is polylogarithmic in the error rate per logical gate.

Exact solution for Morse oscillator in PT-symmetric quantum mechanics

Abstract: The recently proposed PT-symmetric quantum mechanics works with complex potentials which possess, roughly speaking, a symmetric real part and an anti-symmetric imaginary part. We propose and describe a new exactly solvable model of this type. It is defined as a specific analytic continuation of the shape-invariant potential of Morse. In contrast to the latter well-known example, all the new spectrum proves real, discrete and bounded below. All its three separate subsequences are quadratic in n.

Quantum Probability from Decision Theory

Abstract: In a recent paper (quant-ph/9906015), Deutsch claims to derive the "probabilistic predictions of quantum theory" from the "non-probabilistic axioms of quantum theory" and the "non-probabilistic part of classical decision theory." We show that his derivation fails because it includes hidden probabilistic assumptions.

An Introduction to Quantum Complexity Theory

Abstract: We give a basic overview of computational complexity, query complexity, and communication complexity, with quantum information incorporated into each of these scenarios. The aim is to provide simple but clear definitions, and to highlight the interplay between the three scenarios and currently-known quantum algorithms.

Holonomic Quantum Computation

Abstract: We show that the notion of generalized Berry phase i.e., non-abelian holonomy, can be used for enabling quantum computation. The computational space is realized by a $n$-fold degenerate eigenspace of a family of Hamiltonians parametrized by a manifold $\cal M$. The point of $\cal M$ represents classical configuration of control fields and, for multi-partite systems, couplings between subsystem. Adiabatic loops in the control $\cal M$ induce non trivial unitary transformations on the computational space. For a generic system it is shown that this mechanism allows for universal quantum computation by composing a generic pair of loops in $\cal M.$

On Universal and Fault-Tolerant Quantum Computing

Abstract: A novel universal and fault-tolerant basis (set of gates) for quantum computation is described. Such a set is necessary to perform quantum computation in a realistic noisy environment. The new basis consists of two single-qubit gates (Hadamard and ${\sigma_z}^{1/4}$), and one double-qubit gate (Controlled-NOT). Since the set consisting of Controlled-NOT and Hadamard gates is not universal, the new basis achieves universality by including only one additional elementary (in the sense that it does not include angles that are irrational multiples of $\pi$) single-qubit gate, and hence, is potentially the simplest universal basis that one can construct. We also provide an alternative proof of universality for the only other known class of universal and fault-tolerant basis proposed by Shor and by Kitaev.

Quantum computing with neutral atoms

Abstract: We develop a method to entangle neutral atoms using cold controlled collisions. We analyze this method in two particular set-ups: optical lattices and magnetic micro-traps. Both offer the possibility of performing certain multi-particle operations in parallel. Using this fact, we show how to implement efficient quantum error correction and schemes for fault-tolerant computing.

New solvable and quasi exactly solvable periodic potentials

Abstract: Using the formalism of supersymmetric quantum mechanics, we obtain a large number of new analytically solvable one-dimensional periodic potentials and study their properties. More specif- ically, the supersymmetric partners of the Lame potentials ma(a + 1) sn 2 (x,m) are computed for integer values a = 1,2,3,.... For all cases (except a = 1), we show that the partner potential is distinctly different from the original Lame potential, even though they both have the same energy band structure. We also derive and discuss the energy band edges of the associated Lame po- tentials pm sn 2 (x,m) +qm cn 2 (x,m)/dn 2 (x,m), which constitute a much richer class of periodic problems. Computation of their supersymmetric partners yields many additional new solvable and quasi exactly solvable periodic potentials.

Fast and User-friendly Quantum Key Distribution

Abstract: Some guidelines for the comparison of different quantum key distribution experiments are proposed. An improved 'plug & play' interferometric system allowing fast key exchange is then introduced. Self-alignment and compensation of birefringence remain. Original electronics implementing the BB84 protocol and allowing user-friendly operation is presented. Key creation with 0.1 photon per pulse at a rate of 486 Hz with a 5.4% QBER - corresponding to a net rate of 210Hz - over a 23 Km installed cable was performed.

Quantum teleportation of EPR pair by three-particle entanglement

Abstract: Teleportation of an EPR pair using triplet in state of the Horne-Greenberger-Zeilinger form to two receivers is considered. It needs a three-particle basis for joint measurement. By contrast the one qubit teleportation the required basis is not maximally entangled. It consists of the states corresponding to the maximally entanglement of two particles only. Using outcomes of measurement both receivers can recover an unknown EPR state however one of them can not do it separately. Teleportation of the N-particle entanglement is discussed.

Strong Converse and Stein's Lemma in the Quantum Hypothesis Testing

Abstract: The hypothesis testing problem of two quantum states is treated. We show a new inequality between the error of the first kind and the second kind, which complements the result of Hiai and Petz to establish the quantum version of Stein's lemma. The inequality is also used to show a bound on the first kind error when the power exponent for the second kind error exceeds the quantum relative entropy, and the bound yields the strong converse in the quantum hypothesis testing. Finally, we discuss the relation between the bound and the power exponent derived by Han and Kobayashi in the classical hypothesis testing.

Fast Quantum Algorithms for Numerical Integrals and Stochastic Processes

Abstract: We discuss quantum algorithms that calculate numerical integrals and descriptive statistics of stochastic processes With either of two distinct approaches, one obtains an exponential speed increase in comparison to the fastest known classical deterministic algotithms and a quadratic speed increase incomparison to classical Monte Carlo methods

Bell Inequalities and the Separability Criterion

Abstract: We analyze and compare the mathematical formulations of the criterion for separability for bipartite density matrices and the Bell inequalities. We show that a violation of a Bell inequality can formally be expressed as a witness for entanglement. We also show how the criterion for separability and a description of the state by a local hidden variable theory, become equivalent when we restrict the set of local hidden variable theories to the domain of quantum mechanics. This analysis sheds light on the essential difference between the two criteria and may help us in understanding whether there exist entangled states for which the statistics of the outcomes of all possible local measurements can be described by a local hidden variable theory.