Quantum Physics
[Submitted on 30 Oct 2008 (this version), latest version 18 Nov 2008 (v2)]
Title:Interactive Proofs For Quantum Computations
View PDFAbstract: It is generally accepted that large quantum systems cannot be simulated efficiently by classical systems. Several fundamental questions arise: Experimentalist's aspect: the next generation of quantum computers will presumably contain a few tens of qubits or more. Such systems are already impossible to simulate efficiently classically. Which experiments should be conducted in order to verify that those claimed quantum computers are performing the way they should? Cryptographic aspect: assuming that the first generations of quantum computers will be extremely expensive, and thus quantum computations would be delegated to untrusted companies. How can one trust the outcome? Moreover, can the tasks being delegated be kept secret? Foundations of Quantum Mechanics aspect: assuming that small systems obey quantum mechanics to an extremely high accuracy, it is still possible that the physical description of large many-body systems deviates significantly from quantum mechanics. The conjecture that BQP is not equal to BPP means that the usual scientific paradigm cannot be used to falsify or test such a situation; comparing theoretical predictions to experimental outcomes cannot be done, since the theoretical predictions for those systems simply cannot be computed in reasonable time. Is quantum mechanics a falsifiable physical theory in large scales?
In this paper we show how to perform all the above tasks using a new type of quantum interactive proofs, which we call "quantum prover interactive proofs" (QPIP).
Submission history
From: Elad Eban [view email][v1] Thu, 30 Oct 2008 15:38:07 UTC (38 KB)
[v2] Tue, 18 Nov 2008 12:12:03 UTC (37 KB)
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.