Rewindable Quantum Computation and Its Equivalence to Cloning and Adaptive Postselection

06/11/2022
by   Ryo Hiromasa, et al.
0

We define rewinding operators that invert quantum measurements. Then, we define complexity classes RwBQP, CBQP, and AdPostBQP as sets of decision problems solvable by polynomial-size quantum circuits with a polynomial number of rewinding operators, cloning operators, and adaptive postselections, respectively. Our main result is that BPP^ PP⊆ RwBQP= CBQP= AdPostBQP⊆ PSPACE. As a byproduct of this result, we show that any problem in PostBQP can be solved with only postselections of outputs whose probabilities are polynomially close to one. Under the strongly believed assumption that BQP⊉ SZK, or the shortest independent vectors problem cannot be efficiently solved with quantum computers, we also show that a single rewinding operator is sufficient to achieve tasks that are intractable for quantum computation. In addition, we consider rewindable Clifford and instantaneous quantum polynomial time circuits.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/12/2021

Test of Quantumness with Small-Depth Quantum Circuits

Recently Brakerski, Christiano, Mahadev, Vazirani and Vidick (FOCS 2018)...
research
05/22/2018

PDQP/qpoly = ALL

We show that combining two different hypothetical enhancements to quantu...
research
05/09/2018

Interactive Proofs with Polynomial-Time Quantum Prover for Computing the Order of Solvable Groups

In this paper we consider what can be computed by a user interacting wit...
research
12/21/2018

Quantum Equivalence of the DLP and CDHP for Group Actions

In this short note we give a polynomial-time quantum reduction from the ...
research
02/13/2023

The Subgraph Isomorphism Problem for Port Graphs and Quantum Circuits

We study a variant of the subgraph isomorphism problem that is of high i...
research
05/14/2021

Decision Diagrams for Quantum Measurements with Shallow Circuits

We consider the problem of estimating quantum observables on a collectio...
research
01/24/2023

PSPACE ⊆ BQP

The complexity class PSPACE includes all computational problems that can...

Please sign up or login with your details

Forgot password? Click here to reset