[论文解读] Entanglement of free-fermion systems, signal processing and algebraic combinatorics

Pierre-Antoine Bernard, Nicolas Crampé+3 more|arXiv (Cornell University)|Jan 13, 2024

Molecular spectroscopy and chirality被引用 4

一句话总结

本文通过利用信号处理与代数组合学，提出了一套统一框架，用于分析图上自由费米子系统的纠缠。该框架引入了一个可对易的三对角Heun算子，并利用P-多项式关联方案的Terwilliger代数，简化了截断关联矩阵的对角化过程，从而实现了对超立方体和汉明图等系统纠缠熵的精确计算。

ABSTRACT

This paper offers a review of recent studies on the entanglement of free-fermion systems on graphs that take advantage of methods pertaining to signal processing and algebraic combinatorics. On the one hand, a parallel with time and band limiting problems is used to obtain a tridiagonal matrix commuting with the chopped correlation matrix in bispectral situations and on the other, the irreducible decomposition of the Terwilliger algebra arising in the context of $P$-polynomial association schemes is seen to yield a simplifying framework.

研究动机与目标

• 建立一种系统化方法，用于计算具有复杂对称性的图上自由费米子系统的纠缠熵。
• 通过将纠缠与关联方案及Terwilliger代数联系起来，弥合量子信息理论与代数组合学之间的鸿沟。
• 通过利用双线性与对称设定下的可对易算子，简化与纠缠熵密切相关之截断关联矩阵的对角化过程。
• 将已知的自旋链与超立方体纠缠结果推广至更广泛的图类，包括汉明图、约翰逊图与折叠超立方图。
• 识别出Terwilliger代数实现不可约分解的条件，从而将纠缠计算简化为低维子问题。

提出的方法

• 通过公式 $\mathfrak{S} = -\text{Tr}[C\log C + (1-C)\log(1-C)]$ 计算纠缠熵，其中 $C = \Pi_S \Pi_E \Pi_S$ 为限制在子系统1上的截断关联矩阵。
• 构造一个可对易的三对角Heun算子 $\bar{T} = \{A, A^*\} + \mu A^* + \nu A$，使得 $[\bar{T}, C] = 0$，从而实现同时对角化。
• 利用 $P$-多项式与 $Q$-多项式关联方案的结构，定义邻接矩阵 $A$ 与对偶邻接矩阵 $A^*$，它们生成Terwilliger代数 $\mathfrak{T}$。
• 将 $\mathfrak{T}$ 在 $\mathbb{C}^{|V|}$ 上的正则表示分解为不可约分量，从而将纠缠计算简化为块对角子空间。
• 在二元汉明方案中，$A$ 与 $A^*$ 分别对应泡利矩阵 $\sigma_x$ 与 $\sigma_z$，代数结构退化为 $\mathfrak{su}(2)$，从而可通过已知自旋链方法实现精确解。
• 展示了能量表象与位置表象之间的波函数满足双谱问题，将系统与正交多项式及时间-带宽限制问题联系起来。

实验结果

研究问题

• RQ1 尽管截断关联矩阵结构复杂，如何在对称图上的自由费米子系统中精确计算纠缠熵？
• RQ2 Terwilliger代数在关联方案中简化关联矩阵对角化过程中起到何种作用？
• RQ3 在哪些图类（如汉明图、约翰逊图、折叠超立方图）中存在保持纠缠计算结构的可对易Heun算子？
• RQ4 $P$-与 $Q$-多项式关联方案的对称性如何导致纠缠问题分解为不可约子空间？
• RQ5 该框架能否推广至 $P$-多变量关联方案与非自对偶图？

主要发现

• 构造了一个可对易的Heun算子 $\bar{T}$，使得 $[\bar{T}, C] = 0$，从而在双谱设定下实现对截断关联矩阵 $C$ 的精确对角化。
• 对于 $P$-多项式关联方案，Terwilliger代数 $\mathfrak{T}$ 由 $A$ 与 $A^*$ 生成，其不可约分解将纠缠分析简化为低维块。
• 在二元汉明方案 $H_d = (K_2)^{\square d}$ 中，邻接矩阵与对偶邻接矩阵分别对应 $\sigma_x$ 与 $\sigma_z$，代数结构退化为 $\mathfrak{su}(2)$，从而可通过已知自旋链技术实现精确解。
• 超立方图的纠缠熵计算可简化为Krawtchouk链的组合，通过正交多项式方法可获得精确结果。
• 该框架适用于汉明图、约翰逊图、Hadamard图与折叠超立方图，其纠缠结构由底层关联方案的代数性质决定。
• 波函数 $\phi_n(k) = \langle n|\omega_k\rangle$ 被证明是双谱问题的解，将系统与信号处理中的时间-带宽限制问题联系起来。