Postulates of quantum mechanics viewed as a non-commutative extension of probability theory with a dynamical law

Similar documents
The Postulates of Quantum Mechanics

Quantum Computing Lecture 3. Principles of Quantum Mechanics. Anuj Dawar

. Here we are using the standard inner-product over C k to define orthogonality. Recall that the inner-product of two vectors φ = i α i.

Quantum decoherence. Éric Oliver Paquette (U. Montréal) -Traces Worshop [Ottawa]- April 29 th, Quantum decoherence p. 1/2

The Framework of Quantum Mechanics

Lecture 4: Postulates of quantum mechanics

2. Introduction to quantum mechanics

Ph 219/CS 219. Exercises Due: Friday 20 October 2006

MP463 QUANTUM MECHANICS

Lecture 3: Hilbert spaces, tensor products

Hilbert Space, Entanglement, Quantum Gates, Bell States, Superdense Coding.

Linear Algebra using Dirac Notation: Pt. 2

Ensembles and incomplete information

MP 472 Quantum Information and Computation

Quantum Gates, Circuits & Teleportation

MATH 423 Linear Algebra II Lecture 33: Diagonalization of normal operators.

Quantum Computing Lecture 2. Review of Linear Algebra

Math 108b: Notes on the Spectral Theorem

1 The postulates of quantum mechanics

Real symmetric matrices/1. 1 Eigenvalues and eigenvectors

Lecture 4: Equations of motion and canonical quantization Read Sakurai Chapter 1.6 and 1.7

The query register and working memory together form the accessible memory, denoted H A. Thus the state of the algorithm is described by a vector

Computational Algebraic Topology Topic B Lecture III: Quantum Realizability

1 Readings. 2 Unitary Operators. C/CS/Phys C191 Unitaries and Quantum Gates 9/22/09 Fall 2009 Lecture 8

Introduction to Quantum Mechanics

Basic concepts from quantum theory

Mathematical foundations - linear algebra

Introduction to Group Theory

Free probability and quantum information

Unitary Dynamics and Quantum Circuits

Introduction to Quantum Computing

Basic concepts from quantum theory

1 Inner Product and Orthogonality

Unitary evolution: this axiom governs how the state of the quantum system evolves in time.

Quantum mechanics in one hour

Quantum Measurements: some technical background

1. The Polar Decomposition

MATH 583A REVIEW SESSION #1

linearly indepedent eigenvectors as the multiplicity of the root, but in general there may be no more than one. For further discussion, assume matrice

Quantum Information & Quantum Computation

Chapter 5. Density matrix formalism

)j > Riley Tipton Perry University of New South Wales, Australia. World Scientific CHENNAI

Lecture 2: Introduction to Quantum Mechanics

NEW ESTIMATES FOR RITZ VECTORS

Properties of Matrices and Operations on Matrices

Quantum computing. Shor s factoring algorithm. Dimitri Petritis. UFR de mathématiques Université de Rennes CNRS (UMR 6625) Rennes, 30 novembre 2018

Lecture 7: Positive Semidefinite Matrices

C/CS/Phys 191 Quantum Gates and Universality 9/22/05 Fall 2005 Lecture 8. a b b d. w. Therefore, U preserves norms and angles (up to sign).

Short Course in Quantum Information Lecture 2

Moore Penrose inverses and commuting elements of C -algebras

The Spectral Theorem for normal linear maps

Introduction to Quantum Information Hermann Kampermann

October 25, 2013 INNER PRODUCT SPACES

Ph 219b/CS 219b. Exercises Due: Wednesday 21 November 2018 H = 1 ( ) 1 1. in quantum circuit notation, we denote the Hadamard gate as

Lecture notes: Applied linear algebra Part 1. Version 2

1 Mathematical preliminaries

1 Fundamental physical postulates. C/CS/Phys C191 Quantum Mechanics in a Nutshell I 10/04/07 Fall 2007 Lecture 12

Ph 219b/CS 219b. Exercises Due: Wednesday 20 November 2013

Page 712. Lecture 42: Rotations and Orbital Angular Momentum in Two Dimensions Date Revised: 2009/02/04 Date Given: 2009/02/04

Lecture 2: Linear operators

The BB84 cryptologic protocol

Proposition 42. Let M be an m n matrix. Then (32) N (M M)=N (M) (33) R(MM )=R(M)

Quantum NP - Cont. Classical and Quantum Computation A.Yu Kitaev, A. Shen, M. N. Vyalyi 2002

