Quantum Multiprover Interactive Proofs

Quantum proof systems for iterated exponential time, and beyond

We show that any language solvable in nondeterministic time exp( exp(⋯exp(n))), where the number of iterated exponentials is an …

Joseph Fitzsimons, Zhengfeng Ji, Thomas Vidick, Henry Yuen