| 研究課題/領域番号 |
17K12637
|
|---|
| 研究機関 | 京都大学 |
|---|
研究代表者 |
森前 智行 京都大学, 基礎物理学研究所, 講師 (50708302)
|
|---|
| 研究期間 (年度) |
2017-04-01 – 2021-03-31
|
| キーワード | 量子計算 |
|---|
| 研究実績の概要 |
量子対話型証明とハミルトニアンに基づく検証つきセキュアクラウド量子計算について、研究を行った。
特に、局所ハミルトニアンに基づく量子計算の検証プロトコルについて、2量子ビット測定のみで実現できるポストフォックプロトコルををさらに改良し、Trustec centerのもとで、完全に古典の検証者が検証できるプロトコルを構築した。これはさらに改良することにより、ゼロ知識証明も達成できる。このプロトコルは、もともとのポストフォックプロトコルにおいて、インスタンスに依存しない状態でも最初の検証者のチャレンジを構成できるという新しい結果に基づいており、そのおかげで、まずはエンタングルメントペアーを用いてテレポーテーションする方法が使えるようになる。そのエンタングルメントペアーの共有は、ますは片割れを測定してからもう片割れを送るというバーチャルプロトコルに変えることができ、さらにその分配はTrusted centerができる。
Trusted centerが検証者に送る古典情報を一部のみにすることにより、ゼロ知識証明も達成できる。これについては、Griloらによる最近の、Local simulatabilityのテクニックを使う。これは、誤り訂正符号でエンコードしたHistory stateの局所密度行列は古典多項式時間で構成できる、というものである。ウィットネスを誤り訂正符号でエンコードし、エンコードされた物理的回路に対するHistoru stateを構成する。Non-Clifford gateについてはマジック状態注入を利用する。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
1: 当初の計画以上に進展している
理由
当初の予定では検証プロトコルを構成するという目的であったが、それに加えて、ゼロ知識証明もできた。これは、最近でたBroadbent-Griloの結果のおかげである。
|
| 今後の研究の推進方策 |
今後はさらに、検証者の送る量子状態の個数の削減を目指す。これについてはつい最近でたZhangによる論文による、Qfactoryとランダムオラクルのアイデアが使えると期待できる。この方法では、まず検証者がGadget状態をセキュリティパラメタの多項式程度の個数だけ証明者に送り、あとは証明者が自分で計算量的安全性のもとで、Gadgetの個数を増幅させるというものである。ここでGadgetの代わりにRandomly-rotated single-qubit stateが直接つかえないかどうか検討する。
|
| 次年度使用額が生じた理由 |
予定していた出張と招聘が延期になった。次年度に予定通り使用する予定である。
|
