[論文レビュー] Monotonicity conjecture for multi-party entanglement I

Abhijit Gadde, Shraiyance Jain+3 more|arXiv (Cornell University)|Aug 30, 2023

Random Matrices and ApplicationsMathematics被引用数 3

ひとこと要約

本稿では、多粒子系における量子もつれの尺度について、粗粒化の下での単調性に関する予想を提示し、純粋な量子状態におけるもつれの定量的評価のための新規フレームワークを確立する。ドミアーモデルと格子上のパフィアンを用いて、反対称行列に基づく尺度を導出し、置換に対する不変性と積状態における加法性を証明した。主な結果は、 genus-zero グラフにおけるカステレインの定理によって検証された。

ABSTRACT

In this paper, we conjecture a monotonicity property that we call monotonicity under coarse-graining for a class of multi-partite entanglement measures. We check these properties by computing the measures for various types of states using different methods.

研究の動機と目的

• 純粋な量子状態における多粒子もつれ尺度について、粗粒化の下での単調性という新しい性質を定式化すること。
• 局所ユニタリ不変性を満たし、分離状態では消える対称的かつ加法的な q-粒子純粋状態のもつれ尺度を定義すること。
• パフィアン形式を用いて、格子グラフ上の完全に充填されたドミアの分配関数ともつれ尺度を結びつけること。
• genus-zero グラフにおけるカステレインの定理を用いて、提案された尺度の妥当性を検証すること。
• 反対称隣接行列のパフィアンから得られる尺度が、一般化された W 状態におけるもつれ構造を正しく捉えていることを示すこと。

提案手法

• もつれ尺度は、状態のテンソルネットワークを表す二部格子グラフから導かれる反対称隣接行列のパフィアンを用いて構成される。
• 辺が ψ から ψ̄ 頂点へ向かうように格子を向き付け、パフィアン展開における符号の整合性を保証する。
• 粒子間の縮約を表す行列 K は、シフト行列と複素パラメータ z₁, z₂, z₃ を用いたテンソル積の和として表現される。
• K の行列式は単位根の積として計算され、z₁, z₂, z₃ に対して対称的な表現が得られ、分配関数 Z₊₊ と一致する。
• 正の符号をすべての単項式項に回復することで、genus-g グラフに対するカステレインの方法に従い、全分配関数を再構成する。
• 尺度はパフィアンの絶対値の対数として定義され、局所ユニタリ変換および置換対称性の不変性が保証される。

Figure 2: Graphical notation for the wavefunction $\psi$ and its conjugate $\bar{\psi}$ .

実験結果

リサーチクエスチョン

• RQ1 純粋状態における多粒子もつれ尺度について、粗粒化の下で単調性が成り立つか？
• RQ2 分離状態で消える対称的かつ加法的な q-粒子純粋状態のもつれ尺度を定義できるか？
• RQ3 格子隣接行列のパフィアンから得られるもつれ尺度は、局所ユニタリ変換に対して不変か？
• RQ4 周期的境界条件を課したヘキサゴナル格子上のドミア分配関数は、符号を一貫して割り当てられ、正定値尺度を得られるか？
• RQ5 テンソル積状態および粒子の置換の下で、尺度は期待される振る舞いを示すか？

主な発見

• 尺度は局所ユニタリ変換および粒子の置換に対して不変であり、物理的なもつれ尺度として要求される性質を満たしている。
• 尺度は積状態に対して加法的であり、M(|Ψ⟩⊗|Φ⟩) = M(|Ψ⟩) + M(|Φ⟩) を満たす。
• 尺度は反対称行列のパフィアンの絶対値の対数として計算され、これは粒子間結合行列 K の行列式に等しい。
• 周期的境界条件を課したヘキサゴナル格子上の一般化された W 状態に対して、K の行列式は ∏ᵢ₌₁ⁿ ∏ⱼ₌₁ⁿ (z₁ωⁱ + z₂ωʲ + z₃) で与えられる。ここで ω は n 乗単位根である。
• 正の符号をすべての項に回復することで、genus-1 グラフに対するカステレインの定理に従い、全分配関数が再構成され、4つのスピン構造の和をとる必要がある。
• 得られた尺度は z₁, z₂, z₃ の置換に対して対称的であり、期待される不変性および物理的期待と整合することが確認された。

Figure 3: A single connected component of the measure corresponding to choosing $\sigma_{1}$ , $\sigma_{2}$ and $\sigma_{3}$ to be three independent generators of ${\mathbb{Z}}_{3}\times{\mathbb{Z}}_{3}\times{\mathbb{Z}}_{3}$ .