A Multiprover Interactive Proof System for the Local Hamiltonian Problem

DOI10.1145/2688073.2688094zbMath1364.81078arXiv1409.0260OpenAlexW2102150964WikidataQ59792589 ScholiaQ59792589MaRDI QIDQ2989019

Thomas Vidick, Joseph Fitzsimons

Publication date: 19 May 2017

Published in: Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1409.0260

zbMATH Keywords

entanglementquantum interactive proofslocal Hamiltonian

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68)

Related Items (2)

Unnamed Item ⋮ Verification of quantum computation: an overview of existing approaches

This page was built for publication: A Multiprover Interactive Proof System for the Local Hamiltonian Problem