Quantum Certificate Verification: Single versus Multiple Quantum Certificates

Hirotada Kobayashi, Keiji Matsumoto, Tomoyuki Yamakami

The class MA consists of languages that can be efficiently verified by classical probabilistic verifiers using a single classical certificate, and the class QMA consists of languag…