Top Banner

Click here to load reader

The Complexity of Sampling Histories Scott Aaronson, UC Berkeley aaronson August 5, 2003

Mar 26, 2015

ReportDownload

Documents

  • Slide 1

The Complexity of Sampling Histories Scott Aaronson, UC Berkeley http://www.cs.berkeley.edu/~aaronson August 5, 2003 Slide 2 Words You Should Stop Me If I Use polysize oracle relativizing zero-knowledge #P-complete nonuniform Words Ill Stop You If You Use holonomy gauge SU(2) intertwinor kinematical Lagrangian Words To Be Careful With loop string Slide 3 Outline Why you should stay up at night worrying about quantum mechanics Dynamical quantum theories Solving Graph Isomorphism by sampling histories Search in N 1/3 queries (but not fewer) Slide 4 What we experience Quantum mechanics Slide 5 Assumption Time Quantum state of the universe You Slide 6 A Puzzle Let|O R = you seeing a red dot |O B = you seeing a blue dot What is the probability that you see the dot change color? Slide 7 The Goal Quantum state Probability distribution Unitary matrix Stochastic matrix Slide 8 Why Look for This? Quantum theory says nothing about multiple-time or transition probabilities Then what is a prediction, or the output of a computation, or the utility of a decision? Reply: But we have no direct knowledge of the past anyway, just records Slide 9 Bohms Theory Gives a deterministic evolution rule for particle positions and momenta Mathematicianly approach: Study the set of all discrete dynamical rules, without presupposing one of them is true But doesnt make sense for discrete observables: Slide 10 Our Results We give evidence that by examining a history, one could solve problems that are intractable even for a quantum computer - Graph Isomorphism and Approximate Shortest Lattice Vector in polynomial time - Unordered search in N 1/3 steps instead of N 1/2 We define dynamical theories for obtaining classical histories, and investigate what axioms they can satisfy We obtain the first model of computation slightly more powerful than quantum computing Slide 11 Dynamical Theory Must marginalize to single-time probabilities of quantum mechanics: diagonal entries of and U U -1 Fix an N-dimensional Hilbert space (N finite) and orthogonal basis Given an N N unitary U and state acted on, returns a stochastic matrix Slide 12 Axiom: Symmetry D is invariant under relabeling of basis states: Slide 13 Axiom: Indifference If U acts onand is the identity on H 2, then S should also be the identity on H 2 Can formalize without tensor products: partition U into minimal blocks of nonzero entries Not the same as commutativity: Slide 14 Theorem: No dynamical theory satisfies both indifference and commutativity Proof: Suppose A and B share an EPR pair U A applies /8 rotation to first qubit, U B applies - /8 to second qubit. Consider probability p of being at |00 initially and |10 at the end If U A applied first:If U B applied first: Slide 15 Axiom: Robustness Small (1/poly(N)) change to or U Small (1/poly(N)) change to joint probabilities matrix, Sdiag( ) Arguably thats needed for any physical theory or model of computation Slide 16 Example 1: Product Dynamics Symmetric, robust, commutative, but not indifferent Take probabilities at any two times to be independent of each other Slide 17 Example 2: Dieks Dynamics Symmetric, indifferent, but not commutative or robust Partition U into minimal blocks, then apply product dynamics separately to each Slide 18 Theorem: Suppose Then there is a weight-1 flow through the network where flow through an edge cant exceed the edges capacity Slide 19 Proof Idea: By the Max-Flow-Min-Cut Theorem (Ford-Fulkerson 1956), it suffices to show that any set of edges separating s from t (a cut) has total capacity at least 1. Let A,B be right, left edges respectively not in cut C. Then the capacity of C is so we need to show Fix U and consider maximum of right-hand side. Equals the max eigenvalue of a positive semidefinite matrix, which we can analyze using some linear algebra Slide 20 Example 3: Flow Dynamics Using the previous theorem, we construct a dynamical theory that satisfies the symmetry, indifference, and robustness axioms Not obvious a priori that any such theory exists Slide 21 Model of Computation Oracle chooses a symmetric robust indifferent theory D adversarially, then returns a sample from D Polynomial-time classical computation, with one query to a history oracle Oracle takes as input descriptions of quantum circuits U 1,,U T Any dynamical theory D induces a distribution D over classical histories for At least as powerful as standard quantum computing Slide 22 The Graph Isomorphism Problem Decide whether two graphs G and H are isomorphic The best known algorithm takes about time n = number of vertices But we dont think Graph Isomorphism is NP-complete Intuitively, its only as hard as counting collisions in Could be easier than finding a needle in a haystack! Slide 23 The Collision Problem Given a list of N numbers x 1,,x N, youre promised that either every number occurs once, or every number occurs twice. Decide which. Best classical algorithm makes ~ queries (birthday paradox) Brassard, Hyer, Tapp 1997 gave a quantum algorithm that makes ~N 1/3 queries Is there a faster quantum algorithmsay, log N queries? If so, wed get a polynomial-time quantum algorithm for Graph Isomorphism! 3 6 1 5 4 2 vs. 6 2 2 5 6 5 Slide 24 The Collision Problem (cont) Aaronson 2002: Any quantum algorithm needs at least ~N 1/5 queries Improved by Shi to ~N 1/3 queries Previously, couldnt even rule out constant number of queries! Proofs use multivariate polynomials Implications: No dumb quantum algorithm for Graph Isomorphism Oracle separation between the complexity classes BQP (Bounded-Error Quantum Polynomial-Time) and DQP (Dynamical Quantum Polynomial-Time) Slide 25 P Polynomial Time BQP Quantum Polynomial Time DQP My New Class NP Satisfiability, Traveling Salesman, etc. Factoring Graph Isomorphism Approximate Shortest Vector Conjectured World Map Slide 26 Solving the Collision Problem by Sampling Histories GOAL: When we inspect the classical history, see both |i and |j with high probability Suppose every number occurs twice. Then Measurement of 2 nd register Two bitwise Fourier transforms Slide 27 Solving the Collision Problem by Sampling Histories (cont) Theorem: Under any dynamical theory satisfying the symmetry and indifference axioms, the first Fourier transform makes the hidden variable forget whether it was at |i or |j. So after the second Fourier transform, it goes to |i half the time and |j half the time; thus with probability we see both |i and |j in the history Proof Idea: Use symmetry axiom, together with automorphisms of Indifference axiom needed to trace out second register Slide 28 Finding a Marked Item in N 1/3 Queries N 1/3 iterations of Grovers quantum search algorithm Probability of observing the marked item after T iterations is ~T 2 /N Hidden variable Slide 29 N 1/3 Search Algorithm Is Optimal Bennett, Bernstein, Brassard, Vazirani 1996: If a quantum computer searches a list of N items for a single randomly-placed marked item, the probability of observing the marked item after T steps is at most So probability of observing it in a history of the first T steps is at most Slide 30 Summary: If your whole life flashed before you in an instant, and if youd prepared for this by putting your brain in certain superpositions, then (under reasonable axioms) you could solve Graph Isomorphism in polynomial time Contrast: Nonlinear quantum mechanics would put Satisfiability and even harder problems in polynomial time (Abrams and Lloyd 1998) But probably still not Satisfiability Slide 31 Postulate: NP-complete problems cant be efficiently solved in physical reality The postulate does not imply your whole life couldnt flash before you in an instant Justification for the postulate: Maybe Im wrong, but then Id be too busy solving NP- complete problems to care that I was wrong (1) Quantum states evolve linearly (2) We cant make unlimited-precision measurements (3) The self-sampling anthropic principle (Bostrom 2000) is false (4) Constraints on quantum gravity? What does the postulate imply? (under plausible complexity assumptions)

Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.