Showing papers in "arXiv: Quantum Physics in 2001"
TL;DR: In this article, the authors describe a scheme that allows to implement robust quantum communication over long lossy channels, which involves laser manipulation of atomic ensembles, beam splitters and single-photon detectors with moderate efficiencies.
Abstract: Quantum communication holds a promise for absolutely secure transmission of secret messages and faithful transfer of unknown quantum states. Photonic channels appear to be very attractive for physical implementation of quantum communication. However, due to losses and decoherence in the channel, the communication fidelity decreases exponentially with the channel length. We describe a scheme that allows to implement robust quantum communication over long lossy channels. The scheme involves laser manipulation of atomic ensembles, beam splitters, and single-photon detectors with moderate efficiencies, and therefore well fits the status of the current experimental technology. We show that the communication efficiency scale polynomially with the channel length thereby facilitating scalability to very long distances.
2,147 citations
TL;DR: In this article, the orbital angular momentum of photons is exploited to achieve multi-dimensional entanglement in higher dimensions, i.e., the state of the electromagnetic field with phase singularities (doughnut modes).
Abstract: So far experimental confirmation of entanglement has been restricted to qubits, i.e. two-state quantum systems including recent realization of three- and four-qubit entanglements. Yet, an ever increasing body of theoretical work calls for entanglement in quantum system of higher dimensions. Here we report the first realization of multi-dimensional entanglement exploiting the orbital angular momentum of photons, which are states of the electromagnetic field with phase singularities (doughnut modes). The properties of such states could be of importance for the efforts in the field of quantum computation and quantum communication. For example, quantum cryptography with higher alphabets could enable one to increase the information flux through the communication channels.
2,021 citations
TL;DR: In this article, the authors studied the topological quantum error-correcting surface codes (surface codes) introduced by Kitaev, where qubits are arranged in a two-dimensional array on a surface of a nontrivial topology, and encoded quantum operations are associated with homology cycles of the surface.
Abstract: We analyze surface codes, the topological quantum error-correcting codes introduced by Kitaev. In these codes, qubits are arranged in a two-dimensional array on a surface of nontrivial topology, and encoded quantum operations are associated with nontrivial homology cycles of the surface. We formulate protocols for error recovery, and study the efficacy of these protocols. An order-disorder phase transition occurs in this system at a nonzero critical value of the error rate; if the error rate is below the critical value (the accuracy threshold), encoded information can be protected arbitrarily well in the limit of a large code block. This phase transition can be accurately modeled by a three-dimensional Z_2 lattice gauge theory with quenched disorder. We estimate the accuracy threshold, assuming that all quantum gates are local, that qubits can be measured rapidly, and that polynomial-size classical computations can be executed instantaneously. We also devise a robust recovery procedure that does not require measurement or fast classical processing; however for this procedure the quantum gates are local only if the qubits are arranged in four or more spatial dimensions. We discuss procedures for encoding, measurement, and performing fault-tolerant universal quantum computation with surface codes, and argue that these codes provide a promising framework for quantum computing architectures.
911 citations
Posted Content•
TL;DR: In this paper, it was shown that quantum theory can be derived from very reasonable axioms, such as complex Hilbert spaces, Hermitean operators, and trace formulas for calculating probabilities.
Abstract: The usual formulation of quantum theory is based on rather obscure axioms (employing complex Hilbert spaces, Hermitean operators, and the trace formula for calculating probabilities). In this paper it is shown that quantum theory can be derived from v e very reasonable axioms. The rst four of these axioms are obviously consistent with both quantum theory and classical probability theory. Axiom 5 (which requires that there exist continuous reversible transformations between pure states) rules out classical probability theory. If Axiom 5 (or even just the word \continuous" from Axiom 5) is dropped then we obtain classical probability theory instead. This work provides some insight into the reasons why quantum theory is the way it is. For example, it explains the need for complex numbers and where the trace formula comes from. We also gain insight into the relationship between quantum theory and classical probability theory.
669 citations
Posted Content•
TL;DR: The theory of quantum computation can be constructed from the abstract study of anyonic systems as discussed by the authors, and it can be seen as a quantum version of the Witten-Chern-Simons theory.
Abstract: The theory of quantum computation can be constructed from the abstract study of anyonic systems. In mathematical terms, these are unitary topological modular functors. They underlie the Jones polynomial and arise in Witten-Chern-Simons theory. The braiding and fusion of anyonic excitations in quantum Hall electron liquids and 2D-magnets are modeled by modular functors, opening a new possibility for the realization of quantum computers. The chief advantage of anyonic computation would be physical error correction: An error rate scaling like $e^{-\al}$, where $l$ is a length scale, and $\alpha$ is some positive constant. In contrast, the $\q$presumptive" qubit-model of quantum computation, which repairs errors combinatorically, requires a fantastically low initial error rate (about $10^{-4}$) before computation can be stabilized.
436 citations
Posted Content•
TL;DR: A constructive proof of the existence of mutually biased bases for dimensions that are powers of primes is presented and it is proved that in any dimension d the number of mutually unbiased bases is at most d+1.
Abstract: We develop a strong connection between maximally commuting bases of orthogonal unitary matrices and mutually unbiased bases. A necessary condition of the existence of mutually unbiased bases for any finite dimension is obtained. Then a constructive proof of the existence of mutually unbiased bases for dimensions which are power of a prime is presented. It is also proved that in any dimension d the number of mutually unbiased bases is at most d+1. An explicit representation of mutually unbiased observables in terms of Pauli matrices are provided for d=2^m.
389 citations
Posted Content•
TL;DR: Bohmian mechanics is a quantum theory with a clear ontology and the status and the role of of the quantum formalism is clarified.
Abstract: Bohmian mechanics is a quantum theory with a clear ontology. To make clear what we mean by this, we shall proceed by recalling first what are the problems of quantum mechanics. We shall then briefly sketch the basics of Bohmian mechanics and indicate how Bohmian mechanics solves these problems and clarifies the status and the role of of the quantum formalism.
302 citations
[...]
IBM1
TL;DR: In this paper, a quantum data hiding scheme that hides one bit between two parties using Bell states is presented, and upper and lower bounds on the secrecy of the hiding scheme are derived.
Abstract: We expand on our work on Quantum Data Hiding -- hiding classical data among parties who are restricted to performing only local quantum operations and classical communication (LOCC). We review our scheme that hides one bit between two parties using Bell states, and we derive upper and lower bounds on the secrecy of the hiding scheme. We provide an explicit bound showing that multiple bits can be hidden bitwise with our scheme. We give a preparation of the hiding states as an efficient quantum computation that uses at most one ebit of entanglement. A candidate data hiding scheme that does not use entanglement is presented. We show how our scheme for quantum data hiding can be used in a conditionally secure quantum bit commitment scheme.
281 citations
Posted Content•
TL;DR: The relation between Bell inequality violations and entanglement properties currently discussed in quantum information theory is discussed and maximal violations of Bell inequalities as well as states not violating (certain) Bell inequalities are investigated.
Abstract: We discuss general Bell inequalities for bipartite and multipartite systems, emphasizing the connection with convex geometry on the mathematical side, and the communication aspects on the physical side. Known results on families of generalized Bell inequalities are summarized. We investigate maximal violations of Bell inequalities as well as states not violating (certain) Bell inequalities. Finally, we discuss the relation between Bell inequality violations and entanglement properties currently discussed in quantum information theory.
202 citations
TL;DR: In this paper, it was shown that a very different model involving only projective measurements, quantum memory, and the ability to prepare the |0> state is also universal for quantum computation.
Abstract: What resources are universal for quantum computation? In the standard model, a quantum computer consists of a sequence of unitary gates acting coherently on the qubits making up the computer. This paper shows that a very different model involving only projective measurements, quantum memory, and the ability to prepare the |0> state is also universal for quantum computation. In particular, no coherent unitary dynamics are involved in the computation.
195 citations
TL;DR: In this paper, the universality of 2-qudit gates acting on qudits was studied, and it was shown that a primitive gate is primitive if it transforms any decomposable tensor into a decomposition of a tensor tensor.
Abstract: In this paper we study universality for quantum gates acting on qudits. Qudits are states in a Hilbert space of dimension d where
d can be any integer ≥ 2. We determine which 2-qudit gates V have the
properties: (i) the collection of all 1-qudit gates together with V produces all n-qudit gates up to arbitrary precision, or (ii) the collection
of all 1-qudit gates together with V produces all n-qudit gates exactly.
We show that (i) and (ii) are equivalent conditions on V , and they hold
if and only if V is not a primitive gate. Here we say V is primitive if
it transforms any decomposable tensor into a decomposable tensor. We
discuss some applications and also relations with work of other authors.
TL;DR: In this article, the Wannier-Stark problem was formulated for a crystal electron subject to a static electric field and it is nowadays known as the Wernier-stark problem.
Abstract: In this work, we discuss the resonance states of a quantum particle in a periodic potential plus a static force. Originally this problem was formulated for a crystal electron subject to a static electric field and it is nowadays known as the Wannier-Stark problem. We describe a novel approach to the Wannier-Stark problem developed in recent years. This approach allows to compute the complex energy spectrum of a Wannier-Stark system as the poles of a rigorously constructed scattering matrix and solves the Wannier-Stark problem without any approximation. The suggested method is very efficient from the numerical point of view and has proven to be a powerful analytic tool for Wannier-Stark resonances appearing in different physical systems such as optical lattices or semiconductor superlattices.
TL;DR: Additivity of the Holevo capacity is proved for product channels, under the condition that one of the channels is a unital qubit channel, with the other completely arbitrary, and provides an explicit formula for this classical capacity.
Abstract: Additivity of the Holevo capacity is proved for product channels, under the condition that one of the channels is in a certain class of unital qubit channels, with the other completely arbitrary. This qubit class includes the depolarizing channel. As a byproduct this proves that the Holevo bound is the ultimate information capacity of such qubit channels (assuming no prior entanglement between sender and receiver). Additivity of minimal entropy and multiplicativity of p-norms are also proved under the same assumptions.
TL;DR: In this article, a sharpened version of a uniqueness theorem was proved for an entanglement measure to coincide with the reduced von Neumann entropy on pure states, and several versions of a theorem on extreme entenglement measures in the case of mixed states.
Abstract: We explore and develop the mathematics of the theory of entanglement measures. After a careful review and analysis of definitions, of preliminary results, and of connections between conditions on entanglement measures, we prove a sharpened version of a uniqueness theorem which gives necessary and sufficient conditions for an entanglement measure to coincide with the reduced von Neumann entropy on pure states. We also prove several versions of a theorem on extreme entanglement measures in the case of mixed states. We analyse properties of the asymptotic regularization of entanglement measures proving, for example, convexity for the entanglement cost and for the regularized relative entropy of entanglement.
TL;DR: In this article, a complete derivation of the semiclassical limit of the coherent state propagator in one dimension, starting from path integrals in phase space, is presented.
Abstract: We present a complete derivation of the semiclassical limit of the coherent state propagator in one dimension, starting from path integrals in phase space. We show that the arbitrariness in the path integral representation, which follows from the overcompleteness of the coherent states, results in many different semiclassical limits. We explicitly derive two possible semiclassical formulae for the propagator, we suggest a third one, and we discuss their relationships. We also derive an initial value representation for the semiclassical propagator, based on an initial gaussian wavepacket. It turns out to be related to, but different from, Heller's thawed gaussian approximation. It is very different from the Herman--Kluk formula, which is not a correct semiclassical limit. We point out errors in two derivations of the latter. Finally we show how the semiclassical coherent state propagators lead to WKB-type quantization rules and to approximations for the Husimi distributions of stationary states.
TL;DR: A simple, efficient protocol is described by which Bob can help Alice perform the computation, but there is no way for him to learn anything about it.
Abstract: Suppose Alice wants to perform some computation that could be done quickly on a quantum computer, but she cannot do universal quantum computation. Bob can do universal quantum computation and claims he is willing to help, but Alice wants to be sure that Bob cannot learn her input, the result of her calculation, or perhaps even the function she is trying to compute. We describe a simple, efficient protocol by which Bob can help Alice perform the computation, but there is no way for him to learn anything about it. We also discuss techniques for Alice to detect whether Bob is honestly helping her or if he is introducing errors.
Posted Content•
TL;DR: In this paper, a detailed discussion and a precise formal analysis of the case of distinguishable particles, the problems of entanglement and the one of the properties of subsystems of systems of identical particles are discussed.
Abstract: Various topics concerning the entanglement of composite quantum systems are considered with particular emphasis concerning the strict relations of such a problem with the one of attributing objective properties to the constituents. Most of the paper deals with composite systems in pure states. After a detailed discussion and a precise formal analysis of the case of systems of distinguishable particles, the problems of entanglement and the one of the properties of subsystems of systems of identical particles are thourougly discussed. This part is the most interesting and new and it focuses various subtle questions which have never been adequately discussed in the literature. Some inappropriate assertions which appeared in recent papers are analyzed. The relations of the main subject of the paper with the nonlocal aspects of quantum mechanics, as well as with the possibility of deriving Bell's inequality are also considered.
TL;DR: In this article, a unified approach to the time analysis of tunnelling of nonrelativistic particles is presented, in which Time is regarded as a quantum-mechanical observable, canonically conjugated to Energy.
Abstract: A unified approach to the time analysis of tunnelling of nonrelativistic particles is presented, in which Time is regarded as a quantum-mechanical observable, canonically conjugated to Energy. The validity of the Hartman effect (independence of the Tunnelling Time of the opaque barrier width, with Superluminal group velocities as a consequence) is verified for ALL the known expressions of the mean tunnelling time. Moreover, the analogy between particle and photon tunnelling is suitably exploited. On the basis of such an analogy, an explanation of some recent microwave and optics experimental results on tunnelling times is proposed. Attention is devoted to some aspects of the causality problem for particle and photon tunnelling.
TL;DR: In this paper, the problem of separating consistently the total correlations in a bipartite quantum state into a quantum and a purely classical part is discussed, and a measure of classical correlations is proposed and its properties are explored.
Abstract: We discuss the problem of separating consistently the total correlations in a bipartite quantum state into a quantum and a purely classical part. A measure of classical correlations is proposed and its properties are explored.
Posted Content•
TL;DR: In this paper, the authors show that the family of normalized tight frames for the space in which a quantum mechanical system lies is precisely a family of rank-one generalized quantum measurements (POVMs) on that space.
Abstract: Tight frames and rank-one quantum measurements are shown to be intimately related. In fact, the family of normalized tight frames for the space in which a quantum mechanical system lies is precisely the family of rank-one generalized quantum measurements (POVMs) on that space. Using this relationship, frame-theoretical analogues of various quantum-mechanical concepts and results are developed.
The analogue of a least-squares quantum measurement is a tight frame that is closest in a least-squares sense to a given set of vectors. The least-squares tight frame is found for both the case in which the scaling of the frame is specified (constrained least-squares frame (CLSF)) and the case in which the scaling is free (unconstrained least-squares frame (ULSF)). The well-known canonical frame is shown to be proportional to the ULSF and to coincide with the CLSF with a certain scaling.
Finally, the canonical frame vectors corresponding to a geometrically uniform vector set are shown to be geometrically uniform and to have the same symmetries as the original vector set.
Posted Content•
TL;DR: In this paper, a generalized concept of qubit entanglement and a review of the state of the art of photonic experiments are presented. But the state-of-the-art in photonic quantum experiments is limited.
Abstract: Entanglement is at the heart of fundamental tests of quantum mechanics like tests of Bell-inequalities and, as discovered lately, of quantum computation and communication. Their technological advance made entangled photons play an outstanding role in entanglement physics. We give a generalized concept of qubit entanglement and review the state of the art of photonic experiments.
TL;DR: In this paper, the authors give conditions under which general bipartite entangled nonorthogonal states become maximally entangled states and show that the amount of entanglement in this class of states is independent on the parameters involved in the states.
Abstract: We give conditions under which general bipartite entangled nonorthogonal states become maximally entangled states. By the conditions we construct a large class of entangled nonorthogonal states with exact one ebit of entanglement in both bipartite and multipartite systems. One remarkable property is that the amount of entanglement in this class of states is independent on the parameters involved in the states. Finally we discuss how to generate the bipartite maximally entangled nonorthogonal states.
Posted Content•
TL;DR: It is shown that the set of states achievable with fermionic linear optics and particle measurements is the closure of a low dimensional Lie group, which contrasts with the strength of bosonic linear optics with particle measurements.
Abstract: Fermionic linear optics is efficiently classically simulatable. Here it is shown that the set of states achievable with fermionic linear optics and particle measurements is the closure of a low dimensional Lie group. The weakness of fermionic linear optics and measurements can therefore be explained and contrasted with the strength of bosonic linear optics with particle measurements. An analysis of fermionic linear optics is used to show that the two-qubit matchgates and the simulatable matchcircuits introduced by Valiant generate a monoid of extended fermionic linear optics operators. A useful interpretation of efficient classical simulations such as this one is as a simulation of a model of non-deterministic quantum computation. Problem areas for future investigations are suggested.
TL;DR: In this article, the authors investigated two different entanglement measures in the case of mixed states of two qubits and showed that the negativity of a state can never exceed its concurrence and is always larger then the concurrence.
Abstract: In this paper we investigate two different entanglement measures in the case of mixed states of two qubits. We prove that the negativity of a state can never exceed its concurrence and is always larger then $\sqrt{(1-C)^2+C^2}-(1-C)$ where $C$ is the concurrence of the state. Furthermore we derive an explicit expression for the states for which the upper or lower bound is satisfied. Finally we show that similar results hold if the relative entropy of entanglement and the entanglement of formation are compared.
Posted Content•
TL;DR: In this paper, the authors present a Gleason-like derivation of the quantum probability law, but based on the positive operator-valued measures as the basic notion of measurement (see also Busch, quant-ph/9909073).
Abstract: This paper reports three almost trivial theorems that nevertheless appear to have significant import for quantum foundations studies. 1) A Gleason-like derivation of the quantum probability law, but based on the positive operator-valued measures as the basic notion of measurement (see also Busch, quant-ph/9909073). Of note, this theorem also works for 2-dimensional vector spaces and for vector spaces over the rational numbers, where the standard Gleason theorem fails. 2) A way of rewriting the quantum collapse rule so that it looks almost precisely identical to Bayes rule for updating probabilities in classical probability theory. And 3) a derivation of the tensor-product rule for combining quantum systems (and with it the very notion of quantum entanglement) from Gleason-like considerations for local measurements on bipartite systems along with classical communication.
TL;DR: In this article, the authors examined the space of states of PT symmetrical quantum mechanics and proposed a self consistent expression for the probability amplitude and average value of operator in PT symmetric quantum mechanics.
Abstract: Space of states of PT symmetrical quantum mechanics is examined. Requirement that eigenstates with different eigenvalues must be orthogonal leads to the conclusion that eigenfunctions belong to the space with an indefinite metric. The self consistent expressions for the probability amplitude and average value of operator are suggested. Further specification of space of state vectors yield the superselection rule, redefining notion of the superposition principle. The expression for the probability current density, satisfying equation of continuity and vanishing for the bound state, is proposed.
Posted Content•
TL;DR: A possible solution to the problem of the description of subentities within the standard quantum mechanical procedure using the tensor product of theHilbert spaces, by introducing a new completed quantummechanics in Hilbert space, were new ‘pure’states are introduced, not represented by rays of the Hilbert space.
Abstract: We present a general formalism with the aim of describing the situation of an entity, how it is, how it reacts to experiments, how we can make statistics with it, and how it changes under the influence of the rest of the universe. Therefore we base our formalism on the following basic notions: (1) the states of the entity; they describe the modes of being of the entity, (2) the experiments that can be performed on the entity; they describe how we act upon and collect knowledge about the entity, (3) the probabilities; they describe our repeated experiments and the statistics of these repeated experiments, (4) the symmetries; they describe the interactions of the entity with the external world without being experimented upon. Starting from these basic notions we formulate the necessary derived notions: mixed states, mixed experiments and events, an eigen closure structure describing the properties of the entity, an ortho closure structure introducing an orthocomplementation, outcome determination, experiment determination, state determination and atomicity giving rise to some of the topological separation axioms for the closures. We define the notion of sub entity in a general way and identify the morphisms of our structure. We study specific examples in detail in the light of this formalism: a classical deterministic entity and a quantum entity described by the standard quantum mechanical formalism. We present a possible solution to the problem of the description of sub entities within the standard quantum mechanical procedure using the tensor product of the Hilbert spaces, by introducing a new completed quantum mechanics in Hilbert space, were new 'pure' states are introduced, not represented by rays of the Hilbert space.
TL;DR: In this article, a unified description of optimal decompositions of quantum states and the optimization of witness operators that detect whether a given state belongs to a given convex set is presented.
Abstract: We present an abstract formulation of the so-called Innsbruck-Hannover programme that investigates quantum correlations and entanglement in terms of convex sets. We present a unified description of optimal decompositions of quantum states and the optimization of witness operators that detect whether a given state belongs to a given convex set. We illustrate the abstract formulation with several examples, and discuss relations between optimal entanglement witnesses and n-copy non-distillable states with non-positive partial transpose.
Posted Content•
TL;DR: In this paper, it is suggested that a quantum neural network (QNN), a type of artificial neural network, can be built using the principles of quantum information processing, and the input and output qubits in the QNN can be implemented by optical modes with different polarization.
Abstract: It is suggested that a quantum neural network (QNN), a type of artificial neural network, can be built using the principles of quantum information processing. The input and output qubits in the QNN can be implemented by optical modes with different polarization, the weights of the QNN can be implemented by optical beam splitters and phase shifters
Posted Content•
TL;DR: In this paper, a geometric intepretation of probability is proposed, modelled on the treatment of tense in 4-dimensional spacetime, applied to Everett's approach to quantum mechanics, as formulated in terms of consistent histories.
Abstract: A "geometric" intepretation of probability is proposed, modelled on the treatment of tense in 4-dimensional spacetime. It is applied to Everett's approach to quantum mechanics, as formulated in terms of consistent histories. Standard objections to Everett's approach, based on the difficulties of interpreting probability in its terms, are considered in detail, but found to be wanting.