DOCSLIB.ORG

Quantum Information, Entanglement and Entropy

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Quantum Information, Entanglement and Entropy QUANTUM INFORMATION, ENTANGLEMENT AND ENTROPY Siddharth Sharma Abstract In this review I had given an introduction to axiomatic Quantum Mechanics, Quantum Information and its measure entropy. Also, I had given an introduction to Entanglement and its measure as the minimum of relative quantum entropy of a density matrix of a Hilbert space with respect to all separable density matrices of the same Hilbert space. I also discussed geodesic in the space of density matrices, their orthogonality and Pythagorean theorem of density matrix. Postulates of Quantum Mechanics The basic postulate of quantum mechanics is about the Hilbert space formalism: • Postulates 0: To each quantum mechanical system, has a complex Hilbert space ℍ associated to it: Set of all pure state, ℍ⁄∼ ≔ {⟦푓⟧|⟦푓⟧ ≔ {ℎ: ℎ ∼ 푓}} and ℎ ∼ 푓 ⇔ ∃ 푧 ∈ ℂ such that ℎ = 푧 푓 where 푧 is called phase • Postulates 1: The physical states of a quantum mechanical system are described by statistical operators acting on the Hilbert space. A density matrix or statistical operator, is a positive operator of trace 1 on the Hilbert space. Where is called positive if 〈푥, 푥〉 for all 푥 ∈ ℍ and 〈⋇,⋇〉. • Postulates 2: The observables of a quantum mechanical system are described by self- adjoint operators acting on the Hilbert space. A self-adjoint operator A on a Hilbert space ℍ is a linear operator 퐴: ℍ → ℍ which satisfies 〈퐴푥, 푦〉 = 〈푥, 퐴푦〉 for 푥, 푦 ∈ ℍ. Lemma: The density matrices acting on a Hilbert space form a convex set whose extreme points are the pure states. Proof. Denote by Σ the set of density matrices. It is obvious that a convex combination of density matrices is positive and of trace one. Therefore, Σ is a convex set. Lemma: Let = ∑|푥푒⟩⟨푥푒| = ∑|푦ℎ⟩⟨푦ℎ| 푒∈픹 ℎ∈픹 be decompositions of a density matrix and where 픹 is the basis of Hilbert space, ℍ. Then there exists a unitary matrix (푈푒ℎ)푒ℎ∈픹 such that ∑ 푈푒ℎ|푥푒⟩ = |푦ℎ⟩ 푒∈픹 Where, ⟨푥푒|푦ℎ⟩ 푈푒ℎ ≔ √⟨푥푒|푥ℎ⟩ • Postulates 3: Let 풳 be a finite set and for 푥 ∈ 풳 an operator 푂푥 ∈ ℬ(ℍ) be given such that ⋇ ∑ 푂푥 푂푥 = 푑ℍ 푥∈풳 ⋇ where 푂푥 is conjugate of 푂푥. Such an indexed family of operators is a model of a measurement with values in 풳. If the measurement is performed in a state , then the ⋇ outcome 푥 ∈ 풳 appears with probability tr(푂푥 푂푥) and after the measurement the state of the system is ⋇ 푂푥 푂푥 ⋇ 푡푟 (푂푥 푂푥) If 휑 ∶ ℬ(ℍ) → ℂ is a linear functional such that 휑(퐴) ≥ 0 if 퐴 is positive and 휑(푑) = 1, Then there exists a density matrix 휑 such that, 휑(퐴) = tr(휑퐴) The functional 휑 associates the expectation value to the observables 퐴. The density matrices and ′ are called orthogonal if any eigenvector of is orthogonal to any eigenvector of ′. Let 픹 be an orthonormal basis in a Hilbert space ℍ . The unit vector 휉 ∈ ℍ is complementary to the given basis if 1 |〈푒, 휉〉| = √dim ℍ For all 푒 ∈ 픹, where dim ℍ is dimension of ℍ. Two orthonormal bases are called complementary if all vectors in the first basis are complementary to the other basis. • Postulates 4: The composite system is described by the tensor product Hilbert space ⨂ ℍ휗 휗 Given a density matrix on ⨂ ℍ there are density matrices ∈ ℬ(ℍ ) such that 휗 휗 휗 휗 tr ( ⨂ 훾(휗)) = tr(휗퐴휗) 훾 Where, 퐴휗, 훾 = 휗 훾(휗) ≔ { 푑ℍ휗, 훾 ≠ 휗 and 퐴휗 ∈ ℬ(ℍ휗), here 휗 is called reduced density matrices. Let, = ⨂ 휗 휗 Then we define 퐭퐫휸(흆) as follows: tr훾() ≔ tr(훾) ⨂ 휗 휗≠훾 Information and its Measures • Shannon entropy: In his revolutionary paper Shannon proposed a statistical approach and he posed the problem in the following way: “Suppose we have a set of possible events whose probabilities of occurrence are 푝1, 푝2, . , 푝푛. These probabilities are known but that is all we know concerning which event will occur. Can we find a measure of how much “choice” is involved in the selection of the event or how uncertain we are of the outcome?” Denoting such a measure by 퐻(푝1, 푝2, . , 푝푛), he listed three very reasonable requirements which should be satisfied, those three postulates are as follows: a. Continuity: 퐻(푝, 1 − 푝) is a continuous function of 푝. b. Symmetry: 퐻(푝1, 푝2, . , 푝푛), is a symmetric function of its variables. c. Recursion: For every 0 ≤ 휆 < 1 the recursion 퐻(푝1, . , 휆푝푟, . , (1 − 휆)푝푟. , 푝푛) = 퐻(푝1, 푝2, . , 푝푟. , 푝푛) + 푝푟퐻(휆, 1 − 휆), holds According to him there is only one function satisfying all this postulate is: 푛 퐻(푝1, 푝2, . , 푝푟. , 푝푛) = −휅 ∑ 푝푖푙푛(푝푖) 푖=1 푛 푛 Let (푋푖)푖=1 be random variables with values in the set 풳 ≔ ∏푖=1 풳푖. The following notation will be used. 푛 푛 푛 a. 푝(푥푖)푖=1 is probability of (푋푖)푖=1 at (푥푖)푖=1 b. 푝(푥푖|푥푗) is probability of 푋푖 at 푥푖 knowing the probability of 푋푗. at 푥푗 Then, 푛 푛 푛 퐻(푋푖)푖=1 ≔ − ∑ 푝(푥푖)푖=1 ln 푝(푥푖)푖=1 푛 (푥푖)푖=1∈풳 Where if 푛 = 2 퐻(푋푖, 푋푗) ≔ − ∑ ∑ 푝(푥푖, 푥푗) ln 푝(푥푖, 푥푗) 푥푖∈풳푖 푥푗∈풳푗 and 푛 푝(푥푖)푖=1 = 푝(푥2)푝(푥1|푥2, 푥3, … . 푥푛) Which leads to: 푛 푝 ((((푥1|푥2)|푥3)| … . ) |푥푛) 푛 푝(푥푖)푖=1 = ∏ 푝(푥2) 푝(푥1) 푖=1 푛 Theorem: If (푋푖)푖=1 are random variables of finite range, then 푛 푛 퐻(푋푖)푖=1 ≤ ∑ 퐻(푋푖) 푖=1 Proof: 푛 푛 푛 퐻(푋푖)푖=1 ≔ − ∑ 푝(푥푖)푖=1 ln 푝(푥푖)푖=1 푛 (푥푖)푖=1∈풳 And 푛 푛 푛 ∑ 퐻(푋푖) ≔ − ∑ ∏ 푝(푥2) ln ∏ 푝(푥2) 푛 푖=1 (푥푖)푖=1∈풳 푖=1 푖=1 And 푛 푛 ∏ 푝(푥2) ≤ 푝(푥푖)푖=1 푖=1 As 푝(푥1) ≤ 푝 ((((푥1|푥2)|푥3)| … . ) |푥푛) Hence, 푛 푛 퐻(푋푖)푖=1 ≤ ∑ 퐻(푋푖) 푖=1 Fano’s inequality: Let 푋 and 푌 be random variables such that their range is in a set of cardinality d and let 푝 ≔ 푃푟표푏(푋 ≠ 푌) .Then 퐻(푋|푌) ≤ 푝 푙표푔(푑 − 1) + 퐻(푝, 1 − 푝) • von Neumann Entropy: Let be density matrix of a quantum system then von Neumann Entropy of that quantum system: 푆() ≔ −휅 tr( ln ) Theorem: Let and be densities on a 푑 −dimensional Hilbert space and let ‖ − ‖ 푝 ≔ 1 2 + where ‖⋇‖1: ℬ(ℍ) → ℝ0 , is the norm on operator space ℬ(ℍ) of Hilbert space ℍ. Then, |푆() − 푆()| ≤ 푝 푙표푔(푑 − 1) + 퐻(푝, 1 − 푝) Holds. • Quantum Relative Entropy: The relative entropy, or I-divergence of the probability distributions 푝(푥) and 푞(푥), is defined as ∞ 푝(푥) 퐷(푝|| 푞) ≔ ∫ 푝(푥) ln 푑푥 푞(푥) −∞ Assume that and are density matrices on a Hilbert space ℍ , then tr (ln − ln ) if supp(ρ) ≤ supp() 푆(|| ) ≔ { +∞ 표푡ℎ푒푟푤푠푒 Hilbert–Schmidt inner product 훥푎 = 푎−1 For all 푎 ∈ ℬ(ℍ) 1 1 tr (ln − ln ) = − 〈2, (ln 훥)2〉 where, 〈퐴, 퐵〉 ≔ tr (퐴⋇퐵) and 퐴⋇ is conjugate of 퐴 1 ⋇ 1 tr (ln − ln ) = −tr ((2) (2) (ln 훥)) Let ≡ 푒퐻, 휔 and be three invertible densities. The 푒 − 푔푒표푑푒푠푐 connecting and is the curve 푒퐻+푡퐴 훾 (푡) ≔ 푒 tr(푒퐻+푡퐴) for all 푡 ∈ [0,1], where 퐴 ≔ ln − ln . Then, 훾푒(0) = and 훾푒(1) = . The 푚 − 푔푒표푑푒푠푐 connecting and 휔 is the curve. 훾푚(푡) ≔ + 푡퐵 for all 푡 ∈ [0,1] where 퐵 ≔ 휔 − . Then 훾푚(0) = and 훾푚(1) = ω Assume that the 푒 − 푔푒표푑푒푠푐 connecting and is orthogonal to the 푚 − 푔푒표푑푒푠푐 connecting and 휔 with respect to the inner product ∞ −1 ⋇ −1 〈퐸, 퐹〉휌 ≔ ∫ tr ((푠핀 + ) 퐸 (푠핀 + ) 퐹)푑푠 0 A plain computation yields 푆(휔||) + 푆(||) − 푆(휔||) = tr (퐴퐵) = 〈퐴, 퐵〉퐻푆 ∞ −1 −1 푇휌 ∶ 푋 ↦ ∫ (푠핀 + ) 푋(푠핀 + ) 푑푠 0 Them According Dénes Petz 〈푋, 푌〉퐻푆 = 〈푇휌(푋), 푌〉휌 And, 푇휌(퐴) = 훾푒̇ (0) It is obvious that: 퐵 = 훾푚̇ (0) Therefore 〈퐴, 퐵〉퐻푆 = 〈푇휌(퐴), 퐵〉휌 = 〈훾푒̇ (0), 훾푚̇ (0)〉휌 and we can conclude that if our assumption holds then that implies: 〈훾푒̇ (0), 훾푚̇ (0)〉휌 = 0 ⇒ 푆(휔||) + 푆(||) = 푆(휔||) This is some time called Pythagorean theorem of density matrix. • Renyi Entropy, Quantum Renyi Entropy and Quantum Relative Renyi Entropy: The Renyi entropy of order 훼 ≠ 1 of the probability distribution (푝1, 푝2, . , 푝푛) is defined by 푛 1 퐻 (푝 , 푝 , . , 푝 ) = ln ∑ 푝훼 훼 1 2 푛 1 − 훼 푘 푘=1 The Quantum Renyi entropy of order 훼 ≠ 1 of the density matrix is defined by 1 푆 () = ln tr (훼) 훼 1 − 훼 The Quantum Renyi entropy of order 훼 ≠ 1 of the density matrix with respect to is defined by 1 푆 (||) = ln tr (훼1−훼) 훼 훼 − 1 Entanglement Let ℬ(ℍ퐴) and ℬ(ℍ퐵) be the algebras of bounded operators acting on the Hilbert spaces ℍ퐴 and ℍ퐵. The Hilbert space of the composite system is ℍ퐴퐵 ≔ ℍ퐴 ⊗ ℍ퐵. The algebra of the operators acting on ℍ퐴퐵 is ℬ(ℍ퐴퐵) ≔ ℬ(ℍ퐴) ⊗ ℬ(ℍ퐵). In the vector space ℬ(ℍ) the standard positive cone is the set of all positive matrices. This cone induces the partial ordering. 퐴 ≤ 퐵 ⇔ 〈 휂, 퐴휂〉 ≤ 〈휂, 퐵휂〉 푓표푟 푒푣푒푟푦 푣푒푐푡표푟 휂 In the product space ℬ(ℍ퐴퐵) ≔ ℬ(ℍ퐴) ⊗ ℬ(ℍ퐵), we have two natural positive cones, + ℬ(ℍ퐴퐵) consists of the positive matrices acting on ℍ퐴퐵 ≔ ℍ퐴 ⊗ ℍ퐵, and the cone 풮 consists of all operators of the form ∑ 퐴푖⨂퐵푖 푖 + + + Where 퐴푖 ∈ ℬ(ℍ퐴) and 퐵푖 ∈ ℬ(ℍ퐵) .
Load more

Recommended publications
  • A Mini-Introduction to Information Theory
    A Mini-Introduction To Information Theory Edward Witten School of Natural Sciences, Institute for Advanced Study Einstein Drive, Princeton, NJ 08540 USA Abstract This article consists of a very short introduction to classical and quantum information theory. Basic properties of the classical Shannon entropy and the quantum von Neumann entropy are described, along with related concepts such as classical and quantum relative entropy, conditional entropy, and mutual information. A few more detailed topics are considered in the quantum case. arXiv:1805.11965v5 [hep-th] 4 Oct 2019 Contents 1 Introduction 2 2 Classical Information Theory 2 2.1 ShannonEntropy ................................... .... 2 2.2 ConditionalEntropy ................................. .... 4 2.3 RelativeEntropy .................................... ... 6 2.4 Monotonicity of Relative Entropy . ...... 7 3 Quantum Information Theory: Basic Ingredients 10 3.1 DensityMatrices .................................... ... 10 3.2 QuantumEntropy................................... .... 14 3.3 Concavity ......................................... .. 16 3.4 Conditional and Relative Quantum Entropy . ....... 17 3.5 Monotonicity of Relative Entropy . ...... 20 3.6 GeneralizedMeasurements . ...... 22 3.7 QuantumChannels ................................... ... 24 3.8 Thermodynamics And Quantum Channels . ...... 26 4 More On Quantum Information Theory 27 4.1 Quantum Teleportation and Conditional Entropy . ......... 28 4.2 Quantum Relative Entropy And Hypothesis Testing . ......... 32 4.3 Encoding
    [Show full text]
  • Some Trace Inequalities for Exponential and Logarithmic Functions
    Bull. Math. Sci. https://doi.org/10.1007/s13373-018-0123-3 Some trace inequalities for exponential and logarithmic functions Eric A. Carlen1 · Elliott H. Lieb2 Received: 8 October 2017 / Revised: 17 April 2018 / Accepted: 24 April 2018 © The Author(s) 2018 Abstract Consider a function F(X, Y ) of pairs of positive matrices with values in the positive matrices such that whenever X and Y commute F(X, Y ) = X pY q . Our first main result gives conditions on F such that Tr[X log(F(Z, Y ))]≤Tr[X(p log X + q log Y )] for all X, Y, Z such that TrZ = Tr X. (Note that Z is absent from the right side of the inequality.) We give several examples of functions F to which the theorem applies. Our theorem allows us to give simple proofs of the well known logarithmic inequalities of Hiai and Petz and several new generalizations of them which involve three variables X, Y, Z instead of just X, Y alone. The investigation of these logarith- mic inequalities is closely connected with three quantum relative entropy functionals: The standard Umegaki quantum relative entropy D(X||Y ) = Tr[X(log X − log Y ]), and two others, the Donald relative entropy DD(X||Y ), and the Belavkin–Stasewski relative entropy DBS(X||Y ). They are known to satisfy DD(X||Y ) ≤ D(X||Y ) ≤ DBS(X||Y ). We prove that the Donald relative entropy provides the sharp upper bound, independent of Z on Tr[X log(F(Z, Y ))] in a number of cases in which F(Z, Y ) is homogeneous of degree 1 in Z and −1inY .
    [Show full text]
  • Lecture 18 — October 26, 2015 1 Overview 2 Quantum Entropy
    PHYS 7895: Quantum Information Theory Fall 2015 Lecture 18 | October 26, 2015 Prof. Mark M. Wilde Scribe: Mark M. Wilde This document is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License. 1 Overview In the previous lecture, we discussed classical entropy and entropy inequalities. In this lecture, we discuss several information measures that are important for quantifying the amount of information and correlations that are present in quantum systems. The first fundamental measure that we introduce is the von Neumann entropy. It is the quantum generalization of the Shannon entropy, but it captures both classical and quantum uncertainty in a quantum state. The von Neumann entropy gives meaning to a notion of the information qubit. This notion is different from that of the physical qubit, which is the description of a quantum state of an electron or a photon. The information qubit is the fundamental quantum informational unit of measure, determining how much quantum information is present in a quantum system. The initial definitions here are analogous to the classical definitions of entropy, but we soon discover a radical departure from the intuitive classical notions from the previous chapter: the conditional quantum entropy can be negative for certain quantum states. In the classical world, this negativity simply does not occur, but it takes a special meaning in quantum information theory. Pure quantum states that are entangled have stronger-than-classical correlations and are examples of states that have negative conditional entropy. The negative of the conditional quantum entropy is so important in quantum information theory that we even have a special name for it: the coherent information.
    [Show full text]
  • From Joint Convexity of Quantum Relative Entropy to a Concavity Theorem of Lieb
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 140, Number 5, May 2012, Pages 1757–1760 S 0002-9939(2011)11141-9 Article electronically published on August 4, 2011 FROM JOINT CONVEXITY OF QUANTUM RELATIVE ENTROPY TO A CONCAVITY THEOREM OF LIEB JOEL A. TROPP (Communicated by Marius Junge) Abstract. This paper provides a succinct proof of a 1973 theorem of Lieb that establishes the concavity of a certain trace function. The development relies on a deep result from quantum information theory, the joint convexity of quantum relative entropy, as well as a recent argument due to Carlen and Lieb. 1. Introduction In his 1973 paper on trace functions, Lieb establishes an important concavity theorem [Lie73, Thm. 6] concerning the trace exponential. Theorem 1 (Lieb). Let H be a fixed self-adjoint matrix. The map (1) A −→ tr exp (H +logA) is concave on the positive-definite cone. The most direct proof of Theorem 1 is due to Epstein [Eps73]; see Ruskai’s papers [Rus02, Rus05] for a condensed version of this argument. Lieb’s original proof develops the concavity of the function (1) as a corollary of another deep concavity theorem [Lie73, Thm. 1]. In fact, many convexity and concavity theorems for trace functions are equivalent with each other, in the sense that the mutual implications follow from relatively easy arguments. See [Lie73, §5] and [CL08, §5] for discussions of this point. The goal of this paper is to demonstrate that a modicum of convex analysis allows us to derive Theorem 1 directly from another major theorem, the joint convexity of the quantum relative entropy.
    [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]
  • Quantum Information Chapter 10. Quantum Shannon Theory
    Quantum Information Chapter 10. Quantum Shannon Theory John Preskill Institute for Quantum Information and Matter California Institute of Technology Updated June 2016 For further updates and additional chapters, see: http://www.theory.caltech.edu/people/preskill/ph219/ Please send corrections to [email protected] Contents 10 Quantum Shannon Theory 1 10.1 Shannon for Dummies 2 10.1.1 Shannon entropy and data compression 2 10.1.2 Joint typicality, conditional entropy, and mutual infor- mation 6 10.1.3 Distributed source coding 8 10.1.4 The noisy channel coding theorem 9 10.2 Von Neumann Entropy 16 10.2.1 Mathematical properties of H(ρ) 18 10.2.2 Mixing, measurement, and entropy 20 10.2.3 Strong subadditivity 21 10.2.4 Monotonicity of mutual information 23 10.2.5 Entropy and thermodynamics 24 10.2.6 Bekenstein’s entropy bound. 26 10.2.7 Entropic uncertainty relations 27 10.3 Quantum Source Coding 30 10.3.1 Quantum compression: an example 31 10.3.2 Schumacher compression in general 34 10.4 Entanglement Concentration and Dilution 38 10.5 Quantifying Mixed-State Entanglement 45 10.5.1 Asymptotic irreversibility under LOCC 45 10.5.2 Squashed entanglement 47 10.5.3 Entanglement monogamy 48 10.6 Accessible Information 50 10.6.1 How much can we learn from a measurement? 50 10.6.2 Holevo bound 51 10.6.3 Monotonicity of Holevo χ 53 10.6.4 Improved distinguishability through coding: an example 54 10.6.5 Classical capacity of a quantum channel 58 ii Contents iii 10.6.6 Entanglement-breaking channels 62 10.7 Quantum Channel Capacities and Decoupling
    [Show full text]
  • Geometry of Quantum States
    Geometry of Quantum States Ingemar Bengtsson and Karol Zyczk_ owski An Introduction to Quantum Entanglement 12 Density matrices and entropies A given object of study cannot always be assigned a unique value, its \entropy". It may have many different entropies, each one worthwhile. |Harold Grad In quantum mechanics, the von Neumann entropy S(ρ) = Trρ ln ρ (12.1) − plays a role analogous to that played by the Shannon entropy in classical prob- ability theory. They are both functionals of the state, they are both monotone under a relevant kind of mapping, and they can be singled out uniquely by natural requirements. In section 2.2 we recounted the well known anecdote ac- cording to which von Neumann helped to christen Shannon's entropy. Indeed von Neumann's entropy is older than Shannon's, and it reduces to the Shan- non entropy for diagonal density matrices. But in general the von Neumann entropy is a subtler object than its classical counterpart. So is the quantum relative entropy, that depends on two density matrices that perhaps cannot be diagonalized at the same time. Quantum theory is a non{commutative proba- bility theory. Nevertheless, as a rule of thumb we can pass between the classical discrete, classical continuous, and quantum cases by choosing between sums, integrals, and traces. While this rule of thumb has to be used cautiously, it will give us quantum counterparts of most of the concepts introduced in chapter 2, and conversely we can recover chapter 2 by restricting the matrices of this chapter to be diagonal. 12.1 Ordering operators The study of quantum entropy is to a large extent a study in inequalities, and this is where we begin.
    [Show full text]
  • Arxiv:1512.06117V3 [Quant-Ph] 11 Apr 2017 Nrp 2] F Lo[6.Adffrn Ro O H Monotoni the for Proof Different : a Φ That Condition [36]
    Monotonicity of the Quantum Relative Entropy Under Positive Maps Alexander M¨uller-Hermes1 and David Reeb2 1QMATH, Department of Mathematical Sciences, University of Copenhagen, 2100 Copenhagen, Denmark∗ 2Institute for Theoretical Physics, Leibniz Universit¨at Hannover, 30167 Hannover, Germany† We prove that the quantum relative entropy decreases monotonically under the applica- tion of any positive trace-preserving linear map, for underlying separable Hilbert spaces. This answers in the affirmative a natural question that has been open for a long time, as monotonicity had previously only been shown to hold under additional assumptions, such as complete positivity or Schwarz-positivity of the adjoint map. The first step in our proof is to show monotonicity of the sandwiched Renyi divergences under positive trace-preserving maps, extending a proof of the data processing inequality by Beigi [J. Math. Phys. 54, 122202 (2013)] that is based on complex interpolation techniques. Our result calls into ques- tion several measures of non-Markovianity that have been proposed, as these would assess all positive trace-preserving time evolutions as Markovian. I. INTRODUCTION For any pair of quantum states ρ, σ acting on the same Hilbert space H, the quantum relative entropy is defined by tr[ρ(log ρ − log σ)], if supp[ρ] ⊆ supp[σ] D(ρkσ) := (1) (+∞, otherwise. It was first introduced by Umegaki [43] as a quantum generalization of the classical Kullback- Leibler divergence between probability distributions [18]. Both are distance-like measures, also called divergences, and have found a multitude of applications and operational interpretations in diverse fields like information theory, statistics, and thermodynamics. We refer to the review [45] and the monograph [30] for more details on the quantum relative entropy.
    [Show full text]
  • Lecture Notes Live Here
    Physics 239/139: Quantum information is physical Spring 2018 Lecturer: McGreevy These lecture notes live here. Please email corrections to mcgreevy at physics dot ucsd dot edu. THESE NOTES ARE SUPERSEDED BY THE NOTES HERE Schr¨odinger's cat and Maxwell's demon, together at last. Last updated: 2021/05/09, 15:30:29 1 Contents 0.1 Introductory remarks............................4 0.2 Conventions.................................7 0.3 Lightning quantum mechanics reminder..................8 1 Hilbert space is a myth 11 1.1 Mean field theory is product states.................... 14 1.2 The local density matrix is our friend................... 16 1.3 Complexity and the convenient illusion of Hilbert space......... 19 2 Quantifying information 26 2.1 Relative entropy............................... 33 2.2 Data compression.............................. 37 2.3 Noisy channels............................... 43 2.4 Error-correcting codes........................... 49 3 Information is physical 53 3.1 Cost of erasure............................... 53 3.2 Second Laws of Thermodynamics..................... 59 4 Quantifying quantum information and quantum ignorance 64 4.1 von Neumann entropy........................... 64 4.2 Quantum relative entropy......................... 67 4.3 Purification, part 1............................. 69 4.4 Schumacher compression.......................... 71 4.5 Quantum channels............................. 73 4.6 Channel duality............................... 79 4.7 Purification, part 2............................. 84 4.8 Deep
    [Show full text]
  • Quantum Entropy and Its Applications to Quantum Communication and Statistical Physics
    Entropy 2010, 12, 1194-1245; doi:10.3390/e12051194 OPEN ACCESS entropy ISSN 1099-4300 www.mdpi.com/journal/entropy Review Quantum Entropy and Its Applications to Quantum Communication and Statistical Physics Masanori Ohya ? and Noboru Watanabe ? Department of Information Sciences, Tokyo University of Science, Noda City, Chiba 278-8510, Japan ? Author to whom correspondence should be addressed; E-Mails: [email protected] (M.O.); [email protected] (N.W.). Received: 10 February 2010 / Accepted: 30 April 2010 / Published: 7 May 2010 Abstract: Quantum entropy is a fundamental concept for quantum information recently developed in various directions. We will review the mathematical aspects of quantum entropy (entropies) and discuss some applications to quantum communication, statistical physics. All topics taken here are somehow related to the quantum entropy that the present authors have been studied. Many other fields recently developed in quantum information theory, such as quantum algorithm, quantum teleportation, quantum cryptography, etc., are totally discussed in the book (reference number 60). Keywords: quantum entropy; quantum information 1. Introduction Theoretical foundation supporting today’s information-oriented society is Information Theory founded by Shannon [1] about 60 years ago. Generally, this theory can treat the efficiency of the information transmission by using measures of complexity, that is, the entropy, in the commutative system of signal space. The information theory is based on the entropy theory that is formulated mathematically. Before Shannon’s work, the entropy was first introduced in thermodynamics by Clausius and in statistical mechanics by Boltzmann. These entropies are the criteria to characterize a property of the physical systems.
    [Show full text]
  • Arxiv:1912.00983V4 [Quant-Ph] 19 Apr 2021
    QUASI-FACTORIZATION AND MULTIPLICATIVE COMPARISON OF SUBALGEBRA-RELATIVE ENTROPY NICHOLAS LARACUENTE Abstract. Purely multiplicative comparisons of quantum relative entropy are desirable but challenging to prove. We show such comparisons for relative entropies between comparable densities, including subalgebra-relative entropy and its perturbations. These inequalities are asymptotically tight in approaching known, tight inequalities as perturbation size approaches zero. Following, we obtain a quasi-factorization inequality, which compares the relative entropies to each of several subalgebraic restrictions with that to their intersection. We apply quasi- factorization to uncertainty-like relations and to conditional expectations arising from graphs. Quasi-factorization yields decay estimates of optimal asymptotic order on mixing processes de- scribed by finite, connected, undirected graphs. 1. Introduction The strong subadditivity (SSA) of von Neumann entropy states that for a tripartite density ρABC on systems ABC, H(AC)ρ + H(BC)ρ ≥ H(ABC)ρ + H(C)ρ ; (1) where the von Neumann entropy H(ρ) := − tr(ρ log ρ), and H(A)ρ := H(trBC (ρ)). Lieb and Ruskai proved SSA in 1973 [LR73]. SSA's impacts range from quantum Shannon theory [Wil13] to holographic spacetime [CKPT14]. A later form by Petz in 1991 generalizes from subsystems to subalgebras. Let M be a von Neumann algebra and N be a subalgebra. Associated with N is a unique conditional expectation EN that projects an operator in M onto N . We will denote by EN the trace-preserving, unital, completely positive conditional expectations from M to N . If S; T ⊆ M as subalgebras, we call them a commuting square if ES ET = ET ES = ES\T , the conditional expectation onto their arXiv:1912.00983v5 [quant-ph] 31 Aug 2021 intersection.
    [Show full text]
  • Quantum Information Chapter 10. Quantum Shannon Theory
    Quantum Information Chapter 10. Quantum Shannon Theory John Preskill Institute for Quantum Information and Matter California Institute of Technology Updated January 2018 For further updates and additional chapters, see: http://www.theory.caltech.edu/people/preskill/ph219/ Please send corrections to [email protected] Contents page v Preface vi 10 Quantum Shannon Theory 1 10.1 Shannon for Dummies 1 10.1.1Shannonentropyanddatacompression 2 10.1.2 Joint typicality, conditional entropy, and mutual information 4 10.1.3 Distributed source coding 6 10.1.4 The noisy channel coding theorem 7 10.2 Von Neumann Entropy 12 10.2.1 Mathematical properties of H(ρ) 14 10.2.2Mixing,measurement,andentropy 15 10.2.3 Strong subadditivity 16 10.2.4Monotonicityofmutualinformation 18 10.2.5Entropyandthermodynamics 19 10.2.6 Bekenstein’s entropy bound. 20 10.2.7Entropicuncertaintyrelations 21 10.3 Quantum Source Coding 23 10.3.1Quantumcompression:anexample 24 10.3.2 Schumacher compression in general 27 10.4 EntanglementConcentrationandDilution 30 10.5 QuantifyingMixed-StateEntanglement 35 10.5.1 AsymptoticirreversibilityunderLOCC 35 10.5.2 Squashed entanglement 37 10.5.3 Entanglement monogamy 38 10.6 Accessible Information 39 10.6.1 Howmuchcanwelearnfromameasurement? 39 10.6.2 Holevo bound 40 10.6.3 Monotonicity of Holevo χ 41 10.6.4 Improved distinguishability through coding: an example 42 10.6.5 Classicalcapacityofaquantumchannel 45 10.6.6 Entanglement-breaking channels 49 10.7 Quantum Channel Capacities and Decoupling 50 10.7.1 Coherent information and the
    [Show full text]