Merlin-Arthur with efficient quantum Merlin and quantum supremacy for the second level of the Fourier hierarchy

11/28/2017
by   Tomoyuki Morimae, et al.
0

It is a long-standing open problem whether quantum computing can be verified by a classical verifier. In the computational complexity term, it is "Does any BQP problem have an interactive proof system with a BQP prover and a BPP verifier?". Several partial solutions to the open problem have been obtained. For example, verifiable blind quantum computing protocols demonstrate that if the verifier is slightly quantum, the problem is solved. Furthermore, the answer to the open problem is yes for specific BQP problems, such as the recursive Fourier sampling. In this paper, we consider a problem of distinguishing output probability distributions of two quantum circuits. We show that the problem is BQP-complete, but if the two circuits are restricted to some circuits in the second level of the Fourier hierarchy, such as IQP circuits, the problem has a Merlin-Arthur proof system where the prover (Merlin) has the power of BQP for yes instances. Our result is therefore another example of specific BQP problems that have an interactive proof system with a BQP prover and a BPP verifier. As an additional result, we also consider a simple model in the second level of the Fourier hierarchy, and show that a multiplicative-error classical efficient sampling of the output probability distribution of the model causes the collapse of the polynomial-time hierarchy to the third or the second level. The model consists of a classical reversible circuit sandwiched by two layers of Hadamard gates. The proof technique for its quantum supremacy is different from those for previous sub-universal models, such as IQP, Boson Sampling, and DQC1, and therefore the technique itself might be useful for other applications.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/07/2019

Fine-grained quantum computational supremacy

It is known that several sub-universal quantum computing models cannot b...
research
12/10/2018

Impossibility of blind quantum sampling for classical client

Blind quantum computing enables a client, who can only generate or measu...
research
06/22/2020

Efficiently generating ground states is hard for postselected quantum computation

Although quantum computing is expected to outperform universal classical...
research
01/07/2019

Fine-grained quantum supremacy of the one-clean-qubit model

The one-clean-qubit model (or the DQC1 model) is a restricted model of q...
research
11/11/2020

StoqMA meets distribution testing

𝖲𝗍𝗈𝗊𝖬𝖠 captures the computational hardness of approximating the ground e...
research
09/06/2017

Quantum Advantage from Conjugated Clifford Circuits

A well-known result of Gottesman and Knill states that Clifford circuits...
research
10/29/2018

The Expressive Power of Parameterized Quantum Circuits

Parameterized quantum circuits (PQCs) have been broadly used as a hybrid...

Please sign up or login with your details

Forgot password? Click here to reset