On polynomially many queries to NP or QMA oracles

11/03/2021
by   Sevag Gharibian, et al.
0

We study the complexity of problems solvable in deterministic polynomial time with access to an NP or Quantum Merlin-Arthur (QMA)-oracle, such as P^NP and P^QMA, respectively. The former allows one to classify problems more finely than the Polynomial-Time Hierarchy (PH), whereas the latter characterizes physically motivated problems such as Approximate Simulation (APX-SIM) [Ambainis, CCC 2014]. In this area, a central role has been played by the classes P^NP[log] and P^QMA[log], defined identically to P^NP and P^QMA, except that only logarithmically many oracle queries are allowed. Here, [Gottlob, FOCS 1993] showed that if the adaptive queries made by a P^NP machine have a "query graph" which is a tree, then this computation can be simulated in P^NP[log]. In this work, we first show that for any verification class C∈{NP,MA,QCMA,QMA,QMA(2),NEXP,QMA_exp}, any P^C machine with a query graph of "separator number" s can be simulated using deterministic time exp(slog n) and slog n queries to a C-oracle. When s∈ O(1) (which includes the case of O(1)-treewidth, and thus also of trees), this gives an upper bound of P^C[log], and when s∈ O(log^k(n)), this yields bound QP^C[log^k+1] (QP meaning quasi-polynomial time). We next show how to combine Gottlob's "admissible-weighting function" framework with the "flag-qubit" framework of [Watson, Bausch, Gharibian, 2020], obtaining a unified approach for embedding P^C computations directly into APX-SIM instances in a black-box fashion. Finally, we formalize a simple no-go statement about polynomials (c.f. [Krentel, STOC 1986]): Given a multi-linear polynomial p specified via an arithmetic circuit, if one can "weakly compress" p so that its optimal value requires m bits to represent, then P^NP can be decided with only m queries to an NP-oracle.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/08/2021

Simplified Quantum Algorithm for the Oracle Identification Problem

In the oracle identification problem we have oracle access to bits of an...
research
02/07/2022

Almost Optimal Proper Learning and Testing Polynomials

We give the first almost optimal polynomial-time proper learning algorit...
research
09/12/2019

Oracle complexity classes and local measurements on physical Hamiltonians

The canonical problem for the class Quantum Merlin-Arthur (QMA) is that ...
research
02/28/2019

Interpretation of NDTM in the definition of NP

In this paper, we interpret NDTM (NonDeterministic Turing Machine) used ...
research
11/08/2021

Alternating Automatic Register Machines

This paper introduces and studies a new model of computation called an A...
research
03/09/2023

Range Avoidance for Constant-Depth Circuits: Hardness and Algorithms

Range Avoidance (AVOID) is a total search problem where, given a Boolean...
research
01/23/2018

Type-two polynomial-time and restricted lookahead

This paper provides an alternate characterization of type-two polynomial...

Please sign up or login with your details

Forgot password? Click here to reset