2018 Fiscal Year Research-status Report
量子対話型証明とハミルトニアンに基づく検証つきセキュアクラウド量子計算
| Project/Area Number |
17K12637
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
森前 智行 京都大学, 基礎物理学研究所, 講師 (50708302)
|
|---|
| Project Period (FY) |
2017-04-01 – 2020-03-31
|
| Keywords | 量子計算 |
|---|
| Outline of Annual Research Achievements |
量子対話型証明とハミルトニアンに基づく検証つきセキュアクラウド量子計算について研究を行った。特に、セキュアクラウド量子計算について、完全古典の検証者では１ラウンドのプロトコルの場合、BQPがNPに入らない限り不可能であることが証明できた。今後は、ラウンド数を増やすことと、証明者からのメッセージが多項式長であるような場合に拡張することを検討する予定である。また、フーリエ階層の第二レベルという量子計算における重要なクラスについて、その量子スプレマシーと古典検証可能性についても証明することができた。第3レベル以降についても古典検証可能であるかどうかについて検討したい。さらに、証明者が利益を最大化するようなRationalな状況における量子計算の検証も考え、古典検証者でも検証可能なプロトコルを提案した。
|
| Current Status of Research Progress |
Current Status of Research Progress
1: Research has progressed more than it was originally planned.
Reason
当初の計画とその発展についてすでに数本の論文を出版することができたため。
|
| Strategy for Future Research Activity |
今後の推進方法としては、最近米国中心に出ている新しい結果である、LWE暗号を利用した、計算量的安全性に基づくプロトコルの開発について推進したいと考えている。
|
| Causes of Carryover |
予定していた物品、旅費、招聘旅費について変更が生じたため。
|
