We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

quant-ph

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Quantum Physics

Title: Depth-efficient proofs of quantumness

Abstract: A proof of quantumness is a type of challenge-response protocol in which a classical verifier can efficiently certify the quantum advantage of an untrusted prover. That is, a quantum prover can correctly answer the verifier's challenges and be accepted, while any polynomial-time classical prover will be rejected with high probability, based on plausible computational assumptions. To answer the verifier's challenges, existing proofs of quantumness typically require the quantum prover to perform a combination of polynomial-size quantum circuits and measurements. In this paper, we give two proof of quantumness constructions in which the prover need only perform constant-depth quantum circuits (and measurements) together with log-depth classical computation. Our first construction is a generic compiler that allows us to translate all existing proofs of quantumness into constant quantum depth versions. Our second construction is based around the learning with rounding problem, and yields circuits with shorter depth and requiring fewer qubits than the generic construction. In addition, the second construction also has some robustness against noise.
Comments: In v2 we added a second construction for depth-efficient proofs of quantumness that uses smaller circuits and has some noise robustness. We also fixed typos and updated the references
Subjects: Quantum Physics (quant-ph)
Cite as: arXiv:2107.02163 [quant-ph]
  (or arXiv:2107.02163v2 [quant-ph] for this version)

Submission history

From: Zhenning Liu [view email]
[v1] Mon, 5 Jul 2021 17:45:41 GMT (34kb)
[v2] Fri, 3 Dec 2021 16:00:02 GMT (60kb)

Link back to: arXiv, form interface, contact.