Hierarchy of Quantum Operations in Manipulating Coherence and Entanglement

Total Page:16

File Type:pdf, Size:1020Kb

Hierarchy of Quantum Operations in Manipulating Coherence and Entanglement Hierarchy of quantum operations in manipulating coherence and entanglement Hayata Yamasaki1,2,3, Madhav Krishnan Vijayan4, and Min-Hsiu Hsieh4,5 1Photon Science Center, Graduate School of Engineering, The University of Tokyo, 7–3–1 Hongo, Bunkyo-ku, Tokyo 113–8656, Japan 2Institute for Quantum Optics and Quantum Information (IQOQI), Austrian Academy of Sciences, Boltzmanngasse 3, 1090 Vienna, Austria 3Atominstitut, Technische Universit¨at Wien, Stadionallee 2, 1020 Vienna, Austria 4Centre for Quantum Software & Information (UTS:QSI), University of Technology Sydney, Sydney NSW, Australia 5Hon Hai Quantum Computing Research Center, Taipei City, Taiwan Quantum resource theory under differ- whether in computation [28, 64], communication [66], ent classes of quantum operations advances or cryptography [45], arise from various inherent prop- multiperspective understandings of inherent erties of quantum mechanics, such as quantum co- quantum-mechanical properties, such as quan- herence and quantum entanglement. Quantum re- tum coherence and quantum entanglement. source theories [14, 34, 35] have grown to be an im- We establish hierarchies of different opera- portant theoretical framework for quantitative anal- tions for manipulating coherence and entan- yses of such properties from operational perspectives glement in distributed settings, where at least using information processing tasks. A resource the- one of the two spatially separated parties are ory is conventionally defined by specifying a class of restricted from generating coherence. In these allowed operations as free operations. One way to settings, we introduce new classes of opera- choose free operations may be to use practical or ex- tions and also characterize those maximal, i.e., perimental restrictions. For example, the resource the resource-non-generating operations, pro- theory of entanglement can be defined by consider- gressing beyond existing studies on incoherent ing a distributed setting for multiple parties with ac- versions of local operations and classical com- cess only to local operations on each party's quantum munication and those of separable operations. system [25, 32, 46]; then, local operations and clas- The maximal operations admit a semidefinite- sical communication (LOCC) [19, 23, 73] may arise programming formulation useful for numeri- as a natural candidate for free operations. Entan- cal algorithms, whereas the existing operations glement serves as a resource for distributed quan- not. To establish the hierarchies, we prove a tum information processing where spatially separated sequence of inclusion relations among the op- parties are restricted to LOCC, by enabling quan- erations by clarifying tasks where separation tum teleportation [5] and allowing for the imple- of the operations appears. We also demon- mentation of nonlocal operations to the shared sys- strate an asymptotically non-surviving sepa- tem [73, 75, 76]. Yet importantly, to deepen our ration of the operations in the hierarchy in understandings of entanglement, it is also crucial to terms of performance of the task of assisted introduce and exploit larger classes of free opera- coherence distillation, where a separation in a tions than LOCC, such as separable (SEP) opera- one-shot scenario vanishes in the asymptotic tions [49, 58] and positive-partial-transpose (PPT) limit. Our results serve as fundamental ana- operations [50], in analytical and numerical studies lytical and numerical tools to investigate in- of entanglement [25, 32, 46]. Along with the studies terplay between coherence and entanglement of entanglement, distributed settings also commonly arXiv:1912.11049v3 [quant-ph] 22 Jun 2021 under different operations in the resource the- arise in other resource theories, where each party has ory. a restricted power of manipulating given quantum re- sources rather than performing arbitrary local opera- tions, and needs assistance of another party in using 1 Introduction the given resources [10, 37, 43, 52, 59]. Advantages of quantum information processing In this paper, we investigate the distributed set- over conventional classical information processing, tings that involve two prominent resource theories, entanglement and coherence [16, 24, 41, 57, 71]. In Hayata Yamasaki: [email protected] particular, in the spirit of studying LOCC, SEP, and Madhav Krishnan Vijayan: [email protected] PPT operations in entanglement theory, we intro- Min-Hsiu Hsieh: [email protected] duce and study different natural classes of operations Accepted in Quantum 2021-06-15, click title to verify. Published under CC-BY 4.0. 1 in the distributed settings of manipulating coherence A B and entanglement, and compare their relative power in performing information theoretic tasks. Coher- CC ence, i.e., superposition of a certain set of quantum states, has been shown to play important roles in quantum biology [33], quantum thermodynamics [27] AB and photonic experiments [7], where certain states are <latexit sha1_base64="c5sCUn7HqKKbgcan9K1YemZl/z0=">AAACLHicbVDLSgNBEJyNrxiNSfToZTGInsKuig/wEPXiSSKYhyQxzE4myZCZnWWmVwhLvsKr/oIXf8WLiEc95hvczQYxxoKGoqqb6m7H40yDZb0Zibn5hcWl5HJqZTW9lsnm1ita+orQMpFcqpqDNeXMpWVgwGnNUxQLh9Oq07+I/Oo9VZpJ9wYGHm0K3HVZhxEMoXTb8DS7C87Oh61s3ipYY5izxJ6QfHFnNMqcvnyWWjkj3WhL4gvqAuFY67ptedAMsAJGOB2mGr6mHiZ93KX1kLpYUN0MxhsPze1QaZsdqcJywRyrvycCLLQeCCfsFBh6+q8Xif95dR86x82AuZ4P1CVxUMfnJkgzOt9sM0UJ8EFIMFEs3NUkPawwgfBJUymOwn0KU3cEUR5IyfW07DgifuBJhMOfd82Syl7B3i8cXNv54hWKkUSbaAvtIhsdoSK6RCVURgQJ9IAe0ZPxbLwa78ZH3JowJjMbaArG1zdX8K0F</latexit> easier to create than their superposition. The re- Quantum source theory of coherence [56] is a well-established or Incoherent resource theory that is useful for introducing classi- Incoherent fications, partial orders, and quantifications of quan- tum coherence. The resource theory of coherence con- Figure 1: Distributed manipulation of coherence and entan- glement of a quantum state ψAB shared between two spe- siders situations where coherence cannot be created cially separated parties A and B. The parties manipulate on a quantum system due to a restriction of opera- their local quantum systems, while they can use classical tions for manipulating the system. The free states communication (CC). Local operations and classical commu- in the resource theory of coherence are states rep- nication with one party B restricted to incoherent operations resented as diagonal density operators in some fixed are called LQICC, which can be regarded as a client-server basis. As is the case of entanglement, several different setting where the ability of the client B to generate coher- free operations that preserve diagonal density opera- ence is restricted while the server A can perform any local tors have been well investigated, such as incoherent quantum operation to assist B. Local operations and classi- operations (IO) [4, 67], maximally incoherent oper- cal communication with both parties A and B restricted to ations (MIO) [47, 48], strictly incoherent operations incoherent operations are called LICC, where the abilities of (SIO) [67, 71], and physically incoherent operations A and B are the same. (PIO) [12, 13], to name a few. The resource theory of coherence in the distributed settings has also attracted attentions of broad interests [16, 24, 41, 57, 71], as lem, more general classes of operations than LOCC, with the distributed settings in other resource theo- such as separable operations and PPT operations, ries. These resource theories for the distributed ma- are vital to investigating performances of information nipulation of coherence provide a framework for inves- processing tasks, which also yields bounds of the per- tigating an interplay between coherence and entangle- formance under LOCC. Especially, PPT operations ment in various information processing tasks such as provide numerical algorithms for calculating perfor- distillation and dilution of these resources [16], as- mance of the entanglement-assisted tasks by means sisted distillation of coherence [10, 52, 59], quantum of semidefinite programming (SDP) [65], even if the state merging [55], quantum state redistribution [2], corresponding tasks under LOCC are hard to analyze and multipartite state transformation [9, 39]. From due to its mathematical structure [26, 50, 53, 60{63]. a practical perspective, the distributed manipulation Similarly, in the resource theory of coherence, MIO of coherence naturally arises in photonic systems as serves as a class of operations beyond IO, and MIO demonstrated in recent experiments [68{70]. provides numerical algorithms based on SDP simi- larly to PPT operations [51]. Importantly, even if the In the distributed settings of manipulating coher- operations such as SEP, PPT, and MIO are defined ence, especially for two parties A and B, LOCC with mathematically, these different classes of operations one party restricted to IO are called LQICC, and provide efficiently calculable bounds in analyzing the those with both parties restricted to IO are LICC [57], information processing tasks and crucially help us to as depicted in Fig.1. LQICC can be regarded as a understand the properties of resources in the study client-server setting where the client's ability to gen- of the resource theories. In the same way, in our dis- erate coherence is restricted, while the abilities of two tributed settings of manipulating coherence and en- parties in LICC are the same. The set of free states tanglement, we may suffer from the difficulty if the for LQICC, that is,
Recommended publications
  • 1 Postulate (QM4): Quantum Measurements
    Part IIC Lent term 2019-2020 QUANTUM INFORMATION & COMPUTATION Nilanjana Datta, DAMTP Cambridge 1 Postulate (QM4): Quantum measurements An isolated (closed) quantum system has a unitary evolution. However, when an exper- iment is done to find out the properties of the system, there is an interaction between the system and the experimentalists and their equipment (i.e., the external physical world). So the system is no longer closed and its evolution is not necessarily unitary. The following postulate provides a means of describing the effects of a measurement on a quantum-mechanical system. In classical physics the state of any given physical system can always in principle be fully determined by suitable measurements on a single copy of the system, while leaving the original state intact. In quantum theory the corresponding situation is bizarrely different { quantum measurements generally have only probabilistic outcomes, they are \invasive", generally unavoidably corrupting the input state, and they reveal only a rather small amount of information about the (now irrevocably corrupted) input state identity. Furthermore the (probabilistic) change of state in a quantum measurement is (unlike normal time evolution) not a unitary process. Here we outline the associated mathematical formalism, which is at least, easy to apply. (QM4) Quantum measurements and the Born rule In Quantum Me- chanics one measures an observable, i.e. a self-adjoint operator. Let A be an observable acting on the state space V of a quantum system Since A is self-adjoint, its eigenvalues P are real. Let its spectral projection be given by A = n anPn, where fang denote the set of eigenvalues of A and Pn denotes the orthogonal projection onto the subspace of V spanned by eigenvectors of A corresponding to the eigenvalue Pn.
    [Show full text]
  • Quantum Circuits with Mixed States Is Polynomially Equivalent in Computational Power to the Standard Unitary Model
    Quantum Circuits with Mixed States Dorit Aharonov∗ Alexei Kitaev† Noam Nisan‡ February 1, 2008 Abstract Current formal models for quantum computation deal only with unitary gates operating on “pure quantum states”. In these models it is difficult or impossible to deal formally with several central issues: measurements in the middle of the computation; decoherence and noise, using probabilistic subroutines, and more. It turns out, that the restriction to unitary gates and pure states is unnecessary. In this paper we generalize the formal model of quantum circuits to a model in which the state can be a general quantum state, namely a mixed state, or a “density matrix”, and the gates can be general quantum operations, not necessarily unitary. The new model is shown to be equivalent in computational power to the standard one, and the problems mentioned above essentially disappear. The main result in this paper is a solution for the subroutine problem. The general function that a quantum circuit outputs is a probabilistic function. However, the question of using probabilistic functions as subroutines was not previously dealt with, the reason being that in the language of pure states, this simply can not be done. We define a natural notion of using general subroutines, and show that using general subroutines does not strengthen the model. As an example of the advantages of analyzing quantum complexity using density ma- trices, we prove a simple lower bound on depth of circuits that compute probabilistic func- arXiv:quant-ph/9806029v1 8 Jun 1998 tions. Finally, we deal with the question of inaccurate quantum computation with mixed states.
    [Show full text]
  • Quantum Computing a New Paradigm in Science and Technology
    Quantum computing a new paradigm in science and technology Part Ib: Quantum computing. General documentary. A stroll in an incompletely explored and known world.1 Dumitru Dragoş Cioclov 3. Quantum Computer and its Architecture It is fair to assert that the exact mechanism of quantum entanglement is, nowadays explained on the base of elusive A quantum computer is a machine conceived to use quantum conjectures, already evoked in the previous sections, but mechanics effects to perform computation and simulation this state-of- art it has not impeded to illuminate ideas and of behavior of matter, in the context of natural or man-made imaginative experiments in quantum information theory. On this interactions. The drive of the quantum computers are the line, is worth to mention the teleportation concept/effect, deeply implemented quantum algorithms. Although large scale general- purpose quantum computers do not exist in a sense of classical involved in modern cryptography, prone to transmit quantum digital electronic computers, the theory of quantum computers information, accurately, in principle, over very large distances. and associated algorithms has been studied intensely in the last Summarizing, quantum effects, like interference and three decades. entanglement, obviously involve three states, assessable by The basic logic unit in contemporary computers is a bit. It is zero, one and both indices, similarly like a numerical base the fundamental unit of information, quantified, digitally, by the two (see, e.g. West Jacob (2003). These features, at quantum, numbers 0 or 1. In this format bits are implemented in computers level prompted the basic idea underlying the hole quantum (hardware), by a physic effect generated by a macroscopic computation paradigm.
    [Show full text]
  • Quantum Zeno Dynamics from General Quantum Operations
    Quantum Zeno Dynamics from General Quantum Operations Daniel Burgarth1, Paolo Facchi2,3, Hiromichi Nakazato4, Saverio Pascazio2,3, and Kazuya Yuasa4 1Center for Engineered Quantum Systems, Dept. of Physics & Astronomy, Macquarie University, 2109 NSW, Australia 2Dipartimento di Fisica and MECENAS, Università di Bari, I-70126 Bari, Italy 3INFN, Sezione di Bari, I-70126 Bari, Italy 4Department of Physics, Waseda University, Tokyo 169-8555, Japan June 30, 2020 We consider the evolution of an arbitrary quantum dynamical semigroup of a finite-dimensional quantum system under frequent kicks, where each kick is a generic quantum operation. We develop a generalization of the Baker- Campbell-Hausdorff formula allowing to reformulate such pulsed dynamics as a continuous one. This reveals an adiabatic evolution. We obtain a general type of quantum Zeno dynamics, which unifies all known manifestations in the literature as well as describing new types. 1 Introduction Physics is a science that is often based on approximations. From high-energy physics to the quantum world, from relativity to thermodynamics, approximations not only help us to solve equations of motion, but also to reduce the model complexity and focus on im- portant effects. Among the largest success stories of such approximations are the effective generators of dynamics (Hamiltonians, Lindbladians), which can be derived in quantum mechanics and condensed-matter physics. The key element in the techniques employed for their derivation is the separation of different time scales or energy scales. Recently, in quantum technology, a more active approach to condensed-matter physics and quantum mechanics has been taken. Generators of dynamics are reversely engineered by tuning system parameters and device design.
    [Show full text]
  • Singles out a Specific Basis
    Quantum Information and Quantum Noise Gabriel T. Landi University of Sao˜ Paulo July 3, 2018 Contents 1 Review of quantum mechanics1 1.1 Hilbert spaces and states........................2 1.2 Qubits and Bloch’s sphere.......................3 1.3 Outer product and completeness....................5 1.4 Operators................................7 1.5 Eigenvalues and eigenvectors......................8 1.6 Unitary matrices.............................9 1.7 Projective measurements and expectation values............ 10 1.8 Pauli matrices.............................. 11 1.9 General two-level systems....................... 13 1.10 Functions of operators......................... 14 1.11 The Trace................................ 17 1.12 Schrodinger’s¨ equation......................... 18 1.13 The Schrodinger¨ Lagrangian...................... 20 2 Density matrices and composite systems 24 2.1 The density matrix........................... 24 2.2 Bloch’s sphere and coherence...................... 29 2.3 Composite systems and the almighty kron............... 32 2.4 Entanglement.............................. 35 2.5 Mixed states and entanglement..................... 37 2.6 The partial trace............................. 39 2.7 Reduced density matrices........................ 42 2.8 Singular value and Schmidt decompositions.............. 44 2.9 Entropy and mutual information.................... 50 2.10 Generalized measurements and POVMs................ 62 3 Continuous variables 68 3.1 Creation and annihilation operators................... 68 3.2 Some important
    [Show full text]
  • Classical, Quantum and Total Correlations
    Classical, quantum and total correlations L. Henderson∗ and V. Vedral∗∗ ∗Department of Mathematics, University of Bristol, University Walk, Bristol BS8 1TW ∗∗Optics Section, Blackett Laboratory, Imperial College, Prince Consort Road, London SW7 2BZ 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. In quantum information theory it is common to distinguish between purely classical information, measured in bits, and quantum informa- tion, which is measured in qubits. These differ in the channel resources required to communicate them. Qubits may not be sent by a classical channel alone, but must be sent either via a quantum channel which preserves coherence or by teleportation through an entangled channel with two classical bits of communication [?]. In this context, one qubit is equivalent to one unit of shared entanglement, or `e-bit', together with two classical bits. Any bipartite quantum state may be used as a com- munication channel with some degree of success, and so it is of interest to determine how to separate the correlations it contains into a classi- cal and an entangled part. A number of measures of entanglement and of total correlations have been proposed in recent years [?, ?, ?, ?, ?]. However, it is still not clear how to quantify the purely classical part of the total bipartite correlations. In this paper we propose a possible measure of classical correlations and investigate its properties. We first review the existing measures of entangled and total corre- lations.
    [Show full text]
  • Choi's Proof and Quantum Process Tomography 1 Introduction
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE Choi's Proof and Quantum Process Tomography provided by CERN Document Server Debbie W. Leung IBM T.J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, USA January 28, 2002 Quantum process tomography is a procedure by which an unknown quantum operation can be fully experimentally characterized. We reinterpret Choi's proof of the fact that any completely positive linear map has a Kraus representation [Lin. Alg. and App., 10, 1975] as a method for quantum process tomography. Furthermore, the analysis for obtaining the Kraus operators are particularly simple in this method. 1 Introduction The formalism of quantum operation can be used to describe a very large class of dynamical evolution of quantum systems, including quantum algorithms, quantum channels, noise processes, and measurements. The task to fully characterize an unknown quantum operation by applying it to carefully chosen input E state(s) and analyzing the output is called quantum process tomography. The parameters characterizing the quantum operation are contained in the density matrices of the output states, which can be measured using quantum state tomography [1]. Recipes for quantum process tomography have been proposed [12, 4, 5, 6, 8]. In earlier methods [12, 4, 5], is applied to different input states each of exactly the input dimension of . E E In [6, 8], is applied to part of a fixed bipartite entangled state. In other words, the input to is entangled E E with a reference system, and the joint output state is analyzed.
    [Show full text]
  • On the Hardness of the Quantum Separability Problem and the Global Power of Locally Invariant Unitary Operations
    On the Hardness of the Quantum Separability Problem and the Global Power of Locally Invariant Unitary Operations by Sevag Gharibian A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 2008 c Sevag Gharibian 2008 I hereby declare that I am the sole author of this thesis. This is a true copy of the thesis, including any required final revisions, as accepted by my examiners. I understand that my thesis may be made electronically available to the public. ii Abstract Given a bipartite density matrix ρ of a quantum state, the Quantum Separability problem (QUSEP) asks — is ρ entangled, or separable? In this thesis, we first strengthen Gurvits’ 2003 NP-hardness result for QUSEP by showing that the Weak Membership problem over the set of separable bipartite quantum states is strongly NP-hard, meaning it is NP-hard even when the error margin is as large as inverse polynomial in the dimension, i.e. is “moderately large”. Previously, this NP- hardness was known only to hold in the case of inverse exponential error. We observe the immediate implication of NP-hardness of the Weak Membership problem over the set of entanglement-breaking maps, as well as lower bounds on the maximum (Euclidean) distance possible between a bound entangled state and the separable set of quantum states (assuming P 6= NP ). We next investigate the entanglement-detecting capabilities of locally invariant unitary operations, as proposed by Fu in 2006. Denoting the subsystems of ρ as B A and B, such that ρB = TrA(ρ), a locally invariant unitary operation U is one B B† with the property U ρBU = ρB.
    [Show full text]
  • The Minimal Modal Interpretation of Quantum Theory
    The Minimal Modal Interpretation of Quantum Theory Jacob A. Barandes1, ∗ and David Kagan2, y 1Jefferson Physical Laboratory, Harvard University, Cambridge, MA 02138 2Department of Physics, University of Massachusetts Dartmouth, North Dartmouth, MA 02747 (Dated: May 5, 2017) We introduce a realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes but leaves the theory's basic dynamical content essentially intact. Much as classical systems have specific states that evolve along definite trajectories through configuration spaces, the traditional formulation of quantum theory permits assuming that closed quantum systems have specific states that evolve unitarily along definite trajectories through Hilbert spaces, and our interpretation extends this intuitive picture of states and Hilbert-space trajectories to the more realistic case of open quantum systems despite the generic development of entanglement. We provide independent justification for the partial-trace operation for density matrices, reformulate wave-function collapse in terms of an underlying interpolating dynamics, derive the Born rule from deeper principles, resolve several open questions regarding ontological stability and dynamics, address a number of familiar no-go theorems, and argue that our interpretation is ultimately compatible with Lorentz invariance. Along the way, we also investigate a number of unexplored features of quantum theory, including an interesting geometrical structure|which we call subsystem space|that we believe merits further study. We conclude with a summary, a list of criteria for future work on quantum foundations, and further research directions. We include an appendix that briefly reviews the traditional Copenhagen interpretation and the measurement problem of quantum theory, as well as the instrumentalist approach and a collection of foundational theorems not otherwise discussed in the main text.
    [Show full text]
  • Measurements of Entropic Uncertainty Relations in Neutron Optics
    applied sciences Review Measurements of Entropic Uncertainty Relations in Neutron Optics Bülent Demirel 1,† , Stephan Sponar 2,*,† and Yuji Hasegawa 2,3 1 Institute for Functional Matter and Quantum Technologies, University of Stuttgart, 70569 Stuttgart, Germany; [email protected] 2 Atominstitut, Vienna University of Technology, A-1020 Vienna, Austria; [email protected] or [email protected] 3 Division of Applied Physics, Hokkaido University Kita-ku, Sapporo 060-8628, Japan * Correspondence: [email protected] † These authors contributed equally to this work. Received: 30 December 2019; Accepted: 4 February 2020; Published: 6 February 2020 Abstract: The emergence of the uncertainty principle has celebrated its 90th anniversary recently. For this occasion, the latest experimental results of uncertainty relations quantified in terms of Shannon entropies are presented, concentrating only on outcomes in neutron optics. The focus is on the type of measurement uncertainties that describe the inability to obtain the respective individual results from joint measurement statistics. For this purpose, the neutron spin of two non-commuting directions is analyzed. Two sub-categories of measurement uncertainty relations are considered: noise–noise and noise–disturbance uncertainty relations. In the first case, it will be shown that the lowest boundary can be obtained and the uncertainty relations be saturated by implementing a simple positive operator-valued measure (POVM). For the second category, an analysis for projective measurements is made and error correction procedures are presented. Keywords: uncertainty relation; joint measurability; quantum information theory; Shannon entropy; noise and disturbance; foundations of quantum measurement; neutron optics 1. Introduction According to quantum mechanics, any single observable or a set of compatible observables can be measured with arbitrary accuracy.
    [Show full text]
  • Detection of Quantum Entanglement in Physical Systems
    Detection of quantum entanglement in physical systems Carolina Moura Alves Merton College University of Oxford A thesis submitted for the degree of Doctor of Philosophy Trinity 2005 Abstract Quantum entanglement is a fundamental concept both in quantum mechanics and in quantum information science. It encapsulates the shift in paradigm, for the descrip- tion of the physical reality, brought by quantum physics. It has therefore been a key element in the debates surrounding the foundations of quantum theory. Entangle- ment is also a physical resource of great practical importance, instrumental in the computational advantages o®ered by quantum information processors. However, the properties of entanglement are still to be completely understood. In particular, the development of methods to e±ciently identify entangled states, both theoretically and experimentally, has proved to be very challenging. This dissertation addresses this topic by investigating the detection of entanglement in physical systems. Multipartite interferometry is used as a tool to directly estimate nonlinear properties of quantum states. A quantum network where a qubit undergoes single-particle interferometry and acts as a control on a swap operation between k copies of the quantum state ½ is presented. This network is then extended to a more general quantum information scenario, known as LOCC. This scenario considers two distant parties A and B that share several copies of a given bipartite quantum state. The construction of entanglement criteria based on nonlinear properties of quantum states is investigated. A method to implement these criteria in a simple, experimen- tally feasible way is presented. The method is based of particle statistics' e®ects and its extension to the detection of multipartite entanglement is analyzed.
    [Show full text]
  • Entanglement Theory 2 Contents
    1 Quantum information theory (20110401) Lecturer: Jens Eisert Chapter 5: Entanglement theory 2 Contents 5 Entanglement theory 5 5.1 Pure state entanglement . .5 5.1.1 Definition of pure state entanglement . .5 5.1.2 Entropy of entanglement quantifying pure state entanglement6 5.1.3 Typical sequences . .8 5.1.4 Central limit theorem . .9 5.1.5 Putting it all together: Pure state entanglement manipulation . 10 5.1.6 Pure state distillable entanglement . 11 5.1.7 Pure state entanglement dilution . 14 5.1.8 Asymptotic reversibility . 15 5.2 Mixed state entanglement . 15 5.2.1 Definition of mixed-state entanglement . 16 5.2.2 Entanglement criteria . 16 5.2.3 Entanglement witnesses . 18 5.2.4 Distillable and bound entanglement for mixed states . 19 3 4 CONTENTS Chapter 5 Entanglement theory Entanglement is the key feature of quantum mechanics that renders it different from a classical statistical theory. Bell’s theorem that shows that a classical statistical inter- pretation of quantum mechanics is not compatible with experimental findings resorts to notions of entanglement. Practically speaking, entanglement is the main resource in quantum information theory. Quantum key distribution requires entanglement, quan- tum computers cannot outperform classical machines without entanglement. In quan- tum error correction entangled states are of major importance. Sensing protocols can also only outperform classical ones when entanglement is present. Indeed, basically all advantages of protocols in quantum information theory can be traced back to en- tanglement being available in one way or the other. Hence, it makes a lot of sense to carefully consider notions of entanglement in quantitative terms.
    [Show full text]