| 研究課題/領域番号 |
23240001
|
|---|
| 研究種目 |
基盤研究(A)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 東京大学 |
|---|
研究代表者 |
今井 浩 東京大学, 情報理工学(系)研究科, 教授 (80183010)
|
|---|
| 研究分担者 |
山下 茂 立命館大学, 情報理工学部, 教授 (30362833)
松本 啓史 国立情報学研究所, 情報学プリンシプル研究系, 准教授 (60272390)
|
|---|
| 連携研究者 |
村尾 美緒 東京大学, 大学院理学系研究科, 教授 (30322671)
ルガル フランソワ 東京大学, 大学院情報理工学系研究科, 特任准教授 (50584299)
河村 彰星 東京大学, 総合文化研究所, 講師 (20600117)
|
|---|
| 研究期間 (年度) |
2011-04-01 – 2015-03-31
|
| キーワード | 量子計算理論 / 量子グラフ理論 / 量子コンピュータ / 計算量理論 / グラフマイナー理論 |
|---|
| 研究成果の概要 |
量子計算能力の限界解明を目指して、研究分担者・連携研究者らにより多角的に研究を進め、次のような成果をあげた。
(1) 測定ベース量子計算等の量子計算モデルの離散・物理構造に着目し、量子回路最適化や状態変換可能性・測定の汎用実装法・周期グラフ状態の万能計算性について成果を得た。(2) グラフの点マイナー理論を適用して、量子情報の観点からイジング分配関数の効率的計算法を考察し、量子グラフ彩色について量子非局所性での計算量理論での還元性を導入した解析法を提案した。(3) 量子多証明者対話証明について、量子AMゲームに関する統一的成果を得た。(4) 古典回路設計理論で重要なBDDを量子計算と結びつけた。
|
| 自由記述の分野 |
量子情報科学
|
