secure cloud quantum computing based on local Hamiltonian

• Project/Area Number: 17K12637
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Multi-year Fund
• Research Field: Theory of informatics
• Research Institution: Kyoto University
• Principal Investigator: Tomoyuki Morimae 京都大学, 基礎物理学研究所, 准教授 (50708302)
• Project Period (FY): 2017-04-01 – 2021-03-31
• Project Status: Completed (Fiscal Year 2020)
• Budget Amount: ¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000); Fiscal Year 2019: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000); Fiscal Year 2018: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000); Fiscal Year 2017: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
• Keywords: 量子暗号 / 量子計算

Outline of Final Research Achievements

We constructed non-interactive proof for QMA and non-interactive zero-knowledge proof (with information theoretical zero-knolwdge) based on the local Hamiltonian technique and the recent construction of zero-knolwedge for QMA by Broadbent and Grilo.

Academic Significance and Societal Importance of the Research Achievements

量子計算が将来普及した際に、クラウド量子計算が正しい計算を行っているかどうかを簡単に確認することができる。また、悪意のある利用者がクラウドの秘密を盗み見ようとする場合でも、それを防ぐような暗号プロトコルが実現できる。これらの安全性は量子の性質を使うことにより、情報理論的安全なものになっており、非常に強力な安全性が達成されている。

Research Products

• [Journal Article] Rational proofs for quantum computing (2020)
  • Author(s): Tomoyuki Morimae, Harumichi Nishimura
  • Journal Title: Quantum Information and Computation Volume: 20 Pages: 0189-0189
  • Peer Reviewed
• [Journal Article] Fine-grained quantum supremacy (2019)
  • Author(s): Tomoyuki Morimae, Suguru Tamaki
  • Journal Title: Quantum Information and Computation Volume: 19 Pages: 1089-1089
  • Peer Reviewed
• [Journal Article] Resource-efficient verification of quantum computing using Serfling’s bound (2019)
  • Author(s): Takeuchi Yuki、Mantri Atul、Morimae Tomoyuki、Mizutani Akihiro、Fitzsimons Joseph F.
  • Journal Title: npj Quantum Information Volume: 5 Issue: 1 Pages: 27-27
  • DOI: 10.1038/s41534-019-0142-2
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Journal Article] Merlin-Arthur with efficient quantum Merlin and quantum supremacy for the second level of the Fourier hierarchy (2018)
  • Author(s): Morimae Tomoyuki、Takeuchi Yuki、Nishimura Harumichi
  • Journal Title: Quantum Volume: 2 Pages: 106-106
  • DOI: 10.22331/q-2018-11-15-106
  • Peer Reviewed / Open Access
• [Journal Article] Verification of Many-Qubit States (2018)
  • Author(s): Takeuchi, Morimae
  • Journal Title: PRX Volume: 8 Issue: 2 Pages: 02160-02160
  • DOI: 10.1103/physrevx.8.021060
  • NAID: 120006491969
  • Peer Reviewed / Open Access
• [Journal Article] Post hoc verification of quantum computing (2018)
  • Author(s): Fitzsimons, Hajdusek, and Morimae
  • Journal Title: Physical Review Letters Volume: 120 Issue: 4 Pages: 040501-040501
  • DOI: 10.1103/physrevlett.120.040501
  • NAID: 130008153541
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Hardness of classically sampling one clean qubit model with constant total variation distance error (2017)
  • Author(s): Morimae
  • Journal Title: Physical Review A Volume: 96 Issue: 4 Pages: 040302-040302
  • DOI: 10.1103/physreva.96.040302
  • Peer Reviewed / Int'l Joint Research