Quantum proof systems for iterated exponential time, and beyond

Joseph F. Fitzsimons, Zhengfeng Ji, Thomas Vidick, Henry Yuen. Quantum proof systems for iterated exponential time, and beyond. In Moses Charikar, Edith Cohen, editors, Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, STOC 2019, Phoenix, AZ, USA, June 23-26, 2019. pages 473-480, ACM, 2019. [doi]

Abstract

Abstract is missing.