| Project/Area Number |
17300001
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
IMAI Hiroshi The University of Tokyo, Graduate School of Information Science and Technology, Professor (80183010)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
MORIYAMA Sonoko The University of Tokyo, Graduate School of Information Science and Tchnology, Research Associate (20361537)
|
|---|
| Project Period (FY) |
2005 – 2007
|
| Project Status |
Completed (Fiscal Year 2007)
|
| Budget Amount *help |
¥16,460,000 (Direct Cost: ¥15,200,000、Indirect Cost: ¥1,260,000)
Fiscal Year 2007: ¥5,460,000 (Direct Cost: ¥4,200,000、Indirect Cost: ¥1,260,000)
Fiscal Year 2006: ¥4,900,000 (Direct Cost: ¥4,900,000)
Fiscal Year 2005: ¥6,100,000 (Direct Cost: ¥6,100,000)
|
|---|
| Keywords | Quantum information theory / Bell inequality / Polyhedral combinatorics / Optimization / Semidefinite programming / Quantum entanglement / Quantum nonlocality / Quantum channel capacity / 量子情報 / 量子計算 / 量子組合せ論 / 離散幾何 / 非線形最適化 / 双線形計画 / 半定値計画 |
|---|
| Research Abstract |
This research project first investigates quantum nonlocality and maximum quantum violation of generalized Bell inequalities from the viewpoint of combinatorial optimization, including semidefinite programming. Also, quantum computational geometry is explored in the space of quantum states, which leads to a new algorithm to compute the quantum channel capacity. Some related optimization problems are also studied in view of algebraic-geometric structures.
Generalized Bell inequalities reveal quantum nonlocality from various standpoints. Those Bell inequalities are shown to correspond to facet inequalities of the cut polytope of a certain tripartite graph. We derive a unified method of generating such Bell inequalities by applying triangular eliminations to facets of the cut polytope of a complete graph. These Bell inequalities are compared theoretically and numerically with respect to its strength to reveal quantum nonlocality. The problem of finding the maximum violation of a generalized Bell inequality is first investigated from the point of view of optimization, and semidefinite programming is applied to derive bounds. Also, new interesting relation is shown between this problem and the 2-prover 1-round interactive proof in computational complexity.
Quantum computational geometry is demonstrated to have nice structure as in the classical information-theoretic case. The Voronoi diagram with respect to quantum divergence in the space of quantum information geometry is characterized via the von Neumann entropy and its Legendre transformation. Voronoi diagrams for pure quantum states are also investigated, and relations among these diagrams are shown. These structures are applied in computing the quantum channel capacity by applying the minimum enclosing sphere algorithm for quantum divergence. This algorithm can produce an almost optimum solution with some guaranteed bound.
|
