研究課題
本研究では、将来の量子計算機の有効な利用のために、様々な状況下での量子計算の能力の解析や利用方法に関して、今年度は主に以下の研究を行った。1.量子文字列封印における情報流出の上下界に関する研究量子封印とは、乱数と量子ビットを用いてメッセージを符号化することにより、第三者がそのメッセージを復号すると量子状態が壊れ、メッセージが読まれたことが確認できるというものである。量子文字列封印に関して、今まで盗聴者が盗聴できる情報量と検出率の関係については知られていなかった。そこで、盗聴される情報量の上界が自明な下界に一致するプロトコルを提案し、盗聴者が盗聴できる情報量と検出率のトレードオフの関係を明らかにした。2.量子回路を二分決定グラフ構造から合成する手法に関する研究ブール関数を計算する量子回路の組織的な設計手法として、二分決定グラフで量子回路の動作を記述するDecision Diagram for a Matrix Function (DDMF)というデータ構造を利用する手法を提案した。提案手法は、既存の手法が入力数に関して指数的な精度のゲートを必要とするのに比べ、3種類のゲートしか用いないという点でより実用的である。3.多準位系の量子ゲートによる量子回路設計のためのユニタリ行列近似に関する研究多準位系の量子ゲートによる量子回路設計のために、与えられた任意のn次元のユニタリ行列を決められたいくつかのn次元のユニタリ行列(基本ゲートに相当)の積で近似する手法を提案した。提案手法は、既存の手法に比べて、合成される回路の規模はほぼ同じままで、アルゴリズムの前段階で要する処理時間を大幅に短縮可能である。4.Pure Dephasingを考慮した量子オラクル計算モデルに関する研究量子オラクルがPure Dephasingと呼ばれるエラーを起こしたときに、複数のそのようなオラクルを用いてエラーの影響を低減する手法を考案した。これらの研究成果を踏まえて、今後更なる研究を進め、量子計算の様々なモデルでの計算能力や利用方法を明らかにすることを目指す。
すべて 2007 2006
すべて 雑誌論文 (15件)
Proc. of the 24th International Symposium on Theore tical Aspects of Computer Science STACS 2007
ページ: 610-611
IEICE transactions on Information and Systems Vol. E90-D, No.2
ページ: 395-402
Theoretical Computer Science (掲載予定)
IEICE Technical Report COMP2006-14
ページ: 33-38
電子情報通信学会量子情報技術研究会 QIT2006-28
ページ: 133-134
電子情報通信学会量子情報技術研究会 QIT2006-41
ページ: 180-183
Proc. of the 2006 IEEE International Symposium on Information Theory ISIT2006
ページ: 446-450
New J. Phys. 8
ページ: 129
Proc. of 12th Annual International Computing and Combinatorics Conference COCOON2006
ページ: 116-125
Proc. of Asian Conference on Quantum Information Science 2006 AQIS2006
ページ: 147-148
2006 International Symposium on Information Theory and its Applications ISITA2006(CD-ROM)
電子情報通信学会量子情報技術研究会 QIT2006-92
ページ: 209-212
電子情報通信学会量子情報技術研究会 QIT2006-97
ページ: 229-232
電子情報通信学会量子情報技術研究会 QIT2006-98
ページ: 233-236
IEICE Technical Report VLD2006-58
ページ: 41-46