Entanglement and Quantum Logical Gates. Part I.
|
|
- Jonah Nash
- 5 years ago
- Views:
Transcription
1 DOI 0.007/s Entanglement and Quantum Logical Gates. Part I. H. Freytes R. Giuntini R. Leporini G. Sergioli Received: 4 December 04 / Accepted: April 05 Springer Science+Business Media New York 05 Abstract Is it possible to give a logical characterization of entanglement and of entanglement-measures in terms of the probabilistic behavior of some gates? This question admits different positive or negative answers in the case of different systems of gates and in the case of different classes of density operators. In the first part of this article we investigate possible relations between entanglement-measures and the probabilistic behavior of quantum computational conjunctions. This article is dedicated to the memory of Peter Mittelstaedt. The authors will always remember the great scientist who has represented a noble example for all scholars of the IQSA-community. Sergioli s work has been supported by the Italian Ministry of Scientific Research within the FIRB project Structures and dynamics of knowledge and cognition, Cagliari unit FJ and by RAS, within the project Modeling the uncertainty: quantum theory and imaging processing ; Leporini s work has been supported by the Italian Ministry of Scientific Research within the PRIN project Automata and Formal Languages: Mathematical Aspects and Applications. Hector Freytes is also affiliates to UNR-CONICET, Argentina. R. Leporini roberto.leporini@unibg.it H. Freytes hfreytes@gmail.com R. Giuntini giuntini@unica.it G. Sergioli giuseppe.sergioli@gmail.com Dipartimento di Pedagogia, Psicologia, Filosofia, Università di Cagliari, Via Is Mirrionis, I-093 Cagliari, Italy Dipartimento di Ingegneria Gestionale, dell Informazione e della Produzione, Universitàdi Bergamo, Viale Marconi 5, I-4044 Dalmine BG, Italy
2 Keywords Entanglement Quantum gates Quantum logics Introduction Entanglement, the characteristic feature of quantum theory often described as mysterious and potentially paradoxical, represents an essential resource in quantum information for quantum computers, teleportation, quantum cryptography, semantic applications, etc.. As is well known, quantum computations are performed by quantum logical gates: unitary quantum operations that transform pieces of quantum information mathematically represented as density operators of convenient Hilbert spaces in a reversible way. We investigate the following question: is it possible to give a logical characterization of entanglement and of entanglement-measures in terms of the probabilistic behavior of some gates? This question admits different positive or negative answers in the case of different systems of gates and in the case of different classes of density operators. We will first discuss this problem by referring to the behavior of quantum computational conjunctions, defined in terms of the Toffoli-gate. Other examples of gates will be considered in the second part of this article. States and Gates Let us first recall some basic definitions. As is well known, the general mathematical environment for quantum computation is the Hilbert space H n := C }... {{ C }. Any piece n times of quantum information is represented by a density operator ρ of a space H n.aquregister which is a pure state is represented by a unit-vector ψ of a space H n or, equivalently, by the corresponding density operator P ψ the projection-operator that projects over the closed subspace determined by ψ. A qubit or qubit-state is a quregister of the space C. A register which represents a certain piece of information is an element x,...,x n of the canonical orthonormal basis of a space H n where x i 0, ; a bit is a register of C. Following a standard convention, we assume that the bit represents the truth-value Truth, while the bit 0 represents the truth-value Falsity. On this basis, we can identify, in each space H n, two special projection-operators P n and P n 0 that represent, respectively, the truth-property and the falsity-property. The truth-property P n is the projection-operator that projects over the closed subspace spanned by the set of all registers x,...,x n, ; while the falsity-property P n 0 is the projection-operator that projects over the closed subspace spanned by the set of all registers x,...,x n, 0. In this way, truth and falsity are dealt with as mathematical representatives of possible physical properties. Accordingly, by applying the Born-rule, one can naturally define the probability-value pρ of any density operator ρ of H n as follows: pρ := trp n ρ, where tr is the trace-functional. Hence, pρ represents the probability that the information ρ is true [, 5, 6]. We will denote by DH n the set of all density operators of H n, while D will represent the union n {DHn }. Pure pieces of quantum information are processed by quantum logical gates briefly, gates: unitary operators that transform quregisters into quregisters in a reversible way. We recall here the definition of two gates that will be used in this article.
3 Definition The Toffoli-gate For any m, n, p, the Toffoli-gate defined on H m+n+p is the linear operator T m,n,p such that, for every element x,...,x m y,...,y n z,...,z p of the canonical basis, T m,n,p x,...,x m,y,...,y n,z,...,z p = x,...,x m,y,...,y n,z,...,z p x m y n +z p, where + represents the addition modulo. Definition The swap-gate For any m, n, the swap-gate defined on H m,n is the linear operator SW m,n such that, for every element x,...,x m y,...,y n of the canonical basis, SW m,n x,...,x m,y,...,y n = y,...,y n,x,...,x m. All gates can be canonically extended to the set D of all density operators. Let G be any gate defined on H n. The corresponding density-operator gate also called unitary quantum operation D G is defined as follows for any ρ DH n : D Gρ = G ρ G where G is the adjoint of G. For the sake of simplicity, also the operations D G will be briefly called gates. 3 Entanglement and Entanglement-measures Consider the product-space H m+n = H m H n.anyρ DH m+n represents a possible state for a composite physical system S = S + S consisting of two subsystems. According to the quantum formalism, ρ determines the two reduced states Red [m,n]ρ and Red [m,n] ρ that represent the states of S and of S in the context ρ. In such a case, we say that ρ is a a bipartite state with respect to the decomposition m, n. It may happen that ρ is a pure state, while Red [m,n]ρ and Red [m,n]ρ are proper mixtures. In this case the information about the whole system is more precise than the pieces of information about its parts. Definition 3 Factorizability, separability and entanglement Letρ be a bipartite state of H m+n with respect to the decomposition m, n. ρ is called a bipartite factorized state of H m+n iff ρ = ρ ρ,whereρ DH m and ρ DH n ; ρ is called a bipartite separable state of H m+n iff ρ = i w iρ i, where each ρ i is a bipartite factorized state of H m+n, w i [0, ] and i w i = ; 3 ρ is called a bipartite entangled state of H m+n iff ρ is not separable. Examples are shown at the end of this Section. Definition 4 Maximally entangled states and maximally mixed states The reduced state of ρ DH m+n with respect to the subspace H m is defined as follows: Red [m,n] ρ = Tr H nρ, wheretr H n is the partial trace i.e. the unique linear operator Tr H n : H m+n H m such that Tr H na B = ATrB,whereAand B are operators on H m and H n, respectively. The reduced state Red [m,n]ρ is defined in a similar way.
4 A pure bipartite state ρ of H m+n is called maximally entangled iff Red [m,n] = m I m or Red [m,n] = n I n,wherei m and I n are the identity operators of the spaces H m and H n, respectively. A state ρ of H m+n is called a maximally mixed state of H m+n iff ρ = m+n I m+n. How to measure the entanglement-degree of a given state? As is well known, different definitions for the concept of entanglement-measure which quantify different aspects of entanglement have been proposed in the literature [7]. Any normalized entanglementmeasure EM defined on the set of all bipartite states of H m+n is supposed to satisfy the following minimal conditions:. EMρ [0, ];. EMρ = 0, if ρ is separable; 3. EMρ =, if ρ is a maximally entangled pure state; 4. EMρ is invariant under locally unitary maps. This means that: EMρ = EM U m U n ρ U m U n, for any unitary operators U m of H m and U n of H n. We will use here a particular definition of entanglement-measure which is convenient for computational aims: the notion of concurrence. Definition 5 The concurrence of a bipartite state Let P ψ be a bipartite pure state of H m+n.theconcurrence of P ψ is defined as follows: CP ψ = λ i, i where the numbers λ i are eigenvalues of Red [m,n] P ψ or, equivalently, of Red [m,n] P ψ. Let ρ be a bipartite mixed state of H m+n.theconcurrence of ρ is defined as follows: { Cρ = inf w i CP ψi : ρ = } w i P ψi. i i Onecaneasilyshowthat theconcurrencec satisfies the minimal conditions required for the general notion of entanglement-measure. We have: CP ψ = tr Red [m,n] P ψ Red [m,n] P ψ. In the study of entanglement-phenomena it is interesting to isolate a special class of bipartite states represented by the Werner states. This notion has been introduced in [] to show that entangled bipartite states do not necessarily exhibit non-local correlations. It is true that any bipartite state must be entangled in order to produce non-local correlations; at the same time there are examples of entangled Werner states whose correlations satisfy some simple instances of Bell-inequalities. Werner states have been used in teleportation [9] and for investigating deterministic purification [0].
5 Definition 6 Werner state A Werner state is a bipartite state ρ of a space H n H n that satisfies the following condition for any unitary operator U of H n : U UρU U = ρ. Hence, any Werner state is invariant under local unitary transformations. Interestingly enough, one can prove that the class of all Werner states of H n H n can be represented as a one-parameter manifold of states. Lemma [8] Any Werner state of the space H n can be represented as follows: [ ρ w n = n w n I n + w ] n SW n,n, where w while I n and SW n,n are the identity operator and the swap-gate of the space H n. As a consequence, all examples of Werner states in the space H will have the following form: + w ρ w = 0 w w w w 0, w with w [, ]. A deep and simple correlation connects the concurrence of a Werner state ρ w n with the parameter w. Theorem [, Eq.33] Cρ n w = { w, if w<0; 0, otherwise. As a consequence, one can easily show that:. ρ w n is separable iff w 0.. ρ w n is maximally mixed iff w = n. 3. ρ n w 4. If ρ n w is pure iff n = andw = ; is pure, then ρ w n is maximally entangled. Consider now the case of two-qubit Werner states ρ w, which live in the space C C and consequently have the following form: ρ w = 3 [ w I + w ] SW,. We obtain:. ρ w is separable iff w 0;. ρ w is maximally mixed iff w = iff ρ w is factorized; 3. ρ w is a maximally entangled pure state iff w = iffρ w P 0,,0. is the Bell state
6 The concurrence of an arbitrary two-qubit Werner state in terms of the parameter w is depicted in Fig.. Another interesting subclass of the class of all two-qubit states is the class of all threeparameter qubit states ρ abc, defined as follows: + a ρ abc = 0 bic ic + b 0, a where a,b,c are three real numbers such that a andb + c. One can prove that a state ρ abc is separable iff a + c Figs., 3 and 4. 4 Entanglement and Quantum Computational Conjunctions As is well known, the Toffoli-gate allows us to define a quantum computational conjunction that behaves according to classical logic, whenever it is applied to certain pieces of information bits and registers. At the same time this conjunction may have some deeply anti-classical features when the inputs are uncertain pieces of quantum information. The most peculiar property is represented by a holistic behavior: generally the conjunction defined on a global piece of quantum information represented by a given density operator cannot be described as a function of its separate parts. This is the reason why the quantum computational conjunction is called holistic [4]. Definition 7 The holistic conjunction Foranym, n and for any density operator ρ DH m+n,theholistic conjunction AND m,n is defined as follows: AND m,n ρ = D T m,n, ρ P 0. Fig. Concurrence of a two-qubit Werner state
7 Fig. The class of all ρ abc states Clearly, the falsity-property P 0 plays, in this definition, the role of an ancilla. Generally we have: AND m,n ρ = AND m,n Red [m,n]ρ Red [m,n] ρ. Hence, the holistic conjunction defined on a global information consisting of two parts does not generally coincide with the conjunction of the two separate parts. As an example, consider the following density operator which corresponds to a maximally entangled pure state: ρ = P 0,0 +,. We have: AND, ρ = P 0,0,0 +,,, which also represents a maximally entangled pure state. Atthesametimewehave: AND, Red [,]ρ Red [,] ρ = AND, I I, which is a proper mixture. The following theorem sums up the main probabilistic properties of the holistic conjunction. Theorem [3, Section 3] For any ρ DH m+n : pand m,n ρ = tr P m P n ρ.
8 Fig. 3 The class of all separable ρ abc states Fig. 4 The class of all entangled ρ abc states
9 pand m,n ρ p Red [m,n] ρ and pand m,n ρ p Red [m,n] ρ. Consequently, for any factorized density operator ρ = ρ ρ of the space H m+n with ρ DH m and ρ DH n wehave: AND m,n ρ = Red [m,n] ρ p Red [m,n] ρ = pρ pρ. Definition 8 Probabilistic factorizability A conjunction AND m,n ρ is called probabilistically factorizable iff pand m,n ρ = p Red [m,n] ρ p Red [m,n]. ρ Is there any interesting correlation between the probabilistic factorizability of AND m,n ρ, the factorizability of ρ and the separability of ρ? Of course, we have: ρ is factorized = AND m,n ρ is probabilistically factorizable. The following questions arise:. AND m,n ρ is probabilistically factorizable ρ is factorized?. AND m,n ρ is probabilistically factorizable ρ is separable? 3. ρ is separable AND m,n ρ is probabilistically factorizable? These three questions have a negative answer. As to our third question, consider the following counterexample: take a Werner state ρ w such that 0 w andw =. Thus, ρ w is a separable and non-factorized state, since the only factorized Werner state is ρ /. At the same time, AND m,n ρ w is not probabilistically factorizable, because: pand m,n ρ w = + w = 6 4 = p Red [m,n] ρ w p Red [m,n] ρ w. Negative answers to our first and to our second question can be obtained as a consequence of the following general theorem. Theorem 3 For any ɛ 0, ] R and for any m, n, there exists a bipartite pure state P ψɛ of H m+n such that: P ψɛ is entangled; CP ψɛ = ɛ; 3 pp ψɛ = ; 4 pand m,n P ψɛ = p Red [m,n] P ψ ɛ p Red [m,n] P ψ ɛ. Proof - Let ɛ 0, ] and let k ɛ := ɛ. Define the numbers a 00 and a as follows: a 00 := kɛ and a := + kɛ. We have: k ɛ [0, and a 00,a 0,. Consider the following pure state: ϕ ɛ =a 00 0,...,0 +a }{{} 0,...,0,, 0,...,0,. }{{}}{{} m+n m n One can easily show that: CP ϕɛ = a 00 a =ɛ.
10 Since 0 <ɛ, the state ϕ ɛ turns out to be entangled. Consider now the state ψ ɛ :=I m+n I ϕ ɛ. An easy computation shows that: ψ ɛ := kɛ 0,...,0, 0,...,0 + kɛ 0,...,0, 0,...,0, }{{}}{{} }{{}}{{} m n m n + + kɛ 0,...,0,, 0,...,0 + kɛ 0,...,0,, 0,...,0,. }{{}}{{} }{{}}{{} m n m n Since I m+n I is a locally unitary map and concurrence is invariant under locally unitary maps, the state ψ ɛ is entangled and its concurrence is ɛ. 3 An easy computation shows that: 4 By Theorem, pp ψɛ = 4 k ɛ + + k ɛ =. pand m,n P ψɛ = trp m P n P ψɛ = 4 + k ɛ. It turns out that: p Red [m,n] P ψ ɛ Hence, = + k ɛ and p Red [m,n] P ψ ɛ =. pand m,n P ψɛ = p Red [m,n] P ψ ɛ p Red [,] P ψ ɛ. Consequently, there are infinitely many entangled pure states P ψɛ, whose holistic conjunction is probabilistically factorizable. On this basis we can conclude that the probabilistic behavior of holistic conjunctions cannot characterize either entanglement or entanglement-measures. In spite of these general negative results, some interesting correlations between entanglement, entanglement-measures and the probabilistic behavior of holistic conjunctions can be found in the case of Werner states and in the case of three-parameter qubit states. Theorem 4 Let ρ w n be a Werner state of H n. pρ w n = ; p AND n,n ρ n = n + n w ; 3 p Red [n,n] w ρ n w = p n Red [n,n] ρ n w =. [ Proof p ρ w n = tr P n ρ w n = n i= w n + n i= pand n,n ρ w n = tr P n+ D T n,n, ρ w P 0 = tr [ n n i= w ] n + n i= w n = n + n w. n 3 In a similar way. w P n P n ]= n. ρ w =
11 As a consequence, we obtain: AND n,n ρ w n is probabilistically factorizable iff p AND n,n ρ w n = 4 iff w = iff ρn n w = n In. Hence, the holistic conjunction of a Werner state ρ w n is probabilistically factorizable iff ρ w n is the maximally mixed state I n. Accordingly, the class of all Werner states ρ n n w for which AND n,n ρ w n is probabilistically factorizable coincides with the singleton of the maximally mixed state. Whenever ρ w n is a non-factorized, separable Werner state, its holistic conjunction AND n,n ρ w n cannot be probabilistically factorizable because I n is the only factorized Werner state of H n. n A different situation arises in the case of three-parameter two-qubit states ρ abc.aswe already know, any ρ abc satisfies the following condition: ρ abc is separable iff a + c. Furthermore we have:. pρ abc = a 4 ;. p Red [,] ρ abc 3. p Red [,] ρ abc = a+b 4 ; = a b 4. Fig. 5 The class of all probabilistically factorizable AND, ρ abc s
12 Theorem 5 AND, ρ abc is probabilistically factorizable iff a = b. If AND, ρ abc is probabilistically factorizable, then ρ abc is separable. 3 If AND, ρ abc is probabilistically factorizable and c = 0,thenρ abc is separable but not factorized. Proof AND, ρ abc is probabilistically factorizable iff a 4 = pρ abc = p Red [,] p Red [,] ρ abc = 6 + a b + a + b iff a = b. If AND, ρ abc is probabilistically factorizable, then, by, a = b. By definition of ρ abc, b + c. Thus, a + c and therefore ρ abc is separable. 3 Suppose that AND, ρ abc is probabilistically factorizable. By, ρ abc is separable. By hypothesis, c = 0. Thus, ρ abc cannot be factorized since every factorized ρ abc is a diagonal matrix with c = 0. By Theorem 5 3, we can conclude that the class of all ρ abc s for which AND, ρ abc is probabilistically factorizable contains separable states that are not factorized Fig. 5. References. Beltrametti, E., Dalla Chiara, M.L., Giuntini, R., Leporini, R., Sergioli, G.: A Quantum Computational Semantics for Epistemic Logical Operators. Part II: Semantics. Int. J. Theor. Phys. 53, Chen, K., Albeverio, S., Fei, S.M.: Concurrence-based entanglement measure for Werner States. Rep. Math. Phys. 58, Also available as arxiv: Dalla Chiara, M.L., Giuntini, R., Leporini, R., Sergioli, G.: Holistic logical arguments in quantum computation, to appear in Mathematica Slovaca 4. Dalla Chiara, M.L., Giuntini, R., Ledda, A., Leporini, R., Sergioli, G.: Entanglement as a semantic resource. Foundations of Physics 40, Freytes, H., Domenech, G.: Quantum computational logic with mixed states. Mathematical Logic Quaterly 59, Freytes, H., Sergioli, G., Arico, A.: Representing continuous t-norms in quantum computation with mixed states, Journal of Physics A Horodecki, R., Horodecki, P., Horodecki, M., Horodecki, K.: Quantum entanglement. Rev. Mod. Phys. 8, Freytes, H., Sergioli, G.: Fuzzy approach for Toffoli gate in Quantum Computation with Mixed States. Reports on Mathematical Physics 4, Lee, J., Kim, M.S.: Entanglement Teleportation via Werner States. Phys. Rev. Lett. 84, Short, A.: No deterministic purification for two copies of a noisy entangled state. Phys. Rev. Lett. 0, Werner, R.F.: Quantum states with Einstein-Podolsky-Rosen correlations admitting a hidden-variable model. Phys. Rev. A 40,
April 18, :46 WSPC/INSTRUCTION FILE ForVaxjorev15.2dc ABSTRACT QUANTUM COMPUTING MACHINES AND QUANTUM COMPUTATIONAL LOGICS
International Journal of Quantum Information c World Scientific Publishing Company ABSTRACT QUANTUM COMPUTING MACHINES AND QUANTUM COMPUTATIONAL LOGICS MARIA LUISA DALLA CHIARA Dipartimento di Lettere
More informationCOMPOSITIONAL AND HOLISTIC QUANTUM COMPUTATIONAL SEMANTICS
COMPOSITIONAL AND HOLISTIC QUANTUM COMPUTATIONAL SEMANTICS MARIA LUISA DALLA CHIARA, ROBERTO GIUNTINI, AND ROBERTO LEPORINI Abstract. In quantum computational logic meanings of sentences are identified
More informationFuzzy approach to quantum Fredkin gate
Fuzzy approach to quantum Fredkin gate G. Sergioli 1, H. Freytes 1,2 1. Dipartimento di Filosofia, Universitá di Cagliari, Via Is Mirrionis 1, 09123, Cagliari-Italia 2. Departmento de Matemática UNR-CONICET,
More informationM.L. Dalla Chiara, R. Giuntini, R. Leporini, G. Sergioli. Qudit Spaces and a Many-valued Approach to Quantum Comp
Qudit Spaces and a Many-valued Approach to Quantum Computational Logics Quantum computational logics are special examples of quantum logic based on the following semantic idea: linguistic formulas are
More informationRepresenting fuzzy structures in quantum computation with mixed states
Representing fuzzy structures in quantum computation with mixed states Hector Freytes Fellow of CONICET-Argentina Email: hfreytes@gmailcom Antonio Arico Department of Mathematics Viale Merello 9, 913 Caglari
More informationA Quantum Computational Semantics for Epistemic Logical Operators. Part II: Semantics
Int J heor Phys DOI 0.007/s0773-03-696-y A Quantum Computational Semantics for Epistemic Logical Operators. Part II: Semantics Enrico Beltrametti Maria Luisa Dalla Chiara Roberto Giuntini Roberto Leporini
More informationPh 219/CS 219. Exercises Due: Friday 20 October 2006
1 Ph 219/CS 219 Exercises Due: Friday 20 October 2006 1.1 How far apart are two quantum states? Consider two quantum states described by density operators ρ and ρ in an N-dimensional Hilbert space, and
More informationTheory of Quantum Entanglement
Theory of Quantum Entanglement Shao-Ming Fei Capital Normal University, Beijing Universität Bonn, Bonn Richard Feynman 1980 Certain quantum mechanical effects cannot be simulated efficiently on a classical
More informationMP 472 Quantum Information and Computation
MP 472 Quantum Information and Computation http://www.thphys.may.ie/staff/jvala/mp472.htm Outline Open quantum systems The density operator ensemble of quantum states general properties the reduced density
More informationPermutations and quantum entanglement
Journal of Physics: Conference Series Permutations and quantum entanglement To cite this article: D Chruciski and A Kossakowski 2008 J. Phys.: Conf. Ser. 104 012002 View the article online for updates
More informationb) (5 points) Give a simple quantum circuit that transforms the state
C/CS/Phy191 Midterm Quiz Solutions October 0, 009 1 (5 points) Short answer questions: a) (5 points) Let f be a function from n bits to 1 bit You have a quantum circuit U f for computing f If you wish
More informationQuantum decoherence. Éric Oliver Paquette (U. Montréal) -Traces Worshop [Ottawa]- April 29 th, Quantum decoherence p. 1/2
Quantum decoherence p. 1/2 Quantum decoherence Éric Oliver Paquette (U. Montréal) -Traces Worshop [Ottawa]- April 29 th, 2007 Quantum decoherence p. 2/2 Outline Quantum decoherence: 1. Basics of quantum
More informationDistinguishing different classes of entanglement for three qubit pure states
Distinguishing different classes of entanglement for three qubit pure states Chandan Datta Institute of Physics, Bhubaneswar chandan@iopb.res.in YouQu-2017, HRI Chandan Datta (IOP) Tripartite Entanglement
More informationGeometry of Entanglement
Geometry of Entanglement Bachelor Thesis Group of Quantum Optics, Quantum Nanophysics and Quantum Information University of Vienna WS 21 2659 SE Seminar Quantenphysik I Supervising Professor: Ao. Univ.-Prof.
More informationPrinciples of Quantum Mechanics Pt. 2
Principles of Quantum Mechanics Pt. 2 PHYS 500 - Southern Illinois University February 9, 2017 PHYS 500 - Southern Illinois University Principles of Quantum Mechanics Pt. 2 February 9, 2017 1 / 13 The
More informationQUANTUM INFORMATION -THE NO-HIDING THEOREM p.1/36
QUANTUM INFORMATION - THE NO-HIDING THEOREM Arun K Pati akpati@iopb.res.in Instititute of Physics, Bhubaneswar-751005, Orissa, INDIA and Th. P. D, BARC, Mumbai-400085, India QUANTUM INFORMATION -THE NO-HIDING
More informationOn PPT States in C K C M C N Composite Quantum Systems
Commun. Theor. Phys. (Beijing, China) 42 (2004) pp. 25 222 c International Academic Publishers Vol. 42, No. 2, August 5, 2004 On PPT States in C K C M C N Composite Quantum Systems WANG Xiao-Hong, FEI
More informationTransmitting and Hiding Quantum Information
2018/12/20 @ 4th KIAS WORKSHOP on Quantum Information and Thermodynamics Transmitting and Hiding Quantum Information Seung-Woo Lee Quantum Universe Center Korea Institute for Advanced Study (KIAS) Contents
More informationEntanglement: concept, measures and open problems
Entanglement: concept, measures and open problems Division of Mathematical Physics Lund University June 2013 Project in Quantum information. Supervisor: Peter Samuelsson Outline 1 Motivation for study
More informationChapter 2 The Density Matrix
Chapter 2 The Density Matrix We are going to require a more general description of a quantum state than that given by a state vector. The density matrix provides such a description. Its use is required
More informationQuantum Entanglement- Fundamental Aspects
Quantum Entanglement- Fundamental Aspects Debasis Sarkar Department of Applied Mathematics, University of Calcutta, 92, A.P.C. Road, Kolkata- 700009, India Abstract Entanglement is one of the most useful
More informationQuantum Entanglement and the Bell Matrix
Quantum Entanglement and the Bell Matrix Marco Pedicini (Roma Tre University) in collaboration with Anna Chiara Lai and Silvia Rognone (La Sapienza University of Rome) SIMAI2018 - MS27: Discrete Mathematics,
More informationLecture 3: Hilbert spaces, tensor products
CS903: Quantum computation and Information theory (Special Topics In TCS) Lecture 3: Hilbert spaces, tensor products This lecture will formalize many of the notions introduced informally in the second
More informationEstimation of Optimal Singlet Fraction (OSF) and Entanglement Negativity (EN)
Estimation of Optimal Singlet Fraction (OSF) and Entanglement Negativity (EN) Satyabrata Adhikari Delhi Technological University satyabrata@dtu.ac.in December 4, 2018 Satyabrata Adhikari (DTU) Estimation
More informationBOGOLIUBOV TRANSFORMATIONS AND ENTANGLEMENT OF TWO FERMIONS
BOGOLIUBOV TRANSFORMATIONS AND ENTANGLEMENT OF TWO FERMIONS P. Caban, K. Podlaski, J. Rembieliński, K. A. Smoliński and Z. Walczak Department of Theoretical Physics, University of Lodz Pomorska 149/153,
More informationQubits vs. bits: a naive account A bit: admits two values 0 and 1, admits arbitrary transformations. is freely readable,
Qubits vs. bits: a naive account A bit: admits two values 0 and 1, admits arbitrary transformations. is freely readable, A qubit: a sphere of values, which is spanned in projective sense by two quantum
More informationarxiv: v1 [quant-ph] 27 May 2009
Von Neumann and Luders postulates and quantum information theory arxiv:0905.4398v1 [quant-ph] 27 May 2009 Andrei Khrennikov School of Mathematics and Systems Engineering International Center of Mathematical
More informationEntanglement Measures and Monotones
Entanglement Measures and Monotones PHYS 500 - Southern Illinois University March 30, 2017 PHYS 500 - Southern Illinois University Entanglement Measures and Monotones March 30, 2017 1 / 11 Quantifying
More informationON THE ROLE OF THE BASIS OF MEASUREMENT IN QUANTUM GATE TELEPORTATION. F. V. Mendes, R. V. Ramos
ON THE ROLE OF THE BASIS OF MEASREMENT IN QANTM GATE TELEPORTATION F V Mendes, R V Ramos fernandovm@detiufcbr rubens@detiufcbr Lab of Quantum Information Technology, Department of Teleinformatic Engineering
More informationApplication of Structural Physical Approximation to Partial Transpose in Teleportation. Satyabrata Adhikari Delhi Technological University (DTU)
Application of Structural Physical Approximation to Partial Transpose in Teleportation Satyabrata Adhikari Delhi Technological University (DTU) Singlet fraction and its usefulness in Teleportation Singlet
More informationManuscript Draft. Title: A Many-valued Approach to Quantum Computational Logics. Keywords: Quantum logics; quantum tomography; logical gates.
an Systems Elsevier Eitorial System(tm) for Fuzzy Sets Manuscript Draft Manuscript Number: FSS-D--00R Title: A Many-value Approach to Quantum Computational Logics Article Type: SI: LINZ 0 Keywors: Quantum
More informationThe query register and working memory together form the accessible memory, denoted H A. Thus the state of the algorithm is described by a vector
1 Query model In the quantum query model we wish to compute some function f and we access the input through queries. The complexity of f is the number of queries needed to compute f on a worst-case input
More informationCompression and entanglement, entanglement transformations
PHYSICS 491: Symmetry and Quantum Information April 27, 2017 Compression and entanglement, entanglement transformations Lecture 8 Michael Walter, Stanford University These lecture notes are not proof-read
More informationQuantum Noise. Michael A. Nielsen. University of Queensland
Quantum Noise Michael A. Nielsen University of Queensland Goals: 1. To introduce a tool the density matrix that is used to describe noise in quantum systems, and to give some examples. Density matrices
More informationChapter 5. Density matrix formalism
Chapter 5 Density matrix formalism In chap we formulated quantum mechanics for isolated systems. In practice systems interect with their environnement and we need a description that takes this feature
More informationProbabilistic exact cloning and probabilistic no-signalling. Abstract
Probabilistic exact cloning and probabilistic no-signalling Arun Kumar Pati Quantum Optics and Information Group, SEECS, Dean Street, University of Wales, Bangor LL 57 IUT, UK (August 5, 999) Abstract
More informationIntroduction to Quantum Mechanics
Introduction to Quantum Mechanics R. J. Renka Department of Computer Science & Engineering University of North Texas 03/19/2018 Postulates of Quantum Mechanics The postulates (axioms) of quantum mechanics
More informationarxiv: v3 [quant-ph] 17 Nov 2014
REE From EOF Eylee Jung 1 and DaeKil Park 1, 1 Department of Electronic Engineering, Kyungnam University, Changwon 631-701, Korea Department of Physics, Kyungnam University, Changwon 631-701, Korea arxiv:1404.7708v3
More informationQuantum entanglement and symmetry
Journal of Physics: Conference Series Quantum entanglement and symmetry To cite this article: D Chrucisi and A Kossaowsi 2007 J. Phys.: Conf. Ser. 87 012008 View the article online for updates and enhancements.
More informationINSTITUT FOURIER. Quantum correlations and Geometry. Dominique Spehner
i f INSTITUT FOURIER Quantum correlations and Geometry Dominique Spehner Institut Fourier et Laboratoire de Physique et Modélisation des Milieux Condensés, Grenoble Outlines Entangled and non-classical
More informationHilbert Space, Entanglement, Quantum Gates, Bell States, Superdense Coding.
CS 94- Bell States Bell Inequalities 9//04 Fall 004 Lecture Hilbert Space Entanglement Quantum Gates Bell States Superdense Coding 1 One qubit: Recall that the state of a single qubit can be written as
More informationA Note on the Geometric Interpretation of Bell s Inequalities
Lett Math Phys DOI 10.1007/s11005-013-0631-8 A Note on the Geometric Interpretation of Bell s Inequalities PAOLO DAI PRA, MICHELE PAVON and NEERAJA SAHASRABUDHE Dipartimento di Matematica, Università di
More informationBorromean Entanglement Revisited
Borromean Entanglement Revisited Ayumu SUGITA Abstract An interesting analogy between quantum entangled states and topological links was suggested by Aravind. In particular, he emphasized a connection
More information1. Basic rules of quantum mechanics
1. Basic rules of quantum mechanics How to describe the states of an ideally controlled system? How to describe changes in an ideally controlled system? How to describe measurements on an ideally controlled
More informationQuantum Information & Quantum Computing
Math 478, Phys 478, CS4803, February 9, 006 1 Georgia Tech Math, Physics & Computing Math 478, Phys 478, CS4803 Quantum Information & Quantum Computing Problems Set 1 Due February 9, 006 Part I : 1. Read
More informationCLASSIFICATION OF MAXIMALLY ENTANGLED STATES OF SPIN 1/2 PARTICLES
CLASSIFICATION OF MAXIMALLY ENTANGLED STATES OF SPIN 1/ PARTICLES S. Ghosh, G. Kar, and A. Roy Physics and Applied Mathematics Unit Indian Statistical Institute 03, B. T. Road Calcutta 700 035 India. E
More informationNullity of Measurement-induced Nonlocality. Yu Guo
Jul. 18-22, 2011, at Taiyuan. Nullity of Measurement-induced Nonlocality Yu Guo (Joint work with Pro. Jinchuan Hou) 1 1 27 Department of Mathematics Shanxi Datong University Datong, China guoyu3@yahoo.com.cn
More informationThe Square of Opposition in Orthomodular Logic
The Square of Opposition in Orthomodular Logic H. Freytes, C. de Ronde and G. Domenech Abstract. In Aristotelian logic, categorical propositions are divided in Universal Affirmative, Universal Negative,
More informationENTANGLEMENT OF N DISTINGUISHABLE PARTICLES
STUDIES IN LOGIC, GRAMMAR AND RHETORIC 27(40) 2012 Tomasz Bigaj ENTANGLEMENT OF N DISTINGUISHABLE PARTICLES Abstract. In their 2002 article, Ghirardi, Marinatto and Weber proposed a formal analysis of
More informationarxiv: v1 [quant-ph] 24 May 2011
Geometry of entanglement witnesses for two qutrits Dariusz Chruściński and Filip A. Wudarski Institute of Physics, Nicolaus Copernicus University, Grudzi adzka 5/7, 87 100 Toruń, Poland May 25, 2011 arxiv:1105.4821v1
More informationTutorial on Quantum Computing. Vwani P. Roychowdhury. Lecture 1: Introduction
Tutorial on Quantum Computing Vwani P. Roychowdhury Lecture 1: Introduction 1 & ) &! # Fundamentals Qubits A single qubit is a two state system, such as a two level atom we denote two orthogonal states
More informationLecture 4: Postulates of quantum mechanics
Lecture 4: Postulates of quantum mechanics Rajat Mittal IIT Kanpur The postulates of quantum mechanics provide us the mathematical formalism over which the physical theory is developed. For people studying
More informationUnitary evolution: this axiom governs how the state of the quantum system evolves in time.
CS 94- Introduction Axioms Bell Inequalities /7/7 Spring 7 Lecture Why Quantum Computation? Quantum computers are the only model of computation that escape the limitations on computation imposed by the
More informationMax-Planck-Institut für Mathematik in den Naturwissenschaften Leipzig
Max-Planck-Institut für Mathematik in den aturwissenschaften Leipzig Bell inequality for multipartite qubit quantum system and the maximal violation by Ming Li and Shao-Ming Fei Preprint no.: 27 2013 Bell
More informationQuantum Information Types
qitd181 Quantum Information Types Robert B. Griffiths Version of 6 February 2012 References: R. B. Griffiths, Types of Quantum Information, Phys. Rev. A 76 (2007) 062320; arxiv:0707.3752 Contents 1 Introduction
More informationLecture 20: Bell inequalities and nonlocality
CPSC 59/69: Quantum Computation John Watrous, University of Calgary Lecture 0: Bell inequalities and nonlocality April 4, 006 So far in the course we have considered uses for quantum information in the
More informationMaximally Entangled State and Bell s Inequality in Qubits
Maximally Entangled State and Bell s Inequality in Qubits arxiv:1711.04415v1 [quant-ph] 13 Nov 2017 Su-Kuan Chu a 1, Chen-Te Ma b 2, Rong-Xin Miao c 3 and Chih-Hung Wu b 4 a Joint Quantum Institute and
More informationDiscrete Quantum Theories
Discrete Quantum Theories Andrew J. Hanson 1 Gerardo Ortiz 2 Amr Sabry 1 Yu-Tsung Tai 3 (1) School of Informatics and Computing (2) Department of Physics (3) Mathematics Department Indiana University July
More informationTHE NUMBER OF ORTHOGONAL CONJUGATIONS
THE NUMBER OF ORTHOGONAL CONJUGATIONS Armin Uhlmann University of Leipzig, Institute for Theoretical Physics After a short introduction to anti-linearity, bounds for the number of orthogonal (skew) conjugations
More informationEntanglement, mixedness, and spin-flip symmetry in multiple-qubit systems
Boston University OpenBU College of General Studies http://open.bu.edu BU Open Access Articles 2003-08-01 Entanglement, mixedness, and spin-flip symmetry in multiple-qubit systems Jaeger, Gregg AMER PHYSICAL
More informationValerio Cappellini. References
CETER FOR THEORETICAL PHYSICS OF THE POLISH ACADEMY OF SCIECES WARSAW, POLAD RADOM DESITY MATRICES AD THEIR DETERMIATS 4 30 SEPTEMBER 5 TH SFB TR 1 MEETIG OF 006 I PRZEGORZAłY KRAKÓW Valerio Cappellini
More informationarxiv: v3 [quant-ph] 30 Oct 2017
Noname manuscript No (will be inserted by the editor) Lower bound on concurrence for arbitrary-dimensional tripartite quantum states Wei Chen Shao-Ming Fei Zhu-Jun Zheng arxiv:160304716v3 [quant-ph] 30
More informationIntroduction to Quantum Information Hermann Kampermann
Introduction to Quantum Information Hermann Kampermann Heinrich-Heine-Universität Düsseldorf Theoretische Physik III Summer school Bleubeuren July 014 Contents 1 Quantum Mechanics...........................
More informationQuantum information and quantum computing
Middle East Technical University, Department of Physics January 7, 009 Outline Measurement 1 Measurement 3 Single qubit gates Multiple qubit gates 4 Distinguishability 5 What s measurement? Quantum measurement
More informationEntropy in Classical and Quantum Information Theory
Entropy in Classical and Quantum Information Theory William Fedus Physics Department, University of California, San Diego. Entropy is a central concept in both classical and quantum information theory,
More information. Here we are using the standard inner-product over C k to define orthogonality. Recall that the inner-product of two vectors φ = i α i.
CS 94- Hilbert Spaces, Tensor Products, Quantum Gates, Bell States 1//07 Spring 007 Lecture 01 Hilbert Spaces Consider a discrete quantum system that has k distinguishable states (eg k distinct energy
More informationInternational Workshop on Applied Mathematics & Quantum Information. Cagliari, November 3-4, 2016
International Workshop on Applied Mathematics & Quantum Information Cagliari, November 3-4, 2016 Contents 1 INTRODUCTION AND ACKNOWLEDGMENTS 2 2 INVITED SPEAKERS 3 3 ABSTRACTS OF THE CONTRIBUTIONS 4 Majorization
More informationarxiv:quant-ph/ v1 24 Aug 2006
Operational approach to the Uhlmann holonomy Johan Åberg 1, David Kult, Erik Söqvist, and D. K. L. Oi 1 1 Centre for Quantum Computation, Department of Applied Mathematics and Theoretical Physics, University
More informationDECAY OF SINGLET CONVERSION PROBABILITY IN ONE DIMENSIONAL QUANTUM NETWORKS
DECAY OF SINGLET CONVERSION PROBABILITY IN ONE DIMENSIONAL QUANTUM NETWORKS SCOTT HOTTOVY Abstract. Quantum networks are used to transmit and process information by using the phenomena of quantum mechanics.
More information2. Introduction to quantum mechanics
2. Introduction to quantum mechanics 2.1 Linear algebra Dirac notation Complex conjugate Vector/ket Dual vector/bra Inner product/bracket Tensor product Complex conj. matrix Transpose of matrix Hermitian
More informationMaximal Entanglement A New Measure of Entanglement
1 Maximal Entanglement A New Measure of Entanglement Salman Beigi School of Mathematics, Institute for Research in Fundamental Sciences IPM, Tehran, Iran arxiv:1405.50v1 [quant-ph] 11 May 014 Abstract
More informationBasics on quantum information
Basics on quantum information Mika Hirvensalo Department of Mathematics and Statistics University of Turku mikhirve@utu.fi Thessaloniki, May 2014 Mika Hirvensalo Basics on quantum information 1 of 49 Brief
More informationarxiv: v2 [quant-ph] 21 Oct 2013
Genuine hidden quantum nonlocality Flavien Hirsch, 1 Marco Túlio Quintino, 1 Joseph Bowles, 1 and Nicolas Brunner 1, 1 Département de Physique Théorique, Université de Genève, 111 Genève, Switzerland H.H.
More informationSome Bipartite States Do Not Arise from Channels
Some Bipartite States Do Not Arise from Channels arxiv:quant-ph/0303141v3 16 Apr 003 Mary Beth Ruskai Department of Mathematics, Tufts University Medford, Massachusetts 0155 USA marybeth.ruskai@tufts.edu
More informationPh 219/CS 219. Exercises Due: Friday 3 November 2006
Ph 9/CS 9 Exercises Due: Friday 3 November 006. Fidelity We saw in Exercise. that the trace norm ρ ρ tr provides a useful measure of the distinguishability of the states ρ and ρ. Another useful measure
More informationAsymptotic Pure State Transformations
Asymptotic Pure State Transformations PHYS 500 - Southern Illinois University April 18, 2017 PHYS 500 - Southern Illinois University Asymptotic Pure State Transformations April 18, 2017 1 / 15 Entanglement
More informationarxiv: v3 [quant-ph] 5 Jun 2015
Entanglement and swap of quantum states in two qubits Takaya Ikuto and Satoshi Ishizaka Graduate School of Integrated Arts and Sciences, Hiroshima University, Higashihiroshima, 739-8521, Japan (Dated:
More informationPh 219b/CS 219b. Exercises Due: Wednesday 22 February 2006
1 Ph 219b/CS 219b Exercises Due: Wednesday 22 February 2006 6.1 Estimating the trace of a unitary matrix Recall that using an oracle that applies the conditional unitary Λ(U), Λ(U): 0 ψ 0 ψ, 1 ψ 1 U ψ
More informationBONA FIDE MEASURES OF NON-CLASSICAL CORRELATIONS
BON FIDE MESURES OF NON-CLSSICL CORRELTIONS New J. Phys. 16, 073010 (2014). De Pasquale in collaboration with. Farace, L. Rigovacca and V. Giovannetti Outline MIN IDE: Introduction of measures of non-classical
More informationEstimating entanglement in a class of N-qudit states
Estimating entanglement in a class of N-qudit states Sumiyoshi Abe 1,2,3 1 Physics Division, College of Information Science and Engineering, Huaqiao University, Xiamen 361021, China 2 Department of Physical
More informationPOSITIVE MAP AS DIFFERENCE OF TWO COMPLETELY POSITIVE OR SUPER-POSITIVE MAPS
Adv. Oper. Theory 3 (2018), no. 1, 53 60 http://doi.org/10.22034/aot.1702-1129 ISSN: 2538-225X (electronic) http://aot-math.org POSITIVE MAP AS DIFFERENCE OF TWO COMPLETELY POSITIVE OR SUPER-POSITIVE MAPS
More informationQuantum theory without predefined causal structure
Quantum theory without predefined causal structure Ognyan Oreshkov Centre for Quantum Information and Communication, niversité Libre de Bruxelles Based on work with Caslav Brukner, Nicolas Cerf, Fabio
More informationLecture: Quantum Information
Lecture: Quantum Information Transcribed by: Crystal Noel and Da An (Chi Chi) November 10, 016 1 Final Proect Information Find an issue related to class you are interested in and either: read some papers
More informationSUPERDENSE CODING AND QUANTUM TELEPORTATION
SUPERDENSE CODING AND QUANTUM TELEPORTATION YAQIAO LI This note tries to rephrase mathematically superdense coding and quantum teleportation explained in [] Section.3 and.3.7, respectively (as if I understood
More informationBasics on quantum information
Basics on quantum information Mika Hirvensalo Department of Mathematics and Statistics University of Turku mikhirve@utu.fi Thessaloniki, May 2016 Mika Hirvensalo Basics on quantum information 1 of 52 Brief
More informationQuantum Entanglement and Measurement
Quantum Entanglement and Measurement Haye Hinrichsen in collaboration with Theresa Christ University of Würzburg, Germany 2nd Workhop on Quantum Information and Thermodynamics Korea Institute for Advanced
More informationOn balance of information in bipartite quantum communication systems: entanglement-energy analogy
On balance of information in bipartite quantum communication systems: entanglement-energy analogy Ryszard Horodecki 1,, Micha l Horodecki 1, and Pawe l Horodecki 2, 1 Institute of Theoretical Physics and
More informationQuantum Entanglement: Detection, Classification, and Quantification
Quantum Entanglement: Detection, Classification, and Quantification Diplomarbeit zur Erlangung des akademischen Grades,,Magister der Naturwissenschaften an der Universität Wien eingereicht von Philipp
More informationThe Minimax Fidelity for Quantum Channels: Theory and Some Applications
The Minimax Fidelity for Quantum Channels: Theory and Some Applications Maxim Raginsky University of I!inois V.P. Belavkin, G.M. D Ariano and M. Raginsky Operational distance and fidelity for quantum channels
More informationShared Purity of Multipartite Quantum States
Shared Purity of Multipartite Quantum States Anindya Biswas Harish-Chandra Research Institute December 3, 2013 Anindya Biswas (HRI) Shared Purity December 3, 2013 1 / 38 Outline of the talk 1 Motivation
More informationSquashed entanglement
Squashed Entanglement based on Squashed Entanglement - An Additive Entanglement Measure (M. Christandl, A. Winter, quant-ph/0308088), and A paradigm for entanglement theory based on quantum communication
More informationPHY305: Notes on Entanglement and the Density Matrix
PHY305: Notes on Entanglement and the Density Matrix Here follows a short summary of the definitions of qubits, EPR states, entanglement, the density matrix, pure states, mixed states, measurement, and
More informationarxiv: v1 [math-ph] 22 Nov 2011
Quantumness and Entanglement Witnesses arxiv:1111.557v1 [math-ph] Nov 011 Paolo Facchi 1,, Saverio Pascazio 3,, Vlatko Vedral 4,5,6 and Kazuya Yuasa 7 1 Dipartimento di Matematica and MECENAS, Università
More informationStructure of Unital Maps and the Asymptotic Quantum Birkhoff Conjecture. Peter Shor MIT Cambridge, MA Joint work with Anand Oza and Dimiter Ostrev
Structure of Unital Maps and the Asymptotic Quantum Birkhoff Conjecture Peter Shor MIT Cambridge, MA Joint work with Anand Oza and Dimiter Ostrev The Superposition Principle (Physicists): If a quantum
More informationLocality NIMS. The Principle of. Made Simpler but Harder. Man-Duen Choi.
The Principle of Locality Made Simpler but Harder by Man-Duen Choi choi@math.toronto.edu Mathematical Aspects in Current Quantum Information Theory, Feb 2016 NIMS National Institute For Mathematical Sciences
More informationENTANGLEMENT VERSUS QUANTUM DEGREE OF POLARIZATION
Romanian Reports in Physics 70, 104 (2018) ENTANGLEMENT VERSUS QUANTUM DEGREE OF POLARIZATION IULIA GHIU University of Bucharest, Faculty of Physics, Centre for Advanced Quantum Physics, PO Box MG-11,
More informationarxiv:quant-ph/ v1 8 Oct 2002
The statistics of the entanglement changes generated by the Hadamard-CNOT quantum circuit J. Batle, M. Casas, A. Plastino, 3,, 4, and A. R. Plastino Departament de Física, Universitat de les Illes Balears,
More informationMultiplicativity of Maximal p Norms in Werner Holevo Channels for 1 < p 2
Multiplicativity of Maximal p Norms in Werner Holevo Channels for 1 < p 2 arxiv:quant-ph/0410063v1 8 Oct 2004 Nilanjana Datta Statistical Laboratory Centre for Mathematical Sciences University of Cambridge
More informationMax-Planck-Institut für Mathematik in den Naturwissenschaften Leipzig
Max-Planck-Institut für Mathematik in den Naturwissenschaften Leipzig Coherence of Assistance and Regularized Coherence of Assistance by Ming-Jing Zhao, Teng Ma, and Shao-Ming Fei Preprint no.: 14 2018
More informationExperimental state and process reconstruction. Philipp Schindler + Thomas Monz Institute of Experimental Physics University of Innsbruck, Austria
Experimental state and process reconstruction Philipp Schindler + Thomas Monz Institute of Experimental Physics University of Innsbruck, Austria What do we want to do? Debug and characterize a quantum
More information