2018年1月22日
Post hoc Verification of Quantum Computation
Physical Review Letters
- ,
- ,
- 巻
- 120
- 号
- 4
- 記述言語
- 英語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.1103/PhysRevLett.120.040501
- 出版者・発行元
- American Physical Society
We propose a set of protocols for verifying quantum computing at any time after the computation itself has been performed. We provide two constructions: one requires five entangled provers and a completely classical verifier
the other requires a single prover, a verifier, who is restricted to measuring qubits in the X or Z basis, and one-way quantum communication from the prover to the verifier. These results demonstrate that the verification can be achieved independently from the blindness. We also show that a constant round protocol with a single prover and a completely classical verifier is not possible, unless bounded error quantum polynomial time (BQP) is contained in the third level of the polynomial hierarchy.
the other requires a single prover, a verifier, who is restricted to measuring qubits in the X or Z basis, and one-way quantum communication from the prover to the verifier. These results demonstrate that the verification can be achieved independently from the blindness. We also show that a constant round protocol with a single prover and a completely classical verifier is not possible, unless bounded error quantum polynomial time (BQP) is contained in the third level of the polynomial hierarchy.
- リンク情報
- ID情報
-
- DOI : 10.1103/PhysRevLett.120.040501
- ISSN : 1079-7114
- ISSN : 0031-9007
- SCOPUS ID : 85041024925
- Web of Science ID : WOS:000423319200001