Quantum Information Processing QIP 1 –Basic Concepts Dan C. Marinescu Computer Science Division, EECS Department University of Central Florida Email: dcm@cs.ucf.edu 7/26/2016 UTFSM May-June 2012 1 Contents Laws of physics and the limits of solid-state technology The mathematical model A bit or a qubit of history The lectures are available at: http://www.cs.ucf.edu/~dcm/Chile2012/ChileIndex.html 7/26/2016 UTFSM May-June 2012 2 Moore’s Law 7/26/2016 Microprocessor Year 4004 1971 2,250 8008 1972 2,500 8080 1974 5,000 8086 1978 29,000 286 1982 120,000 386 1985 275,000 486 1989 1,180,000 Pentium 1993 3,100,000 Pentium II 1997 7,500,000 Pentium IV 2000 42,000,000 Itanium 2002 220,000,000 Itanium II 2003 410,000,000 UTFSM May-June 2012 # transistors 3 Limits of solid-state technology To increase the clock rate we have to pack transistors as densely as possible because the speed of light is finite. The power dissipation increases with the cube of the clock rate. When we double the speed of a device its power dissipation increases 8 (eight) fold. The computer technology vintage year 2000 requires some 3 x 10-18 Joules/elementary operation. An exponential growth cannot be sustained indefinitely; sooner or later one will hit a wall. Revolutionary rather than evolutionary approach to information processing and to communication: Quantum computing and communication quantum information. DNA Computing biological information. 7/26/2016 UTFSM May-June 2012 4 Quantum information processing Quantum information Information encoded as the state of atomic or sub-atomic particles. A happy marriage between three of the greatest scientific achievements of the 20th century: quantum mechanics stored program computers information theory In 1985 Richard Feynman wrote: “..it seems that the laws of physics present no barrier to reducing the size of computers until bits are the size of atoms and quantum behavior holds sway.” 7/26/2016 UTFSM May-June 2012 5 Information can be encoded as the photon polarization x Light is a form of electromagnetic radiation. The electric and magnetic field oscillate in a plane perpendicular to the direction of propagation and are perpendicular to each other. v z A photon is characterized by its vector momentum (the vector momentum determines the frequency) and polarization. y (a) x z h y 7/26/2016 (b) In the classical electromagnetic theory light is described as having an electric field which oscillates either vertically, the light is x-polarized,or horizontally, the light is y-polarized in a plane perpendicular to the direction of propagation, the z-axis. The two basis vectors are |h> and |v> Information encoding: 0 vertically polarized photon 1 horizontally polarized photon UTFSM May-June 2012 6 Information can be encoded as the spin of the electron Sz Rn(0) 1 h 2 - 1 h 2 Rn(180) (a) (b) Spin the intrinsic angular momentum; it takes discrete values (the spin quantum number s.) Two classes of quantum particles: fermions - spin one-half particles (e.g., electrons). s=+1/2 and s=-1/2 bosons - spin one particles (e.g., photons). s=+1, s=0, and s=-1 The electron has spin s = ½; the spin projection can assume the values + ½ referred to as spin up, and - ½ referred to as spin down. The information can be encoded 0 spin up 1 spin down 7/26/2016 UTFSM May-June 2012 7 Quantum systems Quantum concepts such as: Uncertainty, Superposition, Entanglement, No-cloning do not have a correspondent in classical physics. Heisenberg’s Uncertainty Principle: the position and the momentum of a quantum particle cannot be determined with arbitrary precision. X PX h / 4 h=6.6262 x 10-34 Joule x second Planck’s constant 7/26/2016 UTFSM May-June 2012 8 Non-determinism is a basic tenet of quantum physics “Liebe Gott würfelt nicht” (Dear God does not play dice) - Albert Einstein 7/26/2016 UTFSM May-June 2012 9 The qubit Qubit a unit of quantum information, the correspondent of a bit of classical information. Information is physical a qubit must be encoded as some property of a quantum particle. There are multiple physical embodiments of a qubit Photon – information encoded in the polarization Electron – information encoded in the spin Electron – information encoded in electric charge (quantum dots) Trapped ions in a cavity The physics of each embodiment is different: optics, condensed matter physics, electromagnetic field theory, etc. We need a mathematical model to describe quantum information regardless of the physical embodiment of a qubit. 7/26/2016 UTFSM May-June 2012 10 The mathematical model of a qubit A mathematical model of a physical system should describe: 1. 2. 3. 4. 5. The state of the system The means to observe the system The dynamics of the system, the evolution from one state to another The measurement process How to describe a system consisting of two sub-systems The postulates of quantum mechanics establish a correspondence between the physical system and mathematical objects of the model The state postulate The dynamics postulate The measurement postulate The model 1. 2. 3. 4. State of a quantum system vector in an n-dimensional Hilbert space Observables the means to observe the system, linear operators System dynamics Hermitian (self-adjoint) operators System measurements measurement operators 7/26/2016 UTFSM May-June 2012 11 7/26/2016 UTFSM May-June 2012 12 More about the measurement postulate The numerical outcome of a measurement of observable A of a quantum system in state | H n is an eigenvalue i of the operator A used to measure the observable A; immediately after the measurement the quantum state of the system is an eigenvector |ai> coresponding to the eigenvalue i of the operator A. A measurement is a projection of the current state. In a projective measurement the measurement operators are selfadjoint and idempotent. The number of such operators is equal to the dimension of the Hilbert space. Since orthogonal measurement operators commute, they correspond to simultaneous observables. von Neumann gave an axiomatic definition of the measurement. A von Neumann measurement is a conditional expectation onto a maximal Abelian subalgebra of the algebra of all bounded operators acting on the Hilbert space. 7/26/2016 UTFSM May-June 2012 13 The state of a quantum system after a measurement Consider a quantum system in state | The state of the system after we apply the projector Pi the is | Pi | The completeness of the set of projectors leads to a normalization condition and after the mesaurement the state becomes a normaized pure state: | Pi | | | Pi | | Pi | ' 7/26/2016 UTFSM May-June 2012 14 Observable A Hermitian operator A with n eigenvectors: |ei> eigenvalues: λ Quantum system in state | φ H n i A n λ P i 1 i i n projectors {P1, P2 ...Pi ...Pn } Pi = |e i><ei | n Pi =1 P1 Pi i 1 Pn | φ Hn New state: P1 Outcome of the measurement: 1 Probability of the outcome: |P1 λ | φ |2 | φ New state: Pi Hn Outcome of the measurement: Probability of the outcome: |Pi λi | φ |2 | φ New state: Pn Hn Outcome of the measurement: Probability of the outcome: |Pn 7/26/2016 UTFSM May-June 2012 λn | φ |2 15 7/26/2016 UTFSM May-June 2012 Two stage von Neumann-type measurement. We measure the observable Q of the quantum system S using a macroscopic apparatus M. At time t the quantum system is in a superposition state and the apparatus is in state |m>. qi is the eigenvalue corresponding to the eigenvector ai of observable Q. At the end of the first phase the composite system S + M is in state shown at the left. Then, as a result of the measurement, the system collapses. 16 Quantum states Quantum states are represented as vectors in an n-dimensional Hilbert space Hn a vector space over C the set of complex numbers. A canonical orthonormal basis in Hn can be expressed as the ket vectors |0>, |1>, |2>, ……|n-1> or as the bra vectors <0|, <1|, <2|, ……<n-1| The matrix representations of these vectors are: 1 0 0 0 0 1 0 0 | 0 0 , | 1 0 , | 2 1 ,....., | n 1 0 ... ... ... ... 0 0 0 1 0 | (1,0,0,...,0), 1 | (0,1,0,...,0), 2 | (0,0,1,...,0), n 1 | (0,0,0,...,1) 7/26/2016 UTFSM May-June 2012 17 One qubit Mathematical abstraction Vector in a two dimensional complex vector space (Hilbert space) Dirac’s notation ket bra | column vector row vector bra dual vector (transpose and complex conjugate) 7/26/2016 UTFSM May-June 2012 18 Orthonormal bases | 1 | 0 7/26/2016 0 1 0 1 2 UTFSM May-June 2012 2 19 One qubit 0 0 1 1 | 0 , 1 | are complex numbers | 0 | | 1 | 1 2 7/26/2016 2 UTFSM May-June 2012 20 The Boch sphere representation of one qubit A qubit in a superposition state is represented as a vector connecting the center of the Bloch sphere with a point on its periphery. The two probability amplitudes can be expressed using Euler angles. |0> z |ψ r x y b |1> 7/26/2016 UTFSM May-June 2012 21 A bit versus a qubit A bit Can be in two distinct states, 0 and 1 A measurement does not affect the state. A qubit can be in state | 0 or in state | 1 or in any other state that is a linear combination of the basis state 0 0 1 1 when we measure the qubit we find it in state | 0 with probability | 0 in state | 1 with probability | |2 2 | 1 7/26/2016 UTFSM May-June 2012 22 0 0 Superposition states 1 (a) One bit 7/26/2016 1 Basis (logical) state 0 Basis (logical) state 1 (b) One qubit UTFSM May-June 2012 23 Other possible states of a qubit 1 1 0 1 2 2 1 3 0 1 2 2 7/26/2016 UTFSM May-June 2012 24 A different basis for one qubit 0 1 0 0 1 2 2 2 1 2 0 1 0 1 2 2 7/26/2016 UTFSM May-June 2012 25 The measurement of a qubit 0 p0 p1 1 Possible states of one qubit before the measurement 7/26/2016 The state of the qubit after the measurement UTFSM May-June 2012 26 A measurement is a projection of the surrent state 7/26/2016 UTFSM May-June 2012 27 Two qubits Represented as a vector in a 2-dimensional Hilbert space with four basis vectors 00 , 01 , 10 , 11 00 00 01 01 10 10 11 11 with | 00 |2 | 01 |2 | 10 |2 | 11 |2 1 When we measure a pair of qubits we decide that the system it is in one of four states 00, 01, 10, and 11 with probabilities | 00 | , | 01 | , | 10 | , | 11 | 2 7/26/2016 2 2 UTFSM May-June 2012 2 28 A measurement of two qubits Before a measurement the state of the two qubits is uncertain. If we measure both qubits the state can be either 00, 01, 10, or 11. What if we observe only the first qubit, what conclusions can we draw? We expect that the system to be left in an uncertain sate, because we did not measure the second qubit that can still be in a continuum of states. The first qubit can be 0 with probability | 00 |2 | 01 |2 1 with probability | |2 | |2 10 7/26/2016 11 UTFSM May-June 2012 29 The measurement of the first qubit of the pair only Call 0 the post-measurement state when we measure the first qubit and find it to be 0. I Call 1 the post-measurement state when we measure the first qubit and find it to be 1. I I 0 7/26/2016 I 1 00 00 01 01 | 00 | | 01 | 2 2 10 10 11 11 | 10 |2 | 11 |2 UTFSM May-June 2012 30 The measurement of the second qubit of the pair only Call 0 the post-measurement state when we measure the second qubit and find it to be 0. II Call 1 the post-measurement state when we measure the second qubit and find it to be 1. 7/26/2016 II II 0 II 1 00 00 10 10 | 00 | | 10 | 2 2 01 01 11 11 | 01 |2 | 11 |2 UTFSM May-June 2012 31 Bell states - a special state of a pair of qubits 1 If and 01 10 0 00 11 2 When we measure the first qubit we get the post measurement state 0I | 00 1I | 11 When we measure the second qubit we get the post measurement state 0II | 00 7/26/2016 1II | 11 UTFSM May-June 2012 32 This is an amazing result! The two measurements are correlated, once we measure the first qubit we get exactly the same result as when we measure the second one. The two qubits need not be physically constrained to be at the same location and yet, because of the strong coupling between them, measurements performed on the second one allow us to determine the state of the first. An entangled pair is a single quantum system in a superposition of equally possible states. The entangled state contains no information about the individual particles, only that they are in opposite states. The important property of an entangled pair is that the measurement of one particle influences the state of the other particle. Einstein called that “Spooky action at a distance". Entanglement is an elegant, almost exact translation of the German term Verschrankung used by Schrodinger who was the first to recognize this quantum effect. 7/26/2016 UTFSM May-June 2012 33 Milestones in quantum physics 1900 - Max Plank presents the black body radiation theory; the quantum theory is born. 1905 - Albert Einstein develops the theory of the photoelectric effect. 1911 - Ernest Rutherford develops the planetary model of the atom. 1913 - Niels Bohr develops the quantum model of the hydrogen atom. 1923 - Louis de Broglie relates the momentum of a particle with the wavelength 1925 - Werner Heisenberg formulates the matrix quantum mechanics. 1926 - Erwin Schrodinger proposes the equation for the dynamics of the wave function. 1926 - Erwin Schrodinger and Paul Dirac show the equivalence of Heisenberg's matrix formulation and Dirac's algebraic one with Schrodinger's wave function. 1926 - Paul Dirac and, independently, Max Born, Werner Heisenberg, and Pasqual Jordan obtain a complete formulation of quantum dynamics. 1926 - John von Newmann introduces Hilbert spaces to quantum mechanics. 1927 - Werner Heisenberg formulates the uncertainty principle. 7/26/2016 UTFSM May-June 2012 34 Milestones in computing and information theory 1936 - Alan Turing dreams up the Universal Turing Machine, UTM. 1936 - Alonzo Church publishes a paper asserting that ``every function which can be regarded as computable can be computed by an universal computing machine''. 1945 - ENIAC, the world's first general purpose computer, the brainchild of J. Presper Eckert and John Macauly becomes operational. 1946 - A report co-authored by John von Neumann outlines the von Neumann architecture. 1948 - Claude Shannon publishes ``A Mathematical Theory of Communication’’. 1953 - The first commercial computer, UNIVAC I. 7/26/2016 UTFSM May-June 2012 35 Milestones in quantum computing 1961 - Rolf Landauer decrees that computation is physical and studies heat generation. 1973 - Charles Bennett studies the logical reversibility of computations. 1982 - Richard Feynman suggests that physical systems including quantum systems can be simulated exactly with quantum computers. 1982 - Peter Benioff develops quantum mechanical models of Turing machines. 1984 - Charles Bennett and Gilles Brassard introduce quantum cryptography. 1985 - David Deutsch reinterprets the Church-Turing conjecture. 1993 - Bennett, Brassard, Crepeau, Josza, Peres, Wooters discover quantum teleportation. 1994 - Peter Shor develops a clever algorithm for factoring large numbers. 1996 – Lov Grover develops the quantum search algorithm. 1997 – Demonstration of quantum teleportation; De Martini at University of Rome; Zeillinger at Innsbruck 2001 – A group at IBM Research in San Jose build a quantum computer with seven qubits and factors the number 15 using Shor’s algorithm. 7/26/2016 UTFSM May-June 2012 36 7/26/2016 UTFSM May-June 2012 37 Next seminar – Tuesday June 4, 2012 Classical gates Quantum gates Unitary transformations One-qubit gates Two-qubit gates, CNOT Three-qubit gates Fredkin and Toffoli gates Universal quantum gates Reversibility of quantum circuits Decoherere DiVincenzo’s criteria for realization of quantum circuits 7/26/2016 UTFSM May-June 2012 38