DOCSLIB.ORG

Enabling Flow Awareness for Mobile Robots in Partially Observable

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Enabling Flow Awareness for Mobile Robots in Partially Observable http://www.diva-portal.org Postprint This is the accepted version of a paper published in IEEE Robotics and Automation Letters. This paper has been peer-reviewed but does not include the final publisher proof-corrections or journal pagination. Citation for the original published paper (version of record): Kucner, T P., Magnusson, M., Schaffernicht, E., Hernandez Bennetts, V M., Lilienthal, A J. (2017) Enabling Flow Awareness for Mobile Robots in Partially Observable Environments IEEE Robotics and Automation Letters, 2(2): 1093-1100 https://doi.org/10.1109/LRA.2017.2660060 Access to the published version may require subscription. N.B. When citing this work, cite the original published paper. Permanent link to this version: http://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-55174 Enabling Flow Awareness for Mobile Robots in Partially Observable Environments Tomasz Piotr Kucner1, Martin Magnusson1, Erik Schaffernicht1, Victor Hernandez Bennetts1, and Achim J. Lilienthal1 Abstract— Understanding the environment is a key require- local airflow. However, the task of wind flow modelling in ment for any autonomous robot operation. There is extensive small scales is rarely addressed [20]. Moreover, for tasks research on mapping geometric structure and perceiving ob- considering long term surveillance with aerial vehicles it jects. However, the environment is also defined by the movement patterns in it. Information about human motion patterns can, is important to plan energy efficient paths considering air e.g., lead to safer and socially more acceptable robot trajecto- flow. Probabilistic modelling of wind flow can aid trajectory ries. Airflow pattern information allow to plan energy efficient planning of a robot during exploration. paths for flying robots and improve gas distribution mapping. B. Problem statement However, modelling the motion of objects (e.g., people) and We address the problem of statistically modelling flows in flow of continuous media (e.g., air) is a challenging task. We present a probabilistic approach for general flow mapping, non-trivial environments using sparse and noisy data. which can readily handle both of these examples. Moreover, we It is rarely possible to have access to data completely present and compare two data imputation methods allowing to describing the motion in an environment, e.g., building a build dense maps from sparsely distributed measurements. The very dense sensor network to monitor wind flow is usually methods are evaluated using two different data sets: one with unfeasible or too expensive. Another problem is randomness pedestrian data and one with wind measurements. Our results show that it is possible to accurately represent multimodal, in motion observations, which can be a result of noisy turbulent flow using a set of Gaussian Mixture Models, and measurements, or an inherent feature of the motions. Both also to reconstruct a dense representation based on sparsely cases require a proper statistical analysis in order to identify distributed locations. and model the motion patterns. Our proposed Circular–Linear Flow Field map (CLiFF- I. INTRODUCTION map), introduced in Sec III-A, represents motion patterns A. Motivation using multimodal statistics to represent speed and orientation Many robotics applications can benefit from maps going jointly. The approaches presented in Sec III-D allow to beyond mere occupancy by explicitly modelling the motion reconstruct a dense map from spatially and temporally sparse data. in an environment. To allow robots to operate efficiently and C. Contribution in an acceptable way among people, we have to provide The contributions of the paper are as follows. methods to both map and exploit information about motion First, we describe CLiFF-map, a probabilistic framework patterns. Motion pattern information can be useful for many for mapping velocity observations independently from their tasks; e.g., task and motion planning, object tracking and underlying physical processes. In this way we gain generality intention recognition. These tasks are relevant for areas as that allows to build a comprehensive and coherent model. diverse as Human Robot Interaction (HRI) and Mobile Robot The model consists of a set of Gaussian mixture models Olfaction (MRO). (GMMs) representing local observations, and variables de- In HRI, information about how people usually move scribing the confidence in each part of the model, as well as should affect the robot’s motion planning. A motion planner the likelihood of the motion. In contrast to other methods, can use this knowledge to build socially more acceptable and CLiFF-map represents speed and orientation in a joint space. predictable paths [12]. Motion patterns implicit embed in- This allows to properly address multimodality in the data. formation about traffic rules and also mark frequented paths. Second, we investigate two data imputation methods for Such information will help to improve motion planning in generating maps from sparsely distributed measurements. complex environments, as demonstrated in [16, 17], and Third, we present a validation of the representation and allow robots to move in a safer way. the quality of map reconstruction using real world data with Similarly, in MRO and environmental monitoring, statis- the k-NN divergence estimator from [25]. tics about airflow can facilitate better understanding of gas II. RELATED WORK distributions [20]. Gas plumes are heavily influenced by the Our work is connected to the field of mapping of dynamics, This work was funded in part by the EU FP7 project SPENCER (ICT- which is different from dynamic mapping (creating a geomet- 2011-600877) and H2020-ICT projects SmokeBot (645101) and ILIAD ric map in a changing environment). Recently, a number of (732737), the Swedish Knowledge Foundation projects AIR (20140220) and approaches for mapping of dynamics have been developed. RAISE (20130196). 1The authors are with the MRO lab of the AASS research centre at One general approach is to store past observations in Orebro¨ University, Sweden. [email protected] a compressed way (e.g., work of Arbuckle et al. [1] and Mitsou et al. [14]). Such methods provide tools to analyse the plications. Instead, CLiFF-map uses the idea of a Semi- history of the environment, but they are not able to predict Wrapped Gaussian Mixture Model presented in a later work how it will evolve in the future. On the other hand, work of Roy et al. [22]. A similar idea on how to jointly analyse on generative models, which try to predict future states of speed and orientation was suggested in work of Calderara et the environment, can be found in work of Wang et al. [26], al. [2], which points out that using a normal distribution on Kucner et al. [10] and Saarinen et al. [23]. All of these a line and a wrapped normal distribution allows to compute methods treat dynamics as a change of occupancy in grid a covariance matrix explaining the correlation between the map cells and most of them assume that state changes of speed and orientation. neighbouring cells are independent. In contrast, CLiFF-map In this paper we also address the data imputation prob- models the flow field of the environment and how it affects lem [11]. Data imputation is a set of methods that are used the motion of objects. to fill in missing records in a data set. We use non-parametric The related problem of analysing trajectories of moving random kernel imputation [18, 19]. In this approach missing objects has been addressed, e.g., in work of Calderara et data are drawn, according to weights computed using a kernel al. [3] and Nawaz et al. [15]. The authors try to detect function, from already computed models and then imputed similarities between trajectories and cluster them. An exten- into unobserved locations. sion of this approach, presented by Ellis et al. [7], clusters III. ALGORITHMS trajectories based on their entry point and uses a Gaussian A. Representation Process to model the observed motion patterns. The shared limitation of the trajectory analysing methods listed above is Velocity V can be described as a heterogeneous quantity that they cannot work with inputs providing only velocity combining orientation (θ) and speed (ρ), (see Eq. 1). In con- estimates or incomplete data. Moreover, they rely on the trast to a representation using a 2D Euclidean vector (Vx;Vy), assumption of complete observability, which is difficult to in this representation each component has a physical meaning ensure for large environments (e.g., airports). Furthermore, and can be analysed separately, and the covariance matrix has the work of Ellis et al. [7] requires to build a separate model a clear physical interpretation. T + for each entry point, which can lead to a complex multilevel V = (θ; ρ) ; ρ R θ [0; 2π) (1) 2 ^ 2 representation. They also do not address the problem of To build a probabilistic model of velocities we use a semi- multimodality, assuming that intersections will only happen wrapped normal distribution (SWND), which is a distribu- between trajectories with different entry points. tion on a cylinder. One of the dimensions is wrapped around Joseph et al. [9] describe trajectories as flow fields where the circumference of it and the other one is along its height. each position has a corresponding path derivative. The motion in the environment is modelled as a mixture of SW X θ k (V ) = µµ,Σ + 2π (2) Gaussian Processes. The major difference between CLiFF- Nµµ,Σ N Σ ρ 0 map and the work of Joseph et al. is that CLiFF-map does not k2Z depend on the knowledge of trajectories. CLiFF-map aims In Eq. 2 we see that density function of a semi-wrapped to address a wide spectrum of problems focusing on cases normal distribution is a periodic sum of period 2π of normal where trajectory information is not available (air flow) or distributions on a surface defined by (µµ,ΣΣ).
Load more

