DOCSLIB.ORG

Arxiv:1004.4110V1 [Quant-Ph]

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:1004.4110V1 [Quant-Ph] Computing the distance between quantum channels: Usefulness of the Fano representation 1,2, 3, Giuliano Benenti ∗ and Giuliano Strini † 1CNISM, CNR-INFM, and Center for Nonlinear and Complex Systems, Universit`adegli Studi dell’Insubria, via Valleggio 11, 22100 Como, Italy 2Istituto Nazionale di Fisica Nucleare, Sezione di Milano, via Celoria 16, 20133 Milano, Italy 3Dipartimento di Fisica, Universit`adegli Studi di Milano, via Celoria 16, 20133 Milano, Italy (Dated: April 26, 2010) The diamond norm measures the distance between two quantum channels. From an operational vewpoint, this norm measures how well we can distinguish between two channels by applying them to input states of arbitrarily large dimensions. In this paper, we show that the diamond norm can be conveniently and in a physically transparent way computed by means of a Monte-Carlo algorithm based on the Fano representation of quantum states and quantum operations. The effectiveness of this algorithm is illustrated for several single-qubit quantum channels. PACS numbers: 03.65.Yz, 03.67.-a I. INTRODUCTION cated semidefinite programming or convex optimization. On the other hand, analytical solutions are limited to special classes of channels [7, 8]. In this paper, we pro- Quantum information processes in a noisy environment pose a simple and easily parallelizable Monte-Carlo al- quantum chan- are conveniently described in terms of gorithm based on the Fano representation of quantum nels , that is, linear, trace preserving, completely positive states and quantum operations. We show that our al- maps on the set of quantum states [1, 2]. The problem gorithm provides reliable results for the case, most sig- of discriminating quantum channels is of great interest. nificant for present-day implementations of quantum in- For instance, knowing the correct noise model might pro- formation processing, of single-qubit quantum channels. vide useful information to devise efficient error-correcting Furthermore, in the Fano representation quantum opera- strategies, both in the fields of quantum communication tions are described by affine maps whose matrix elements and quantum computation. have precise physical meaning: They are directly related It is therefore natural to consider distances between to the evolution of the expectation values of the system’s quantum channels, that is to say, we would like to quan- polarization measurements [1, 14, 15]. tify how similarly two channels 1 and 2 act on quantum The paper is organized as follows. After reviewing in E E states, or in other words to determine if there are input Sec. II basic definitions of the distance between quantum states ρ on which the two channels produce output states channels, we discuss in Sec. III two numerical Monte- ρ′ = 1(ρ) and ρ′ = 2(ρ) that are distinguishable. The Carlo strategies for computing the diamond norm. The 1 E 2 E trace norm of ρ′ ρ′ represents how well ρ′ and ρ′ can be first one is based on the Kitaev’s characterization of the 1− 2 1 2 distinguished by a measurement [3]: the more orthogonal diamond norm. The second one is based on the Fano rep- two quantum states are, the easier it is to discriminate resentation of quantum states and quantum operations. them. The trace distance of two quantum channels is The two methods are compared in Sec. IV for a few phys- arXiv:1004.4110v1 [quant-ph] 23 Apr 2010 then obtained after maximizing the trace norm of ρ′ ρ′ ically significant single-qubit quantum channels. Finally, 1 − 2 over the input state ρ. However, the trace norm is not our conclusions are drawn in Sec. V. a good measure of the distance between quantum chan- nels. Indeed, in general the presence in the input state of entanglement with an ancillary system can help discrim- II. THE DIAMOND NORM inating quantum channels [4–8]. This fact is captured by the diamond norm [9, 10]: the trace distance between the overall output states (including the ancillary system) is A. Basic definitions optimized over all possible input states, including those entangled. We consider the following problem: given two quantum The computation of the diamond norm is not known channels 1 and 2, and a single channel use, chosen uni- formly atE randomE from , , we wish to maximize the to be straightforward and only a limited number of al- {E1 E2} gorithms have been proposed [11–13], based on compli- probability of correctly identifying the quantum channel. It seems natural to reformulate the optimization problem into the problem of finding an input state (density ma- trix) ρ in the Hilbert space such that the error prob- H ∗Electronic address: [email protected] ability in the discrimination of the output states 1(ρ) E †Electronic address: [email protected] and (ρ) is minimal. In this case, the minimal error E2 2 probability reads Note that the space is traced out in the definition of Ψ , Ψ , rather thanH the space . Finally, it turns out A B R 1 1 2 1 that [9, 10] p′ = ||E −E || , E 2 − 4 (1) = Fmax(ΨA, ΨB), (6) ⋄ 1 max (ρ) 1, ||E|| ||E|| ≡ ρ ||E || where Fmax(ΨA, ΨB) is the maximum output fidelity of Ψ and Ψ , defined as where X Tr√X X denotes the trace norm. A B || ||1 ≡ † The superoperator trace distance 1 2 1 is, how- ||E −E || Fmax(ΨA, ΨB) = max F [ΨA(ρ1), ΨB(ρ2)], (7) ever, not a good definition of the distance between two ρ1,ρ2 quantum operations. The point is that in general it is where ρ ,ρ are density matrices in , and the fidelity possible to exploit quantum entanglement to increase the 1 2 H distinguishability of two quantum channels. In this case, F is defined as an ancillary Hilbert space is introduced, the input state K 1/2 1/2 ξ is a density matrix in , and the quantum opera- F (ΨA, ΨB) = Tr ΨA ΨBΨA . (8) tions are trivially extendedK ⊗ to H . That is to say, the out- K put states to discriminate are (I 1)ξ and (I 2)ξ, Note that ΨA, ΨB are not density matrices: the condi- K ⊗E K ⊗E where is the identity map acting on . The minimal tions Tr(ΨA) = 1, Tr(ΨB) = 1 are not satisfied. error probabilityIK reads K 1 1 2 III. COMPUTING THE DIAMOND NORM p = ||E −E ||⋄ , E 2 − 4 (2) We numerically compute the distance (induced by the max ( )ξ 1, ||E||⋄ ≡ ξ || IK ⊗E || diamond norm) between two quantum channels 1 and 2 using two Monte-Carlo algorithms. The first oneE is basedE where denotes the diamond norm of . It is clear on the direct computation of 1 2 , with the output ||E||⋄ E ||E −E ||⋄ from definition (2) that states ( 1)ξ and ( 2)ξ in Eq. (2) computed from ξ ItakingK ⊗E advantageIK of⊗E the Fano representation of = 1 1 (3) quantum states and quantum operations. The second ||E||⋄ ||IK ⊗ E|| ≥ ||E|| Monte-Carlo algorithm uses the Kitaev’s representation and therefore p p′ , so that it can be convenient to E ≤ E of the diamond norm to compute the maximum output use an ancillary system to better discriminate two quan- fidelity Fmax of Eq. (7). In the following, we will refer tum operations after a single channel use. The two quan- to the two above Monte-Carlo algorithms as F-algorithm tum channels and become perfectly distinguishable E1 E2 and K-algorithm, respectively. For the sake of simplicity (pE = 0) when their diamond distance 1 2 = 2. we will confine ourselves to one-qubit quantum channels, ||E −E ||⋄ It turns out that the diamond norm does not depend even though the two algorithms can be easily formulated on , provided dim( ) dim( ) [9]. Due to the con- for two- or many-qubit channels. vexityK of the trace norm,K ≥ it can beH shown that the maxi- mum in both Eqs. (1) and (2) is achieved for pure input states [16]. A. The F-algorithm In this section we describe the F-algorithm, which we B. Kitaev’s characterization of the diamond norm will use to directly compute the diamond norm (2), with the maximum taken over a large number of randomly Kitaev provided a different equivalent characterization chosen input states ξ. A convexity argument shows of the diamond norm, see, e.g., [9, 10]. Any superoperator that it is sufficient to optimize over pure input states (not necessarily completely positive) : L( ) L( ), ξ = Ψ Ψ [16]. For one-qubit channels, it is enough to E H → H with L( ) space of linear operators mapping to itself, add a| single | ancillary qubit when computing the diamond H H can be expressed as norm [9]. Therefore, we can write (X) = Tr (AXB†), (4) Ψ = C 00 + C 01 + C 10 + C 11 , (9) E R | 00| 01| 10| 11| where X L( ), A and B linear operators from to with , with∈ H auxiliary Hilbert space and dim( H) R ⊗ H R R ≤ [dim( )]. It is then possible to define completely positive C00 = cos θ1 cos θ2, H iφ1 superoperators ΨA, ΨB : L( ) L( ): C01 = cos θ1 sin θ2e , H → R iφ2 (10) C10 = sin θ1 cos θ3e , iφ3 ΨA(X) = Tr (AXA†), ΨB(X) = Tr (BXB†). (5) C11 = sin θ1 sin θ3e , H H 3 π where the angles θi 0, 2 and the phase φi [0, 2π]. B. The K-algorithm Hence, the maximization∈ in the diamond norm is∈ over the 6 real parameters θ1,θ2,θ3, and φ1, φ2, φ3. Of course, We consider a special and unnormalized state in the the number of parameters can be reduced for specific extended Hilbert space : channels when there are symmetries.
Load more

