Stoquastic circuit
= Stoquastic circuit
A <stoquastic circuit> verifier uses reversible classical <quantum gates>, represented by <permutation matrices>, with zero and plus-state <ancilla qubits> and a final <Hadamard basis> output measurement. A basis input remains an entrywise nonnegative state; a general <quantum witness> need not be a basis input. The resulting acceptance structure is used in <StoqMA>.