| 研究課題/領域番号 |
24240001
|
|---|
| 研究種目 |
基盤研究(A)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 埼玉大学 |
|---|
研究代表者 |
小柴 健史 埼玉大学, 理工学研究科, 教授 (60400800)
|
|---|
| 研究分担者 |
河内 亮周 徳島大学, ソシオテクノサイエンス研究部, 講師 (00397035)
田中 圭介 東京工業大学, 情報理工学(系)研究科, 准教授 (20334518)
安永 憲司 金沢大学, 電子情報学系, 助教 (50510004)
ルガル フランソワ 東京大学, 情報理工学(系)研究科, 准教授 (50584299)
松本 啓史 国立情報学研究所, 情報学プリンシプル研究系, 准教授 (60272390)
小林 弘忠 国立情報学研究所, 情報学プリンシプル研究系, 研究員 (60413936)
西村 治道 名古屋大学, 情報科学研究科, 准教授 (70433323)
|
|---|
| 研究期間 (年度) |
2012-04-01 – 2016-03-31
|
| 研究課題ステータス |
完了 (2016年度)
|
| 配分額 *注記 |
36,010千円 (直接経費: 27,700千円、間接経費: 8,310千円)
2015年度: 8,970千円 (直接経費: 6,900千円、間接経費: 2,070千円)
2014年度: 8,580千円 (直接経費: 6,600千円、間接経費: 1,980千円)
2013年度: 8,450千円 (直接経費: 6,500千円、間接経費: 1,950千円)
2012年度: 10,010千円 (直接経費: 7,700千円、間接経費: 2,310千円)
|
|---|
| キーワード | 量子プロトコル / 暗号理論 / 量子アルゴリズム / ゲーム理論 / 量子計算量理論 / 量子計算 / 計算量理論 / 量子暗号 / 量子対話証明 / 秘匿情報検索 / 通信複雑度 / 質問計算料 / 対話証明 / 通信計算量 / 量子情報 / プロトコル / エンタングルメント |
|---|
| 研究成果の概要 |
量子対話型証明の一般化モデルを提案し完全問題の存在やBabaiの崩壊定理の量子版などの計算量的構造を明らかにした。半環上の行列積およびグラフ上の三角形発見問題に対して高速量子アルゴリズムを構築し解析方法を発展させ量子分散プロトコルを構築した。観測系と計算系が分離可能な補助キュービット駆動型モデルでも量子ブラインド計算が実現することを示した。計算量クラスBQPの古典計算量クラスAWPPに対し事後選択の概念を利用した量子計算量クラスによる特徴付けを与えた。AWPPがBQPの最良上界である自然な理由を与えAWPPの研究への量子計算量理論的アプローチの可能性を切り拓いた。
|
