Pith. sign in

REVIEW 2 cited by

The 7 faces of quantum NP

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 2310.18010 v1 pith:QABP4POJ submitted 2023-10-27 quant-ph cs.CC

classification quant-phcs.CC
keywords quantumcomplexitydefinitionsthereacrossactuallyaimedappear
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

When it comes to NP, its natural definition, its wide applicability across scientific disciplines, and its timeless relevance, the writing is on the wall: There can be only one. Quantum NP, on the other hand, is clearly the apple that fell far from the tree of NP. Two decades since the first definitions of quantum NP started rolling in, quantum complexity theorists face a stark reality: There's QMA, QCMA, QMA1, QMA(2), StoqMA, and NQP. In this article aimed at a general theoretical computer science audience, I survey these various definitions of quantum NP, their strengths and weaknesses, and why most of them, for better or worse, actually appear to fit naturally into the complexity zoo.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

  1. ${\sf QMA}={\sf QMA}_1$ with an infinite counter

    quant-ph 2025-06 conditional novelty 8.0 of 10

    With an infinite counter register as part of the witness, QMA and its perfect-completeness variant QMA_1 become the same complexity class, and a finite truncation gives doubly-exponential completeness amplification.

  2. Unweighted Gapped Clique Homology is $\mathsf{QMA}_1$-complete

    quant-ph 2026-08 conditional novelty 7.0 of 10

    Unweighted gapped clique homology is QMA1^{g2}-complete for a fixed inverse-polynomial gap, proven by replacing vertex weights with clique multiplicities.

Pith tools