Quantum advantage with shallow circuits. arxiv: Sergey Bravyi (IBM) David Gosset (IBM) Robert Koenig (Munich)
|
|
- Felicity Ball
- 5 years ago
- Views:
Transcription
1 Quantum advantage with shallow circuits arxiv: ergey Bravyi (IBM) David Gosset (IBM) Robert Koenig (Munich)
2 In this talk I will describe a provable, non-oracular, quantum speedup which is attained by constant-depth quantum circuits in a 2D architecture.
3 I. Overview
4 A depth-d quantum circuit consists of d time steps. Each time step contains one- and two-qubit gates acting on disjoint qubits. H
5 A depth-d quantum circuit consists of d time steps. Each time step contains one- and two-qubit gates acting on disjoint qubits. H Time step 1
6 A depth-d quantum circuit consists of d time steps. Each time step contains one- and two-qubit gates acting on disjoint qubits. H Time step 2
7 A depth-d quantum circuit consists of d time steps. Each time step contains one- and two-qubit gates acting on disjoint qubits. H Time step 3
8 A depth-d quantum circuit consists of d time steps. Each time step contains one- and two-qubit gates acting on disjoint qubits. H
9 A depth-d quantum circuit consists of d time steps. Each time step contains one- and two-qubit gates acting on disjoint qubits. H We are interested in constant-depth quantum circuits, for which d = O(1).
10 H Constant-depth quantum circuits
11 Constant-time quantum computation How much does parallelism buy us if we only have a fixed computation time? H Constant-depth quantum circuits
12 Constant-time quantum computation How much does parallelism buy us if we only have a fixed computation time? H Quantum algorithms for small quantum computers Constant-depth quantum circuits
13 Constant-time quantum computation How much does parallelism buy us if we only have a fixed computation time? H Quantum algorithms for small quantum computers tructure/imulation Cannot prepare codewords of good quantum codes [Eldar, Harrow 2015 ] Constant-time quantum computation Efficient classical simulation of depth-2 circuits [Terhal, Divincenzo 2002] Constant-depth quantum circuits General simulation algorithms (superpolynomial) [Aaronson, Chen 2016]
14 Constant-time quantum computation How much does parallelism buy us if we only have a fixed computation time? H Quantum algorithms for small quantum computers tructure/imulation Cannot prepare codewords of good quantum codes [Eldar, Harrow 2015 ] Constant-time quantum computation Efficient classical simulation of depth-2 circuits [Terhal, Divincenzo 2002] General simulation algorithms (superpolynomial) [Aaronson, Chen 2016] Constant-depth quantum circuits Beat poly-time classical computation? Constant-depth unlikely to be classically simulable. [Terhal, Divincenzo 02] Beat the best classical computers for some task? [Gao et al. 17] [Bermejo-Vega et al. 17] uses IQP results [Bremner, Montanaro, hepherd 16]
15 H OR AND AND OR This talk: Are constant-depth quantum circuits more powerful than constantdepth classical circuits?
16 Classical circuits A classical gate computes a boolean function f: {0,1} k {0,1} x 1 x 2 x k f f(x) f(x)
17 Classical circuits A classical gate computes a boolean function f: {0,1} k {0,1} Number of input bits k is called the fan-in x 1 x 2 f f(x) f(x) x k
18 Classical circuits A classical gate computes a boolean function f: {0,1} k {0,1} Number of input bits k is called the fan-in x 1 x 2 f f(x) f(x) Number of times the output is used is called the fan-out x k
19 Classical circuits A classical gate computes a boolean function f: {0,1} k {0,1} Number of input bits k is called the fan-in x 1 x 2 f f(x) f(x) Number of times the output is used is called the fan-out x k We consider circuits composed of bounded fan-in gates, i.e., k = O(1). We do not restrict the fan-out.
20 Classical circuits A classical gate computes a boolean function f: {0,1} k {0,1} Number of input bits k is called the fan-in x 1 x 2 f f(x) f(x) Number of times the output is used is called the fan-out x k We consider circuits composed of bounded fan-in gates, i.e., k = O(1). We do not restrict the fan-out.
21 Constant-depth classical circuits A depth-d classical circuit consists of d layers (time steps) of gates. OR AND AND OR We consider constant-depth circuits composed of bounded fan-in gates. This class of circuits is known as NC 0. We also allow the circuit to be probabilistic (random input bits are provided).
22 H OR AND AND OR Our result: We describe a computational problem that is solved with certainty by a constantdepth quantum circuit. We prove that any classical circuit which solves the problem with high probability must have depth increasing logarithmically with input size.
23 H Quantum circuit depth d = O(1) Classical OR needs AND depth d clog n AND OR Our result: We describe a computational problem that is solved with certainty by a constantdepth quantum circuit. We prove that any classical circuit which solves the problem with high probability must have depth increasing logarithmically with input size.
24 H Quantum circuit depth d = O(1) Classical OR needs AND depth d clog n AND OR Our result: We describe a computational problem that is solved with certainty by a constantdepth quantum circuit (also: all gates act locally on a 2D grid). We prove that any classical circuit which solves the problem with high probability must have depth increasing logarithmically with input size.
25 H Quantum circuit depth d = O(1) Classical OR needs AND depth d clog n AND OR Our result: We describe a computational problem that is solved with certainty by a constantdepth quantum circuit (also: all gates act locally on a 2D grid). We prove that any classical circuit which solves the problem with high probability must have depth increasing logarithmically with input size. The quantum speedup is unconditional (does not rely on complexity-theoretic conjectures and is non-oracular)
26 II. The 2D Hidden Linear Function Problem
27 Quadratic form on a grid Let G = (V, E) be an N N grid graph. Write n = N 2 = V
28 Quadratic form on a grid Let G = (V, E) be an N N grid graph. Write n = N 2 = V A e b v Choose coefficients A e {0,1} for each edge and b v {0,1} for each vertex.
29 Quadratic form on a grid Let G = (V, E) be an N N grid graph. Write n = N 2 = V A e b v Choose coefficients A e {0,1} for each edge and b v {0,1} for each vertex. Any choice of coefficients defines a quadratic form q: {0,1} n Z 4 q x = e= v,w E 2A e x v x w b v x v v V
30 The quadratic form hides a linear function Define a set L q = {x F 2 n : q x y = q x + q y for all y F 2 n }
31 The quadratic form hides a linear function Define a set L q = {x F 2 n : q x y = q x + q y for all y F 2 n } Lemma The set L q is a linear subspace of F 2 n. Furthermore, there is a secret bit string z {0,1} n such that q x = 2z T x x L q
32 The quadratic form hides a linear function Define a set L q = {x F 2 n : q x y = q x + q y for all y F 2 n } Lemma The set L q is a linear subspace of F 2 n. Furthermore, there is a secret bit string z {0,1} n such that q x = 2z T x x L q Define a computational problem where the goal is to find a secret bit string
33 The 2D Hidden Linear Function Problem Input: Coefficients A {0,1} E and b {0,1} V. pecifies a quadratic form q(x) and a subspace L q F 2 n
34 The 2D Hidden Linear Function Problem Input: Coefficients A {0,1} E and b {0,1} V. pecifies a quadratic form q(x) and a subspace L q F 2 n Output: A secret bit string z {0,1} n such that q x = 2z T x x L q
35 The 2D Hidden Linear Function Problem Input: Coefficients A {0,1} E and b {0,1} V. pecifies a quadratic form q(x) and a subspace L q F 2 n Output: A secret bit string z {0,1} n such that q x = 2z T x x L q Can be viewed as a non-oracular version of the Bernstein-Vazirani problem. [Bernstein Vazirani 1993] In general each instance of the 2D HLF has many valid solutions z.
36 Quantum algorithm b A b A A qubit for each vertex of the N N grid 0 n H n CZ(A) (b) H n Output z {0,1} n
37 Quantum algorithm b A b A A qubit for each vertex of the N N grid 0 n H n CZ(A) (b) H n Output z {0,1} n Apply CZ v,w for edges e = v, w with A e = 1
38 Quantum algorithm b A b A A qubit for each vertex of the N N grid 0 n H n CZ(A) (b) H n Output z {0,1} n Apply CZ v,w for edges e = v, w with A e = 1 Apply phase gate v to qubits with b v = 1
39 Quantum algorithm b A b A A qubit for each vertex of the N N grid 0 n H n CZ(A) (b) H n Output z {0,1} n Apply CZ v,w for edges e = v, w with A e = 1 Apply phase gate v to qubits with b v = 1 = i
40 Quantum algorithm b A b A A qubit for each vertex of the N N grid 0 n H n CZ(A) (b) H n Output z {0,1} n Apply CZ v,w for edges e = v, w with A e = 1 Apply phase gate v to qubits with b v = 1 = i Fact: The output z is a uniformly random solution to the 2D HLF Problem.
41 The algorithm can be implemented in constant-depth b A b A 0 n H n CZ(A) (b) H n 1 time-step 1 time-step 1 time-step Four layers of CCZ gates. (even/odd vertical/horizontal edges) Decompose CCZ gates into 1- and 2-qubit gates.
42 it only requires classically controlled Clifford gates between nearest neighbor qubits on a 2D grid. Example: Place a qubit at each vertex Place input bits on vertices and edges: : Edge with A e = 1 : Vertex with b v = 1
43 it only requires classically controlled Clifford gates between nearest neighbor qubits on a 2D grid. Example: Place a qubit at each vertex Place input bits on vertices and edges: : Edge with A e = 1 : Vertex with b v = 1
44 it only requires classically controlled Clifford gates between nearest neighbor qubits on a 2D grid. Example: H H H H H H H H H H : Edge with A e = 1 H H H H H : Vertex with b v = 1 H H H H H H H H H H
45 it only requires classically controlled Clifford gates between nearest neighbor qubits on a 2D grid. Example: CZ : Edge with A e = 1 CZ : Vertex with b v = 1 CZ
46 it only requires classically controlled Clifford gates between nearest neighbor qubits on a 2D grid. Example: CZ : Edge with A e = 1 : Vertex with b v = 1
47 it only requires classically controlled Clifford gates between nearest neighbor qubits on a 2D grid. Example: CZ CZ : Edge with A e = 1 : Vertex with b v = 1
48 it only requires classically controlled Clifford gates between nearest neighbor qubits on a 2D grid. Example: CZ : Edge with A e = 1 : Vertex with b v = 1 CZ
49 it only requires classically controlled Clifford gates between nearest neighbor qubits on a 2D grid. Example: : Edge with A e = 1 : Vertex with b v = 1
50 it only requires classically controlled Clifford gates between nearest neighbor qubits on a 2D grid. Example: H H H H H H H H H H : Edge with A e = 1 H H H H H : Vertex with b v = 1 H H H H H H H H H H
51 it only requires classically controlled Clifford gates between nearest neighbor qubits on a 2D grid. Example: : Edge with A e = 1 : Vertex with b v = 1
52 The 2D HLF problem is solved by a constant-depth quantum circuit with gates acting locally in 2D. Next we show that it cannot be solved by a constant-depth classical circuit
53 III. Classical lower bound
54 Theorem: The following holds for all sufficiently large N. Let C N be a classical probabilistic circuit composed of gates of fan-in K which solves size-n instances of the 2D HLF Problem with probability greater than 7/8. Then depth C N log(n) 8log(K)
55 Input (instance on N N grid) Random bits (drawn from any joint distribution) A {0,1} E b {0,1} V r {0,1} l C N Circuit must have depth Ω(log N ) Output z {0,1} V olution with probability > 7/8
56 Proof Ideas Locality in shallow classical circuits Each output bit can only depend on O(1) input bits. Vs. Quantum nonlocality Measurement statistics of entangled quantum states cannot be reproduced by local hidden variable models
57 Locality in classical circuits x 1 x 2 OR AND z 1 input x 3 x 4 AND OR z 2 output x 5 x 6 AND The lightcone L z k connected to z k. of an output bit z k is the set of input bits x i that are causually
58 Locality in classical circuits x 1 x 2 OR AND z 1 input x 3 x 4 AND OR z 2 output x 5 x 6 AND The lightcone L z k connected to z k. of an output bit z k is the set of input bits x i that are causually
59 Locality in classical circuits x 1 x 2 OR AND z 1 input x 3 x 4 AND OR z 2 output x 5 x 6 AND The lightcone L z k connected to z k. of an output bit z k is the set of input bits x i that are causually
60 Locality in classical circuits x (Includes random bits) C depth d, fan-in K z = F(x) Constant-depth locality : Lightcones of output bits have constant size L z k K d We ll see that the 2D Hidden Linear Function problem cannot be solved by constantdepth local circuits. First consider simpler forms of locality
61 Quantum nonlocality beats completely local circuits [Greenburger et al. 1990][Mermin 1990] GHZ = 1 P GHZ = GHZ satisfies: P {XXX, XYY, YXY, YYX}
62 Quantum nonlocality beats completely local circuits [Greenburger et al. 1990][Mermin 1990] GHZ = 1 P GHZ = GHZ satisfies: P {XXX, XYY, YXY, YYX} Choose bits b 1, b 2, b 3 and then measure each qubit of GHZ in either the X basis (if b j = 0) or the Y basis (if b j = 1). Outcomes z j 1, +1 satisfy: i b 1+b 2 +b 3 z 1 z 2 z 3 = 1 whenever b 1 b 2 b 3 = 0 GHZ relation
63 Quantum nonlocality beats completely local circuits [Greenburger et al. 1990][Mermin 1990] GHZ = 1 P GHZ = GHZ satisfies: P {XXX, XYY, YXY, YYX} Choose bits b 1, b 2, b 3 and then measure each qubit of GHZ in either the X basis (if b j = 0) or the Y basis (if b j = 1). Outcomes z j 1, +1 satisfy: i b 1+b 2 +b 3 z 1 z 2 z 3 = 1 whenever b 1 b 2 b 3 = 0 GHZ relation The GHZ relation cannot be satisfied by a completely local classical probabilistic circuit where each output bit z j is correlated with at most one of the input bits b k.
64 Quantum nonlocality beats geometrically local circuits [Barrett et al. 2007] Graph state on an M-cycle (M even): Φ M = M j=1 CZ j,j+1 H M 0 M
65 Quantum nonlocality beats geometrically local circuits [Barrett et al. 2007] Graph state on an M-cycle (M even): Φ M = M j=1 Choose 3 qubits u, v, w on the even sublattice. Measure u, v, w in X or Y basis and all other qubits in X basis. CZ j,j+1 H M 0 M
66 Quantum nonlocality beats geometrically local circuits [Barrett et al. 2007] Graph state on an M-cycle (M even): Φ M = M j=1 Choose 3 qubits u, v, w on the even sublattice. Measure u, v, w in X or Y basis and all other qubits in X basis. CZ j,j+1 H M 0 M u X/Y X X X X X/Y X v X X X X X/Y w
67 Quantum nonlocality beats geometrically local circuits [Barrett et al. 2007] Graph state on an M-cycle (M even): Φ M = M j=1 Choose 3 qubits u, v, w on the even sublattice. Measure u, v, w in X or Y basis and all other qubits in X basis. Input b u, b v, b w {0,1} Measurement bases Output z {0,1} M Measurement outcomes CZ j,j+1 H M 0 M u X/Y X X X X X/Y X v X X X X X/Y w
68 Quantum nonlocality beats geometrically local circuits [Barrett et al. 2007] Graph state on an M-cycle (M even): Φ M = M j=1 Choose 3 qubits u, v, w on the even sublattice. Measure u, v, w in X or Y basis and all other qubits in X basis. Input b u, b v, b w {0,1} Measurement bases Output z {0,1} M Measurement outcomes CZ j,j+1 H M 0 M u X/Y X X X X X/Y X v X X X Fact: Input/output satisfy a cycle relation R b u, b v, b w, z = 1 similar to the GHZ relation. X X/Y w
69 Quantum nonlocality beats geometrically local circuits [Barrett et al. 2007] Graph state on an M-cycle (M even): Φ M = M j=1 Choose 3 qubits u, v, w on the even sublattice. Measure u, v, w in X or Y basis and all other qubits in X basis. Input b u, b v, b w {0,1} Measurement bases Output z {0,1} M Measurement outcomes CZ j,j+1 H M 0 M u X/Y X X X X X/Y X v X X X Fact: Input/output satisfy a cycle relation R b u, b v, b w, z = 1 similar to the GHZ relation. X X/Y w Lemma: uppose a classical circuit satisfies the cycle relation with probability > 7/8. Then some output bit z k is correlated with a distant input bit b u, b v or b w. (this means it is not the nearest vertex of the triangle)
70 How is this related to the 2D Hidden Linear Function Problem?
71 How is this related to the 2D Hidden Linear Function Problem? b b A A 0 n H n CZ(A) (b) H n z {0,1} n
72 How is this related to the 2D Hidden Linear Function Problem? b b A A 0 n H n CZ(A) (b) H n z {0,1} n Prepare graph state for graph with adjacency matrix A
73 How is this related to the 2D Hidden Linear Function Problem? b b A A 0 n H n CZ(A) (b) H n z {0,1} n Prepare graph state for graph with adjacency matrix A Measure jth qubit in X or Y basis depending on b j
74 How is this related to the 2D Hidden Linear Function Problem? b b A A 0 n H n CZ(A) (b) H n z {0,1} n Prepare graph state for graph with adjacency matrix A Measure jth qubit in X or Y basis depending on b j Choosing A to describe the adjacency matrix of a cycle and choosing b appropriately we infer (from Barrett et al.) a cycle relation satisfied by input/output.
75 How is this related to the 2D Hidden Linear Function Problem? b b A A 0 n H n CZ(A) (b) H n z {0,1} n Prepare graph state for graph with adjacency matrix A Measure jth qubit in X or Y basis depending on b j Choosing A to describe the adjacency matrix of a cycle and choosing b appropriately we infer (from Barrett et al.) a cycle relation satisfied by input/output. A classical circuit which solves the 2D HLF problem must also satisfy all such cycle relations.
76 Quantum nonlocality beats constant-depth local circuits We use constant-depth locality (every output bit has constant-sized lightcone) and a probabilistic argument to prove the following:
77 Quantum nonlocality beats constant-depth local circuits We use constant-depth locality (every output bit has constant-sized lightcone) and a probabilistic argument to prove the following: Lemma: uppose a classical circuit has depth less than log(n) 8log(K). Then we can find 3 vertices u, v, w on the even sublattice of the N N grid and a cycle Γ which passes through them, such that input bits b u, b v, b w are not correlated with any distant output bits on Γ. v u Γ w
78 Quantum nonlocality beats constant-depth local circuits We use constant-depth locality (every output bit has constant-sized lightcone) and a probabilistic argument to prove the following: Lemma: uppose a classical circuit has depth less than log(n) 8log(K). Then we can find 3 vertices u, v, w on the even sublattice of the N N grid and a cycle Γ which passes through them, such that input bits b u, b v, b w are not correlated with any distant output bits on Γ. v u Γ w The circuit does not w.h.p satisfy the cycle relation for Γ
79 Quantum nonlocality beats constant-depth local circuits We use constant-depth locality (every output bit has constant-sized lightcone) and a probabilistic argument to prove the following: Lemma: uppose a classical circuit has depth less than log(n) 8log(K). Then we can find 3 vertices u, v, w on the even sublattice of the N N grid and a cycle Γ which passes through them, such that input bits b u, b v, b w are not correlated with any distant output bits on Γ. v u Γ w The circuit does not w.h.p satisfy the cycle relation for Γ It does not w.h.p solve instances of 2D HLF problem where A is the adjacency matrix of Γ.
80 Quantum nonlocality beats constant-depth local circuits We use constant-depth locality (every output bit has constant-sized lightcone) and a probabilistic argument to prove the following: Lemma: uppose a classical circuit has depth less than log(n) 8log(K). Then we can find 3 vertices u, v, w on the even sublattice of the N N grid and a cycle Γ which passes through them, such that input bits b u, b v, b w are not correlated with any distant output bits on Γ. v u Γ w The circuit does not w.h.p satisfy the cycle relation for Γ It does not w.h.p solve instances of 2D HLF problem where A is the adjacency matrix of Γ. This provides our lower bound on the depth of any classical circuit which solves the 2D HLF problem with probability greater than 7/8.
81 Open problems Recursive HLF problems? The recursive version of Bernstein-Vazirani gives a superpolynomial speedup in query complexity. Noisy constant-depth quantum circuits vs noiseless constant-depth classical circuits? ampling problems? Can constant-depth quantum circuits sample from a distribution that can t be sampled by classical constant depth circuits? A recent characterization of distributions sampled by NC 0 circuits might be useful [Viola 2014]. Polynomial speed-up? Constant-depth quantum algorithm solves the 2D HLF Problem in linear time. Best known classical algorithm takes time O(n 2 ).
Quantum advantage with shallow circuits
Quantum advantage with shallow circuits arxiv:1704.00690v1 [quant-ph] 3 Apr 2017 Sergey Bravyi 1, David Gosset 1, Robert König 2 1 IBM T.J. Watson Research Center 2 Institute for Advanced Study & Zentrum
More informationComplexity-Theoretic Foundations of Quantum Supremacy Experiments
Complexity-Theoretic Foundations of Quantum Supremacy Experiments Scott Aaronson, Lijie Chen UT Austin, Tsinghua University MIT July 7, 2017 Scott Aaronson, Lijie Chen (UT Austin, Tsinghua University Complexity-Theoretic
More informationFourier Sampling & Simon s Algorithm
Chapter 4 Fourier Sampling & Simon s Algorithm 4.1 Reversible Computation A quantum circuit acting on n qubits is described by an n n unitary operator U. Since U is unitary, UU = U U = I. This implies
More informationQUANTUM COMPUTATION. Exercise sheet 1. Ashley Montanaro, University of Bristol H Z U = 1 2
School of Mathematics Spring 017 QUANTUM COMPUTATION Exercise sheet 1 Ashley Montanaro, University of Bristol ashley.montanaro@bristol.ac.uk 1. The quantum circuit model. (a) Consider the following quantum
More informationQuantum Supremacy and its Applications
Quantum Supremacy and its Applications HELLO HILBERT SPACE Scott Aaronson (University of Texas at Austin) USC, October 11, 2018 Based on joint work with Lijie Chen (CCC 2017, arxiv:1612.05903) and on forthcoming
More informationAn Introduction to Quantum Information and Applications
An Introduction to Quantum Information and Applications Iordanis Kerenidis CNRS LIAFA-Univ Paris-Diderot Quantum information and computation Quantum information and computation How is information encoded
More informationExponential algorithmic speedup by quantum walk
Exponential algorithmic speedup by quantum walk Andrew Childs MIT Center for Theoretical Physics joint work with Richard Cleve Enrico Deotto Eddie Farhi Sam Gutmann Dan Spielman quant-ph/0209131 Motivation
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 informationThreshold theorem for quantum supremacy arxiv:
2017.1.16-20 QIP2017 Seattle, USA Threshold theorem for quantum supremacy arxiv:1610.03632 Keisuke Fujii Photon Science Center, The University of Tokyo /PRESTO, JST 2017.1.16-20 QIP2017 Seattle, USA Threshold
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 informationPolynomial-time classical simulation of quantum ferromagnets
Polynomial-time classical simulation of quantum ferromagnets Sergey Bravyi David Gosset IBM PRL 119, 100503 (2017) arxiv:1612.05602 Quantum Monte Carlo: a powerful suite of probabilistic classical simulation
More informationIntroduction to Quantum Algorithms Part I: Quantum Gates and Simon s Algorithm
Part I: Quantum Gates and Simon s Algorithm Martin Rötteler NEC Laboratories America, Inc. 4 Independence Way, Suite 00 Princeton, NJ 08540, U.S.A. International Summer School on Quantum Information, Max-Planck-Institut
More informationIntroduction to Quantum Computing
Introduction to Quantum Computing Part II Emma Strubell http://cs.umaine.edu/~ema/quantum_tutorial.pdf April 13, 2011 Overview Outline Grover s Algorithm Quantum search A worked example Simon s algorithm
More informationAnalyzing Quantum Circuits Via Polynomials
Analyzing Quantum Circuits Via Polynomials Kenneth W. Regan 1 University at Buffalo (SUNY) 23 January, 2014 1 Includes joint work with Amlan Chakrabarti and Robert Surówka Quantum Circuits Quantum circuits
More information1 Bernstein-Vazirani Algorithm
CMSC 33001: Novel Computing Architectures and Technologies Lecturer: Yongshan Ding, Pranav Gokhale Scribe: Shankar G. Menon Lecture 08: More on Algorithms November 1, 018 1 Bernstein-Vazirani Algorithm
More informationAnalyzing Quantum Circuits Via Polynomials
Analyzing Quantum Circuits Via Polynomials Kenneth W. Regan 1 University at Buffalo (SUNY) 15 November, 2013 1 Includes joint work with Amlan Chakrabarti and Robert Surówka Quantum Circuits Quantum circuits
More informationQuantum Supremacy and its Applications
Quantum Supremacy and its Applications HELLO HILBERT SPACE Scott Aaronson (University of Texas, Austin) Simons Institute, Berkeley, June 12, 2018 Based on joint work with Lijie Chen (CCC 2017, arxiv: 1612.05903)
More informationLecture 3 (Notes) 1. The book Computational Complexity: A Modern Approach by Sanjeev Arora and Boaz Barak;
Topics in Theoretical Computer Science March 7, 2016 Lecturer: Ola Svensson Lecture 3 (Notes) Scribes: Ola Svensson Disclaimer: These notes were written for the lecturer only and may contain inconsistent
More informationExponential Quantum Speed-ups are Generic
Exponential Quantum Speed-ups are Generic Fernando GSL Brandão 1 and Michał Horodecki 2 1 Universidade Federal de Minas Gerais, Brazil 2 University of Gdansk, Poland The Role of Fourier Transform in Quantum
More informationAn exponential separation between quantum and classical one-way communication complexity
An exponential separation between quantum and classical one-way communication complexity Ashley Montanaro Centre for Quantum Information and Foundations, Department of Applied Mathematics and Theoretical
More informationQuantum Computation 650 Spring 2009 Lectures The World of Quantum Information. Quantum Information: fundamental principles
Quantum Computation 650 Spring 2009 Lectures 1-21 The World of Quantum Information Marianna Safronova Department of Physics and Astronomy February 10, 2009 Outline Quantum Information: fundamental principles
More informationSimulating classical circuits with quantum circuits. The complexity class Reversible-P. Universal gate set for reversible circuits P = Reversible-P
Quantum Circuits Based on notes by John Watrous and also Sco8 Aaronson: www.sco8aaronson.com/democritus/ John Preskill: www.theory.caltech.edu/people/preskill/ph229 Outline Simulating classical circuits
More informationThe complexity of quantum sampling problems
The complexity of quantum sampling problems Michael Bremner with A. Montanaro, D. Shepherd, R. Mann, R. Jozsa, A. Lund, T. Ralph, S. Boixo, S. Isakov, V. Smelyanskiy, R. Babbush, M. Smelyanskiy, N. Ding,
More informationQuantum Algorithms for Finding Constant-sized Sub-hypergraphs
Quantum Algorithms for Finding Constant-sized Sub-hypergraphs Seiichiro Tani (Joint work with François Le Gall and Harumichi Nishimura) NTT Communication Science Labs., NTT Corporation, Japan. The 20th
More informationQuantum Lower Bound for Recursive Fourier Sampling
Quantum Lower Bound for Recursive Fourier Sampling Scott Aaronson Institute for Advanced Study, Princeton aaronson@ias.edu Abstract One of the earliest quantum algorithms was discovered by Bernstein and
More informationLower Bounds on the Classical Simulation of Quantum Circuits for Quantum Supremacy. Alexander M. Dalzell
Lower Bounds on the Classical Simulation of Quantum Circuits for Quantum Supremacy by Alexander M. Dalzell Submitted to the Department of Physics in partial fulfillment of the requirements for the degree
More informationarxiv: v2 [quant-ph] 7 Feb 2018
Demonstration of Envariance and Parity Learning on the IBM 6 Qubit Processor Davide Ferrari and Michele Amoretti, : Department of Engineering and Architecture - University of Parma, Italy : Quantum Information
More informationQuantum Computing Lecture 6. Quantum Search
Quantum Computing Lecture 6 Quantum Search Maris Ozols Grover s search problem One of the two most important algorithms in quantum computing is Grover s search algorithm (invented by Lov Grover in 1996)
More informationStanford University CS254: Computational Complexity Handout 8 Luca Trevisan 4/21/2010
Stanford University CS254: Computational Complexity Handout 8 Luca Trevisan 4/2/200 Counting Problems Today we describe counting problems and the class #P that they define, and we show that every counting
More informationQuantum Communication Complexity
Quantum Communication Complexity Ronald de Wolf Communication complexity has been studied extensively in the area of theoretical computer science and has deep connections with seemingly unrelated areas,
More informationLogic gates. Quantum logic gates. α β 0 1 X = 1 0. Quantum NOT gate (X gate) Classical NOT gate NOT A. Matrix form representation
Quantum logic gates Logic gates Classical NOT gate Quantum NOT gate (X gate) A NOT A α 0 + β 1 X α 1 + β 0 A N O T A 0 1 1 0 Matrix form representation 0 1 X = 1 0 The only non-trivial single bit gate
More informationThe quantum query complexity of read-many formulas
The quantum query complexity of read-many formulas Andrew Childs Waterloo Shelby Kimmel MIT Robin Kothari Waterloo Boolean formulas ^ x 1 x 2 _ x 3 ^ x 1 x 3 A formula is read-once if every input appears
More informationComplete problems for classes in PH, The Polynomial-Time Hierarchy (PH) oracle is like a subroutine, or function in
Oracle Turing Machines Nondeterministic OTM defined in the same way (transition relation, rather than function) oracle is like a subroutine, or function in your favorite PL but each call counts as single
More informationThe query register and working memory together form the accessible memory, denoted H A. Thus the state of the algorithm is described by a vector
1 Query model In the quantum query model we wish to compute some function f and we access the input through queries. The complexity of f is the number of queries needed to compute f on a worst-case input
More informationA better lower bound for quantum algorithms searching an ordered list
A better lower bound for quantum algorithms searching an ordered list Andris Ambainis Computer Science Division University of California Berkeley, CA 94720, e-mail: ambainis@cs.berkeley.edu Abstract We
More informationComplexity Classes V. More PCPs. Eric Rachlin
Complexity Classes V More PCPs Eric Rachlin 1 Recall from last time Nondeterminism is equivalent to having access to a certificate. If a valid certificate exists, the machine accepts. We see that problems
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 informationWORKSHOP ON QUANTUM ALGORITHMS AND DEVICES FRIDAY JULY 15, 2016 MICROSOFT RESEARCH
Workshop on Quantum Algorithms and Devices Friday, July 15, 2016 - Microsoft Research Building 33 In 1981, Richard Feynman proposed a device called a quantum computer that would take advantage of methods
More informationQuantum algorithms for hidden nonlinear structures
Quantum algorithms for hidden nonlinear structures Andrew Childs Waterloo Leonard Schulman Caltech Umesh Vazirani Berkeley Shor s algorithm finds hidden linear structures [Shor 94]: Efficient quantum algorithms
More informationNothing Here. Fast Quantum Algorithms
Nothing Here Fast Quantum Algorithms or How we learned to put our pants on two legs at a time. Dave Bacon Institute for Quantum Information California Institute of Technology ? A prudent question is one-half
More informationIntroduction to Quantum Information Processing
Introduction to Quantum Information Processing Lecture 6 Richard Cleve Overview of Lecture 6 Continuation of teleportation Computation and some basic complexity classes Simple quantum algorithms in the
More informationCharacterizing Quantum Supremacy in Near-Term Devices
Characterizing Quantum Supremacy in Near-Term Devices S. Boixo S. Isakov, V. Smelyanskiy, R. Babbush, M. Smelyanskiy, N. Ding, Z. Jiang, M. J. Bremner, J. Martinis, H. Neven Google January 19th Beyond-classical
More informationQuantum Algorithms Lecture #2. Stephen Jordan
Quantum Algorithms Lecture #2 Stephen Jordan Last Time Defined quantum circuit model. Argued it captures all of quantum computation. Developed some building blocks: Gate universality Controlled-unitaries
More informationLecture 2: November 9
Semidefinite programming and computational aspects of entanglement IHP Fall 017 Lecturer: Aram Harrow Lecture : November 9 Scribe: Anand (Notes available at http://webmitedu/aram/www/teaching/sdphtml)
More informationQuantum Computing An Overview
Quantum Computing An Overview NAS Division NASA Ames Research Center TR Govindan Program Manager, QIS U.S. Army Research Office Outline Motivation Essentials of the Quantum Computing (QC) model Challenges
More informationLecture 4: Elementary Quantum Algorithms
CS 880: Quantum Information Processing 9/13/010 Lecture 4: Elementary Quantum Algorithms Instructor: Dieter van Melkebeek Scribe: Kenneth Rudinger This lecture introduces several simple quantum algorithms.
More informationQuantum algorithms for testing Boolean functions
Quantum algorithms for testing Boolean functions Dominik F. Floess Erika Andersson SUPA, School of Engineering and Physical Sciences Heriot-Watt University, Edinburgh EH4 4AS, United Kingdom dominikfloess@gmx.de
More information1 The Low-Degree Testing Assumption
Advanced Complexity Theory Spring 2016 Lecture 17: PCP with Polylogarithmic Queries and Sum Check Prof. Dana Moshkovitz Scribes: Dana Moshkovitz & Michael Forbes Scribe Date: Fall 2010 In this lecture
More informationInduced Cycles of Fixed Length
Induced Cycles of Fixed Length Terry McKee Wright State University Dayton, Ohio USA terry.mckee@wright.edu Cycles in Graphs Vanderbilt University 31 May 2012 Overview 1. Investigating the fine structure
More informationExpander Construction in VNC 1
Expander Construction in VNC 1 Sam Buss joint work with Valentine Kabanets, Antonina Kolokolova & Michal Koucký Prague Workshop on Bounded Arithmetic November 2-3, 2017 Talk outline I. Combinatorial construction
More informationQuantum Query Complexity of Boolean Functions with Small On-Sets
Quantum Query Complexity of Boolean Functions with Small On-Sets Seiichiro Tani TT/JST ERATO-SORST. Joint work with Andris Ambainis Univ. of Latvia Kazuo Iwama Kyoto Univ. Masaki akanishi AIST. Harumichi
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 informationLectures on Fault-Tolerant Quantum Computation
Lectures on Fault-Tolerant Quantum Computation B.M. Terhal, IBM Research I. Descriptions of Noise and Quantum States II. Quantum Coding and Error-Correction III. Fault-Tolerant Error-Correction. Surface
More informationarxiv: v4 [quant-ph] 14 Mar 2018
A Survey of Quantum Property Testing Ashley Montanaro Ronald de Wolf arxiv:1310.2035v4 [quant-ph] 14 Mar 2018 March 15, 2018 Abstract The area of property testing tries to design algorithms that can efficiently
More informationWhat is a quantum computer? Quantum Architecture. Quantum Mechanics. Quantum Superposition. Quantum Entanglement. What is a Quantum Computer (contd.
What is a quantum computer? Quantum Architecture by Murat Birben A quantum computer is a device designed to take advantage of distincly quantum phenomena in carrying out a computational task. A quantum
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 Mechanics & Quantum Computation
Quantum Mechanics & Quantum Computation Umesh V. Vazirani University of California, Berkeley Lecture 14: Quantum Complexity Theory Limits of quantum computers Quantum speedups for NP-Complete Problems?
More informationMajority is incompressible by AC 0 [p] circuits
Majority is incompressible by AC 0 [p] circuits Igor Carboni Oliveira Columbia University Joint work with Rahul Santhanam (Univ. Edinburgh) 1 Part 1 Background, Examples, and Motivation 2 Basic Definitions
More informationBasics of quantum computing and some recent results. Tomoyuki Morimae YITP Kyoto University) min
Basics of quantum computing and some recent results Tomoyuki Morimae YITP Kyoto University) 50+10 min Outline 1. Basics of quantum computing circuit model, classically simulatable/unsimulatable, quantum
More informationEfficient Distributed Quantum Computing
Efficient Distributed Quantum Computing Steve Brierley Heilbronn Institute, Dept. Mathematics, University of Bristol October 2013 Work with Robert Beals, Oliver Gray, Aram Harrow, Samuel Kutin, Noah Linden,
More informationExtended Superposed Quantum State Initialization Using Disjoint Prime Implicants
Extended Superposed Quantum State Initialization Using Disjoint Prime Implicants David Rosenbaum, Marek Perkowski Portland State University, Department of Computer Science Portland State University, Department
More informationQuantum algorithms based on span programs
Quantum algorithms based on span programs Ben Reichardt IQC, U Waterloo [arxiv:0904.2759] Model: Complexity measure: Quantum algorithms Black-box query complexity Span programs Witness size [KW 93] [RŠ
More informationLecture 23: Introduction to Quantum Complexity Theory 1 REVIEW: CLASSICAL COMPLEXITY THEORY
Quantum Computation (CMU 18-859BB, Fall 2015) Lecture 23: Introduction to Quantum Complexity Theory November 31, 2015 Lecturer: Ryan O Donnell Scribe: Will Griffin 1 REVIEW: CLASSICAL COMPLEXITY THEORY
More informationThe quantum threat to cryptography
The quantum threat to cryptography Ashley Montanaro School of Mathematics, University of Bristol 20 October 2016 Quantum computers University of Bristol IBM UCSB / Google University of Oxford Experimental
More informationGraph isomorphism, the hidden subgroup problem and identifying quantum states
1 Graph isomorphism, the hidden subgroup problem and identifying quantum states Pranab Sen NEC Laboratories America, Princeton, NJ, U.S.A. Joint work with Sean Hallgren and Martin Rötteler. Quant-ph 0511148:
More informationAn Architectural Framework For Quantum Algorithms Processing Unit (QAPU)
An Architectural Framework For Quantum s Processing Unit (QAPU) Mohammad Reza Soltan Aghaei, Zuriati Ahmad Zukarnain, Ali Mamat, and ishamuddin Zainuddin Abstract- The focus of this study is developing
More informationResearch Statement. Dr. Anna Vershynina. August 2017
annavershynina@gmail.com August 2017 My research interests lie in functional analysis and mathematical quantum physics. In particular, quantum spin systems, open quantum systems and quantum information
More informationOverview of Topological Cluster-State Quantum Computation on 2D Cluster-State
Overview of Topological Cluster-State Quantum Computation on 2D Cluster-State based on High-threshold universal quantum computation on the surface code -Austin G. Fowler, Ashley M. Stephens, and Peter
More informationarxiv:quant-ph/ v1 18 Nov 2004
Improved Bounds on Quantum Learning Algorithms arxiv:quant-ph/0411140v1 18 Nov 2004 Alp Atıcı Department of Mathematics Columbia University New York, NY 10027 atici@math.columbia.edu March 13, 2008 Abstract
More informationImproved Quantum Algorithm for Triangle Finding via Combinatorial Arguments
Improved Quantum Algorithm for Triangle Finding via Combinatorial Arguments François Le Gall The University of Tokyo Technical version available at arxiv:1407.0085 [quant-ph]. Background. Triangle finding
More informationQuantum Communication
Quantum Communication Harry Buhrman CWI & University of Amsterdam Physics and Computing Computing is physical Miniaturization quantum effects Quantum Computers ) Enables continuing miniaturization ) Fundamentally
More informationVolume 2, Issue 9, September 2014 International Journal of Advance Research in Computer Science and Management Studies
Volume 2, Issue 9, September 2014 International Journal of Advance Research in Computer Science and Management Studies Research Article / Survey Paper / Case Study Available online at: www.ijarcsms.com
More informationPh 219b/CS 219b. Exercises Due: Wednesday 4 December 2013
1 Ph 219b/CS 219b Exercises Due: Wednesday 4 December 2013 4.1 The peak in the Fourier transform In the period finding algorithm we prepared the periodic state A 1 1 x 0 + jr, (1) A j=0 where A is the
More informationLecture 13: Lower Bounds using the Adversary Method. 2 The Super-Basic Adversary Method [Amb02]
Quantum Computation (CMU 18-859BB, Fall 015) Lecture 13: Lower Bounds using the Adversary Method October 1, 015 Lecturer: Ryan O Donnell Scribe: Kumail Jaffer 1 Introduction There are a number of known
More information1 Circuit Complexity. CS 6743 Lecture 15 1 Fall Definitions
CS 6743 Lecture 15 1 Fall 2007 1 Circuit Complexity 1.1 Definitions A Boolean circuit C on n inputs x 1,..., x n is a directed acyclic graph (DAG) with n nodes of in-degree 0 (the inputs x 1,..., x n ),
More informationPolynomial Representations of Threshold Functions and Algorithmic Applications. Joint with Josh Alman (Stanford) and Timothy M.
Polynomial Representations of Threshold Functions and Algorithmic Applications Ryan Williams Stanford Joint with Josh Alman (Stanford) and Timothy M. Chan (Waterloo) Outline The Context: Polynomial Representations,
More informationsparse codes from quantum circuits
sparse codes from quantum circuits arxiv:1411.3334 Dave Bacon Steve Flammia Aram Harrow Jonathan Shi Coogee 23 Jan 2015 QECC [n,k,d] code: encode k logical qubits in n physical qubits and correct errors
More information6.896 Quantum Complexity Theory September 18, Lecture 5
6.896 Quantum Complexity Theory September 18, 008 Lecturer: Scott Aaronson Lecture 5 Last time we looked at what s known about quantum computation as it relates to classical complexity classes. Today we
More informationFourier analysis of boolean functions in quantum computation
Fourier analysis of boolean functions in quantum computation Ashley Montanaro Centre for Quantum Information and Foundations, Department of Applied Mathematics and Theoretical Physics, University of Cambridge
More informationarxiv: v1 [quant-ph] 27 May 2013
Classical simulation complexity of extended Clifford circuits Richard Jozsa 1 and Maarten Van den Nest 2 arxiv:1305.6190v1 [quant-ph] 27 May 2013 1 DAMTP, Centre for Mathematical Sciences, University of
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 informationNotes for Lecture 3... x 4
Stanford University CS254: Computational Complexity Notes 3 Luca Trevisan January 18, 2012 Notes for Lecture 3 In this lecture we introduce the computational model of boolean circuits and prove that polynomial
More informationA New Lower Bound Technique for Quantum Circuits without Ancillæ
A New Lower Bound Technique for Quantum Circuits without Ancillæ Debajyoti Bera Abstract We present a technique to derive depth lower bounds for quantum circuits. The technique is based on the observation
More informationCS257 Discrete Quantum Computation
CS57 Discrete Quantum Computation John E Savage April 30, 007 Lect 11 Quantum Computing c John E Savage Classical Computation State is a vector of reals; e.g. Booleans, positions, velocities, or momenta.
More informationQuantum query complexity of entropy estimation
Quantum query complexity of entropy estimation Xiaodi Wu QuICS, University of Maryland MSR Redmond, July 19th, 2017 J o i n t C e n t e r f o r Quantum Information and Computer Science Outline Motivation
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 informationQuantum Property Testing
Quantum Property Testing Harry Buhrman Lance Fortnow Ilan ewman Hein Röhrig March 24, 2004 Abstract A language L has a property tester if there exists a probabilistic algorithm that given an input x only
More information6.080/6.089 GITCS May 6-8, Lecture 22/23. α 0 + β 1. α 2 + β 2 = 1
6.080/6.089 GITCS May 6-8, 2008 Lecturer: Scott Aaronson Lecture 22/23 Scribe: Chris Granade 1 Quantum Mechanics 1.1 Quantum states of n qubits If you have an object that can be in two perfectly distinguishable
More informationThe power of quantum sampling. Aram Harrow Bristol/UW Feb 3, 2011
The power of quantum sampling Aram Harrow Bristol/UW Feb 3, 2011 computer science physics computer science physics building computers: -mechanical -electronic -quantum computer science physics building
More informationPh 219b/CS 219b. Exercises Due: Wednesday 22 February 2006
1 Ph 219b/CS 219b Exercises Due: Wednesday 22 February 2006 6.1 Estimating the trace of a unitary matrix Recall that using an oracle that applies the conditional unitary Λ(U), Λ(U): 0 ψ 0 ψ, 1 ψ 1 U ψ
More informationarxiv:quant-ph/ v5 3 Mar 2004
Adaptive Quantum Computation, Constant Depth Quantum Circuits and Arthur-Merlin Games Barbara M. Terhal David P. DiVincenzo arxiv:quant-ph/0205133v5 3 Mar 2004 March 12, 2008 Abstract We present evidence
More informationarxiv: v1 [quant-ph] 7 Aug 2014
Fault-tolerant logical gates in quantum error-correcting codes arxiv:1408.1720v1 [quant-ph] 7 Aug 2014 Fernando Pastawski 1 and Beni Yoshida 1 1 Institute for Quantum Information and Matter, California
More informationarxiv: v3 [quant-ph] 3 Jul 2012
MIT-CTP 4242 Super-Polynomial Quantum Speed-ups for Boolean Evaluation Trees with Hidden Structure Bohua Zhan Shelby Kimmel Avinatan Hassidim November 2, 2018 arxiv:1101.0796v3 [quant-ph] 3 Jul 2012 Abstract
More informationNotes for Lecture 11
Stanford University CS254: Computational Complexity Notes 11 Luca Trevisan 2/11/2014 Notes for Lecture 11 Circuit Lower Bounds for Parity Using Polynomials In this lecture we prove a lower bound on the
More informationarxiv: v2 [quant-ph] 10 Jan 2018
Merlin-Arthur with efficient quantum Merlin and quantum supremacy for the second level of the Fourier hierarchy Tomoyuki Morimae, 1,2,3, Yuki Takeuchi, 4, and Harumichi Nishimura 5, 1 Department of Computer
More informationBounded Arithmetic, Expanders, and Monotone Propositional Proofs
Bounded Arithmetic, Expanders, and Monotone Propositional Proofs joint work with Valentine Kabanets, Antonina Kolokolova & Michal Koucký Takeuti Symposium on Advances in Logic Kobe, Japan September 20,
More informationQuantum Computation CMU BB, Fall Week 6 work: Oct. 11 Oct hour week Obligatory problems are marked with [ ]
Quantum Computation CMU 15-859BB, Fall 2018 Week 6 work: Oct. 11 Oct. 18 12-hour week Obligatory problems are marked with [ ] 1. [CCNOT.] In class we showed how to simulate classical AND, OR, NOT, and
More informationQuantum walk algorithms
Quantum walk algorithms Andrew Childs Institute for Quantum Computing University of Waterloo 28 September 2011 Randomized algorithms Randomness is an important tool in computer science Black-box problems
More informationUNDERSTANDING THE COST OF GROVER'S ALGORITHM FOR FINDING A SECRET KEY
UNDERSTANDING THE COST OF GROVER'S ALGORITHM FOR FINDING A SECRET KEY Rainer Steinwandt 1,2 Florida Atlantic University, USA (joint work w/ B. Amento, M. Grassl, B. Langenberg 2, M. Roetteler) 1 supported
More informationROM-BASED COMPUTATION: QUANTUM VERSUS CLASSICAL
arxiv:quant-ph/0109016v2 2 Jul 2002 ROM-BASED COMPUTATION: QUANTUM VERSUS CLASSICAL B. C. Travaglione, M. A. Nielsen Centre for Quantum Computer Technology, University of Queensland St Lucia, Queensland,
More information