Pith. sign in

REVIEW 1 cited by

QMA/qpoly Is Contained In PSPACE/poly: De-Merlinizing Quantum Protocols

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv quant-ph/0510230 v3 pith:W53BPO7G submitted 2005-10-31 quant-ph cs.CC

classification quant-phcs.CC
keywords quantumpolypolynomial-sizeqpolycontainedadvicebitspspace
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

This paper introduces a new technique for removing existential quantifiers over quantum states. Using this technique, we show that there is no way to pack an exponential number of bits into a polynomial-size quantum state, in such a way that the value of any one of those bits can later be proven with the help of a polynomial-size quantum witness. We also show that any problem in QMA with polynomial-size quantum advice, is also in PSPACE with polynomial-size classical advice. This builds on our earlier result that BQP/qpoly is contained in PP/poly, and offers an intriguing counterpoint to the recent discovery of Raz that QIP/qpoly = ALL. Finally, we show that QCMA/qpoly is contained in PP/poly and that QMA/rpoly = QMA/poly.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Dense Hamiltonians at the Parseval Limit: The Noncommutative BH Constant is Exponential and the Quantum FEI Conjecture is False

    math.FA 2026-08 conditional novelty 8.0 of 10

    A new construction of flat degree-d Hamiltonians with exp(Theta(d^2)) nonzero Pauli terms makes the noncommutative Bohnenblust-Hille constant exponential and refutes the quantum Fourier Entropy-Influence conjecture.

Pith tools