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.
Program Information
JST ACT-I
Research Area “Information and Future”
Research Theme “Secure cloud quantum computing with classical verifier”
Journal Information
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.
Contact
[About Research]
Tomoyuki Morimae, Yukawa Institute for Theoretical Physics, Kyoto University
E-mail: 
[About Program]
Kouji Matsuo
ICT Group, Department of Innovation Research, JST
E-mail: 