Arxiv:Quant-Ph/0212023V2 7 Jul 2003 Contents Theory Relativity and Information Quantum I.Terltvsi Esrn Process Measuring Relativistic the III
Total Page:16
File Type:pdf, Size:1020Kb
Quantum Information and Relativity Theory Asher Peres Department of Physics, Technion — Israel Institute of Technology, 32000 Haifa, Israel and Daniel R. Terno Perimeter Institute for Theoretical Physics, Waterloo, Ontario, Canada N2J 2W9 Quantum mechanics, information theory, and relativity theory are the basic foundations of theo- retical physics. The acquisition of information from a quantum system is the interface of classical and quantum physics. Essential tools for its description are Kraus matrices and positive operator valued measures (POVMs). Special relativity imposes severe restrictions on the transfer of infor- mation between distant systems. Quantum entropy is not a Lorentz covariant concept. Lorentz transformations of reduced density matrices for entangled systems may not be completely posi- tive maps. Quantum field theory, which is necessary for a consistent description of interactions, implies a fundamental trade-off between detector reliability and localizability. General relativity produces new, counterintuitive effects, in particular when black holes (or more generally, event horizons) are involved. Most of the current concepts in quantum information theory may then require a reassessment. Contents B. Black hole radiation 28 I. Three inseparable theories 1 References 29 A. Relativity and information 1 B. Quantum mechanics and information 2 C. Relativity and quantum theory 3 I. THREE INSEPARABLE THEORIES D. The meaning of probability 3 E. The role of topology 4 F. The essence of quantum information 4 Quantum theory and relativity theory emerged at the beginning of the twentieth century to give answers to II. The acquisition of information 5 unexplained issues in physics: the black body spectrum, A. The ambivalent quantum observer 5 the structure of atoms and nuclei, the electrodynamics B. The measuring process 6 C. Decoherence 7 of moving bodies. Many years later, information theory D. Kraus matrices and POVMs 8 was developed by Claude Shannon (1948) for analyzing E. The no-communication theorem 8 the efficiency of communication methods. How do these seemingly disparate disciplines affect each other? In this III. The relativistic measuring process 10 review, we shall show that they are inseparably related. A. General properties 10 B. The role of relativity 11 C. Quantum nonlocality? 13 D. Classical analogies 13 A. Relativity and information arXiv:quant-ph/0212023v2 7 Jul 2003 IV. Quantum entropy and special relativity 13 A. Reduced density matrices 13 Common presentations of relativity theory employ fic- B. Massive particles 14 titious observers who send and receive signals. These C. Photons 15 “observers” should not be thought of as human be- D. Entanglement 18 ings, but rather ordinary physical emitters and detectors. E. Communication channels 18 Their role is to label and locate events in spacetime. The V. The role of quantum field theory 19 speed of transmission of these signals is bounded by c A. General theorems 19 — the velocity of light — because information needs a B. Particles and localization 20 material carrier, and the latter must obey the laws of C. Entanglement in quantum field theory 21 physics. Information is physical (Landauer, 1991). D. Accelerated detectors 22 However, the mere existence of an upper bound on VI. Beyond special relativity 23 the speed of propagation of physical effects does not do A. Entanglement revisited 24 justice to the fundamentally new concepts that were in- B. The thermodynamics of black holes 25 troduced by Albert Einstein (one could as well imagine C. Open problems 27 communications limited by the speed of sound, or that of the postal service). Einstein showed that simultaneity Acknowledgments and apologies 27 had no absolute meaning, and that distant events might A. Relativistic states transformations 27 have different time orderings when referred to observers 2 in relative motion. Relativistic kinematics is all about in- The experimenter controls the emission process and formation transfer between observers in relative motion. observes detection events. The theorist’s problem is to Classical information theory involves concepts such as predict the probability of response of this or that de- the rates of emission and detection of signals, and the tector, for a given emission procedure. It often happens noise power spectrum. These variables have well defined that the preparation is unknown to the experimenter, and relativistic transformation properties, independent of the then the theory can be used for discriminating between actual physical implementation of the communication different preparation hypotheses, once the detection out- system. A detailed analysis by Jarett and Cover (1981) comes are known. showed that the transmission rates for observers with rel- ative velocity v were altered by a factor (c + v)/(c v), Quantum mechanics tells us that whatever comes from − the emitter is represented by a state ρ (a positive oper- namely the square of the familiar Doppler factor for fre- 3 quencies of periodic phenomena. We shall later derive ator, usually normalized to unit trace). Detectors are the same factor from classical electromagnetic theory, see represented by positive operators Eµ, where µ is an arbi- trary label which identifies the detector. The probability Eq. (36) below. Physics has a remarkably rigid theoret- ical structure: you cannot alter any part of it without that detector µ be excited is tr (ρEµ). A complete set of E , including the possibility of no detection, sums up having to change everything (Weinberg, 1992). µ to the unit matrix and is called a positive operator val- ued measure (POVM). The various Eµ do not in general commute, and therefore a detection event does not cor- B. Quantum mechanics and information respond to what is commonly called the “measurement of an observable.” Still, the activation of a particular de- Einstein’s theory elicited strong opposition when it was tector is a macroscopic, objective phenomenon. There is proposed, but is generally accepted by now. On the other no uncertainty as to which detector actually clicked. hand, the revolution caused by quantum theory still pro- duces uneasy feelings among some physicists.1 Standard Many physicists, perhaps a majority, have an intuitive texbooks on quantum mechanics tell you that observ- realistic worldview and consider a quantum state as a able quantities are represented by Hermitian operators, physical entity. Its value may not be known, but in prin- their possible values are the eigenvalues of these opera- ciple the quantum state of a physical system would be well defined. However, there is no experimental evidence tors, and that the probability of detecting eigenvalue λn, 2 whatsoever to support this naive belief. On the contrary, corresponding to eigenvector un, is un ψ , where ψ is the (pure) state of the quantum system|h | thati| is observed. if this view is taken seriously, it may lead to bizarre con- With a bit more sophistication to include mixed states, sequences, called “quantum paradoxes.” These so-called paradoxes originate solely from an incorrect interpreta- the probability can be written in a general way un ρ un . h | | i tion of quantum theory. The latter is thoroughly prag- This is nice and neat, but this does not describe what matic and, when correctly used, never yields two contra- happens in real life. Quantum phenomena do not occur dictory answers to a well posed question. It is only the in a Hilbert space; they occur in a laboratory. If you misuse of quantum concepts, guided by a pseudorealistic visit a real laboratory, you will never find there Hermi- philosophy, that leads to paradoxical results. tian operators. All you can see are emitters (lasers, ion guns, synchrotrons, and the like) and appropriate detec- In this review we shall adhere to the view that ρ is tors. In the latter, the time required for the irreversible only a mathematical expression which encodes informa- act of amplification (the formation of a microscopic bub- tion about the potential results of our experimental in- ble in a bubble chamber, or the initial stage of an electric terventions. The latter are commonly called “measure- discharge) is extremely brief, typically of the order of an ments” — an unfortunate terminology, which gives the atomic radius divided by the velocity of light. Once irre- impression that there exists in the real world some un- versibility has set in, the rest of the amplification process known property that we are measuring. Even the very is essentially classical. It is noteworthy that the time and existence of particles depends on the context of our ex- space needed for initiating the irreversible processes are periments. In a classic article, Mott (1929) wrote “Until incomparably smaller than the macroscopic resolution of the final interpretation is made, no mention should be 2 the detecting equipment. made of the α-ray being a particle at all.” Drell (1978) provocatively asked “When is a particle?” In particular, observers whose world lines are accelerated record differ- ent numbers of particles, as will be explained in Sec. V.D 1 The theory of relativity did not cause as much misunderstanding (Unruh, 1976; Wald, 1994). and controversy as quantum theory, because people were care- ful to avoid using the same nomenclature as in nonrelativistic physics. For example, elementary textbooks on relativity the- ory distinguish “rest mass” from “relativistic mass” (hard core relativists call them simply “mass” and “energy”). needed to facilitate the work of the experimenter. 2 The “irreversible act of amplification” is part of the quantum 3 Positive operators are those having the property that hψ|ρ|ψi ≥ 0 folklore, but it is not essential to physics. Amplification is solely for any state ψ. These operators are always Hermitian. 3 C. Relativity and quantum theory tions (the probabilities of specified sets of events) must be Lorentz invariant. The theory of relativity deals with the geometric struc- As a simple example, consider our two observers, con- ture of a four-dimensional spacetime. Quantum mechan- ventionally called Alice and Bob,4 holding a pair of spin- 1 ics describes properties of matter.