研究課題
基盤研究(B)
本研究では、量子非局所性解析のための組合せ論と量子非局所性の最大破れに関する研究を最適化のアプローチから進め、量子情報幾何空間での計算幾何を展開してこの空間での近接構造を解明し、量子通信路容量計算という最適化問題への適用を行った。また関連する最適化問題に関する代数幾何的研究も進めた。量子非局所性の解明を進め、古典力学系では表現できない量子的相関について精緻に解析し、量子情報の真の量子性を示すためのBell不等式の理論を組合せ的多面体論と対話証明の枠組みを適用することによって研究を進めた。具体的には、量子非局所性の基本をなすBell不等式の一般化したものがある特定の2部・3部グラフのカット多面体のファセット不等式に対応する点に着眼し、カット多面体の理論を拡張して、これらグラフの場合にファセット不等式を体系的に多数導出する三角消去法を提案した。これらの多数得られた一般化Bell不等式の間の量子非局所性に関する強弱関係を解明し、一般化Bell不等式の量子情報に関する意義を与えた。一般化Bell不等式の量子状態による最大破れを求める問題を最適化の観点から詳細に調べ、半定値計画を適用するアプローチを与えた。計算量理論における多証明者対話証明モデルの量子版との関係を見出し、量子非局所性と2証明者1ラウンドゲームの近似アルゴリズム解析との関係を明らかにした。量子計算幾何の研究では、量子情報空間における幾何的手法を最適化技法と融合させることを行った。量子情報幾何空間での計算幾何として量子ダイバージェンスおよび他の量子状熊間距離に関するVoronoi図の研究を進め、純粋状態の場合でのこれらの一致性を示した。さらに、量子情報Voronoi図の応用として量子通信路容量を計算する問題が、高次量子状態の場合でも理論的に量子ダイバージェンスに関する最小包含球の問題として近似的に解決できることを示した。
すべて 2008 2007 2006 2005
すべて 雑誌論文 (37件) (うち査読あり 19件) 学会発表 (30件)
Mathematical Programming Vol.112,No.2
ページ: 303-315
Mathematical Programming Vol.112, No.2
ページ: 303-325
電子情報通信学会誌 Vol.90,No.5
ページ: 340-344
Proceedings of the 4rd International Symposium on Voronoi Diagrams in Science and Engineering Vol.1
ページ: 265-269
Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science Vol.1
ページ: 217-224
Proceedings of the 5th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications Vol.1
ページ: 242-251
Proceedings of the 4rd International Symposium on Voronoi Diagrams in Science and Engineering (ISVD07), Wales, UK
Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007), Znojmo, Czech Republic
Proceedings of the 5th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications
Journal of Physics A: Mathematical and General Vol.39,No.36
ページ: 11283-11299
Proceedings of the International Symposium on Voronoi Diagrams 2006 Vol.1
ページ: 48-53
Proceedings of the 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science Vol.1
ページ: 145-150
ページ: 69-76
Physical Review A Vol.73,NO.042109
ページ: 9
Discrete Applied Mathematics Vol.154
ページ: 594-597
IEICE Ttransactions on Information and Systems Vol.E89-D,No.8
ページ: 2042-2404
Proceedings of the IFIP International Conference on Network and Parallel Computing (NPC 2006) Vol.1
ページ: 1-10
Proceedings of the International Symposium on Voronoi Diagrams (ISVD2006)
Proceedings of the 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006), 2006-10, Mikulov, Czech Republic
Journal of Physics A : Mathematical and General Vol.39, No.36
Physical Review A vol.73,no.042109
IEICE Ttransactions on Information and Systems Vol.E89-D, No.8
ページ: 2402-2404
IFIP International Conference on Network and Parallel Computing (NPC 2006), Tokyo, Japan
Journal of Physics A: Mathematical and General Vol.38
ページ: 10971-10987
Quantum Information and Computation Vol.5
ページ: 13-31
Theoretical Computer Science, Vol.334,Issues1-3
ページ: 275-297
Journal of the Operations Research Society of Japan Vol.48,No.3
ページ: 183-195
Proceedings of the 2nd International Symposiumon Voronoi Diagrams Vol.1
ページ: 293-299
Proceedings of the 4th Japanese-Hungarian Symposiumon Discrete Mathematics on Its Applications Vol.1
ページ: 243-249
Quantum versus Deterministic Counter Automata. Theoretical Computer Science Vol.334, Issues1-3
Journal of the Operations Research Society of Japan Vol.48, No.3
Proceedings of the 2nd International Symposium on Voronoi Diagrams, Seoul, Korea 2005-10-10/13
Journal of Physics A : Mathematical and General Vol.38
Proceedings of the 4th Japanese-Hungarian Symposium on Discrete Mathematics on Its Applications