Recommended publications
  • Front Matter of the Book Contains a Detailed Table of Contents, Which We Encourage You to Browse
    Cambridge University Press 978-1-107-00217-3 - Quantum Computation and Quantum Information: 10th Anniversary Edition Michael A. Nielsen & Isaac L. Chuang Frontmatter More information Quantum Computation and Quantum Information 10th Anniversary Edition One of the most cited books in physics of all time, Quantum Computation and Quantum Information remains the best textbook in this exciting field of science. This 10th Anniversary Edition includes a new Introduction and Afterword from the authors setting the work in context. This comprehensive textbook describes such remarkable effects as fast quantum algorithms, quantum teleportation, quantum cryptography, and quantum error-correction. Quantum mechanics and computer science are introduced, before moving on to describe what a quantum computer is, how it can be used to solve problems faster than “classical” computers, and its real-world implementation. It concludes with an in-depth treatment of quantum information. Containing a wealth of figures and exercises, this well-known textbook is ideal for courses on the subject, and will interest beginning graduate students and researchers in physics, computer science, mathematics, and electrical engineering. MICHAEL NIELSEN was educated at the University of Queensland, and as a Fulbright Scholar at the University of New Mexico. He worked at Los Alamos National Laboratory, as the Richard Chace Tolman Fellow at Caltech, was Foundation Professor of Quantum Information Science and a Federation Fellow at the University of Queensland, and a Senior Faculty Member at the Perimeter Institute for Theoretical Physics. He left Perimeter Institute to write a book about open science and now lives in Toronto. ISAAC CHUANG is a Professor at the Massachusetts Institute of Technology, jointly appointed in Electrical Engineering & Computer Science, and in Physics.
    [Show full text]
  • Quantifying Bell Nonlocality with the Trace Distance
    PHYSICAL REVIEW A 97, 022111 (2018) Quantifying Bell nonlocality with the trace distance S. G. A. Brito,1 B. Amaral,1,2 and R. Chaves1 1International Institute of Physics, Federal University of Rio Grande do Norte, 59078-970, P. O. Box 1613, Natal, Brazil 2Departamento de Física e Matemática, CAP - Universidade Federal de São João del-Rei, 36.420-000, Ouro Branco, MG, Brazil (Received 15 September 2017; published 21 February 2018) Measurements performed on distant parts of an entangled quantum state can generate correlations incompatible with classical theories respecting the assumption of local causality. This is the phenomenon known as quantum nonlocality that, apart from its fundamental role, can also be put to practical use in applications such as cryptography and distributed computing. Clearly, developing ways of quantifying nonlocality is an important primitive in this scenario. Here, we propose to quantify the nonlocality of a given probability distribution via its trace distance to the set of classical correlations. We show that this measure is a monotone under the free operations of a resource theory and, furthermore, that it can be computed efficiently with a linear program. We put our framework to use in a variety of relevant Bell scenarios also comparing the trace distance to other standard measures in the literature. DOI: 10.1103/PhysRevA.97.022111 I. INTRODUCTION it can stand before becoming local. Interestingly, these two measures can be inversely related as demonstrated by the With the establishment of quantum information science, the fact that in the Clauser-Horne-Shimony-Holt (CHSH) scenario often-called counterintuitive features of quantum mechanics [28], the resistance against detection inefficiency increases as such as entanglement [1] and nonlocality [2] have been we decrease the entanglement of the state [13] (also reducing raised to the status of a physical resource that can be used the violation the of CHSH inequality).
    [Show full text]
  • Arxiv:2102.13630V1 [Quant-Ph] 26 Feb 2021
    Randomness Amplification under Simulated PT -symmetric Evolution Leela Ganesh Chandra Lakkaraju1, Shiladitya Mal1,2, Aditi Sen(De)1 1 Harish-Chandra Research Institute and HBNI, Chhatnag Road, Jhunsi, Allahabad - 211019, India 2 Department of Physics and Center for Quantum Frontiers of Research and Technology (QFort), National Cheng Kung University, Tainan 701, Taiwan PT -symmetric quantum theory does not require the Hermiticity property of observables and hence allows a rich class of dynamics. Based on PT -symmetric quantum theory, various counter- intuitive phenomena like faster evolution than that allowed in standard quantum mechanics, single- shot discrimination of nonorthogonal states has been reported invoking Gedanken experiments. By exploiting open-system experimental set-up as well as by computing the probability of distinguish- ing two states, we prove here that if a source produces an entangled state shared between two parties, Alice and Bob, situated in a far-apart location, the information about the operations performed by Alice whose subsystem evolves according to PT -symmetric Hamiltonian can be gathered by Bob, if the density matrix is in complex Hilbert space. Employing quantum simulation of PT -symmetric evolution, feasible with currently available technologies, we also propose a scheme of sharing quan- tum random bit-string between two parties when one of them has access to a source generating pseudo-random numbers. We find evidences that the task becomes more efficient with the increase of dimension. I. INTRODUCTION shown to be violated in the Gedanken experimental set-up [27]. Violation of these fundamentally signif- Among the postulates of quantum mechanics, the re- icant no-go theorems have deep consequences in the quirement of the Hermiticity property for the observ- verification of the viability of quantum theory.
    [Show full text]
  • Application of Quantum Pinsker Inequality to Quantum Communications
    ISSN 2186-6570 Application of quantum Pinsker inequality to quantum communications Osamu Hirota Research Center for Quantum Communication, Quantum ICT Research Institute, Tamagawa University 6-1-1 Tamagawa-gakuen, Machida, Tokyo 194-8610, Japan Tamagawa University Quantum ICT Research Institute Bulletin, Vol.9, No.1, 1-7, 2019 ©Tamagawa University Quantum ICT Research Institute 2019 All rights reserved. No part of this publication may be reproduced in any form or by any means electrically, mechanically, by photocopying or otherwise, without prior permission of the copy right owner. Tamagawa University Quantum ICT Research Institute Bulletin 1 Vol.9 No.1 : 1―7（2019） Application of quantum Pinsker inequality to quantum communications Osamu Hirota Research Center for Quantum Communication, Quantum ICT Research Institute, Tamagawa University 6-1-1 Tamagawa-gakuen, Machida, Tokyo 194-8610, Japan E-mail: [email protected] Abstract—Back in the 1960s, based on Wiener’s thought, clearly defines very common signals processed in human Shikao Ikehara (first student of N.Wiener) encouraged the social activities and it is applied to the communication progress of Hisaharu Umegaki’s research from a pure system with the operational meanings for the relevant mathematical aspect in order to further develop the research on mathematical methods of quantum information at Tokyo information processing. Quantum information theory as Institute of Technology. Then, in the 1970s, based on the mathematics can be modeled on it. However, unlike Shan- results accomplished by Umegaki Group, Ikehara instructed non information, quantum entropy lacks versatility regard the author to develop and spread quantum information for operational meaning on information transmission.
    [Show full text]
  • Non-Markovian Dynamics in Open Quantum Systems
    Non-Markovian dynamics in open quantum systems Heinz-Peter Breuer Physikalisches Institut, Universit¨atFreiburg, Hermann-Herder-Straße 3, D-79104 Freiburg, Germany Elsi-Mari Laine QCD Labs, COMP Centre of Excellence, Department of Applied Physics, Aalto University, P.O. Box 13500, FI-00076 AALTO, Finland Jyrki Piilo Turku Centre for Quantum Physics, Department of Physics and Astronomy, University of Turku, FI-20014 Turun yliopisto, Finland Bassano Vacchini Dipartimento di Fisica, Universit`adegli Studi di Milano, Via Celoria 16, I-20133 Milan, Italy INFN, Sezione di Milano, Via Celoria 16, I-20133 Milan, Italy (Dated: May 7, 2015) The dynamical behavior of open quantum systems plays a key role in many applica- tions of quantum mechanics, examples ranging from fundamental problems, such as the environment-induced decay of quantum coherence and relaxation in many-body sys- tems, to applications in condensed matter theory, quantum transport, quantum chem- istry and quantum information. In close analogy to a classical Markovian stochastic process, the interaction of an open quantum system with a noisy environment is often modeled phenomenologically by means of a dynamical semigroup with a corresponding time-independent generator in Lindblad form, which describes a memoryless dynamics of the open system typically leading to an irreversible loss of characteristic quantum fea- tures. However, in many applications open systems exhibit pronounced memory effects and a revival of genuine quantum properties such as quantum coherence, correlations and entanglement. Here, recent theoretical results on the rich non-Markovian quantum arXiv:1505.01385v1 [quant-ph] 6 May 2015 dynamics of open systems are discussed, paying particular attention to the rigorous mathematical definition, to the physical interpretation and classification, as well as to the quantification of quantum memory effects.
    [Show full text]
  • The Monge Metric on the Sphere and Geometry of Quantum States
    INSTITUTE OF PHYSICS PUBLISHING JOURNAL OF PHYSICS A: MATHEMATICAL AND GENERAL J. Phys. A: Math. Gen. 34 (2001) 6689–6722 PII: S0305-4470(01)18080-7 The Monge metric on the sphere and geometry of quantum states Karol Zyczkowski˙ 1,2 and Wojciech Słomczynski´ 3 1 Centrum Fizyki Teoretycznej, Polska Akademia Nauk, Al. Lotnikow´ 32, 02-668 Warszawa, Poland 2 Instytut Fizyki im. Mariana Smoluchowskiego, Uniwersytet Jagiellonski,´ ul. Reymonta 4, 30-059 Krakow,´ Poland 3 Instytut Matematyki, Uniwersytet Jagiellonski,´ ul. Reymonta 4, 30-059 Krakow,´ Poland E-mail: [email protected] and [email protected] Received 18 October 2000, in final form 14 June 2001 Published 17 August 2001 Online at stacks.iop.org/JPhysA/34/6689 Abstract Topological and geometrical properties of the set of mixed quantum states in the N-dimensional Hilbert space are analysed. Assuming that the corresponding classical dynamics takes place on the sphere we use the vector SU(2) coherent states and the generalized Husimi distributions to define the Monge distance between two arbitrary density matrices. The Monge metric has a simple semiclassical interpretation and induces a non-trivial geometry. Among all pure states the distance from the maximally mixed state ρ∗, proportional to the identity matrix, admits the largest value for the coherent states, while the delocalized ‘chaotic’ states are close to ρ∗. This contrasts the geometry induced by the standard (trace, Hilbert–Schmidt or Bures) metrics, for which the distance from ρ∗ is the same for all pure states. We discuss possible physical consequences including unitary time evolution and the process of decoherence.
    [Show full text]
  • Generalized Trace-Distance Measure Connecting Quantum and Classical Non-Markovianity
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by AIR Universita degli studi di Milano PHYSICAL REVIEW A 92, 042108 (2015) Generalized trace-distance measure connecting quantum and classical non-Markovianity Steffen Wißmann and Heinz-Peter Breuer Physikalisches Institut, Universitat¨ Freiburg, Hermann-Herder-Straße 3, D-79104 Freiburg, Germany Bassano Vacchini Dipartimento di Fisica, Universita` degli Studi di Milano, Via Celoria 16, I-20133 Milan, Italy and INFN, Sezione di Milano, Via Celoria 16, I-20133 Milan, Italy (Received 31 July 2015; published 12 October 2015) We establish a direct connection of quantum Markovianity of an open system to its classical counterpart by generalizing the criterion based on the information flow. Here the flow is characterized by the time evolution of Helstrom matrices, given by the weighted difference of statistical operators, under the action of the quantum dynamical map. It turns out that the introduced criterion is equivalent to P divisibility of a quantum process, namely, divisibility in terms of positive maps, which provides a direct connection to classical Markovian stochastic processes. Moreover, it is shown that mathematical representations similar to those found for the original trace-distance-based measure hold true for the associated generalized measure for quantum non-Markovianity. That is, we prove orthogonality of optimal states showing a maximal information backflow and establish a local and universal representation of the measure. We illustrate some properties of the generalized criterion by means of examples. DOI: 10.1103/PhysRevA.92.042108 PACS number(s): 03.65.Yz, 03.65.Ta, 03.67.−a, 02.50.−r I.
    [Show full text]
  • Command of Quantum Systems Via Rigidity of CHSH Games
    A classical leash for a quantum system: Command of quantum systems via rigidity of CHSH games Ben W. Reichardt Falk Unger Umesh Vazirani University of Southern California Knight Capital Group UC Berkeley Abstract Can a classical system command a general adversarial quantum system to realize arbitrary quantum dynamics? If so, then we could realize the dream of device-independent quantum cryptography: using untrusted quantum devices to establish a shared random key, with security based on the correctness of quantum mechanics. It would also allow for testing whether a claimed quantum computer is truly quantum. Here we report a technique by which a classical system can certify the joint, entangled state of a bipartite quantum system, as well as command the application of specific operators on each subsystem. This is accomplished by showing a strong converse to Tsirelson's optimality result for the Clauser-Horne-Shimony-Holt (CHSH) game: the only way to win many games is if the bipartite state is close to the tensor product of EPR states, and the measurements are the optimal CHSH measurements on successive qubits. This leads directly to a scheme for device-independent quantum key distribution. Control over the state and operators can also be leveraged to create more elaborate protocols for realizing general quantum circuits, and to establish that QMIP = MIP∗. arXiv:1209.0448v1 [quant-ph] 3 Sep 2012 1 Contents 1 Introduction 3 2 Proof sketches 8 2.1 Rigidity of the CHSH game . .8 2.2 Tensor-product structure for repeated CHSH games . .8 2.2.1 Construction of the ideal strategy S^ .......................9 2.2.2 Ideal strategy S^ is close to S ...........................9 2.3 Verified quantum dynamics .
    [Show full text]
  • Computing the Distance Between Quantum Channels: Usefulness of the Fano Representation Giuliano Benenti, Giuliano Strini
    Computing the distance between quantum channels: usefulness of the Fano representation Giuliano Benenti, Giuliano Strini To cite this version: Giuliano Benenti, Giuliano Strini. Computing the distance between quantum channels: usefulness of the Fano representation. Journal of Physics B: Atomic, Molecular and Optical Physics, IOP Publish- ing, 2010, 43 (21), pp.215508. 10.1088/0953-4075/43/21/215508. hal-00569863 HAL Id: hal-00569863 https://hal.archives-ouvertes.fr/hal-00569863 Submitted on 25 Feb 2011 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Confidential: not for distribution. Submitted to IOP Publishing for peer review 24 June 2010 Computing the distance between quantum channels: Usefulness of the Fano representation Giuliano Benenti1,2,∗ and Giuliano Strini3, † 1CNISM, CNR-INFM, and Center for Nonlinear and Complex Systems, Universit`adegliStudidell’Insubria,viaValleggio11,22100Como,Italy 2Istituto Nazionale di Fisica Nucleare, Sezione di Milano, via Celoria 16, 20133 Milano, Italy 3Dipartimento di Fisica, Universit`adegliStudidiMilano,viaCeloria16,20133Milano,Italy (Dated: June 24, 2010) The diamond norm measures the distance between two quantum channels. From an operational vewpoint, this norm measures how well we can distinguish between two channels by applying them to input states of arbitrarily large dimensions.
    [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 Hypothesis Testing in Many-Body Systems Abstract Contents
    SciPost Phys. Core 4, 019 (2021) Quantum hypothesis testing in many-body systems 1? 1† 2,4‡ 2,3‘ Jan de Boer , Victor Godet , Jani Kastikainen and Esko Keski-Vakkuri ◦ 1 Institute for Theoretical Physics, University of Amsterdam, PO Box 94485, 1090 GL Amsterdam, The Netherlands 2 Department of Physics, P.O.Box 64, FIN-00014 University of Helsinki, Finland 3 Helsinki Institute of Physics, P.O.Box 64, FIN-00014 University of Helsinki, Finland 4 APC, AstroParticule et Cosmologie, Université de Paris, CNRS/IN2P3, CEA/IRFU, Observatoire de Paris, 10, rue Alice Domon et Léonie Duquet, 75205 Paris Cedex 13, France ? [email protected],† [email protected], ‡ jani.kastikainen@helsinki.fi, esko.keski-vakkuri@helsinki.fi ◦ Abstract One of the key tasks in physics is to perform measurements in order to determine the state of a system. Often, measurements are aimed at determining the values of physical parameters, but one can also ask simpler questions, such as “is the system in state A or state B?”. In quantum mechanics, the latter type of measurements can be studied and optimized using the framework of quantum hypothesis testing. In many cases one can explicitly find the optimal measurement in the limit where one has simultaneous access to a large number n of identical copies of the system, and estimate the expected error as n becomes large. Interestingly, error estimates turn out to involve various quantum information theoretic quantities such as relative entropy, thereby giving these quantities operational meaning. In this paper we consider the application of quantum hypothesis testing to quantum many-body systems and quantum field theory.
    [Show full text]
  • Lecture Notes
    Lecture Notes edX Quantum Cryptography: Week 3 This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International Licence. Contents 3.1 When are two quantum states almost the same?3 3.1.1 Trace distance...................................................3 3.1.2 Fidelity.........................................................5 3.2 Measuring uncertainty: the min-entropy6 3.2.1 The min-entropy..................................................6 3.2.2 The conditional min-entropy........................................7 3.3 What it means to be ignorant9 3.4 Uncertainty principles: a bipartite guessing game 11 3.4.1 Analysis: winning probability of the guessing game..................... 13 3.5 Extended uncertainty relation principles: A tripartite guessing game 14 3.5.1 Analysis: winning probability of the tripartite guessing game.............. 16 3.1 When are two quantum states almost the same? 3 We have seen in Week 1 an example of communication between Alice and Bob, where the transmitted message is hidden from any eavesdropper Eve. There, we have seen the importance of using a large key K shared between Alice and Bob, but looks completely random from Eve’s perspective. In the next few lectures, we will concern ourselves with how to establish such a key. In this week, we will first learn about ways to quantify quantum information, which will be crucial in formulating what does it mean to be secure in cryptographic protocols. 3.1 When are two quantum states almost the same? It will be important for us to have some notion of what it means to approximately produce a particular quantum state. 3.1.1 Trace distance One measure of closeness that is of extreme importance in quantum cryptography, and also in the design of quantum circuits is the trace distance.
    [Show full text]