Recommended publications
  • Symmetry Conditions on Dirac Observables
    Proceedings of Institute of Mathematics of NAS of Ukraine 2004, Vol. 50, Part 2, 671–676 Symmetry Conditions on Dirac Observables Heinz Otto CORDES Department of Mathematics, University of California, Berkeley, CA 94720 USA E-mail: [email protected] Using our Dirac invariant algebra we attempt a mathematically and philosophically clean theory of Dirac observables, within the environment of the 4 books [10,9,11,4]. All classical objections to one-particle Dirac theory seem removed, while also some principal objections to von Neumann’s observable theory may be cured. Heisenberg’s uncertainty principle appears improved. There is a clean and mathematically precise pseudodifferential Foldy–Wouthuysen transform, not only for the supersymmeytric case, but also for general (C∞-) potentials. 1 Introduction The free Dirac Hamiltonian H0 = αD+β is a self-adjoint square root of 1−∆ , with the Laplace HS − 1 operator ∆. The free Schr¨odinger√ Hamiltonian 0 =1 2 ∆ (where “1” is the “rest energy” 2 1 mc ) seems related to H0 like 1+x its approximation 1+ 2 x – second partial sum of its Taylor expansion. From that aspect the early discoverers of Quantum Mechanics were lucky that the energies of the bound states of hydrogen (a few eV) are small, compared to the mass energy of an electron (approx. 500 000 eV), because this should make “Schr¨odinger” a good approximation of “Dirac”. But what about the continuous spectrum of both operators – governing scattering theory. Note that today big machines scatter with energies of about 10,000 – compared to the above 1 = mc2. So, from that aspect the precise scattering theory of both Hamiltonians (with potentials added) should give completely different results, and one may have to put ones trust into one of them, because at most one of them can be applicable.
    [Show full text]
  • Relational Quantum Mechanics and Probability M
    Relational Quantum Mechanics and Probability M. Trassinelli To cite this version: M. Trassinelli. Relational Quantum Mechanics and Probability. Foundations of Physics, Springer Verlag, 2018, 10.1007/s10701-018-0207-7. hal-01723999v3 HAL Id: hal-01723999 https://hal.archives-ouvertes.fr/hal-01723999v3 Submitted on 29 Aug 2018 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. Noname manuscript No. (will be inserted by the editor) Relational Quantum Mechanics and Probability M. Trassinelli the date of receipt and acceptance should be inserted later Abstract We present a derivation of the third postulate of Relational Quan- tum Mechanics (RQM) from the properties of conditional probabilities. The first two RQM postulates are based on the information that can be extracted from interaction of different systems, and the third postulate defines the prop- erties of the probability function. Here we demonstrate that from a rigorous definition of the conditional probability for the possible outcomes of different measurements, the third postulate is unnecessary and the Born's rule naturally emerges from the first two postulates by applying the Gleason's theorem. We demonstrate in addition that the probability function is uniquely defined for classical and quantum phenomena.
    [Show full text]
  • Identical Particles
    8.06 Spring 2016 Lecture Notes 4. Identical particles Aram Harrow Last updated: May 19, 2016 Contents 1 Fermions and Bosons 1 1.1 Introduction and two-particle systems .......................... 1 1.2 N particles ......................................... 3 1.3 Non-interacting particles .................................. 5 1.4 Non-zero temperature ................................... 7 1.5 Composite particles .................................... 7 1.6 Emergence of distinguishability .............................. 9 2 Degenerate Fermi gas 10 2.1 Electrons in a box ..................................... 10 2.2 White dwarves ....................................... 12 2.3 Electrons in a periodic potential ............................. 16 3 Charged particles in a magnetic field 21 3.1 The Pauli Hamiltonian ................................... 21 3.2 Landau levels ........................................ 23 3.3 The de Haas-van Alphen effect .............................. 24 3.4 Integer Quantum Hall Effect ............................... 27 3.5 Aharonov-Bohm Effect ................................... 33 1 Fermions and Bosons 1.1 Introduction and two-particle systems Previously we have discussed multiple-particle systems using the tensor-product formalism (cf. Section 1.2 of Chapter 3 of these notes). But this applies only to distinguishable particles. In reality, all known particles are indistinguishable. In the coming lectures, we will explore the mathematical and physical consequences of this. First, consider classical many-particle systems. If a single particle has state described by position and momentum (~r; p~), then the state of N distinguishable particles can be written as (~r1; p~1; ~r2; p~2;:::; ~rN ; p~N ). The notation (·; ·;:::; ·) denotes an ordered list, in which different posi­ tions have different meanings; e.g. in general (~r1; p~1; ~r2; p~2)6 = (~r2; p~2; ~r1; p~1). 1 To describe indistinguishable particles, we can use set notation.
    [Show full text]
  • Two-State Systems
    1 TWO-STATE SYSTEMS Introduction. Relative to some/any discretely indexed orthonormal basis |n) | ∂ | the abstract Schr¨odinger equation H ψ)=i ∂t ψ) can be represented | | | ∂ | (m H n)(n ψ)=i ∂t(m ψ) n ∂ which can be notated Hmnψn = i ∂tψm n H | ∂ | or again ψ = i ∂t ψ We found it to be the fundamental commutation relation [x, p]=i I which forced the matrices/vectors thus encountered to be ∞-dimensional. If we are willing • to live without continuous spectra (therefore without x) • to live without analogs/implications of the fundamental commutator then it becomes possible to contemplate “toy quantum theories” in which all matrices/vectors are finite-dimensional. One loses some physics, it need hardly be said, but surprisingly much of genuine physical interest does survive. And one gains the advantage of sharpened analytical power: “finite-dimensional quantum mechanics” provides a methodological laboratory in which, not infrequently, the essentials of complicated computational procedures can be exposed with closed-form transparency. Finally, the toy theory serves to identify some unanticipated formal links—permitting ideas to flow back and forth— between quantum mechanics and other branches of physics. Here we will carry the technique to the limit: we will look to “2-dimensional quantum mechanics.” The theory preserves the linearity that dominates the full-blown theory, and is of the least-possible size in which it is possible for the effects of non-commutivity to become manifest. 2 Quantum theory of 2-state systems We have seen that quantum mechanics can be portrayed as a theory in which • states are represented by self-adjoint linear operators ρ ; • motion is generated by self-adjoint linear operators H; • measurement devices are represented by self-adjoint linear operators A.
    [Show full text]
  • Chapter 6. Time Evolution in Quantum Mechanics
    6. Time Evolution in Quantum Mechanics 6.1 Time-dependent Schrodinger¨ equation 6.1.1 Solutions to the Schr¨odinger equation 6.1.2 Unitary Evolution 6.2 Evolution of wave-packets 6.3 Evolution of operators and expectation values 6.3.1 Heisenberg Equation 6.3.2 Ehrenfest’s theorem 6.4 Fermi’s Golden Rule Until now we used quantum mechanics to predict properties of atoms and nuclei. Since we were interested mostly in the equilibrium states of nuclei and in their energies, we only needed to look at a time-independent description of quantum-mechanical systems. To describe dynamical processes, such as radiation decays, scattering and nuclear reactions, we need to study how quantum mechanical systems evolve in time. 6.1 Time-dependent Schro¨dinger equation When we first introduced quantum mechanics, we saw that the fourth postulate of QM states that: The evolution of a closed system is unitary (reversible). The evolution is given by the time-dependent Schrodinger¨ equation ∂ ψ iI | ) = ψ ∂t H| ) where is the Hamiltonian of the system (the energy operator) and I is the reduced Planck constant (I = h/H2π with h the Planck constant, allowing conversion from energy to frequency units). We will focus mainly on the Schr¨odinger equation to describe the evolution of a quantum-mechanical system. The statement that the evolution of a closed quantum system is unitary is however more general. It means that the state of a system at a later time t is given by ψ(t) = U(t) ψ(0) , where U(t) is a unitary operator.
    [Show full text]
  • Hamilton Equations, Commutator, and Energy Conservation †
    quantum reports Article Hamilton Equations, Commutator, and Energy Conservation † Weng Cho Chew 1,* , Aiyin Y. Liu 2 , Carlos Salazar-Lazaro 3 , Dong-Yeop Na 1 and Wei E. I. Sha 4 1 College of Engineering, Purdue University, West Lafayette, IN 47907, USA; [email protected] 2 College of Engineering, University of Illinois at Urbana-Champaign, Urbana, IL 61820, USA; [email protected] 3 Physics Department, University of Illinois at Urbana-Champaign, Urbana, IL 61820, USA; [email protected] 4 College of Information Science and Electronic Engineering, Zhejiang University, Hangzhou 310058, China; [email protected] * Correspondence: [email protected] † Based on the talk presented at the 40th Progress In Electromagnetics Research Symposium (PIERS, Toyama, Japan, 1–4 August 2018). Received: 12 September 2019; Accepted: 3 December 2019; Published: 9 December 2019 Abstract: We show that the classical Hamilton equations of motion can be derived from the energy conservation condition. A similar argument is shown to carry to the quantum formulation of Hamiltonian dynamics. Hence, showing a striking similarity between the quantum formulation and the classical formulation. Furthermore, it is shown that the fundamental commutator can be derived from the Heisenberg equations of motion and the quantum Hamilton equations of motion. Also, that the Heisenberg equations of motion can be derived from the Schrödinger equation for the quantum state, which is the fundamental postulate. These results are shown to have important bearing for deriving the quantum Maxwell’s equations. Keywords: quantum mechanics; commutator relations; Heisenberg picture 1. Introduction In quantum theory, a classical observable, which is modeled by a real scalar variable, is replaced by a quantum operator, which is analogous to an infinite-dimensional matrix operator.
    [Show full text]
  • On Relational Quantum Mechanics Oscar Acosta University of Texas at El Paso, [email protected]
    University of Texas at El Paso DigitalCommons@UTEP Open Access Theses & Dissertations 2010-01-01 On Relational Quantum Mechanics Oscar Acosta University of Texas at El Paso, [email protected] Follow this and additional works at: https://digitalcommons.utep.edu/open_etd Part of the Philosophy of Science Commons, and the Quantum Physics Commons Recommended Citation Acosta, Oscar, "On Relational Quantum Mechanics" (2010). Open Access Theses & Dissertations. 2621. https://digitalcommons.utep.edu/open_etd/2621 This is brought to you for free and open access by DigitalCommons@UTEP. It has been accepted for inclusion in Open Access Theses & Dissertations by an authorized administrator of DigitalCommons@UTEP. For more information, please contact [email protected]. ON RELATIONAL QUANTUM MECHANICS OSCAR ACOSTA Department of Philosophy Approved: ____________________ Juan Ferret, Ph.D., Chair ____________________ Vladik Kreinovich, Ph.D. ___________________ John McClure, Ph.D. _________________________ Patricia D. Witherspoon Ph. D Dean of the Graduate School Copyright © by Oscar Acosta 2010 ON RELATIONAL QUANTUM MECHANICS by Oscar Acosta THESIS Presented to the Faculty of the Graduate School of The University of Texas at El Paso in Partial Fulfillment of the Requirements for the Degree of MASTER OF ARTS Department of Philosophy THE UNIVERSITY OF TEXAS AT EL PASO MAY 2010 Acknowledgments I would like to express my deep felt gratitude to my advisor and mentor Dr. Ferret for his never-ending patience, his constant motivation and for not giving up on me. I would also like to thank him for introducing me to the subject of philosophy of science and hiring me as his teaching assistant.
    [Show full text]
  • Qualification Exam: Quantum Mechanics
    Qualification Exam: Quantum Mechanics Name: , QEID#43228029: July, 2019 Qualification Exam QEID#43228029 2 1 Undergraduate level Problem 1. 1983-Fall-QM-U-1 ID:QM-U-2 Consider two spin 1=2 particles interacting with one another and with an external uniform magnetic field B~ directed along the z-axis. The Hamiltonian is given by ~ ~ ~ ~ ~ H = −AS1 · S2 − µB(g1S1 + g2S2) · B where µB is the Bohr magneton, g1 and g2 are the g-factors, and A is a constant. 1. In the large field limit, what are the eigenvectors and eigenvalues of H in the "spin-space" { i.e. in the basis of eigenstates of S1z and S2z? 2. In the limit when jB~ j ! 0, what are the eigenvectors and eigenvalues of H in the same basis? 3. In the Intermediate regime, what are the eigenvectors and eigenvalues of H in the spin space? Show that you obtain the results of the previous two parts in the appropriate limits. Problem 2. 1983-Fall-QM-U-2 ID:QM-U-20 1. Show that, for an arbitrary normalized function j i, h jHj i > E0, where E0 is the lowest eigenvalue of H. 2. A particle of mass m moves in a potential 1 kx2; x ≤ 0 V (x) = 2 (1) +1; x < 0 Find the trial state of the lowest energy among those parameterized by σ 2 − x (x) = Axe 2σ2 : What does the first part tell you about E0? (Give your answers in terms of k, m, and ! = pk=m). Problem 3. 1983-Fall-QM-U-3 ID:QM-U-44 Consider two identical particles of spin zero, each having a mass m, that are con- strained to rotate in a plane with separation r.
    [Show full text]
  • Understanding Degenerate Ground States of a Protected Quantum Circuit in the Presence of Disorder
    PHYSICAL REVIEW B 90, 094518 (2014) Understanding degenerate ground states of a protected quantum circuit in the presence of disorder Joshua M. Dempster,1 Bo Fu,1 David G. Ferguson,1,* D. I. Schuster,2 and Jens Koch1 1Department of Physics & Astronomy, Northwestern University, Evanston, Illinois 60208, USA 2Department of Physics and James Franck Institute, University of Chicago, Chicago, Illinois 60637, USA (Received 16 April 2014; revised manuscript received 16 July 2014; published 24 September 2014) A recent theoretical proposal suggests that a simple circuit utilizing two superinductors may produce a qubit with ground-state degeneracy [Brooks, Phys. Rev. A 87, 052306 (2013)]. We perform a full circuit analysis along with exact diagonalization of the circuit Hamiltonian to elucidate the nature of the spectrum and low-lying wave functions of this 0-π device. We show that the ground-state degeneracy is robust to disorder in charge, flux, and critical current as well as insensitive to modest variations in the circuit parameters. Our treatment is nonperturbative, provides access to excited states and matrix elements, and is immediately applicable also to intermediate parameter regimes of experimental interest. DOI: 10.1103/PhysRevB.90.094518 PACS number(s): 03.67.Lx, 85.25.Hv, 85.25.Cp I. INTRODUCTION nature of its wave functions and general spectral properties. Second, we investigate what device parameters are needed The idea of topological protection from decoherence [1] for robust degeneracy and discuss the feasibility of accessing has greatly influenced research aimed at the physical im- this parameter regime based on state-of-the-art fabrication plementation of quantum computation.
    [Show full text]
  • Can We Make Sense of Relational Quantum Mechanics?
    Noname manuscript No. (will be inserted by the editor) Can we make sense of Relational Quantum Mechanics? Quentin Ruyant November 2017 Abstract The relational interpretation of quantum mechanics proposes to solve the measurement problem and reconcile completeness and locality of quantum mechanics by postulating relativity to the observer for events and facts, instead of an absolute \view from nowhere". The aim of this paper is to clarify this interpretation, and in particular, one of its central claims concern- ing the possibility for an observer to have knowledge about other observer's events. I consider three possible readings of this claim (deflationist, relation- ist and relativist), and develop the most promising one, relativism, to show how it fares when confronted with the traditional interpretative problems of quantum mechanics. Although it provides answers to some problems, I claim that there is currently no adapted locality criterion to evaluate whether the resulting interpretation is local or not. Keywords Relational Quantum Mechanics · Bell's theorem · Locality · Relativism Universit´eCatholique de Louvain 2 Quentin Ruyant Carlo Rovelli has proposed an interpretation of quantum mechanics, which he has dubbed relational quantum mechanics (RQM) (Rovelli, 1996; Smerlak Rovelli, 2007). Rovelli claims that this interpretation solves the measurement problem while preserving both the locality and completeness of quantum me- chanics, all this without additional structure nor many-worlds. This is a bold claim: how is this possible? By positing that the states quantum mechanics describes are relative to the observer rather than absolute. We should abandon the idea that there is a \view from nowhere", and all our worries will be put at ease.
    [Show full text]
  • Observables and Measurements in Quantum Mechanics
    Chapter 13 Observables and Measurements in Quantum Mechanics ill now, almost all attention has been focussed on discussing the state of a quantum system. T As we have seen, this is most succinctly done by treating the package of information that defines a state as if it were a vector in an abstract Hilbert space. Doing so provides the mathemat- ical machinery that is needed to capture the physically observed properties of quantum systems. A method by which the state space of a physical system can be set up was described in Section 8.4.2 wherein an essential step was to associate a set of basis states of the system with the ex- haustive collection of results obtained when measuring some physical property, or observable, of the system. This linking of particular states with particular measured results provides a way that the observable properties of a quantum system can be described in quantum mechanics, that is in terms of Hermitean operators. It is the way in which this is done that is the main subject of this Chapter. 13.1 Measurements in Quantum Mechanics One of the most difficult and controversial problems in quantum mechanics is the so-called measurement Quantum System problem. Opinions on the significance of this prob- S lem vary widely. At one extreme the attitude is that there is in fact no problem at all, while at the other extreme the view is that the measurement problem Measuring is one of the great unsolved puzzles of quantum me- Apparatus chanics. The issue is that quantum mechanics only M ff provides probabilities for the di erent possible out- Surrounding Environment comes in an experiment – it provides no mechanism E by which the actual, finally observed result, comes Figure 13.1: System interacting with about.
    [Show full text]
  • Decoherence: an Explanation of Quantum Measurement
    Decoherence: An Explanation of Quantum Measurement Jason Gross\ast Massachusetts Institute of Technology, 77 Massachusetts Ave., Cambridge, MA 02139-4307 (Dated: May 5, 2012) The description of the world given by quantum mechanics is at odds with our classical experience. Most of this conflict resides in the concept of \measurement". After explaining the originsof the controversy, and introducing and explaining some of the relevant mathematics behind density matrices and partial trace, I will introduce decoherence as a way of describing classical measurements from an entirely quantum perspective. I will discuss basis ambiguity and the problem of information flow in a system + observer model, and explain how introducing the environment removes this ambiguity via environmentally-induced superselection. I will use a controlled not gate as a toy model of measurement; including a one-bit environment will provide an example of how interaction can pick out a preferred basis, and included an N-bit environment will give a toy model of decoherence. I. INTRODUCTION function over each independent observable. Moreover, the law of superposition, which states that any linear For any physicist who learns classical mechanics before combination of valid quantum states is also valid, gives quantum mechanics, the theory of quantum mechanics at rise to states that do not seem to correspond to any clas- first appears to be a strange and counter-intuitive wayto sical system anyone has experienced. The most famous describe the world. The correspondence between classical example of such a state is that of Schr\"odinger'shypo- experience and quantum theory is not obvious, and has thetical cat, which is in a superposition of being alive been at the core of debates about the interpretation of and being dead.
    [Show full text]