[論文レビュー] Non-closure of the set of quantum correlations via graphs

Ken Dykema, Vern I. Paulsen+1 more|arXiv (Cornell University)|Sep 15, 2017

Quantum Mechanics and Applications参考文献 14被引用数 10

ひとこと要約

本稿は、C*-代数における相関関数を分析するための新規なグラフ理論的枠組みを用いて、5入力2出力の双粒子系における量子相関の集合が閉じていないことを証明している。主な結果は、特定の符号付き非局所ゲームの量子値が達成されないことを示しており、$ C_q(5,2) \neq C_{qa}(5,2) $ であることを示しており、低次元入出力における量子相関集合の閉包に関する長年の未解決問題を解決している。

ABSTRACT

We prove that the set of quantum correlations for a bipartite system of 5 inputs and 2 outputs is not closed. Our proof relies on computing the correlation functions of a graph, which is a concept that we introduce.

研究の動機と目的

• 小規模な $ n $ および $ k $ における量子相関集合 $ C_q(n,k) $ の閉包性を調査すること、特に $ n=5, k=2 $ の場合を対象とすること。
• 自由積C*-代数上のトレース状態を介して、グラフ理論と量子相関関数の間に接続を確立すること。
• 量子相関集合 $ C_q(5,2) $ が閉じていないことを示し、$ C_q(5,2) \neq C_{qa}(5,2) $ を示すこと。
• 5入力2出力の特定の符号付き非局所ゲームの同期量子値が、無理数の最適パラメータを用いることで達成されないことを示すこと。
• グラフ相関関数 $ f_{qc}(t) $ を導入・分析し、分数彩色数や射影的ランクといった既知のグラフパラメータと関連付けること。

提案手法

• C*-代数における各頂点射影へのトレース $ t $ を固定したもとで、辺上の全トレース相関の下限としてグラフ相関関数 $ f_{qc}(t) $ を定義する。
• GNS表現を用いて、トレース状態をヒルベルト空間表現（単位ベクトルおよび射影を伴う）に結びつける。
• 有限次元または可換トレース状態に制限することで、$ f_q(t) $ および $ f_{loc}(t) $ を定義し、それらを射影的ランクおよび分数彩色数と関連付ける。
• 同じ入力での出力一致に対して報酬を、不一致に対してペナルティを課す符号付き非局所ゲームを構築し、パrameter $ t \in (0,1) $ でパrameter化する。
• $ \lambda = \sum_x \tau(E_{x,0}) $ を変数としてゲームの期待値を関数として分析し、$ \lambda^* = \frac{A+B}{2B} $ で最大値に達することを示す。
• ここで $ \lambda^* $ が無理数である場合、有限次元射影では最大値が達成されないことを証明し、量子値の非達成性を示す。

実験結果

リサーチクエスチョン

• RQ1 量子相関集合 $ C_q(5,2) $ は閉じており、$ C_{qa}(5,2) $ と等しいか？
• RQ2 低次元入出力において、グラフ理論的枠組みを用いて量子相関集合の非閉包性を示すことができるか？
• RQ3 5入力2出力の符号付き非局所ゲームの同期量子値は、特定のパrameter値において達成されないことがあるか？
• RQ4 グラフ相関関数 $ f_{qc}(t) $ と分数彩色数や射影的ランクといった既知のグラフパラメータとの関係は何か？
• RQ5 量子相関関数の上界が、いかなる有限次元表現でも達成されない条件は何か？

主な発見

• 量子相関集合 $ C_q(5,2) $ は閉じていない。これは $ C_q(5,2) \neq C_{qa}(5,2) $ を示唆する。
• 5入力2出力の符号付きゲームの同期量子値は、最適パラメータ $ \lambda^* $ が無理数である場合、達成されない。
• $ n=5 $ の場合、特定の $ t $ に対して、ゲームの期待値を最大化する最適 $ \lambda^* $ は無理数であり、したがって有限次元射影では実現不可能である。
• グラフ相関関数 $ f_{qc}(t) $ はグラフのトレースランクに関連し、$ f_{qc}(t) = 0 $ となるのは $ t \leq 1/\text{tracial rank}(G) $ のときに限る。
• ゲームの期待値を最大化する唯一の値は $ \lambda^* = 1 - \frac{n}{2} + \frac{n-2}{2t} $ であるが、$ t $ が無理数のとき $ \lambda^* $ も無理数である。
• 有限次元C*-代数における射影へのトレースは有理数値しか取り得ないため、無理数の $ \lambda^* $ は実現不可能であり、量子値の非達成性が証明される。