Qubits vs. bits: a naive account A bit: admits two values 0 and 1, admits arbitrary transformations. is freely readable,

The Principles of Quantum Mechanics: Pt. 1

The Kochen-Specker Theorem

Recitation 1 (Sep. 15, 2017)

Postulates of quantum mechanics

5 Compact linear operators

QUANTUM FIELD THEORY: THE WIGHTMAN AXIOMS AND THE HAAG-KASTLER AXIOMS

Spectral Theory, with an Introduction to Operator Means. William L. Green

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

Principles of Quantum Mechanics Pt. 2

Pseudo-Hermiticity and Generalized P T- and CP T-Symmetries

Exercise Set 7.2. Skills

MATRICES ARE SIMILAR TO TRIANGULAR MATRICES

Lecture 19 (Nov. 15, 2017)

Representation theory of SU(2), density operators, purification Michael Walter, University of Amsterdam

arxiv:quant-ph/ v1 1 Jul 2002

Lecture 11 September 30, 2015

Probability and combinatorics

6.1 Main properties of Shannon entropy. Let X be a random variable taking values x in some alphabet with probabilities.

Pre (QC & QE) Pace University START THE. pace.edu. Fly By (C) RIF /9/2003 Pre (QC & QE) Fly By V.6.

MATHEMATICS 217 NOTES

Vector spaces and operators

Unitary t-designs. Artem Kaznatcheev. February 13, McGill University

Spectral theory for compact operators on Banach spaces

Appendix A. Vector addition: - The sum of two vectors is another vector that also lie in the space:

Quantum Information & Quantum Computing

DECAY OF SINGLET CONVERSION PROBABILITY IN ONE DIMENSIONAL QUANTUM NETWORKS

An Introduction to Quantum Information. By Aditya Jain. Under the Guidance of Dr. Guruprasad Kar PAMU, ISI Kolkata

16.584: Random Vectors

Lecture notes on Quantum Computing. Chapter 1 Mathematical Background

Density Matrices. Chapter Introduction

Physics 239/139 Spring 2018 Assignment 6

Lecture 12: Detailed balance and Eigenfunction methods

Quantum Mechanics Solutions. λ i λ j v j v j v i v i.

Can we derive Newton s F = ma from the SE?

Lecture 21 Relevant sections in text: 3.1

ECE 275A Homework # 3 Due Thursday 10/27/2016

Transcription:

Postulates of quantum mechanics viewed as a non-commutative extension of probability theory with a dynamical law Dimitri Petritis Institut de recherche mathématique de Rennes Université de Rennes 1 et CNRS (UMR 6625)

Phase space and states Phase space and pure states Time evolution Observables Measurements Postulate Phase space quantum system: complex separable Hilbert space H. Pure states are unit vectors a of H. a Strictly speaking, equivalence classes of unit vectors differing by a global phase, called rays, so that S p H 1/ and h h h = λh, λ C, λ = 1. Hilbert space: C-Banach space, with sesquilinear form : H H C, s.t. α 1 φ 1 + α 2 φ 2 ψ = α 1 φ 1 ψ + α 2 φ 2 ψ, φ ψ = ψ φ, ψ 2 = ψ ψ. Ray: ψ H, ψ = 1. But H separable ψ 2 = n ψ n 2 = 1. Hence ( ψ n 2 ) n probability vector on set indexing the basis of H.

Time evolution Simplified version of postulates of QM Phase space and pure states Time evolution Observables Measurements Postulate Time evolution of isolated quantum system described by a unitary operator U acting on H. Conversely, any unitary operator acting on H corresponds to possible invariance a of the system. a Time evolution of isolated system leaves physical quantity energy invariant. Unitary operators are associated with conserved quantities. U unitary: U U = UU = I U 1 = U. φ ray: Uφ 2 = Uφ Uφ = φ U Uφ = φ 2 = 1. Hence Uφ ray.

Sharp and unsharp observables Phase space and pure states Time evolution Observables Measurements Postulate General real sharp observable: self-adjoint X acting on H. Elementary real sharp observables associated with X : B(R) B M(B) P(H); M spectral projector of X. Unsharp real observable: resolution of identity into positive operators that are not necessarily projections. X = X spec X := X R. M spectral measure of X ; supp M = spec X but can trivially be extended on R. X = spec X M(dx)x.

