Quantum-Classical Correlation Games and New Analyses of Discrete-Continuous Optimization and Computational Complexity

量子经典相关博弈以及离散连续优化和计算复杂性的新分析

• 批准号: 20300002
• 负责人: IMAI Hiroshi
• 金额: $ 12.15万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2008
• 资助国家: 日本
• 起止时间: 2008 至 2010
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20300002/
• 关键词: 量子コンピュータ; 量子計算; アルゴリズム; 量子情報; 離散数学; 量子エレクトロニクス; 計算機システム

Quantum Computing overcomes the barriers of current classical computers through computational power via quantum effects. This research focuses on quantum correlation as such effects. We analyze quantum correlation in a unified way as follows : (1) revealing discrete aspects of quantum correlation by the theory of cut polytopes in combinatorial optimization, (2) investigating maximum quantum violations by continuous optimization, and (3) analyzing quantum correlation by multi-prover interactive proof in computational complexity theory. Furthermore, problems in new quantum computational models and quantum information are explored through discrete and continuous geometric structures.

量子计算通过量子效应克服了当前经典计算机的障碍。这项研究的重点是量子相关性。我们以统一的方式分析量子相关性，如下所示：（1）通过在组合优化中切割多型的理论揭示量子相关性的离散方面，（2）通过连续优化研究最大量子违规，（3）通过计算复杂性中的多人交互证明量子相关性。此外，通过离散和连续的几何结构探索了新的量子计算模型和量子信息中的问题。

项目成果

Analyzing Geometric Realizability Problems by Semidefinite Programming.

通过半定规划分析几何可实现性问题。

• 发表时间: 2008
• 期刊: Proceedings of the Kyoto RIMS Workshop on Computational Geometry and Discrete Mathematics
• 作者: H.Miyata;S.Moriyama;H.Imai
• 通讯作者: H.Imai

Solvability of Sliding Atoms Puzzle on a Lattice

格子上滑动原子难题的可解性

• 发表时间: 2008
• 期刊: Proceedings of the 8th Asian Conference on Quantum Information Science Vol.1
• 作者: A.Inoko;N.Kakiuchi;M.Yoshimitsu;S.Q.Cai;M.Mikage;N. Fu and H. Imai
• 通讯作者: N. Fu and H. Imai

Large scale matroid enumeration and analysis of orientation

大规模拟阵枚举与方向分析

• 发表时间: 2008
• 期刊: Proceedings of the Kyoto RIMS Workshop on Computational Geometry and Discrete Mathematics Vol.1
• 作者: Y. Matsumoto;S. Moriayma;H. Imai and D. Bremner
• 通讯作者: H. Imai and D. Bremner

Feynmannの2つの提唱からグラフと計算量への展開

费曼对图和计算复杂性的两个建议的发展

• 发表时间: 2010
• 作者: M. MIKAGE;H. HONG;X. Q. CAI;鈴木哲司・太田岳史・泉泰弘・Luke Kanyomeka・Osmund Mwandemele・山根浩二・飯嶋盛雄;今井浩
• 通讯作者: 今井浩

幾何から量子そしてその先

从几何到量子及其他

• 发表时间: 2011
• 作者: Sigunga D.O.;Hoshino M.;Onyango J.C.;Asanuma S. and Kimura M.;今井浩
• 通讯作者: 今井浩