1. 1

Yuki Takeuchi, Akihiro Mizutani (Mar 22 2024).

Abstract: Verification of quantum computation is a task to efficiently check whether an output given from a quantum computer is correct. Existing verification protocols conducted between a quantum computer to be verified and a verifier necessitate quantum communication to unconditionally detect any malicious behavior of the quantum computer solving any promise problem in ${\sf BQP}$. In this paper, we remove the necessity of the communication of qubits by proposing a “physically-classical” verification protocol in which the verifier just sends coherent light to the quantum computer.

Arxiv: https://arxiv.org/abs/2403.14142

  1.