[論文レビュー] Necessary and sufficient condition for quantum-generated correlations

Lluís Masanes|ArXiv.org|Sep 18, 2003

Quantum Mechanics and Applications被引用数 44

ひとこと要約

本稿では、2人の参加者に対してそれぞれ2つの二値測定を行う双対的状況における量子相関の完全で解析的な特徴付けを提示する。相関ベクトルの実現可能な集合を正確に定義する逆正弦関数を含む非線形不等式を導入する。主な結果は、Cirel'sonの上限を強化し、量子非局所性の背後にある深い幾何的構造を明らかにする必要十分条件である。

ABSTRACT

We present a non-linear inequality that completely characterizes the set of correlation functions obtained from bipartite quantum systems, for the case in which measurements on each subsystem can be chosen between two arbitrary dichotomic observables. This necessary and sufficient condition is the maximal strengthening of Cirel'son's bound.

研究の動機と目的

• 2人の参加者に対してそれぞれ2つの二値測定が与えられる状況における、実現可能な相関関数の集合の完全で解析的な特徴付けを提供すること。
• 古典的相関および超量子相関とを区別するための必要十分条件を特定すること。
• Cirel'sonの上限を一般化・精緻化し、量子境界を完全に捉える非線形不等式を導出すること。
• 非線形変換を用いて量子相関の幾何的および代数的構造を明らかにすることにより、量子集合を凸多面体に写像すること。
• 古典的局所相関と仮想の超量子相関とを区別するためのフレームワークを確立すること。

提案手法

• 相関関数の逆正弦を含む8つの非線形不等式の集合を導出し、それらが量子相関集合を完全に特徴付けること。
• 量子相関集合 Q を凸多面体 C に写像する非線形変換 μ(xi) = (2/π) arcsin(xi) を導入し、これは古典的局所多面体に類似した構造を持つ。
• 関係する不等式の数を減らし、解析を簡略化するために s-順序付け（x1 ≥ x2 ≥ x3 ≥ |x4|）を用いる。
• 角度 νi を用いた量子相関のパラメータ化を行い、これらの角度上で特定関数の最大値が量子境界に対応することを示す。
• 対称性と凸性の議論を用いて、特定の生成子集合 G の凸包が量子集合 Q に等しいことを証明する。
• 特に CHSH状況と n 人用の GHZ 状態への一般化に注目し、既知の量子状態およびベル不等式の結果を活用する。

実験結果

リサーチクエスチョン

• RQ1 2人の参加者に対してそれぞれ2つの二値測定が与えられる状況における、量子相関関数の集合の完全な解析的境界は何か？
• RQ2 量子相関集合は、古典的局所多面体および Cirel'son の上限とどのように関係しているか？
• RQ3 非線形変換が量子相関集合を凸多面体に写像できるか？ もし可能であれば、その構造は何か？
• RQ4 対称性と s-順序付けは、量子相関の特徴付けを簡略化するために果たす役割は何か？
• RQ5 n 人用の量子相関集合も同様に、多面体に写像する変換を用いて特徴付けられるか？

主な発見

• 量子相関集合は、arcsin(xi) を含む8つの非線形不等式によって完全に特徴付けられ、それらは必要十分条件を形成する。
• CHSH不等式の最大量子違反は、∑ arcsin(xi) = π のとき達成され、これは Tsirelson の上限 2√2 に一致する。
• 変換 μ(xi) = (2/π) arcsin(xi) により、量子相関集合 Q は双方向写像で古典的局所多面体 C に写像され、量子集合と古典集合の間に双対性が明らかになる。
• 量子集合 Q は、角度 νi でパラメータ化された特定の生成子集合 G の凸包に等しい。境界に達するのは、arcsin 項の和が π に達するときである。
• n > 2 の場合、変換 μ は Qn を Cn に写像しない。なぜなら、量子相関は古典的相関が持てない矛盾（例：GHZ 型）を示すことがあるため、μ(Qn) は Cn に等しくない。
• この結果により、特定の状態や測定モデルを仮定せずに、実験的に量子相関をテストするモデルに依存しない基準が得られる。