Download presentation

Presentation is loading. Please wait.

Published byAnna O'Donnell Modified over 4 years ago

1
Arthur, Merlin, and Black-Box Groups in Quantum Computing Scott Aaronson (MIT) Or, How Laci Did Quantum Stuff Without Knowing It

2
Ill tell the story of a few of Lacis brainchildren from the 80sMA, AM, black-box groupsand how they came to play a major role in quantum computing theory What should you conclude from this? (1)Laci works on the trendiest areas before they even exist (2)Quantum computing cant be that scary (3)Beautiful mathematical structures (like finite groups) do useful things in TCS (like giving natural examples where quantum computing seems to outperform classical) 2 / 17

3
Dramatis Personae: Merlin & Arthur Babais probabilistic generalizations of NP: MA (Merlin-Arthur): Class of languages L for which, if the answer is yes, theres a polynomial-size proof that Arthur can check in probabilistic polynomial-time AM (Arthur-Merlin): Same, except that now Arthur can also submit a random challenge to Merlin All-knowing proverPolynomial-time verifier Witness w {0,1} p(n) Input x {0,1} n Is x L? 3 / 17

4
[Klivans-van Melkebeek 99] Under plausible complexity assumptions, AM=MA=NP Example: Suppose Merlin wants to convince Arthur that But in the black-box setting, these classes can be extremely different! is one-to-one rather than two-to-one In NP or MA, he cant! But in AM, Arthur can pick a random input x {0,1} n, then compute f(x), send it to Merlin and ask what x was 4 / 17

5
Quantum Mechanics In One Slide State of n qubits is a unit vector in : You can multiply the vector of x s (amplitudes) by a 2 n 2 n unitary matrix U (matrix that maps unit vectors to unit vectors) If you measure the state |, you see outcome |x with probability | x | 2. Also, the state collapses to |x 2 n orthogonal basis vectors: |0…0, …, |1…1 Usual initial state: |0…0 (you get used to the asymmetric brackets with time) Central phenomenon that QC exploits: interference between positive and negative amplitudes 5 / 17

6
Quantum Analogues of NP QMA (Quantum Merlin-Arthur): Class of problems for which, if the answer is yes, theres a quantum proof | with poly(n) qubits, which can be checked by a polynomial-time quantum verifier FUNDAMENTAL QUESTION Does QMA = QCMA? Intuitively: Can a quantum proof be exponentially more compact than its shortest classical counterpart? QCMA (Quantum Classical Merlin-Arthur): Same as QMA, except now the proof needs to be classical 6 / 17

7
P BPP BQP NP MA AM QCMA QMA P #P QAM PH Bestiary 7 / 17

8
Black-Box Groups Quantum analogue: Input: Meaningless strings that label elements of G Output: Labels of g h or g -1 Were given: Generators g 1,…,g k of G; ability to recognize the identity element e Unknown finite group G, of order 2 poly(n) Important point: In the quantum case, every element of G must have a unique label! From now on, well abuse notation and identify an element g G with its label 8 / 17

9
The Group Membership Problem Membership in H can be proved in NP [Babai-Szemerédi84] But what about proving non-membership in H? Given: Black-box group G, subgroup H G (specified by generators), element x G Problem: Is x H? H G x Fact: For some groups G (even abelian groups), theres no small NP proof (or even MA proof) for non-membership (Non-membership can always be proved in AM, using protocols for approximate counting) 9 / 17

10
There is always a QMA witness of non-membership! [Watrous 2000] where |Hx is an equal superposition over the elements of the right coset Hx Merlins quantum proof for x H (in the honest case) : Given this proof, Arthur prepares (equal superposition over elements of H) Note: |H might be exponentially hard to prepare! Sampling a random element of H isnt enough Then he applies the Hadamard transform to the first qubit and measures that qubit 10 / 17

11
First suppose x H. Then |H =|Hx Ah, but how does Arthur check that Merlins witness | is really |H, and not some other state? Step 1: Use a random walk [Babai91] to generate nearly-random elements g G and h H Step 2: Check that | behaves like |H on all g G and h H that are tested Next suppose x H. Then |H and |Hx are orthogonal HADAMARD so |0 is observed with probability 1 so |0 and |1 are equally likely to be observed 11 / 17

