On Information-Theoretic Classical Verification of Quantum Computers
Quantum Physics
2021-05-14 v1
Abstract
Quantum inspired protocols e.g. [AAV13,AG17] attempt to achieve a single-prover interactive protocol where a classical machine can verify quantum computations in an information-theoretically secure manner. We define a family of protocols which seem natural for verifying quantum computations and generalizes such known protocols, namely those of [AAV13,AG17]. We show that any protocol from this family is bound to require an extremely powerful prover, much like the classical protocols of [LFKN92] and [Sha92]. Using our analysis, we also hint at possible ways one might try to realize a protocol where the prover can be weaker, namely a quantum computer (i.e. a BQP machine).
Cite
@article{arxiv.2105.05942,
title = {On Information-Theoretic Classical Verification of Quantum Computers},
author = {Ayal Green},
journal= {arXiv preprint arXiv:2105.05942},
year = {2021}
}