StoqMA (source code)
= StoqMA
{c}
{title2=$\mathsf{StoqMA}(a,b),\quad1/2\leq b<a\leq1$}
<StoqMA> is a restricted quantum-verifier class using <stoquastic circuits> and polynomial-size <quantum witnesses>. A YES instance has a <quantum witness> accepted with probability at least $a$; on a NO instance every <quantum witness> has acceptance at most $b$, with an inverse-polynomial gap $a-b$. An optimal <quantum witness> can be chosen with nonnegative amplitudes, since the <witness acceptance operator> is entrywise nonnegative. The <quantum witness> is generally a superposition, rather than a <computational basis> vector. The <stoquastic acceptance floor> explains the lower limit $b\geq1/2$ for a nontrivial soundness promise.
Back to article page
