[論文レビュー] Quantum Information Theory and Free Semialgebraic Geometry: One Wonderland Through Two Looking Glasses

Gemma De las Cuevas, Tim Netzer|arXiv (Cornell University)|Feb 8, 2021

Quantum Mechanics and Applications参考文献 49被引用数 4

ひとこと要約

この論文は、非可換正定性とテンソル積空間における凸性を、補完的な視点から両分野が研究するという点で、量子情報理論と自由半代数幾何学の深い関係を確立している。両分野が非可換正定性と凸性をどのように扱うかを明らかにすることで、量子相関、分離可能性、テンソルネットワークの正定性といった量子情報分野の知見が、自由半代数幾何学における幾何的特徴付けに翻訳可能であり、逆に自由半代数幾何学の幾何的道具が量子情報問題に新たな計算的・概念的枠組みをもたらすことが示された。これにより、無限大サイズの並進不変系における決定不能性の結果も得られた。

ABSTRACT

We illustrate how quantum information theory and free (i.e. noncommutative) semialgebraic geometry often study similar objects from different perspectives. We give examples in the context of positivity and separability, quantum magic squares, quantum correlations in non-local games, and positivity in tensor networks, and we show the benefits of combining the two perspectives. This paper is an invitation to consider the intersection of the two fields, and should be accessible for researchers from either field.

研究の動機と目的

• 非可換正定性と凸性における共通の数学的構造を同定することで、量子情報理論と自由半代数幾何学を橋渡しすること。
• 量子情報問題—例えば分離可能性、量子相関、テンソルネットワークの正定性—を、自由半代数的集合における幾何的問題に再定式化すること。
• 自由半代数幾何学からの幾何的道具が、無限大系における決定不能性の結果を含め、量子情報問題に新たな知見をもたらすことを示すこと。
• 両分野の研究者にアクセス可能な形で関係を明確にすることで、分野横断的協働を促進すること。

提案手法

• 自由（非可換）半代数幾何学の枠組みを用い、テンソル積空間における正定性と凸性を幾何的対象として研究する。
• 正定値行列、POVM、量子マジックスクエアといった量子情報の概念と、自由凸包や作用素系といった自由半代数的構造を比較する。
• 多項式のモーメントに基づく近似法を用い、低次のトレースのみを用いて正定値行列錐への距離を評価する。
• 行列の死亡問題を用いて、並進不変系における正定性の決定不能性を示し、量子テンソルネットワークの問題を非可換正定性の問題に還元する。
• 非局所ゲームにおける量子相関を、自由独立性モデルの自由凸包への属性として定式化する。
• 拡大定理と不変分解を用い、群作用下でのテンソル積空間内の構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 量子情報理論と自由半代数幾何学は、テンソル積空間における正定値行列といった同じ数学的対象を、どのように異なる方法で扱うのか？
• RQ2 自由半代数幾何学からの幾何的特徴付けは、非局所ゲームにおける量子相関の分析をどのように改善できるか？
• RQ3 非可換性は、特に並進不変設定下でのテンソルネットワークにおける正定性の決定可能性に、どのように寄与するか？
• RQ4 低次の多項式に基づくモーメント近似を用いることで、行列が正定値行列錐からどれほど離れているかをどのように推定できるか？
• RQ5 PVMの自由凸包がPOVMの集合をどの程度まで回復できるか、そしてこれは量子測定理論にどのような意味を持つのか？

主な発見

• d, r ≥ 7 のとき、すべての n ∈ ℕ に対して、並進不変テンソルネットワーク状態 τₙ(ρ) が正定値であるかどうかを判定する問題は決定不能である。
• 非局所ゲームで実現可能な量子相関の集合は、自由独立性モデルの自由凸包への属性に対応し、幾何的特徴付けが得られた。
• 固定された n に対して、テンソルネットワーク状態 ρ が正定値行列錐から離れている距離は、低次のモーメント tr(ρᵏ) と正の部分関数 f(x) = max(x,0) の多項式近似を用いて評価可能である。
• f(x) の平方和近似により、完全な対角化が困難な場合でも、半定値計画法を用いて効率的な境界計算が可能である。
• 任意のPOVMをPVMに拡大することは、PVMの集合の自由凸包がすべてのPOVMの集合に等しいことに相当するが、これは非可換設定下でも成り立つ。
• テンソル積空間における不変分解の枠組みは、量子系に限らず、正定性制約を伴う多変数対称多項式に対しても適用可能である。