= QMA parallel repetition with entangled witnesses
{c}
Independent verifier circuits on $r$ witness registers induce a threshold acceptance effect built from tensor products of $M$ and $I-M$, where $M$ is the <quantum verifier acceptance operator>. In a product eigenbasis of $M$, the effect's <eigenvalues> are threshold probabilities for independent <Bernoulli random variables> with parameters given by the selected eigenvalues of $M$. Bounding every parameter on a NO instance bounds the effect's <operator norm>, even if the actual submitted witness is entangled. Independence is used only for the spectral calculation, not assumed for the witness.
Back to article page