Phase space and pure states Time evolution Observables Measurements Measurements (innocent-looking but against intuition) Postulate Let M spectral measure of sharp observable X. Measuring observable X in pure state ψ is asking whether X has spectral values in B and determining probability π ψ M (B) of occurrence, by S p ψ π ψ M (B) := ψ M(B)ψ [0, 1]. π ψ M M 1(B(R)) supported by X := spec X. X = spec X M(dx)x E ψ (X ) = X πψ M (dx)x = ψ M(dx)ψ x = ψ X ψ. X M in CM indicator; in QM projection operator acting on H. Quid if 2 observables with spectral measures M and N?

Composite systems Phase space and pure states Time evolution Observables Measurements Postulate System composed from two subsystems described respectively by H 1 and H 2 is described by H 1 H 2 (where denotes tensor product). Blackboard 1: Tensor product (a first look).

A very simple illustrative example Phase space, states, and time evolution H = C 2 ; f H : f = f 1 ɛ 1 + f 2 ɛ 2, ɛ 1 = ( ) 1 ; ɛ 0 2 = ( ) 0. 1 If f 0, then φ = f f S p, i.e. φ 1 2 + φ 2 2 = 1, therefore φ 1, φ 2 amplitudes of probability on {1, 2}. ɛ 1, ɛ 2 S p. φ 1 2 = P(system in state φ is in state ɛ 1 ). If φ 1 0, φ 2 0, the pure state φ is in a linear superposition of other pure states. Time evolution of isolated system is invertible and preserves pure states.

A very simple illustrative example Observables I ( ) 1 2i Take X = = X 2i 2 as an example of sharp observable. X = spec X = { 3, 2}. Compute easily Eigenvalues Eigenvectors Orthoprojectors x u x M x ( ) ( ) 1 i 3 1 1 2i 5 2 5 ( ) ( 2i 4 ) 1 2i 2 1 4 2i 5 1 5 2i 1 x spec X M x = I H, M x 0 and Mx 2 = M x. Thus (M x ) family of sharp elementary observables. For x spec X, M x H = Cu x. X = X u x u y = δ x,y, x, y spec X M x, M y orthogonal orthoprojections.

A very simple illustrative example Observables II Since (u x ) x orhonormal basis, S p ψ = x α xu x, with x α x 2 = 1, i.e. ( α x 2 ) x probability vector on spec X. E ψ X = ψ X ψ = x α xu x ( x M xx) x α x u x = x x α x 2. If X was a classical X-valued r.v., with probability (p x ) x X, EX = x xp x = x px x p x = x e iθx p x x p x e iθx = ψ ˆX ψ, ( e iθ 3 ) ( ) p 3 3 0 where ψ = e iθ and ˆX =. 2 p 2 0 2 Classical r.v. = quantum r.v. with only diagonal entries.

A very simple illustrative example Measurement System in ψ S p. Ask question M x, i.e. does X takes value x? and determine its probability. Answer: yes, with { probability π ψ M (x) = ψ M xψ = M x ψ 2, ux ψ u where M x ψ = x if x X, 0 otherwise. BUT: Once the question has been asked, and got positive answer, the system now in new state φ x = ux ψ ux u x ψ. Re-asking the question, gives answer yes with probability 1. Asking a question on a quantum system, IRREVERSIBLY alters its state.

A very simple illustrative example Composite systems H = H 1 H 2, H i C 2. Each H i with basis (ɛ 1, ɛ 2 ). Basis of H (ɛ 1 ɛ 1, ɛ 1 ɛ 2, ɛ 2 ɛ 1, ɛ 2 ɛ 2 ). H ψ = ψ 11 ɛ 1 ɛ 1 + ψ 12 ɛ 1 ɛ 2 + ψ 21 ɛ 2 ɛ 1 + ψ 22 ɛ 2 ɛ 2. If ψ 11 = ψ 12 = 0, ψ 21 0; ψ 22 0, then ψ = ψ 21 ɛ 2 ɛ 1 + ψ 22 ɛ 2 ɛ 2 = ɛ 2 (ψ 21 ɛ 1 + ψ 22 ɛ 2 ), i.e. ψ = ψ (1) ψ (2). Joint probability = product measure (independence). If both ψ 11 0; ψ 22 0 then ψ ψ (1) ψ (2) (non-independence). Exercise: is-it possible classically? Quantenverschränkung, Quantum entanglement. Intrication (enchevêtrement) quantique. Probably Entrelazamiento (enredo) cuántico in Spanish.

An artist s view of entanglement Figure: Ruth Bloch. Entanglement (bronze, 71cm, 1995). (From the web page of the artist, reproduced here with her permission; the existence of this sculpture has been brought to my attention by Dénes Petz).