Quantum NP - Cont. Classical and Quantum Computation A.Yu Kitaev, A. Shen, M. N. Vyalyi 2002
|
|
- Austen Harrington
- 5 years ago
- Views:
Transcription
1 Quantum NP - Cont. Classical and Quantum Computation A.Yu Kitaev, A. Shen, M. N. Vyalyi
2 QMA - the quantum analog to MA (and NP). Definition 1 QMA. The complexity class QMA is the class of all languages L for which there exists a quantum polynomial-time verifier V, such that x L y B poly( x ), P rob[v ( x y ) = 1] 2 3 x / L y B poly( x ), P rob[v ( x y ) = 0] 2 3 where B is the Hilbert space of one qubit. Here too it s possible to use amplification. 2
3 Similarly to the class NP, QMA has complete problems. Definition 2 k-local Hamiltonian Problem Input: H 1,..., H r, a set of r Hermitian positive semi-definite matrices on the space of k qubits, B k, with bounded norm H i 1. Each matrix comes with a specification of the k qubits out of n on which it operates. In addition, we are given two real numbers a and b, such that b a > 1/poly(n). Matrix entries, a and b are given with poly(n) many bits. Output: Denote by H i the extension of H i to operate on all n qubits, leaving the other n k qubits unchanged (by tensor product with identity matrices). Is the smallest eigenvalue of H = H 1 + H H r smaller than a or are all eigenvalues larger than b? 3
4 Theorem 1 The k-local Hamiltonians is in QMA for any k = O(log(n)). Proof. If H has an eigenvalue λ smaller than a, Merlin can supply the corresponding eigenvector v in order to convince Arthur. We need to show that there is an efficient procedure which outputs 1 with high probability when λ < a, and 0 when all eigenvalues are larger than b. 4
5 We first show the solution for the simpler case, when all the Hamiltonians H i are projections, H i = α i α i. In this case: λ = v H v = r v H i v = r v α i α i v = r v α i 2 i=1 i=1 i=1 λ r = 1 r r i=1 v α i 2 (1) 5
6 Now, v α i 2 is the probability to get a positive answer when measuring v in the basis α i and the subspace orthogonal to it. Thus we can interpret λ/r as follows: it is the probability to get the answer 1 when picking 1 i r in random and measuring v in the basis α i and the subspace orthogonal to it. 6
7 Based on this, we can construct the following quantum procedure to verify v : 1. Pick an i {1,... r} uniformly at random. 2. Measure v in the basis α i and the subspace orthogonal to it. 3. If the measurement resulted in a projection on α i, output 0; Otherwise, output 1. 7
8 If indeed v corresponds to an eigenvalue λ smaller than a, then the probability for the answer 1 is 1 λ/r 1 a/r. If on the other hand all the eigenvalues are larger than b, then for every v : v H v = r i=1 The probability for 1 in this case is v H i v b. 1 v H v /r 1 b/r. Since we have that b a 1/n g, the probabilities for 1 and 0 are polynomially separated: 1 a/r 1 b/r +1/n g, and can therefor be amplified, thus proving the theorem for simple projections. 8
9 Spectral Decomposition Any normal operator M on a vector space V can be written as: M = i λ i i i Where λ i are the eigenvalues of M, i is an orthonormal basis V, and each i an eigenvector of M with eigenvalue λ i. 9
10 Schmidt Decomposition Let ψ be a pure state of a composite system AB. Then there exist orthonornal states i A for system A and orthonornal states i B for system B, such that ψ = i λ i i A i B where λ i are non-negative real numbers satisfying i λ 2 i = 1 known as the Schmidt co-efficients. 10
11 We now proceed to the general case, where H i are Hermitian positive semi-definite matrices with norm at most 1. Such a matrix can be written in its spectral decomposition: H i = dim(h i ) j=1 h i j αi j αi j 11
12 Our goal is to toss a coin with probability v H i v. We first add to the system a qubit in the state 0. We define the following unitary transformation T i, corresponding to H i, which operates on H i s decomposition states and the extra qubit: T α i j 0 = αi j ( h i j h i j 1 ) 12
13 We now show that the measurement of the extra qubit output 1 with probability 1 v H i v. The Schmidt decomposition of v is: v = j v j α i j βi j Applying the transformation T i yields the state: T v 0 = j v j α i j βi j ( h i j h i j 1 ) 13
14 The probability to measure 1 is the squared norm of the following vector: which is just: But, we have that j j v j 1 h i j αi j βi j (1 h i j ) v j 2 = 1 j h i j v j 2 v H i v = j h i j v j 2 14
15 so the probability to get 1 is exactly 1 v H i v We thus get the following procedure for verifying v : 1. Pick an i {1,... r} uniformly at random. 2. Add the extra qubit. 3. Apply T i and measure the extra qubit. 15
16 The result is 1 with probability: 1 r i (1 v H i v ) = 1 1 r v H v which, just as in the simple projections case, gives the probabilistic gap between the two possibilities. 16
17 Theorem 2 The 5-Local Hamiltonians is QMA-hard Proof idea. The reduction idea is similar to that in the Cook-Levin theorem. However, the quantum counterpart is not as simple... 17
18 Cook-Levin Theorem - Overview We have a language in Np that is polynomially verifiable, and we want to construct a reduction to 3-SAT. Any configuration is polynomially long, and there are at most a polynomial number of configuration. Thus, a complete computation is polynomially long. If we have the details of the verifier, we can construct a formula corresponding to a legal computation from the starting configuration to an accepting configuration. This is possible since the TM works locally. 18
19 The Quantum analog idea Here we also want the computation as a witness. Given a language L QMA, there exists a quantum circuit that for x L, accepts x y for some witness y with high probability, and for x / L, rejects x y for any witness y with high probability. Our guess for a witness would be a computation: x y, U 1 x y, U 2 U 1 x y,..., U T U 2 U 1 x y Our goal is to construct a sequence of Hamiltonians that will verify the witness locally. 19
20 Alas, this is not possible locally. For example, suppose you want to verify that in a certain step only the identity matrix was applied. It is possible to construct two states which agree on all the density matrices of 5 qubits, but are completely different due to their overall correlations or entanglement. 20
21 The solution: use entanglement. For example, consider the state: 0 a + 1 b 2 The reduced density matrix of the first qubit tells us the angle between the states a and b. 21
22 So the main idea of the reduction is to require a superposition of the computation history: w = 1 T + 1 T t=0 U T U 1 x, y and to show how to verify it locally. by the way, the idea of moving to a time-independent superposition is attributed to Feynman. 22
23 The Reduction. Let L QMA. Then there exists a classical polynomial TM that for a given input x with length n, produces a (uniform) quantum circuit Q with two-qubit gates U = U 1,..., U T, which acts on N qubits, where the first m qubits initially contain the witness w, the rest are initialized to 0, and T, N = poly(n). 23
24 The Reduction Cont. The following holds for Q: If x L, there exists a witness w for which the output qubit is 1 with high probability. If x / L, for any witness w the output qubit is 1 with low probability. As usual, these probabilities can be assumed to be exponentially close to 1 or 0. 24
25 The Reduction Cont. Given Q, we will construct a sequence of matrices that will be used as an input to the local Hamiltonians problem. In the beginning, these matrices will not be local, but will operate on 2 qubits out of the input bits, and on an extra (T + 1)- dimensional Hilbert space that serves as a step counter. Later, we shall see how to transform the matrices to 5-local matrices. 25
26 The Reduction Cont. The Hamiltonian is consisted of three main terms H = H in + H out + H prop. We use the following notation: An operator subscript i means that it operates on the ith qubit. α denotes the projection operator that projects on the subspace spanned by α. The subscript C denotes the subspace of the counter. 26
27 The Reduction Cont. H in verifies that the initial state is legal, by projecting to time 0, and verifying that the ith bit is 0 for any m + 1 i N: H in = N j=m+1 Π 1 j 0 0 C 27
28 The Reduction Cont. H out verifies that the output is 1 at time T, by projecting to time T, and verifying that the first qubit (which WLOG is the answer qubit) is 1. H out = Π 0 1 T T C 28
29 The Reduction Cont. H prop verifies that the computation follows the given circuit. It is a sum of T Hamiltonians, where the ith Hamiltonian verifies that the propagation from time i 1 to time i is done according to U i : where H prop = T j=1 H j, H j = 1 2 (I j j + I j 1 j 1 U j j j 1 U j j 1 j ). 29
30 Change of Basis. We change the basis according to the following operator: W = T j=0 U j U 1 j j. Under the basis change, a vector ψ is represented by a vector ψ such that ψ = W ψ, and the Hamiltonian is transformed by H = W HW. 30
31 Change of Basis cont. Recall that: H in = N j=m+1 Π 1 j H out = Π 0 1 T T C W = T j=0 The term H in is not changed: The term H out is changed to: U j U 1 j j H in = W H in W = H in H out = W H out W = (U Π 0 1 U) T T 31
32 Change of Basis cont. Recall that: H prop = T H j j=1 H j = 1 2 (I j j + I j 1 j 1 U j j j 1 U j j 1 j ) W = T j=0 U j U 1 j j We examine how the four terms of H j in H prop are changed. 32
33 Change of Basis cont. The term I j j transforms to: W (I j j )W = (U j U 1 j j ) j j (U j U 1 j j ) = (U j U 1 ) (U j U 1 ) ( j j ) j j ( j j ) = I j j and similarly the term I j 1 j 1 becomes: W (I j 1 j 1 )W = I j 1 j 1. 33
34 Change of Basis cont. The term U j j j 1 transforms to: W (I j j 1 )W = (U j U 1 j j ) U j j j 1 (U j 1 U 1 j 1 j 1 ) = (U j U 1 ) U j (U j 1 U 1 ) ( j j ) j j 1 ( j 1 j 1 ) = I j j 1 and similarly the term U j j 1 j becomes: W (I j 1 j )W = I j 1 j 34
35 Change of Basis cont. We get: H j = W H j W and then, = I 1 ( j 1 j 1 + j j j 1 j j j 1 ) 2 = I E j, H prop = W H prop W = I E, 35
36 where E = T j=1 E j =
37 Completness The completeness proof shows that if an input is in the given QMA language, then the reduction creates an instance which is in the Local Hamiltonians language. If U on an input ξ accepts (i.e. yields 1 in the first qubit) with probability 1 ε, then by definition P (0) = ξ, 0 U Π 0 1 U ξ, 0 ε. 36
38 Completness cont. To show that H has a small eigenvalue, it is sufficient to find a vector w, such that w H w is small enough. For the counter space we choose the vector and set w = ξ, 0 ψ. ψ = 1 T + 1 T j=0 j, 37
39 Completness cont. We first note that since all the auxiliary qubits are 0 in w, we immediately have w H in w = 0. Also, for any 1 j T, we have 2E j ψ = ( j 1 + j j 1 j ) = 0, thus E ψ = 0, and we get w H prop w = ξ, 0 I ξ, 0 E ψ = 0. 38
40 Completness cont. To estimate the last term, we note that w H out w = w ((U Π 0 1 U) T T ) w = ξ, 0 U Π 0 1 U ξ, 0 ψ T T ψ 1 = P (0) T + 1 ε T
41 Completness cont. Thus we showed that w H w ε T + 1, So H has an eigenvalue with the same upper bound. 40
42 Soundness We assume now that for any vector ξ, ξ, 0 U Π 0 1 U ξ, 0 1 ε. Let A 1 = H in + H out and A 2 = H prop, such that H = A 1 + A 2. Denote by K 1 and K 2 the null subspaces of A 1 and A 2 respectively. Note that A 1 and A 2 are nonnegative, and that K 1 K 2 = {0}. 41
43 Soundness Cont. Definition 3 The angle θ(k 1, K 2 ) between subspaces K 1 and K 2 with trivial intersection is given by cosθ(k 1, K 2 ) = max k 1 K 1, k 2 K 2 k 1 k 2, 0 < θ(k 1, K 2 ) < π 2 42
44 Soundness Cont. Lemma 1 Let A 1 and A 2 be nonnegative operators, and K 1 and K 2 their null subspaces, where K 1 K 2 = {0}. Suppose that no nonzero eigenvalue of A 1 or A 2 is smaller than τ.then A 1 + A 2 τ 2sin 2 θ 2 where θ = θ(k 1, K 2 ) is the angle between K 1 and K 2. Remark. The notation A 0 where A is an operator, means that the operator is nonnegative, and thus all its eigenvalues are greater than or equal to 0. Similarly, the notation A a where A is an operator and a is a number, means A ai 0, thus A s eigenvalues are greater than or equal to a. 43
45 Proof of the Lemma. It holds that A 1 τ(i Π K1 ) and A 2 τ(i Π K2 ), so it is sufficient to prove that (I Π K2 ) + (I Π K2 ) 2sin 2 θ 2, which is equivalent to Π K2 + Π K2 1 + cosθ. 44
46 Proof of the Lemma. Cont. Let ξ be an eigenvector of the operator Π K2 + Π K2 corresponding to an eigenvalue λ > 0. Let Π K1 ξ = u 1 η 1 and Π K2 ξ = u 2 η 2, where η 1 K 1 and η 2 K 2 are unit vectors, and u 1 and u 2 are nonnegative real numbers. Then u 1 η 1 + u 2 η 2 = λ ξ, and λ 2 = (u 1 η 1 +u 2 η 2 )(u 1 η 1 +u 2 η 2 ) = u 2 1 +u2 2 +2u 1u 2 Re η 1 η2. 45
47 Proof of the Lemma. Cont. Also, λ = ξ (Π K2 + Π K2 ) ξ = u u2 2. Using some simple algebraic operations, we get: where x = Re η 1 η 2. Thus (1 + x)λ λ 2 = x(u 1 ± u 2 ) 2 0, λ 1 + x 1 + cosθ. 46
48 Soundness Cont. It is left to bound the nonzero eigenvectors of A 1 and A 2 and the angle between the subspaces. First note that A 1 is a sum of commuting projections, so all its eigenvalues are nonnegative integers. Therefore A 1 K
49 Soundness Cont. We note now that the eigenvectors and eigenvalues of E are T ψ m = α m cos(q m (j )) j, λ m = 1 cos(q m ), j=0 where q m = πm/(t + 1), m = 0,..., T. It follows that A 2 K 2 π 1 cos( T + 1 ) c T 2. 48
50 Soundness Cont. Lemma 2 Let ε be the maximum probability of acceptance of the initial circuit. Then for the angle θ between K 1 and K 2 it holds that sin 2 θ 1 ε T
51 Soundness Cont. It is left to derive the desired inequality H c(1 ε)t 3. 50
52 Realization of the Counter. Using log(t ) qubits to implement the counter will cause the Hamiltonians to be log-local. Instead, we will use an unary representation for the counter, using T qubits: j 1,..., 1, 0,..., 0. } {{ } j } {{ } T j 51
53 Realization of the Counter Cont. The counter projections are changed accordingly: j j j 1 j j j where the 3-qubit projections act on the qubits j-1, j and j+1 of the counter. Remark. For times 0 and T we check only 2 qubits. 52
54 Realization of the Counter Cont. Denote the replaced Hamiltonian by H ext. Our final Hamiltonian will contain another term: H final = H ext + H stab where H stab = I B N T 1 j=1 Π 0 j Π 1 j+1 H stab does not change the upper bound on the minimal eigenvalue for the witness in case of acceptance, since the counter states in the witness are proper. 53
55 Realization of the Counter Cont. For the rejection case, we examine the eigenvalues of H final = H ext + H stab. Let L = B N C T +1, the space which the original Hamiltonian acts on. On L we have H ext c(1 ε)l 3 and H stab = 0. On L we have H ext 0 and H stab 1. In both cases H ext + H stab c(1 ε)t 3. and H final is 5-local. This completes the proof of the theorem. 54
56 FIN 55
arxiv:quant-ph/ v1 11 Oct 2002
Quantum NP - A Survey Dorit Aharonov and Tomer Naveh arxiv:quant-ph/00077 v Oct 00 Abstract We describe Kitaev s result from 999, in which he defines the complexity class QMA, the quantum analog of the
More informationBy allowing randomization in the verification process, we obtain a class known as MA.
Lecture 2 Tel Aviv University, Spring 2006 Quantum Computation Witness-preserving Amplification of QMA Lecturer: Oded Regev Scribe: N. Aharon In the previous class, we have defined the class QMA, which
More informationOn the complexity of stoquastic Hamiltonians
On the complexity of stoquastic Hamiltonians Ian Kivlichan December 11, 2015 Abstract Stoquastic Hamiltonians, those for which all off-diagonal matrix elements in the standard basis are real and non-positive,
More informationCS286.2 Lecture 8: A variant of QPCP for multiplayer entangled games
CS286.2 Lecture 8: A variant of QPCP for multiplayer entangled games Scribe: Zeyu Guo In the first lecture, we saw three equivalent variants of the classical PCP theorems in terms of CSP, proof checking,
More informationWitness-preserving Amplification of QMA
Witness-preserving Amplification of QMA Yassine Hamoudi December 30, 2015 Contents 1 Introduction 1 1.1 QMA and the amplification problem.................. 2 1.2 Prior works................................
More informationThe detectability lemma and quantum gap amplification
The detectability lemma and quantum gap amplification Dorit Aharonov 1, Itai Arad 1, Zeph Landau 2 and Umesh Vazirani 2 1 School of Computer Science and Engineering, The Hebrew University, Jerusalem, Israel
More informationLecture 4: Postulates of quantum mechanics
Lecture 4: Postulates of quantum mechanics Rajat Mittal IIT Kanpur The postulates of quantum mechanics provide us the mathematical formalism over which the physical theory is developed. For people studying
More informationc 2006 Society for Industrial and Applied Mathematics
SIAM J. COMPUT. Vol. 35, No. 5, pp. 1070 1097 c 006 Society for Industrial and Applied Mathematics THE COMPLEXITY OF THE LOCAL HAMILTONIAN PROBLEM JULIA KEMPE, ALEXEI KITAEV, AND ODED REGEV Abstract. The
More informationQuantum Computing Lecture 2. Review of Linear Algebra
Quantum Computing Lecture 2 Review of Linear Algebra Maris Ozols Linear algebra States of a quantum system form a vector space and their transformations are described by linear operators Vector spaces
More informationCS286.2 Lecture 15: Tsirelson s characterization of XOR games
CS86. Lecture 5: Tsirelson s characterization of XOR games Scribe: Zeyu Guo We first recall the notion of quantum multi-player games: a quantum k-player game involves a verifier V and k players P,...,
More information2. Introduction to quantum mechanics
2. Introduction to quantum mechanics 2.1 Linear algebra Dirac notation Complex conjugate Vector/ket Dual vector/bra Inner product/bracket Tensor product Complex conj. matrix Transpose of matrix Hermitian
More informationLecture: Quantum Information
Lecture: Quantum Information Transcribed by: Crystal Noel and Da An (Chi Chi) November 10, 016 1 Final Proect Information Find an issue related to class you are interested in and either: read some papers
More informationMP 472 Quantum Information and Computation
MP 472 Quantum Information and Computation http://www.thphys.may.ie/staff/jvala/mp472.htm Outline Open quantum systems The density operator ensemble of quantum states general properties the reduced density
More informationChapter 3 Transformations
Chapter 3 Transformations An Introduction to Optimization Spring, 2014 Wei-Ta Chu 1 Linear Transformations A function is called a linear transformation if 1. for every and 2. for every If we fix the bases
More informationQMA(2) workshop Tutorial 1. Bill Fefferman (QuICS)
QMA(2) workshop Tutorial 1 Bill Fefferman (QuICS) Agenda I. Basics II. Known results III. Open questions/next tutorial overview I. Basics I.1 Classical Complexity Theory P Class of problems efficiently
More information6.896 Quantum Complexity Theory Oct. 28, Lecture 16
6.896 Quantum Complexity Theory Oct. 28, 2008 Lecturer: Scott Aaronson Lecture 16 1 Recap Last time we introduced the complexity class QMA (quantum Merlin-Arthur), which is a quantum version for NP. In
More informationSimulation of quantum computers with probabilistic models
Simulation of quantum computers with probabilistic models Vlad Gheorghiu Department of Physics Carnegie Mellon University Pittsburgh, PA 15213, U.S.A. April 6, 2010 Vlad Gheorghiu (CMU) Simulation of quantum
More informationLecture 2: From Classical to Quantum Model of Computation
CS 880: Quantum Information Processing 9/7/10 Lecture : From Classical to Quantum Model of Computation Instructor: Dieter van Melkebeek Scribe: Tyson Williams Last class we introduced two models for deterministic
More informationA Glimpse of Quantum Computation
A Glimpse of Quantum Computation Zhengfeng Ji (UTS:QSI) QCSS 2018, UTS 1. 1 Introduction What is quantum computation? Where does the power come from? Superposition Incompatible states can coexist Transformation
More informationThe Solovay-Kitaev theorem
The Solovay-Kitaev theorem Maris Ozols December 10, 009 1 Introduction There are several accounts of the Solovay-Kitaev theorem available [K97, NC00, KSV0, DN05]. I chose to base my report on [NC00], since
More informationQuantum Computing Lecture 3. Principles of Quantum Mechanics. Anuj Dawar
Quantum Computing Lecture 3 Principles of Quantum Mechanics Anuj Dawar What is Quantum Mechanics? Quantum Mechanics is a framework for the development of physical theories. It is not itself a physical
More informationA Complete Characterization of Unitary Quantum Space
A Complete Characterization of Unitary Quantum Space Bill Fefferman (QuICS, University of Maryland/NIST) Joint with Cedric Lin (QuICS) Based on arxiv:1604.01384 1. Basics Quantum space complexity Main
More informationQuantum Computing Lecture 8. Quantum Automata and Complexity
Quantum Computing Lecture 8 Quantum Automata and Complexity Maris Ozols Computational models and complexity Shor s algorithm solves, in polynomial time, a problem for which no classical polynomial time
More informationQuantum Algorithms. Andreas Klappenecker Texas A&M University. Lecture notes of a course given in Spring Preliminary draft.
Quantum Algorithms Andreas Klappenecker Texas A&M University Lecture notes of a course given in Spring 003. Preliminary draft. c 003 by Andreas Klappenecker. All rights reserved. Preface Quantum computing
More informationDiscrete quantum random walks
Quantum Information and Computation: Report Edin Husić edin.husic@ens-lyon.fr Discrete quantum random walks Abstract In this report, we present the ideas behind the notion of quantum random walks. We further
More informationQUANTUM ARTHUR MERLIN GAMES
comput. complex. 14 (2005), 122 152 1016-3328/05/020122 31 DOI 10.1007/s00037-005-0194-x c Birkhäuser Verlag, Basel 2005 computational complexity QUANTUM ARTHUR MERLIN GAMES Chris Marriott and John Watrous
More information)j > Riley Tipton Perry University of New South Wales, Australia. World Scientific CHENNAI
Riley Tipton Perry University of New South Wales, Australia )j > World Scientific NEW JERSEY LONDON. SINGAPORE BEIJING SHANSHAI HONG K0N6 TAIPEI» CHENNAI Contents Acknowledgments xi 1. Introduction 1 1.1
More informationPh 219/CS 219. Exercises Due: Friday 20 October 2006
1 Ph 219/CS 219 Exercises Due: Friday 20 October 2006 1.1 How far apart are two quantum states? Consider two quantum states described by density operators ρ and ρ in an N-dimensional Hilbert space, and
More informationIntroduction to quantum information processing
Introduction to quantum information processing Measurements and quantum probability Brad Lackey 25 October 2016 MEASUREMENTS AND QUANTUM PROBABILITY 1 of 22 OUTLINE 1 Probability 2 Density Operators 3
More informationLinear Algebra and Dirac Notation, Pt. 2
Linear Algebra and Dirac Notation, Pt. 2 PHYS 500 - Southern Illinois University February 1, 2017 PHYS 500 - Southern Illinois University Linear Algebra and Dirac Notation, Pt. 2 February 1, 2017 1 / 14
More informationCompute the Fourier transform on the first register to get x {0,1} n x 0.
CS 94 Recursive Fourier Sampling, Simon s Algorithm /5/009 Spring 009 Lecture 3 1 Review Recall that we can write any classical circuit x f(x) as a reversible circuit R f. We can view R f as a unitary
More informationDiagonalizing Matrices
Diagonalizing Matrices Massoud Malek A A Let A = A k be an n n non-singular matrix and let B = A = [B, B,, B k,, B n ] Then A n A B = A A 0 0 A k [B, B,, B k,, B n ] = 0 0 = I n 0 A n Notice that A i B
More informationarxiv:quant-ph/ v2 16 Dec 2004
Quantum Information and Computation, Vol. 0, No. 0 (2003) 000 000 c Rinton Press Commutative version of the local Hamiltonian problem and common eigenspace problem. arxiv:quant-ph/0308021v2 16 Dec 2004
More informationLecture 2: Linear operators
Lecture 2: Linear operators Rajat Mittal IIT Kanpur The mathematical formulation of Quantum computing requires vector spaces and linear operators So, we need to be comfortable with linear algebra to study
More information1. What is the determinant of the following matrix? a 1 a 2 4a 3 2a 2 b 1 b 2 4b 3 2b c 1. = 4, then det
What is the determinant of the following matrix? 3 4 3 4 3 4 4 3 A 0 B 8 C 55 D 0 E 60 If det a a a 3 b b b 3 c c c 3 = 4, then det a a 4a 3 a b b 4b 3 b c c c 3 c = A 8 B 6 C 4 D E 3 Let A be an n n matrix
More informationThe Postulates of Quantum Mechanics
p. 1/23 The Postulates of Quantum Mechanics We have reviewed the mathematics (complex linear algebra) necessary to understand quantum mechanics. We will now see how the physics of quantum mechanics fits
More informationLecture 18: PCP Theorem and Hardness of Approximation I
Lecture 18: and Hardness of Approximation I Arijit Bishnu 26.04.2010 Outline 1 Introduction to Approximation Algorithm 2 Outline 1 Introduction to Approximation Algorithm 2 Approximation Algorithm Approximation
More informationUnitary Dynamics and Quantum Circuits
qitd323 Unitary Dynamics and Quantum Circuits Robert B. Griffiths Version of 20 January 2014 Contents 1 Unitary Dynamics 1 1.1 Time development operator T.................................... 1 1.2 Particular
More informationChapter 10. Quantum algorithms
Chapter 10. Quantum algorithms Complex numbers: a quick review Definition: C = { a + b i : a, b R } where i = 1. Polar form of z = a + b i is z = re iθ, where r = z = a 2 + b 2 and θ = tan 1 y x Alternatively,
More informationMATH 423 Linear Algebra II Lecture 33: Diagonalization of normal operators.
MATH 423 Linear Algebra II Lecture 33: Diagonalization of normal operators. Adjoint operator and adjoint matrix Given a linear operator L on an inner product space V, the adjoint of L is a transformation
More informationIntroduction to Quantum Computing
Introduction to Quantum Computing Part I Emma Strubell http://cs.umaine.edu/~ema/quantum_tutorial.pdf April 12, 2011 Overview Outline What is quantum computing? Background Caveats Fundamental differences
More informationQuantum Simulation. 9 December Scott Crawford Justin Bonnar
Quantum Simulation 9 December 2008 Scott Crawford Justin Bonnar Quantum Simulation Studies the efficient classical simulation of quantum circuits Understanding what is (and is not) efficiently simulable
More informationQALGO workshop, Riga. 1 / 26. Quantum algorithms for linear algebra.
QALGO workshop, Riga. 1 / 26 Quantum algorithms for linear algebra., Center for Quantum Technologies and Nanyang Technological University, Singapore. September 22, 2015 QALGO workshop, Riga. 2 / 26 Overview
More informationThe Principles of Quantum Mechanics: Pt. 1
The Principles of Quantum Mechanics: Pt. 1 PHYS 476Q - Southern Illinois University February 15, 2018 PHYS 476Q - Southern Illinois University The Principles of Quantum Mechanics: Pt. 1 February 15, 2018
More informationThroughout these notes we assume V, W are finite dimensional inner product spaces over C.
Math 342 - Linear Algebra II Notes Throughout these notes we assume V, W are finite dimensional inner product spaces over C 1 Upper Triangular Representation Proposition: Let T L(V ) There exists an orthonormal
More informationThe computational difficulty of finding MPS ground states
The computational difficulty of finding MPS ground states Norbert Schuch 1, Ignacio Cirac 1, and Frank Verstraete 2 1 Max-Planck-Institute for Quantum Optics, Garching, Germany 2 University of Vienna,
More informationAn Introduction to Quantum Computation and Quantum Information
An to and Graduate Group in Applied Math University of California, Davis March 13, 009 A bit of history Benioff 198 : First paper published mentioning quantum computing Feynman 198 : Use a quantum computer
More informationarxiv:quant-ph/ v2 26 Mar 2005
Adiabatic Quantum Computation is Equivalent to Standard Quantum Computation arxiv:quant-ph/0405098v2 26 Mar 2005 Dorit Aharonov School of Computer Science and Engineering, Hebrew University, Jerusalem,
More informationThe Framework of Quantum Mechanics
The Framework of Quantum Mechanics We now use the mathematical formalism covered in the last lecture to describe the theory of quantum mechanics. In the first section we outline four axioms that lie at
More informationLecture notes: Applied linear algebra Part 1. Version 2
Lecture notes: Applied linear algebra Part 1. Version 2 Michael Karow Berlin University of Technology karow@math.tu-berlin.de October 2, 2008 1 Notation, basic notions and facts 1.1 Subspaces, range and
More informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More information6.896 Quantum Complexity Theory 30 October Lecture 17
6.896 Quantum Complexity Theory 30 October 2008 Lecturer: Scott Aaronson Lecture 17 Last time, on America s Most Wanted Complexity Classes: 1. QMA vs. QCMA; QMA(2). 2. IP: Class of languages L {0, 1} for
More informationarxiv:cs/ v1 [cs.cc] 15 Jun 2005
Quantum Arthur-Merlin Games arxiv:cs/0506068v1 [cs.cc] 15 Jun 2005 Chris Marriott John Watrous Department of Computer Science University of Calgary 2500 University Drive NW Calgary, Alberta, Canada T2N
More informationQuantum Entanglement and the Bell Matrix
Quantum Entanglement and the Bell Matrix Marco Pedicini (Roma Tre University) in collaboration with Anna Chiara Lai and Silvia Rognone (La Sapienza University of Rome) SIMAI2018 - MS27: Discrete Mathematics,
More informationComplex numbers: a quick review. Chapter 10. Quantum algorithms. Definition: where i = 1. Polar form of z = a + b i is z = re iθ, where
Chapter 0 Quantum algorithms Complex numbers: a quick review / 4 / 4 Definition: C = { a + b i : a, b R } where i = Polar form of z = a + b i is z = re iθ, where r = z = a + b and θ = tan y x Alternatively,
More informationSome Introductory Notes on Quantum Computing
Some Introductory Notes on Quantum Computing Markus G. Kuhn http://www.cl.cam.ac.uk/~mgk25/ Computer Laboratory University of Cambridge 2000-04-07 1 Quantum Computing Notation Quantum Computing is best
More informationThe following definition is fundamental.
1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic
More informationTensor network simulations of strongly correlated quantum systems
CENTRE FOR QUANTUM TECHNOLOGIES NATIONAL UNIVERSITY OF SINGAPORE AND CLARENDON LABORATORY UNIVERSITY OF OXFORD Tensor network simulations of strongly correlated quantum systems Stephen Clark LXXT[[[GSQPEFS\EGYOEGXMZMXMIWUYERXYQGSYVWI
More informationQuantum Computing 1. Multi-Qubit System. Goutam Biswas. Lect 2
Quantum Computing 1 Multi-Qubit System Quantum Computing State Space of Bits The state space of a single bit is {0,1}. n-bit state space is {0,1} n. These are the vertices of the n-dimensional hypercube.
More informationMATH 304 Linear Algebra Lecture 20: The Gram-Schmidt process (continued). Eigenvalues and eigenvectors.
MATH 304 Linear Algebra Lecture 20: The Gram-Schmidt process (continued). Eigenvalues and eigenvectors. Orthogonal sets Let V be a vector space with an inner product. Definition. Nonzero vectors v 1,v
More informationPage 712. Lecture 42: Rotations and Orbital Angular Momentum in Two Dimensions Date Revised: 2009/02/04 Date Given: 2009/02/04
Page 71 Lecture 4: Rotations and Orbital Angular Momentum in Two Dimensions Date Revised: 009/0/04 Date Given: 009/0/04 Plan of Attack Section 14.1 Rotations and Orbital Angular Momentum: Plan of Attack
More informationLINEAR ALGEBRA 1, 2012-I PARTIAL EXAM 3 SOLUTIONS TO PRACTICE PROBLEMS
LINEAR ALGEBRA, -I PARTIAL EXAM SOLUTIONS TO PRACTICE PROBLEMS Problem (a) For each of the two matrices below, (i) determine whether it is diagonalizable, (ii) determine whether it is orthogonally diagonalizable,
More informationPh 219b/CS 219b. Exercises Due: Wednesday 20 November 2013
1 h 219b/CS 219b Exercises Due: Wednesday 20 November 2013 3.1 Universal quantum gates I In this exercise and the two that follow, we will establish that several simple sets of gates are universal for
More informationGrover s algorithm. We want to find aa. Search in an unordered database. QC oracle (as usual) Usual trick
Grover s algorithm Search in an unordered database Example: phonebook, need to find a person from a phone number Actually, something else, like hard (e.g., NP-complete) problem 0, xx aa Black box ff xx
More informationHilbert Space, Entanglement, Quantum Gates, Bell States, Superdense Coding.
CS 94- Bell States Bell Inequalities 9//04 Fall 004 Lecture Hilbert Space Entanglement Quantum Gates Bell States Superdense Coding 1 One qubit: Recall that the state of a single qubit can be written as
More information. Here we are using the standard inner-product over C k to define orthogonality. Recall that the inner-product of two vectors φ = i α i.
CS 94- Hilbert Spaces, Tensor Products, Quantum Gates, Bell States 1//07 Spring 007 Lecture 01 Hilbert Spaces Consider a discrete quantum system that has k distinguishable states (eg k distinct energy
More informationValerio Cappellini. References
CETER FOR THEORETICAL PHYSICS OF THE POLISH ACADEMY OF SCIECES WARSAW, POLAD RADOM DESITY MATRICES AD THEIR DETERMIATS 4 30 SEPTEMBER 5 TH SFB TR 1 MEETIG OF 006 I PRZEGORZAłY KRAKÓW Valerio Cappellini
More informationLecture 3: Review of Linear Algebra
ECE 83 Fall 2 Statistical Signal Processing instructor: R Nowak Lecture 3: Review of Linear Algebra Very often in this course we will represent signals as vectors and operators (eg, filters, transforms,
More informationIntroduction into Quantum Computations Alexei Ashikhmin Bell Labs
Introduction into Quantum Computations Alexei Ashikhmin Bell Labs Workshop on Quantum Computing and its Application March 16, 2017 Qubits Unitary transformations Quantum Circuits Quantum Measurements Quantum
More informationLecture 3: Review of Linear Algebra
ECE 83 Fall 2 Statistical Signal Processing instructor: R Nowak, scribe: R Nowak Lecture 3: Review of Linear Algebra Very often in this course we will represent signals as vectors and operators (eg, filters,
More informationLecture Examples of problems which have randomized algorithms
6.841 Advanced Complexity Theory March 9, 2009 Lecture 10 Lecturer: Madhu Sudan Scribe: Asilata Bapat Meeting to talk about final projects on Wednesday, 11 March 2009, from 5pm to 7pm. Location: TBA. Includes
More informationRESTRICTED VERSIONS OF THE TWO-LOCAL HAMILTONIAN PROBLEM
The Pennsylvania State University The Graduate School Eberly College of Science RESTRICTED VERSIONS OF THE TWO-LOCAL HAMILTONIAN PROBLEM A Dissertation in Physics by Sandeep Narayanaswami c 2013 Sandeep
More informationLecture 2: Introduction to Quantum Mechanics
CMSC 49: Introduction to Quantum Computation Fall 5, Virginia Commonwealth University Sevag Gharibian Lecture : Introduction to Quantum Mechanics...the paradox is only a conflict between reality and your
More informationOn the power of a unique quantum witness
On the power of a unique quantum witness Rahul Jain Iordanis Kerenidis Miklos Santha Shengyu Zhang Abstract In a celebrated paper, Valiant and Vazirani [28] raised the question of whether the difficulty
More informationQuantum Complexity Theory and Adiabatic Computation
Chapter 9 Quantum Complexity Theory and Adiabatic Computation 9.1 Defining Quantum Complexity We are familiar with complexity theory in classical computer science: how quickly can a computer (or Turing
More informationQuantum boolean functions
Quantum boolean functions Ashley Montanaro 1 and Tobias Osborne 2 1 Department of Computer Science 2 Department of Mathematics University of Bristol Royal Holloway, University of London Bristol, UK London,
More informationLimits on the power of quantum statistical zero-knowledge
Limits on the power of quantum statistical zero-knowledge John Watrous Department of Computer Science University of Calgary Calgary, Alberta, Canada jwatrous@cpsc.ucalgary.ca January 16, 2003 Abstract
More informationI. Multiple Choice Questions (Answer any eight)
Name of the student : Roll No : CS65: Linear Algebra and Random Processes Exam - Course Instructor : Prashanth L.A. Date : Sep-24, 27 Duration : 5 minutes INSTRUCTIONS: The test will be evaluated ONLY
More informationIntroduction to Quantum Computing
Introduction to Quantum Computing Petros Wallden Lecture 3: Basic Quantum Mechanics 26th September 2016 School of Informatics, University of Edinburgh Resources 1. Quantum Computation and Quantum Information
More informationConceptual Questions for Review
Conceptual Questions for Review Chapter 1 1.1 Which vectors are linear combinations of v = (3, 1) and w = (4, 3)? 1.2 Compare the dot product of v = (3, 1) and w = (4, 3) to the product of their lengths.
More informationMATH 1120 (LINEAR ALGEBRA 1), FINAL EXAM FALL 2011 SOLUTIONS TO PRACTICE VERSION
MATH (LINEAR ALGEBRA ) FINAL EXAM FALL SOLUTIONS TO PRACTICE VERSION Problem (a) For each matrix below (i) find a basis for its column space (ii) find a basis for its row space (iii) determine whether
More informationLinear Algebra using Dirac Notation: Pt. 2
Linear Algebra using Dirac Notation: Pt. 2 PHYS 476Q - Southern Illinois University February 6, 2018 PHYS 476Q - Southern Illinois University Linear Algebra using Dirac Notation: Pt. 2 February 6, 2018
More informationMTH 2032 SemesterII
MTH 202 SemesterII 2010-11 Linear Algebra Worked Examples Dr. Tony Yee Department of Mathematics and Information Technology The Hong Kong Institute of Education December 28, 2011 ii Contents Table of Contents
More informationQuantum algorithms (CO 781, Winter 2008) Prof. Andrew Childs, University of Waterloo LECTURE 1: Quantum circuits and the abelian QFT
Quantum algorithms (CO 78, Winter 008) Prof. Andrew Childs, University of Waterloo LECTURE : Quantum circuits and the abelian QFT This is a course on quantum algorithms. It is intended for graduate students
More informationLecture 8 : Eigenvalues and Eigenvectors
CPS290: Algorithmic Foundations of Data Science February 24, 2017 Lecture 8 : Eigenvalues and Eigenvectors Lecturer: Kamesh Munagala Scribe: Kamesh Munagala Hermitian Matrices It is simpler to begin with
More informationAppendix A. Vector addition: - The sum of two vectors is another vector that also lie in the space:
Tor Kjellsson Stockholm University Appendix A A.1 Q. Consider the ordinary vectors in 3 dimensions (a x î+a y ĵ+a zˆk), with complex components. Do the following subsets constitute a vector space? If so,
More informationIr O D = D = ( ) Section 2.6 Example 1. (Bottom of page 119) dim(v ) = dim(l(v, W )) = dim(v ) dim(f ) = dim(v )
Section 3.2 Theorem 3.6. Let A be an m n matrix of rank r. Then r m, r n, and, by means of a finite number of elementary row and column operations, A can be transformed into the matrix ( ) Ir O D = 1 O
More informationHamiltonian simulation and solving linear systems
Hamiltonian simulation and solving linear systems Robin Kothari Center for Theoretical Physics MIT Quantum Optimization Workshop Fields Institute October 28, 2014 Ask not what you can do for quantum computing
More information5.3 The Power Method Approximation of the Eigenvalue of Largest Module
192 5 Approximation of Eigenvalues and Eigenvectors 5.3 The Power Method The power method is very good at approximating the extremal eigenvalues of the matrix, that is, the eigenvalues having largest and
More informationThe Quantum Complexity of Computing Schatten p-norms
The Quantum Complexity of Computing Schatten p-norms Chris Cade and Ashley Montanaro School of Mathematics, University of Bristol, UK June 8, 017 Abstract We consider the quantum complexity of computing
More informationCS 151 Complexity Theory Spring Solution Set 5
CS 151 Complexity Theory Spring 2017 Solution Set 5 Posted: May 17 Chris Umans 1. We are given a Boolean circuit C on n variables x 1, x 2,..., x n with m, and gates. Our 3-CNF formula will have m auxiliary
More information2. Review of Linear Algebra
2. Review of Linear Algebra ECE 83, Spring 217 In this course we will represent signals as vectors and operators (e.g., filters, transforms, etc) as matrices. This lecture reviews basic concepts from linear
More information1 Quantum Circuits. CS Quantum Complexity theory 1/31/07 Spring 2007 Lecture Class P - Polynomial Time
CS 94- Quantum Complexity theory 1/31/07 Spring 007 Lecture 5 1 Quantum Circuits A quantum circuit implements a unitary operator in a ilbert space, given as primitive a (usually finite) collection of gates
More informationThe Quantum and Classical Complexity of Translationally Invariant Tiling and Hamiltonian Problems
The Quantum and Classical Complexity of Translationally Invariant Tiling and Hamiltonian Problems Daniel Gottesman Perimeter Institute for Theoretical Physics Waterloo, Ontario, Canada dgottesman@perimeterinstitute.ca
More informationLecture 7: Positive Semidefinite Matrices
Lecture 7: Positive Semidefinite Matrices Rajat Mittal IIT Kanpur The main aim of this lecture note is to prepare your background for semidefinite programming. We have already seen some linear algebra.
More informationLecture 3: Hilbert spaces, tensor products
CS903: Quantum computation and Information theory (Special Topics In TCS) Lecture 3: Hilbert spaces, tensor products This lecture will formalize many of the notions introduced informally in the second
More informationSVD, Power method, and Planted Graph problems (+ eigenvalues of random matrices)
Chapter 14 SVD, Power method, and Planted Graph problems (+ eigenvalues of random matrices) Today we continue the topic of low-dimensional approximation to datasets and matrices. Last time we saw the singular
More informationQuantum Information & Quantum Computing
Math 478, Phys 478, CS4803, February 9, 006 1 Georgia Tech Math, Physics & Computing Math 478, Phys 478, CS4803 Quantum Information & Quantum Computing Problems Set 1 Due February 9, 006 Part I : 1. Read
More informationC/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).
C/CS/Phys 191 Quantum Gates and Universality 9//05 Fall 005 Lecture 8 1 Readings Benenti, Casati, and Strini: Classical circuits and computation Ch.1.,.6 Quantum Gates Ch. 3.-3.4 Universality Ch. 3.5-3.6
More informationQuantum Hamiltonian Complexity. Itai Arad
1 18 / Quantum Hamiltonian Complexity Itai Arad Centre of Quantum Technologies National University of Singapore QIP 2015 2 18 / Quantum Hamiltonian Complexity condensed matter physics QHC complexity theory
More information