QCMA ⊆ PP

QCMA is contained in PP.

Statement

Migrated verbatim from quantum-classical-merlin-arthur § Known relationships:

• $\mathbf{QCMA}\subseteq \mathbf{PP}\subseteq \mathbf{PSPACE}$, since $\mathbf{QMA}\subseteq \mathbf{PP}$.

Notes

source: folklore: the claim carried no citation on the page it was migrated from, and none was invented.

class: unstated: no citing page says which notion of reduction is meant. Recording a class the wiki does not state would add a claim.

class: free because a containment between complexity classes is proved by any argument at all; the reduction-class axis does not discriminate here, and unstated would wrongly suggest the information is missing.

Recorded during migration and not fixed — these are claims about the source text, not changes to it:

• Derived (QCMA subset QMA subset PP), not an independent theorem, and nothing in the record marks it as derived - the bullet presents a two-step chain as a fact.
• Uncited.