[論文レビュー] Quantum entanglement, Calabi-Yau manifolds, and noncommutative algebraic geometry

Shinnosuke Okawa, Kazushi Ueda|arXiv (Cornell University)|Feb 16, 2014

Algebraic structures and combinatorial models参考文献 11被引用数 3

ひとこと要約

本稿は、d-キュービット状態のSLOCC同値類のモジュライスタックと、ラインバンドルを備えたカラビ＝ヤウ多様体のモジュライ空間との間に、双有理同値を確立する。3-キュートリットおよび4キュービットの場合、これらの同値類は非可換射影平面および非可換二次曲面を通じて非可換代数幾何に結びつけられ、一般のSLOCC同値類は指定された次数のラインバンドルを備えた楕円曲線の同型類に対応することが示された。

ABSTRACT

We relate SLOCC equivalence classes of qudit states to moduli spaces of Calabi-Yau manifolds equipped with a collection of line bundles. The cases of 3 qutrits and 4 qubits are also related to noncommutative algebraic geometry.

研究の動機と目的

• SLOCC同値類のキュービット状態と、ラインバンドルを備えたカラビ＝ヤウ多様体のモジュライ空間との間に幾何的対応を確立すること。
• 3キュートリットおよび4キュービットのもつれ状態の分類を、非可換代数幾何学、特に非可換射影平面および二次曲面に結びつけること。
• 5キュービット状態の一般SLOCC同値類が、特定のランク4の格子を備えたM-極化K3表面に対応することを示すこと。
• もつれキュービット状態のモジュライスタックが、楕円曲線とラインバンドルを備えた幾何的対象のモジュライスタックと双有理同値であることを示すこと。
• 量子情報の分類を、非可換およびカラビ＝ヤウ多様体を含む高度な代数幾何学と統合すること。

提案手法

• Md,n を、次元 (n−1)(d−1)−d のカラビ＝ヤウ多様体 Y と、コhomオロジー的および埋め込み条件を満たす n−1 個のラインバンドルを備えた、S への滑らかな準同型 ϕ: Y → S の族として定義する。
• R = V1 ⊗ ⋯ ⊗ Vn のテンソル積空間上のSLOCC作用を用いて、商スタック [Rsm/G] を表す Qsm への関手 Ψ: Md,n → Qsm を構成する。
• 開被覆上のラインバンドルの自明化を用いて、G-不変な準同型 ψλ: Sλ → R を構成し、遷移データにより整合性を保証する。
• セール双対性およびリーマン・ロッホを用いて、楕円曲線上の次数3ラインバンドルが非常に豊富であることを特徴づけ、射影的埋め込みを可能にする。
• セグレ埋め込みと積分写像 µ: H0(L)⊗H0(L′) → H0(L⊗L′) の全射性を用いて、楕円曲線が P1×P1 への埋め込みを特徴づける。
• Md,n と非可換幾何的対象（例えば、AS正則代数 A の Qgr A）のモジュライスタックとの間の双有理同値を確立する。

実験結果

リサーチクエスチョン

• RQ1 キュービット状態のSLOCC同値類は、代数幾何学を用いてどのように分類可能か？
• RQ2 n=3, d=3 および n=4, d=2 のもつれキュービット状態のモジュライ空間の幾何的構造は何か？
• RQ3 カラビ＝ヤウ多様体とラインバンドルは、もつれキュービット状態の分類においてどのように自然に現れるか？
• RQ4 もつれキュービット状態と非可換代数幾何学、特に非可換平面および二次曲面との関係は何か？
• RQ5 5キュービットのもつれ状態の分類は、特定の格子極化を備えたK3表面を用いて記述可能か？

主な発見

• nキュービット状態のモジュライスタックは、次元 (n−1)(d−1)−d のカラビ＝ヤウ多様体 Y と、特定のコホモロジー的および埋め込み条件を満たす n−1 個のラインバンドルを備えた、モジュライスタックと双有理同値である。
• 3キュートリット状態（n=3, d=3）の場合、一般のSLOCC同値類は、楕円曲線 C と次数3のラインバンドル L1, L2 の三つ組 (C, L1, L2) の同型類の間の一対一対応にある。
• 4キュービット状態（n=4, d=2）の場合、一般のSLOCC同値類は、楕円曲線 C と次数2のラインバンドル L1, L2, L3 の四つ組 (C, L1, L2, L3) の同型類の間の一対一対応にある。
• 3キュートリットのもつれ分類は、3次元スキーイアニン代数から生じる非可換射影平面のモジュライと同値である。
• 4キュービットのもつれ分類は、3次元立方体AS正則代数を介して非可換二次曲面に対応する。
• 5キュービット状態（n=5, d=2）の場合、一般のSLOCC同値類は、交差形式 (ei, ej) = 2−2δij を持つランク4の格子 M を備えた M-極化K3表面の同型類と一対一対応にある。