Complex Systems in Phase Space
Total Page:16
File Type:pdf, Size:1020Kb

Load more
Recommended publications
-
Quantum Theory Cannot Consistently Describe the Use of Itself
ARTICLE DOI: 10.1038/s41467-018-05739-8 OPEN Quantum theory cannot consistently describe the use of itself Daniela Frauchiger1 & Renato Renner1 Quantum theory provides an extremely accurate description of fundamental processes in physics. It thus seems likely that the theory is applicable beyond the, mostly microscopic, domain in which it has been tested experimentally. Here, we propose a Gedankenexperiment 1234567890():,; to investigate the question whether quantum theory can, in principle, have universal validity. The idea is that, if the answer was yes, it must be possible to employ quantum theory to model complex systems that include agents who are themselves using quantum theory. Analysing the experiment under this presumption, we find that one agent, upon observing a particular measurement outcome, must conclude that another agent has predicted the opposite outcome with certainty. The agents’ conclusions, although all derived within quantum theory, are thus inconsistent. This indicates that quantum theory cannot be extrapolated to complex systems, at least not in a straightforward manner. 1 Institute for Theoretical Physics, ETH Zurich, 8093 Zurich, Switzerland. Correspondence and requests for materials should be addressed to R.R. (email: [email protected]) NATURE COMMUNICATIONS | (2018) 9:3711 | DOI: 10.1038/s41467-018-05739-8 | www.nature.com/naturecommunications 1 ARTICLE NATURE COMMUNICATIONS | DOI: 10.1038/s41467-018-05739-8 “ 1”〉 “ 1”〉 irect experimental tests of quantum theory are mostly Here, | z ¼À2 D and | z ¼þ2 D denote states of D depending restricted to microscopic domains. Nevertheless, quantum on the measurement outcome z shown by the devices within the D “ψ ”〉 “ψ ”〉 theory is commonly regarded as being (almost) uni- lab. -
Appendix: the Interaction Picture
Appendix: The Interaction Picture The technique of expressing operators and quantum states in the so-called interaction picture is of great importance in treating quantum-mechanical problems in a perturbative fashion. It plays an important role, for example, in the derivation of the Born–Markov master equation for decoherence detailed in Sect. 4.2.2. We shall review the basics of the interaction-picture approach in the following. We begin by considering a Hamiltonian of the form Hˆ = Hˆ0 + V.ˆ (A.1) Here Hˆ0 denotes the part of the Hamiltonian that describes the free (un- perturbed) evolution of a system S, whereas Vˆ is some added external per- turbation. In applications of the interaction-picture formalism, Vˆ is typically assumed to be weak in comparison with Hˆ0, and the idea is then to deter- mine the approximate dynamics of the system given this assumption. In the following, however, we shall proceed with exact calculations only and make no assumption about the relative strengths of the two components Hˆ0 and Vˆ . From standard quantum theory, we know that the expectation value of an operator observable Aˆ(t) is given by the trace rule [see (2.17)], & ' & ' ˆ ˆ Aˆ(t) =Tr Aˆ(t)ˆρ(t) =Tr Aˆ(t)e−iHtρˆ(0)eiHt . (A.2) For reasons that will immediately become obvious, let us rewrite this expres- sion as & ' ˆ ˆ ˆ ˆ ˆ ˆ Aˆ(t) =Tr eiH0tAˆ(t)e−iH0t eiH0te−iHtρˆ(0)eiHte−iH0t . (A.3) ˆ In inserting the time-evolution operators e±iH0t at the beginning and the end of the expression in square brackets, we have made use of the fact that the trace is cyclic under permutations of the arguments, i.e., that Tr AˆBˆCˆ ··· =Tr BˆCˆ ···Aˆ , etc. -
Perturbation Theory and Exact Solutions
PERTURBATION THEORY AND EXACT SOLUTIONS by J J. LODDER R|nhtdnn Report 76~96 DISSIPATIVE MOTION PERTURBATION THEORY AND EXACT SOLUTIONS J J. LODOER ASSOCIATIE EURATOM-FOM Jun»»76 FOM-INST1TUUT VOOR PLASMAFYSICA RUNHUIZEN - JUTPHAAS - NEDERLAND DISSIPATIVE MOTION PERTURBATION THEORY AND EXACT SOLUTIONS by JJ LODDER R^nhuizen Report 76-95 Thisworkwat performed at part of th«r«Mvchprogmmncof thcHMCiattofiafrccmentof EnratoniOTd th« Stichting voor FundtmenteelOiutereoek der Matctk" (FOM) wtihnnmcWMppoft from the Nederhmdie Organiutic voor Zuiver Wetemchap- pcigk Onderzoek (ZWO) and Evntom It it abo pabHtfMd w a the* of Ac Univenrty of Utrecht CONTENTS page SUMMARY iii I. INTRODUCTION 1 II. GENERALIZED FUNCTIONS DEFINED ON DISCONTINUOUS TEST FUNC TIONS AND THEIR FOURIER, LAPLACE, AND HILBERT TRANSFORMS 1. Introduction 4 2. Discontinuous test functions 5 3. Differentiation 7 4. Powers of x. The partie finie 10 5. Fourier transforms 16 6. Laplace transforms 20 7. Hubert transforms 20 8. Dispersion relations 21 III. PERTURBATION THEORY 1. Introduction 24 2. Arbitrary potential, momentum coupling 24 3. Dissipative equation of motion 31 4. Expectation values 32 5. Matrix elements, transition probabilities 33 6. Harmonic oscillator 36 7. Classical mechanics and quantum corrections 36 8. Discussion of the Pu strength function 38 IV. EXACTLY SOLVABLE MODELS FOR DISSIPATIVE MOTION 1. Introduction 40 2. General quadratic Kami1tonians 41 3. Differential equations 46 4. Classical mechanics and quantum corrections 49 5. Equation of motion for observables 51 V. SPECIAL QUADRATIC HAMILTONIANS 1. Introduction 53 2. Hamiltcnians with coordinate coupling 53 3. Double coordinate coupled Hamiltonians 62 4. Symmetric Hamiltonians 63 i page VI. DISCUSSION 1. Introduction 66 ?. -
Chapter 8 Stability Theory
Chapter 8 Stability theory We discuss properties of solutions of a first order two dimensional system, and stability theory for a special class of linear systems. We denote the independent variable by ‘t’ in place of ‘x’, and x,y denote dependent variables. Let I ⊆ R be an interval, and Ω ⊆ R2 be a domain. Let us consider the system dx = F (t, x, y), dt (8.1) dy = G(t, x, y), dt where the functions are defined on I × Ω, and are locally Lipschitz w.r.t. variable (x, y) ∈ Ω. Definition 8.1 (Autonomous system) A system of ODE having the form (8.1) is called an autonomous system if the functions F (t, x, y) and G(t, x, y) are constant w.r.t. variable t. That is, dx = F (x, y), dt (8.2) dy = G(x, y), dt Definition 8.2 A point (x0, y0) ∈ Ω is said to be a critical point of the autonomous system (8.2) if F (x0, y0) = G(x0, y0) = 0. (8.3) A critical point is also called an equilibrium point, a rest point. Definition 8.3 Let (x(t), y(t)) be a solution of a two-dimensional (planar) autonomous system (8.2). The trace of (x(t), y(t)) as t varies is a curve in the plane. This curve is called trajectory. Remark 8.4 (On solutions of autonomous systems) (i) Two different solutions may represent the same trajectory. For, (1) If (x1(t), y1(t)) defined on an interval J is a solution of the autonomous system (8.2), then the pair of functions (x2(t), y2(t)) defined by (x2(t), y2(t)) := (x1(t − s), y1(t − s)), for t ∈ s + J (8.4) is a solution on interval s + J, for every arbitrary but fixed s ∈ R. -
Quantum Violation of Classical Physics in Macroscopic Systems
Quantum VIOLATION OF CLASSICAL PHYSICS IN MACROSCOPIC SYSTEMS Lucas Clemente Ludwig Maximilian University OF Munich Max Planck INSTITUTE OF Quantum Optics Quantum VIOLATION OF CLASSICAL PHYSICS IN MACROSCOPIC SYSTEMS Lucas Clemente Dissertation AN DER Fakultät für Physik DER Ludwig-Maximilians-Universität München VORGELEGT VON Lucas Clemente AUS München München, IM NoVEMBER 2015 TAG DER mündlichen Prüfung: 26. Januar 2016 Erstgutachter: Prof. J. IGNACIO Cirac, PhD Zweitgutachter: Prof. Dr. Jan VON Delft WEITERE Prüfungskommissionsmitglieder: Prof. Dr. HarALD Weinfurter, Prof. Dr. Armin Scrinzi Reality is that which, when you stop believing in it, doesn’t go away. “ — Philip K. Dick How To Build A Universe That Doesn’t Fall Apart Two Days Later, a speech published in the collection I Hope I Shall Arrive Soon Contents Abstract xi Zusammenfassung xiii List of publications xv Acknowledgments xvii 0 Introduction 1 0.1 History and motivation . 3 0.2 Local realism and Bell’s theorem . 5 0.3 Contents of this thesis . 10 1 Conditions for macrorealism 11 1.1 Macroscopic realism . 13 1.2 Macrorealism per se following from strong non-invasive measurability 15 1.3 The Leggett-Garg inequality . 17 1.4 No-signaling in time . 19 1.5 Necessary and sufficient conditions for macrorealism . 21 1.6 No-signaling in time for quantum measurements . 25 1.6.1 Without time evolution . 26 1.6.2 With time evolution . 27 1.7 Conclusion and outlook . 28 Appendix 31 1.A Proof that NSIT0(1)2 is sufficient for NIC0(1)2 . 31 2 Macroscopic classical dynamics from microscopic quantum behavior 33 2.1 Quantifying violations of classicality . -
Particle Or Wave: There Is No Evidence of Single Photon Delayed Choice
Particle or wave: there is no evidence of single photon delayed choice. Michael Devereux* Los Alamos National Laboratory (Retired) Abstract Wheeler supposed that the way in which a single photon is measured in the present could determine how it had behaved in the past. He named such retrocausation delayed choice. Over the last forty years many experimentalists have claimed to have observed single-photon delayed choice. Recently, however, researchers have proven that the quantum wavefunction of a single photon assumes the identical mathematical form of the solution to Maxwell’s equations for that photon. This efficacious understanding allows for a trenchant analysis of delayed-choice experiments and denies their retrocausation conclusions. It is now usual for physicists to employ Bohr’s wave-particle complementarity theory to distinguish wave from particle aspects in delayed- choice observations. Nevertheless, single-photon, delayed-choice experiments, provide no evidence that the photon actually acts like a particle, or, instead, like a wave, as a function of a future measurement. And, a recent, careful, Stern-Gerlach analysis has shown that the supposition of concurrent wave and particle characteristics in the Bohm-DeBroglie theory is not tenable. PACS 03.65.Ta, 03.65.Ud 03.67.-a, 42.50.Ar, 42.50.Xa 1. Introduction. Almost forty years ago Wheeler suggested that there exists a type of retrocausation, which he called delayed choice, in certain physical phenomena [1]. Specifically, he said that the past behavior of some quantum systems could be determined by how they are observed in the present. “The past”, he wrote, “has no existence except as it is recorded in the present” [2]. -
Ehrenfest Theorem
Ehrenfest theorem Consider two cases, A=r and A=p: d 1 1 p2 1 < r > = < [r,H] > = < [r, + V(r)] > = < [r,p2 ] > dt ih ih 2m 2imh 2 [r,p ] = [r.p]p + p[r,p] = 2ihp d 1 d < p > ∴ < r > = < 2ihp > ⇒ < r > = dt 2imh dt m d 1 1 p2 1 < p > = < [p,H] > = < [p, + V(r)] > = < [p,V(r)] > dt ih ih 2m ih [p,V(r)] ψ = − ih∇V(r)ψ − ()− ihV(r)∇ ψ = −ihψ∇V(r) ⇒ [p,V(r)] = −ih∇V(r) d 1 d ∴ < p > = < −ih∇V(r) > ⇒ < p > = < −∇V(r) > dt ih dt d d Compare this with classical result: m vr = pv and pv = − ∇V dt dt We see the correspondence between expectation of an operator and classical variable. Poisson brackets and commutators Poisson brackets in classical mechanics: ⎛ ∂A ∂B ∂A ∂B ⎞ {A, B} = ⎜ − ⎟ ∑ ⎜ ⎟ j ⎝ ∂q j ∂p j ∂p j ∂q j ⎠ dA ⎛ ∂A ∂A ⎞ ∂A ⎛ ∂A ∂H ∂A ∂H ⎞ ∂A = ⎜ q + p ⎟ + = ⎜ − ⎟ + ∑ ⎜ & j & j ⎟ ∑ ⎜ ⎟ dt j ⎝ ∂q j ∂p j ⎠ ∂t j ⎝ ∂q j ∂q j ∂p j ∂p j ⎠ ∂t dA ∂A ∴ = {A,H}+ Classical equation of motion dt ∂ t Compare this with quantum mechanical result: d 1 ∂A < A > = < [A,H] > + dt ih ∂ t We see the correspondence between classical mechanics and quantum mechanics: 1 [A,H] → {A, H} classical ih Quantum mechanics and classical mechanics 1. Quantum mechanics is more general and cover classical mechanics as a limiting case. 2. Quantum mechanics can be approximated as classical mechanics when the action is much larger than h. -
ATTRACTORS: STRANGE and OTHERWISE Attractor - in Mathematics, an Attractor Is a Region of Phase Space That "Attracts" All Nearby Points As Time Passes
ATTRACTORS: STRANGE AND OTHERWISE Attractor - In mathematics, an attractor is a region of phase space that "attracts" all nearby points as time passes. That is, the changing values have a trajectory which moves across the phase space toward the attractor, like a ball rolling down a hilly landscape toward the valley it is attracted to. PHASE SPACE - imagine a standard graph with an x-y axis; it is a phase space. We plot the position of an x-y variable on the graph as a point. That single point summarizes all the information about x and y. If the values of x and/or y change systematically a series of points will plot as a curve or trajectory moving across the phase space. Phase space turns numbers into pictures. There are as many phase space dimensions as there are variables. The strange attractor below has 3 dimensions. LIMIT CYCLE (OR PERIODIC) ATTRACTOR STRANGE (OR COMPLEX) ATTRACTOR A system which repeats itself exactly, continuously, like A strange (or chaotic) attractor is one in which the - + a clock pendulum (left) Position (right) trajectory of the points circle around a region of phase space, but never exactly repeat their path. That is, they do have a predictable overall form, but the form is made up of unpredictable details. Velocity More important, the trajectory of nearby points diverge 0 rapidly reflecting sensitive dependence. Many different strange attractors exist, including the Lorenz, Julian, and Henon, each generated by a Velocity Y different equation. 0 Z The attractors + (right) exhibit fractal X geometry. Velocity 0 ATTRACTORS IN GENERAL We can generalize an attractor as any state toward which a Velocity system naturally evolves. -
Polarization Fields and Phase Space Densities in Storage Rings: Stroboscopic Averaging and the Ergodic Theorem
Physica D 234 (2007) 131–149 www.elsevier.com/locate/physd Polarization fields and phase space densities in storage rings: Stroboscopic averaging and the ergodic theorem✩ James A. Ellison∗, Klaus Heinemann Department of Mathematics and Statistics, University of New Mexico, Albuquerque, NM 87131, United States Received 1 May 2007; received in revised form 6 July 2007; accepted 9 July 2007 Available online 14 July 2007 Communicated by C.K.R.T. Jones Abstract A class of orbital motions with volume preserving flows and with vector fields periodic in the “time” parameter θ is defined. Spin motion coupled to the orbital dynamics is then defined, resulting in a class of spin–orbit motions which are important for storage rings. Phase space densities and polarization fields are introduced. It is important, in the context of storage rings, to understand the behavior of periodic polarization fields and phase space densities. Due to the 2π time periodicity of the spin–orbit equations of motion the polarization field, taken at a sequence of increasing time values θ,θ 2π,θ 4π,... , gives a sequence of polarization fields, called the stroboscopic sequence. We show, by using the + + Birkhoff ergodic theorem, that under very general conditions the Cesaro` averages of that sequence converge almost everywhere on phase space to a polarization field which is 2π-periodic in time. This fulfills the main aim of this paper in that it demonstrates that the tracking algorithm for stroboscopic averaging, encoded in the program SPRINT and used in the study of spin motion in storage rings, is mathematically well-founded. -
Phase Plane Methods
Chapter 10 Phase Plane Methods Contents 10.1 Planar Autonomous Systems . 680 10.2 Planar Constant Linear Systems . 694 10.3 Planar Almost Linear Systems . 705 10.4 Biological Models . 715 10.5 Mechanical Models . 730 Studied here are planar autonomous systems of differential equations. The topics: Planar Autonomous Systems: Phase Portraits, Stability. Planar Constant Linear Systems: Classification of isolated equilib- ria, Phase portraits. Planar Almost Linear Systems: Phase portraits, Nonlinear classi- fications of equilibria. Biological Models: Predator-prey models, Competition models, Survival of one species, Co-existence, Alligators, doomsday and extinction. Mechanical Models: Nonlinear spring-mass system, Soft and hard springs, Energy conservation, Phase plane and scenes. 680 Phase Plane Methods 10.1 Planar Autonomous Systems A set of two scalar differential equations of the form x0(t) = f(x(t); y(t)); (1) y0(t) = g(x(t); y(t)): is called a planar autonomous system. The term autonomous means self-governing, justified by the absence of the time variable t in the functions f(x; y), g(x; y). ! ! x(t) f(x; y) To obtain the vector form, let ~u(t) = , F~ (x; y) = y(t) g(x; y) and write (1) as the first order vector-matrix system d (2) ~u(t) = F~ (~u(t)): dt It is assumed that f, g are continuously differentiable in some region D in the xy-plane. This assumption makes F~ continuously differentiable in D and guarantees that Picard's existence-uniqueness theorem for initial d ~ value problems applies to the initial value problem dt ~u(t) = F (~u(t)), ~u(0) = ~u0. -
Calculus and Differential Equations II
Calculus and Differential Equations II MATH 250 B Linear systems of differential equations Linear systems of differential equations Calculus and Differential Equations II Second order autonomous linear systems We are mostly interested with2 × 2 first order autonomous systems of the form x0 = a x + b y y 0 = c x + d y where x and y are functions of t and a, b, c, and d are real constants. Such a system may be re-written in matrix form as d x x a b = M ; M = : dt y y c d The purpose of this section is to classify the dynamics of the solutions of the above system, in terms of the properties of the matrix M. Linear systems of differential equations Calculus and Differential Equations II Existence and uniqueness (general statement) Consider a linear system of the form dY = M(t)Y + F (t); dt where Y and F (t) are n × 1 column vectors, and M(t) is an n × n matrix whose entries may depend on t. Existence and uniqueness theorem: If the entries of the matrix M(t) and of the vector F (t) are continuous on some open interval I containing t0, then the initial value problem dY = M(t)Y + F (t); Y (t ) = Y dt 0 0 has a unique solution on I . In particular, this means that trajectories in the phase space do not cross. Linear systems of differential equations Calculus and Differential Equations II General solution The general solution to Y 0 = M(t)Y + F (t) reads Y (t) = C1 Y1(t) + C2 Y2(t) + ··· + Cn Yn(t) + Yp(t); = U(t) C + Yp(t); where 0 Yp(t) is a particular solution to Y = M(t)Y + F (t). -
Visualizing Quantum Mechanics in Phase Space
Visualizing quantum mechanics in phase space Heiko Baukea) and Noya Ruth Itzhak Max-Planck-Institut für Kernphysik, Saupfercheckweg 1, 69117 Heidelberg, Germany (Dated: 17 January 2011) We examine the visualization of quantum mechanics in phase space by means of the Wigner function and the Wigner function flow as a complementary approach to illustrating quantum mechanics in configuration space by wave func- tions. The Wigner function formalism resembles the mathematical language of classical mechanics of non-interacting particles. Thus, it allows a more direct comparison between classical and quantum dynamical features. PACS numbers: 03.65.-w, 03.65.Ca Keywords: 1. Introduction 2. Visualizing quantum dynamics in position space or momentum Quantum mechanics is a corner stone of modern physics and technology. Virtually all processes that take place on an space atomar scale require a quantum mechanical description. For example, it is not possible to understand chemical reactionsor A (one-dimensional) quantum mechanical position space the characteristics of solid states without a sound knowledge wave function maps each point x on the position axis to a of quantum mechanics. Quantum mechanical effects are uti- time dependent complex number Ψ(x, t). Equivalently, one lized in many technical devices ranging from transistors and may consider the wave function Ψ˜ (p, t) in momentum space, Flash memory to tunneling microscopes and quantum cryp- which is given by a Fourier transform of Ψ(x, t), viz. tography, just to mention a few applications. Quantum effects, however, are not directly accessible to hu- 1 ixp/~ Ψ˜ (p, t) = Ψ(x, t)e− dx . (1) man senses, the mathematical formulations of quantum me- (2π~)1/2 chanics are abstract and its implications are often unintuitive in terms of classical physics.