{"id":1107,"date":"2017-06-08T12:16:25","date_gmt":"2017-06-08T10:16:25","guid":{"rendered":"https:\/\/webs.uab.cat\/giq\/seminar\/verification-of-measurement-based-quantum-computation\/"},"modified":"2017-06-08T12:16:25","modified_gmt":"2017-06-08T10:16:25","slug":"verification-of-measurement-based-quantum-computation","status":"publish","type":"seminar","link":"https:\/\/webs.uab.cat\/giq\/seminar\/verification-of-measurement-based-quantum-computation\/","title":{"rendered":"Verification of Measurement-Based Quantum Computation"},"content":{"rendered":"<p type=\"cite\">Quantum computation offers a novel way of processing information and promises solution&nbsp;of some classically intractable problems. However, if the component of the quantum computor has&nbsp;some errors, it does not output a correct computation outcome. Since the quantum computor is composed&nbsp;of several components, the unexpected correlation causes unexpected error that cannot be corrected&nbsp;by error correction.&nbsp;To resolve this problem, we need to verify the quantum computor. If a problem is&nbsp;in NP, we can verify the correctness of a solution, but a problem that we want to solve with a quantum&nbsp;computer is not&nbsp;necessarily in NP. We need to verify quantum computer. Usually a quantum computer is&nbsp;composed of a combination of so many quantum circuits. It is not easy to predict the outcome of the&nbsp;combination of so many quantum circuits. That is, since we do not know the computation outcome,&nbsp;we cannot verify the computation outcome by itself. To resolve this problem, we employ&nbsp;measurement-based quantum&nbsp;computation (MBQC). MBQC is composed of graph state and local measurements,&nbsp;which are known to us. In particular, the computation resorce is given as the quantum correlation of&nbsp;the graph state, which is&nbsp;in a known form. Hence, we can verify these components by using the method&nbsp;of statistical hypothesis testing. In this talk, we consider the following three settings.<\/p>\n<p>(1) We perfectly trust measurement. So, we need to verify only the graph state.<br \/>\n(2) We trust measurement, but it is noisy. The noise can be converted to noise of graph state.&nbsp;So, we need to verify only the noisy graph state. This protocol works with noisy graph state.<br \/>\n(3) We do not trust measurement as well as graph state. However, it accept only the case when&nbsp;the measurement and the graph state are noiseless.<\/p>\n<p>Setting (3) has weakest assumption, but it works with ideal case. Setting (2) has stronger&nbsp;assumption, but it works with realistic case. This talk is based on joint works with &nbsp;T. Morimae,&nbsp;K. Fujii, M. Hajdusek, Y. Takeuchi. The detail is available in arXiv:1701.05688, &nbsp;arXiv:1610.05216,&nbsp;arXiv:1603.02195, Phys. Rev. Lett. 115, 220502 (2015).<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Quantum computation offers a novel way of processing information and promises solution&nbsp;of some classically intractable problems. However, if the component of the quantum computor has&nbsp;some errors, it does not output a correct computation outcome. Since the quantum computor is composed&nbsp;of several components, the unexpected correlation causes unexpected error that cannot be corrected&nbsp;by error correction.&nbsp;To resolve [&hellip;]<\/p>\n","protected":false},"author":20,"featured_media":0,"template":"","class_list":["post-1107","seminar","type-seminar","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/webs.uab.cat\/giq\/wp-json\/wp\/v2\/seminar\/1107","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/webs.uab.cat\/giq\/wp-json\/wp\/v2\/seminar"}],"about":[{"href":"https:\/\/webs.uab.cat\/giq\/wp-json\/wp\/v2\/types\/seminar"}],"author":[{"embeddable":true,"href":"https:\/\/webs.uab.cat\/giq\/wp-json\/wp\/v2\/users\/20"}],"wp:attachment":[{"href":"https:\/\/webs.uab.cat\/giq\/wp-json\/wp\/v2\/media?parent=1107"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}