[论文解读] Monotonicity conjecture for multi-party entanglement I

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

Random Matrices and ApplicationsMathematics被引用 3

一句话总结

该论文提出了多体纠缠熵在粗粒化下的单调性猜想，建立了一个用于纯量子态多体纠缠量化的新框架。通过晶格上的大分子配分函数与佩夫安行列式，作者基于反对称矩阵推导出一种度量，并证明其在置换下不变且对乘积态具有可加性，关键结果通过凯斯泰林定理在亏格为零的图上的符号一致性得到验证。

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 体纯态定义一种对称、可加的纠缠度量，满足局部幺正不变性且在可分态上为零。
• 通过佩夫安形式化方法，建立纠缠度量与晶格图上完全填充大分子配分函数之间的联系。
• 利用凯斯泰林定理由亏格零图上大分子构型的符号一致性验证所提度量。
• 证明由反对称邻接矩阵佩夫安行列式导出的度量能正确捕捉广义 W 态中的纠缠结构。

提出的方法

• 纠缠度量通过表示态张量网络的双分晶格图所导出的反对称邻接矩阵的佩夫安行列式构造。
• 晶格被定向为从 ψ 到 ψ̄ 顶点的边，以确保佩夫安展开中符号的一致性。
• 表示非局域纠缠收缩的矩阵 K 表示为涉及移位矩阵与复参数 z₁, z₂, z₃ 的张量积之和。
• 通过单位根的乘积计算 K 的行列式，得到关于 z₁, z₂, z₃ 对称的表达式，与配分函数 Z₊₊ 一致。
• 通过恢复所有单项式项的正号，重建完整配分函数，与亏格 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 次单位根。
• 通过恢复所有项的正号重建完整配分函数，与亏格 1 图的凯斯泰林定理一致，需对四种自旋结构求和。
• 所得度量在 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}$ .