Whether quantum computing can be verified with classical computer is one of the most important research subjects in recent quantum information. There have been proposed several protocols, but all protocols require verifications during the computation process itself. The group proposes a new protocol that enables the verification of quantum computing in a post hoc way: the correctness of quantum computing can be checked at any later time.
Research Area “Information and Future”
Research Theme “Secure cloud quantum computing with classical verifier”
Joseph F. Fitzsimons, Michal Hajdusek, and Tomoyuki Morimae. “Post hoc verification of quantum computation”. Physical Review Letters, published online January 22, 2018, doi: 10.1103/PhysRevLett.120.040501.
Tomoyuki Morimae, Yukawa Institute for Theoretical Physics, Kyoto University
ICT Group, Department of Innovation Research, JST