12
So, can Group Non-Membership be used to prove an oracle separation between QMA and QCMA? Theorem [A.-Kuperberg 2007]: Group Non-Membership has polynomial-size classical proofs, which can be verified using poly(n) quantum queries to the group oracle (and possibly exponential post-computationthough even that can be removed under plausible group- theoretic conjectures) Alas, no. 12 / 17

13
Idea of proof: Pull the group out of the black box Explicit group Black-box group G Isomorphism f claimed by Merlin To check that f is (close to) a homomorphism, Arthur uses a classical homomorphism tester of [Blum-Luby-Rubinfeld] Assuming f is a homomorphism, f is 1-to-1 Ker f is trivial This yields an instance of the Hidden Subgroup Problem! [Ettinger-Høyer-Knill 97] show that for any group G, HSP is solvable with poly(n) quantum queries to the group oracle 13 / 17

14
Communication Complexity Challenge Group theorists in the audience: please pay attention Finite group G known to both players Subgroup H GElement x G Best deterministic protocol: Alice sends Bob log 2 |G| bits (the generators of H) Best quantum protocol: Alice sends Bob log|G| qubits, Then Bob runs the Watrous protocol to decide if x H 1-WAY message m H Is x H? 14 / 17

15
$50 Challenge: Does there exist a family of groups {G n }, for which any classical randomized protocol needs (log|G n |) bits? (Ideally (log 2 |G n |)?) [A., Le Gall, Russell, Tani 2009]: If G is abelianor if G has constant-dimensional irreps, or if is a normal subgroupthen theres a classical randomized protocol that uses only O(log|G|) communication 15 / 17 Would yield the first asymptotic gap between 1-way randomized and 1-way quantum communication complexities, for a total Boolean function

16
Conclusion: Why Do Quantum Computing and Finite Groups Mesh So Well? Finite groups are rigid objects Any two right-cosets of H G are either identical or disjoint Any two distinct subgroups differ on a constant fraction of elements And we want that rigidity in quantum algorithms and protocols, to create interesting interference patterns Also, the fact that elements have unique inverses means that we can apply group operations reversibly Still, understanding the interplay of quantum computing with (badly) nonabelian groups remains a challenge Most famous example of that, which I only touched on: the Nonabelian Hidden Subgroup Problem 16 / 17

17
More Open Problems Is there a QMA protocol to prove that a black-box function f:{0,1} n {0,1} n is one-to-one rather than two-to-one? In 2002, I showed this problem is not in BQP; indeed any quantum algorithm needs (2 n/3 ) time [A.-Shi 2002] Its still open to prove an oracle separation between QMA and QCMA! [A.-Kuperberg 2007] proved a quantum oracle separation Can we give an oracle relative to which BQP AM? [A. 2010]: The Generalized Linial-Nisan Conjecture would imply an oracle relative to which BQP PH Original Linial-Nisan Conjecture: Proved by [Braverman 2009] Laci actually thought of it before Linial-Nisan 17 / 17

Similar presentations

OK

Pretty-Good Tomography Scott Aaronson MIT. Theres a problem… To do tomography on an entangled state of n qubits, we need exp(n) measurements Does this.

Pretty-Good Tomography Scott Aaronson MIT. Theres a problem… To do tomography on an entangled state of n qubits, we need exp(n) measurements Does this.

© 2018 SlidePlayer.com Inc.

All rights reserved.

By using this website, you agree with our use of **cookies** to functioning of the site. More info in our Privacy Policy and Google Privacy & Terms.

Ads by Google

Ppt on trade fair 2016 Ppt on atrial septal defect treatment Free download ppt on cybercrime in india Ppt on two point perspective buildings Ppt on product advertising print Ppt on total parenteral nutrition definition Download ppt on harappan civilization Ppt on chemical bonding and molecular structure Free ppt on etiquettes of life Ppt on network switching software