* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download qm1-web - Michael Nielsen
Matter wave wikipedia , lookup
Wave–particle duality wikipedia , lookup
Wave function wikipedia , lookup
Ensemble interpretation wikipedia , lookup
Delayed choice quantum eraser wikipedia , lookup
Double-slit experiment wikipedia , lookup
Renormalization wikipedia , lookup
Basil Hiley wikipedia , lookup
Renormalization group wikipedia , lookup
Particle in a box wikipedia , lookup
Theoretical and experimental justification for the Schrödinger equation wikipedia , lookup
Bohr–Einstein debates wikipedia , lookup
Relativistic quantum mechanics wikipedia , lookup
Topological quantum field theory wikipedia , lookup
Bell test experiments wikipedia , lookup
Quantum dot wikipedia , lookup
Scalar field theory wikipedia , lookup
Quantum field theory wikipedia , lookup
Hydrogen atom wikipedia , lookup
Coherent states wikipedia , lookup
Quantum electrodynamics wikipedia , lookup
Path integral formulation wikipedia , lookup
Quantum decoherence wikipedia , lookup
Density matrix wikipedia , lookup
Quantum fiction wikipedia , lookup
Copenhagen interpretation wikipedia , lookup
Probability amplitude wikipedia , lookup
Orchestrated objective reduction wikipedia , lookup
Quantum computing wikipedia , lookup
Many-worlds interpretation wikipedia , lookup
Measurement in quantum mechanics wikipedia , lookup
Bell's theorem wikipedia , lookup
Quantum entanglement wikipedia , lookup
Quantum machine learning wikipedia , lookup
History of quantum field theory wikipedia , lookup
Bra–ket notation wikipedia , lookup
Quantum group wikipedia , lookup
Symmetry in quantum mechanics wikipedia , lookup
EPR paradox wikipedia , lookup
Interpretations of quantum mechanics wikipedia , lookup
Quantum key distribution wikipedia , lookup
Canonical quantization wikipedia , lookup
Quantum teleportation wikipedia , lookup
Quantum Mechanics I: Basic Principles Michael A. Nielsen University of Queensland “I ain’t no physicist but I know what matters” - Popeye the Sailor Goal of this and the next lecture: to introduce all the basic elements of quantum mechanics, using examples drawn from quantum information science. What is quantum mechanics? It is a framework for the development of physical theories. It is not a complete physical theory in its own right. Applications software Operating system Specific rules Quantum mechanics Quantum electrodynamics (QED) QM consists of four mathematical postulates which lay the ground rules for our description of the world. Newtonian gravitation Newton’s laws of motion How successful is quantum mechanics? It is unbelievably successful. Not just for the small stuff! QM crucial to explain why stars shine, how the Universe formed, and the stability of matter. No deviations from quantum mechanics are known Most physicists believe that any “theory of everything” will be a quantum mechanical theory A conceptual issue, the so-called “measurement problem”, remains to be clarified. Attempts to describe gravitation in the framework of quantum mechanics have (so far) failed. The structure of quantum mechanics linear algebra ,,A Dirac notation 4 postulates of quantum mechanics 1. How to describe quantum states of a closed system. “state vectors” and “state space” 2. How to describe quantum dynamics. “unitary evolution” 3. How to describe measurements of a quantum system. “projective measurements” 4. How to describe quantum state of a composite system. “tensor products” Example: qubits (two-level quantum systems) 1 0 1 photons electron spin nuclear spin etcetera 0 “Normalization” | |2 | |2 1 0 and 1 are the computational basis states “All we do is draw little arrows on a piece of paper - that's all.” - Richard Feynman Postulate 1: Rough Form Associated to any quantum system is a complex vector space known as state space. The state of a closed quantum system is a unit vector in state space. Example: we’ll work mainly with qubits, which have state space C2. 0 1 Quantum mechanics does not prescribe the state spaces of specific systems, such as electrons. That’s the job of a physical theory like quantum electrodynamics. A few conventions We write vectors in state space as: (= ) This is the ket notation. nearly v We always assume that our physical systems have finite-dimensional state spaces. 0 0 1 1 2 2 ... d 1 d 1 0 1 2 : d 1 Qudit Cd Dynamics: quantum logic gates Quantum not gate: Input qubit X 0 1 ; X Output qubit X 1 0 . 0 1 ? 0 1 1 0 Matrix representation: 0 X 0 1 1 0 1 1 0 General dynamics of a closed quantum system (including logic gates) can be represented as a unitary matrix. Unitary matrices a b A c d Hermitian conjugation; taking the adjoint A† A* T a * c * * * b d A is said to be unitary if AA† A†A I We usually write unitary matrices as U. Example: 0 1 0 1 1 0 XX I 1 0 1 0 0 1 † Nomenclature tips matrix = (linear) operator = (linear) transformation = (linear) map = quantum gate (modulo unitarity) Postulate 2 The evolution of a closed quantum system is described by a unitary transformation. ' U Why unitaries? Unitary maps are the only linear maps that preserve normalization. ' U implies ' U 1 Exercise: prove that unitary evolution preserves normalization. Pauli gates X gate (AKA x or 1 ) X 0 1 X 0 1 ; X1 0 ; X 1 0 Y gate (AKA y or 2 ) Y 0 i Y 0 i 1 ; Y 1 i 0 ; Y i 0 Z gate (AKA z or 3 ) Z 1 0 Z 0 0 ; Z1 1 ; Z 0 1 Notation: 0 I Exercise: prove that XY=iZ Exercise: prove that X2=Y2=Z2=I Measuring a qubit: a rough and ready prescription 0 1 Quantum mechanics DOES NOT allow us to determine and . We can, however, read out limited information about and . “Measuring in the computational basis” 2 P (0) ; P (1) 2 Measurement unavoidably disturbs the system, leaving it in a state 0 or 1 determined by the outcome. Measuring a qubit 1 0 1 1 0 1 2 2 1 P (0) P (1) 2 More general measurements Let e1 ,..., ed be an orthonormal basis for C d . A "measurement of in the basis e1 ,..., ed " gives result j with probability Reminder: P ( j ) ej 2 . * * Measurement unavoidably disturbs the system, leaving it in a state ej determined by the outcome. Qubit example 0 1 Introduce orthonormal basis 2 1 1 Pr + = 1 = 2 2 Pr( ) 2 2 2 0 1 2 2 2 0 1 2 Inner products and duals “Young man, in mathematics you don’t understand things, you just get used to them.” - John von Neumann The inner product is used to define the dual of a vector . If lives in C d then the dual of is a function :C d C defined by Simplified notation: Example: 1 0 0 1 = 0 * Properties: a b b a , since a ,b b ,a A b b A † , since A b , c b * ,A† c b A† c Duals as row vectors Suppose a = j a j j and b = j bj j . Then a b a ,b * a b j j j a1* a2* b1 b2 This suggests the very useful identification of a with . the row vector a1* a2* Postulate 3: rough form If we measure in an orthonormal basis e1 ,..., ed , then we obtain the result j with probability P ( j ) ej 2 . The measurement disturbs the system, leaving it in a state ej determined by the outcome. The measurement problem Quantum system Measuring apparatus Rest of the Universe Postulates 1 and 2 Postulate 3 Research problem: solve the measurement problem. Irrelevance of “global phase” Suppose we measure in the orthonormal basis e1 ,..., ed . Then Pr( j ) ej 2 . Suppose we measure e i in the orthonormal basis e1 ,..., ed . Then Pr( j ) ej e i 2 ej 2 . The global phase factor e i is thus unobservable, and we may identify the states and e i . Revised postulate 1 Associated to any quantum system is a complex inner product space known as state space. The state of a closed quantum system is a unit vector in state space. Note: These inner product spaces are often called Hilbert spaces. Multiple-qubit systems 00 00 01 01 10 10 11 11 Measurement in the computational basis: General state of n qubits: n x 0,1 P (x , y ) | xy |2 x x Classically, requires O 2n bits to describe the state. “Hilbert space is a big place” - Carlton Caves “Perhaps […] we need a mathematical theory of quantum automata. […] the quantum state space has far greater capacity than the classical one: […] in the quantum case we get the exponential growth […] the quantum behavior of the system might be much more complex than its classical simulation.” – Yu Manin (1980) Postulate 4 The state space of a composite physical system is the tensor product of the state spaces of the component systems. Example: Two-qubit state space is C 2 C 2 C 4 Computational basis states: 0 0 ; 0 1 ; Alternative notations: 0 0 ; 0, 0 ; 00 . Properties z v w (z v ) w v (z w ) ( v1 v2 ) w v1 w v2 w v ( w1 w2 ) v w1 v w2 1 0 ; 1 1 Some conventions implicit in Postulate 4 Alice Bob If Alice prepares her system in state a , and Bob prepares his in state b , then the joint state is a b . Conversely, if the joint state is a b then we say that Alice's system is in the state a , and Bob's system is in the state b . a b = e i a e i b "Alice applies the gate U to her system" means that U I is applied to the joint system. A B v w A v B w Examples Suppose a NOT gate is applied to the second qubit of the state 0.4 00 0.3 01 0.2 10 0.1 11 . The resulting state is I X 0.4 00 0.3 01 0.2 10 0.1 11 0.4 01 0.3 00 0.2 11 0.1 10 . Worked exercise: Suppose a two-qubit system is in the state 0.8 00 0.6 11 . A NOT gate is applied to the second qubit, and a measurement performed in the computational basis. What are the probabilities for the possible measurement outcomes? Quantum entanglement Alice Bob a b 00 11 2 0 1 0 1 00 10 01 11 0 or 0. Schroedinger (1935): “I would not call [entanglement] one but rather the characteristic trait of quantum mechanics, the one that enforces its entire departure from classical lines of thought.” Summary Postulate 1: A closed quantum system is described by a unit vector in a complex inner product space known as state space. Postulate 2: The evolution of a closed quantum system is described by a unitary transformation. ' U Postulate 3: If we measure in an orthonormal basis e1 ,..., ed , then we obtain the result j with probability P ( j ) ej 2 . The measurement disturbs the system, leaving it in a state ej determined by the outcome. Postulate 4: The state space of a composite physical system is the tensor product of the state spaces of the component systems.