[論文レビュー] Operator systems from discrete groups

Douglas Farenick, Ali S. Kavruk+2 more|arXiv (Cornell University)|Sep 6, 2012

Advanced Operator Algebra Research参考文献 20被引用数 4

ひとこと要約

本稿は、特に自由群 𝔽ₙ と ℤ₂ の自由積から導かれる作用素系のフレームワークを提示する。この作用素系のテンソル積と量子相関の間の関係を確立し、n,m ≥ 2 に対して NC(n)⊗_c NC(m) ≠ NC(n)⊗_max NC(m) を証明することで、ツァイレルソンの問題に対する新しい作用素系的解釈を提供し、量子情報理論における重要な問いを解決する。

ABSTRACT

We formulate a general framework for the study of operator systems arising from discrete groups. We study in detail the operator system of the free group on $n$ generators, as well as the operator systems of the free products of finitely many copies of the two-element group $\mathbb Z_2$. We examine various tensor products of group operator systems, including the minimal, the maximal, and the commuting tensor products. We introduce a new tensor product in the category of operator systems and formulate necessary and sufficient conditions for its equality to the commuting tensor product in the case of group operator systems. We express various sets of quantum correlations studied in the theoretical physics literature in terms of different tensor products of operator systems of discrete groups. We thus recover earlier results of Tsirelson and formulate a new approach for the study of quantum correlation boxes.

研究の動機と目的

• 離散群から生じる作用素系を研究する一般的なフレームワークを構築すること、特に自由群や ℤ₂ の自由積に焦点を当てる。
• 群作用素系の文脈において、最小、最大、可換、および新たな本質的テンソル積の間の相互作用を分析すること。
• 群作用素系のテンソル積と量子相関ボックス、ベル不等式との関連を結びつけること。
• ツァイレルソンの量子相関に関する結果と、特定のテンソル積における量子相関の非閉包性を、作用素系理論的解釈で与えること。
• 特に NC(2)⊗NC(2) における可換テンソル積と最大テンソル積の違いを解消する、量子情報理論における未解決の問いを解決すること。

提案手法

• 群 C*-代数 C*(G) 内の生成子 u ∈ 𝒰 に対して、{1, u, u*} の線形包として作用素系 S(𝒰) を定義する。
• n 個の生成子を持つ自由群 𝔽ₙ に関連する作用素系 Sₙ と、n 回の ℤ₂ の自由積 ℤ₂ * ⋯ * ℤ₂ から生じる NC(n) を研究する。
• 新たなテンソル積 ⊗_ess を導入し、群作用素系の文脈において、それが可換テンソル積と等しくなるための必要十分条件を導出する。
• C(2) と作用素系 V の双対性を用いて、テンソル積を量子相関と局所相関の集合と関連付ける。
• NC(2)⊗_min NC(2) 上の状態をヒルベルト空間上の密度作用素を用いて表現し、すべての量子相関がこうした状態から生じることを示す。
• ツァイレルソンの結果を応用して、n,m ≥ 2 に対して NC(n)⊗_c NC(m) ≠ NC(n)⊗_max NC(m) を証明し、最大テンソル積における量子相関の非閉包性を用いる。

実験結果

リサーチクエスチョン

• RQ1 離散群から導かれる作用素系の最小、可換、最大テンソル積の間の関係は何か？
• RQ2 特に NC(n) における群作用素系のテンソル積は、量子情報理論における量子相関ボックスとどのように関係するか？
• RQ3 群作用素系の文脈で、2×2 行列の拡大において、可換テンソル積と最大テンソル積の違いを検出できるか？
• RQ4 群作用素系の文脈において、新たな本質的テンソル積 ⊗_ess は、可換テンソル積との等価性を特徴付ける上で果たす役割は何か？
• RQ5 min と max の間の中間的テンソル積が、NC(2)⊗NC(2) に適用された際に、新たな種類の量子相関を生成するか？

主な発見

• n 回の ℤ₂ の自由積 ℤ₂ * ⋯ * ℤ₂ から生じる作用素系 NC(n) は、ツァイレルソンが研究した非可換 n 立方体と同型である。
• すべての n,m ≥ 2 に対して、NC(n)⊗_c NC(m) ≠ NC(n)⊗_max NC(m) が成り立ち、可換テンソル積と最大テンソル積の間の厳密な分離が示された。
• 量子相関の集合 Q は、NC(2)⊗_min NC(2) の 4×4 行列レベルへの制限された正の部分集合に一致する、すなわち Q = (NC(2)⊗_min NC(2))_+ ∩ BS₄ である。
• 局所相関の集合 L は C(2)⊗_min C(2) 上の状態の集合に等しく、これは Q に真に含まれるため、Q ≠ L であることが確認された。
• Sₙ⊗_max Sₘ の C*-包絡は C*(𝔽ₙ)⊗_max C*(𝔽ₘ) に等しくないことが示され、C*-包絡が最大テンソル積と可換でないことがわかった。
• NC(2)⊗_min NC(2) = NC(2)⊗_c NC(2) は成り立つが、最大テンソル積への拡張は成立せず、c と max の間の中間的テンソル積が、新たな種類の量子相関を生成することが示唆された。