[论文解读] A Unified Graph-Theoretic Framework for Free-Fermion Solvability

Adrian Chapman, Samuel J. Elman+1 more|arXiv (Cornell University)|May 25, 2023

Physics of Superconductivity and Magnetism被引用 8

一句话总结

论文证明，当挫折图是爪-free并且包含一个单纯胞团时，量子自旋系统存在一个精确的自由费米子描述，从而统一了此前的线图和（存在空洞，爪-Free）方法。

ABSTRACT

We show that a quantum spin system has an exact description by non-interacting fermions if its frustration graph is claw-free and contains a simplicial clique. The frustration graph of a spin model captures the pairwise anticommutation relations between Pauli terms of its Hamiltonian in a given basis. This result captures a vast family of known free-fermion solutions. In previous work, it was shown that a free-fermion solution exists if the frustration graph is either a line graph, or (even-hole, claw)-free. The former case generalizes the celebrated Jordan-Wigner transformation and includes the exact solution to the Kitaev honeycomb model. The latter case generalizes a non-local solution to the four-fermion model given by Fendley. Our characterization unifies these two approaches, extending generalized Jordan-Wigner solutions to the non-local setting and generalizing the four-fermion solution to models of arbitrary spatial dimension. Our key technical insight is the identification of a class of cycle symmetries for all models with claw-free frustration graphs. We prove that these symmetries commute, and this allows us to apply Fendley's solution method to each symmetric subspace independently. Finally, we give a physical description of the fermion modes in terms of operators generated by repeated commutation with the Hamiltonian. This connects our framework to the developing body of work on operator Krylov subspaces. Our results deepen the connection between many-body physics and the mathematical theory of claw-free graphs.

研究动机与目标

• 用图理论方法来识别可解的自由费米子自旋哈密顿量的动机。
• 表征一类广义图（单纯胞、爪-free）保证精确自由费米子解的性质。
• 发展可交换对称性和子空间分解，使得可以实现显式的自由费米子描述。
• 通过算符Krylov子空间和循环对称性提供对费米子模态的物理图像。

提出的方法

• 在泡利基底表示自旋哈密顿量，并从反对易关系构造挫折图G。
• 定义单纯胞团和爪-free图，证明可解性的主要SCF条件。
• 从G中的偶孔和独立集构建可交换对称算符J和Q，使在对称子空间上实现独立求解。
• 在每个对称子空间内应用广义的Jordan-Wigner型解，得到自由费米子形式H = ∑_J (∑_j ε_{J,j}[ψ_{J,j},ψ_{J,j}^†]) Π_J。
• 从广义特征多项式Z_{G,J}(-u^2)的根中导出单粒子能量ε_{J,j}。
• 通过算符Krylov子空间（由对H的重复对易产生）描述有效的Majorana模态。

实验结果

研究问题

• RQ1 在何种图论条件下，自旋哈密顿量存在精确的自由费米子解？
• RQ2 如何构建并使用可交换的循环状对称性将哈密顿量分解为可解的子空间？
• RQ3 单纯胞团和爪-free结构在超越局部（生成子到生成子）映射的自由费米子映射中起到什么作用？
• RQ4 如何从算符Krylov子空间框架中提取物理的Majorana模态和谱？
• RQ5 该框架如何将先前的线图和四费米（Fendley）解扩展到更高维度？

主要发现

• 如果挫折图G是连通、爪-free且包含一个单纯胞团，则存在基于循环的可交换对称性，在每个对称子空间上实现自由费米子解。
• 在每个对称子空间内，哈密顿量呈现自由费米子形式，具有α(G)个独立模态，其中α(G)是G的独立数。
• 每个子空间中的单粒子能量来自广义特征多项式Z_{G,J}(-u^2)的根。
• 对于作用在合适χ上的算符ad_{iH}，生成的Krylov子空间可通过一个实矩阵A_{G,J}对角化，该矩阵编码G*中诱导路径，将动力学与有效的Majorana描述联系起来。
• 当G不连通时，每个连通分量产生一个独立解，维持整体自由费米子结构。
• 该框架统一了广义Jordan-Wigner解和非本地四费米解，扩展到任意空间维度的适用性。