Lee-Yang theorem for fermions

技术摘要：费米子的 Lee-Yang 定理

问题陈述
最初针对铁磁伊辛模型建立的 Lee-Yang 定理，为分析相变提供了一个严密的数学框架，证明了配分函数的复数零点位于复平面内特定的轨迹上（例如虚轴）。这种无零点性质意味着自由能的解析性，以及在非零外场下不存在相变。此外，在理论计算机科学领域，这一特性已被用于证明存在可证明高效的经典和量子算法，用于估计基态能量。

尽管经过了 70 多年的研究，对于相互作用费米子系统，仍然缺乏一个严密的 Lee-Yang 无零点定理。虽然已经计算出了特定费米子模型的配分函数零点，但即使是对于最简单的非相互作用自由费米子模型，也不存在通用的定理。这一空白限制了对远离微扰机制的强相互作用费米子系统的严格控制能力，并阻碍了为一类广泛的费米子哈密顿量开发高效算法。

方法论
作者通过结合统计力学和复分析的技术，为一类广泛的相互作用费米子哈密顿量建立了 Lee-Yang 定理。该方法分为三个主要阶段：

1. 哈密顿量类的定义： 作者定义了一类“费米子 Lee-Yang 哈密顿量”（$H = H_0 + V$），其中：

   • $H_0$ 包含具有正半定（PSD）跳跃矩阵 $A$ 和任意反对称配对矩阵 $B$ 的二次项。
   • $V$ 代表形式为 $-\sum |U_{ij}|(n_i - 1/2)(n_j - 1/2)$ 的吸引相互作用。
   • 配分函数定义为 $Z(h) = \text{Tr}[\exp(-\beta(H + h\sum n_i))]$。

2. 自由费米子分析（Trotter 化）： 证明始于自由费米子情况（$V=0$）。作者分析了 Trotter 化后的配分函数 $Z_\epsilon(H_0, u)$，其中外场被离散化为复变量 $u_{i,m}$。通过将配分函数改写为由跳跃矩阵和配对矩阵构造的块矩阵 $D(u)$ 的行列式，作者证明了当 $A$ 是正半定时，$D(u)$ 在开单位多圆盘（$|u_{i,m}| < 1$）内是非奇异的。这依赖于一个涉及特定度规 $\Gamma$ 的二次型论证，以及演化算符 $W = e^{-\epsilon Q}$ 在该度规下是收缩的性质。

3. 向相互作用系统的扩展（Asano 收缩）： 为了将结果扩展到相互作用系统，作者使用了 Asano 收缩。他们将全哈密顿量的 Trotter 化配分函数 $Z_\epsilon(H, u)$ 表示为两个多项式的 Schur 积（Hadamard 积）：自由费米子配分函数 $Z_\epsilon(H_0, u)$ 和仅含相互作用的配分函数 $Z_\epsilon(V, u)$。

   • $Z_\epsilon(H_0, u)$ 被证明在单位多圆盘内无零点（定理 4）。
   • $Z_\epsilon(V, u)$ 被识别为经典铁磁伊辛配分函数的乘积，根据经典 Lee-Yang 定理，这些函数在单位多圆盘内是无零点的（引理 5）。
   • 利用 Hinkkanen 关于无零点多项式之 Schur 积的引理，作者证明了 $Z_\epsilon(H, u)$ 在开单位多圆盘内也是无零点的。

4. 连续极限与变换： 通过应用 Hurwitz 定理，Trotter 化多项式的无零点性意味着精确配分函数 $Z(h)$ 在 $\text{Re}(h) > 0$ 时也是无零点的。随后使用粒子-空穴变换（$a \to a^\dagger$）将无零点区域扩展到条带 $\text{Re}(h) \in [-\lambda_{\max}(A), 0]$。

核心贡献与结果

• 定理 2（无零点性）： 对于定义类中的任何哈密顿量，配分函数 $Z(h)$ 在复 $h$ 平面上的所有零点均满足 $\text{Re}(h) \in [-\lambda_{\max}(A), 0]$。特别地，如果跳跃矩阵 $A=0$，则所有零点都严格位于虚轴上。这从严谨上确立了这些模型在非零局部外场下不存在相变。
• 定理 3（谱隙与算法效率）： 无零点性意味着场诱导的谱隙。具体而言，对于 $h > 0$，哈密顿量 $H + h\sum n_i$ 在基态上方至少具有 $h/8$ 的谱隙。因此，作者证明了存在一个可证明高效的量子算法，可以在加性精度 $\epsilon$ 内估计这些哈密顿量的基态能量，其运行时间随模式数 $N$、算符范数 $\|H\|_{op}$ 和 $1/\epsilon$ 进行多项式缩放。
• 物理模型统一： 作者证明，通过酉等价（Bogoliubov 变换），该类模型涵盖了几个具有重要物理意义的模型：
  • 处于配对场中的吸引型 Hubbard 模型。
  • 在交错 Zeeman 场下的二部图排斥型 Hubbard 模型。
  • 具有足够强均匀 Zeeman 场的排斥型 Hubbard 模型（即使是非二部图）。
  • 具有时间反演不变跳跃的相互作用型 Hofstadter 模型。

意义与主张

本文声称这项工作提供了第一个关于相互作用费米子的严密 Lee-Yang 无零点定理。其意义是双重的：

1. 物理洞察： 它提供了一个统一的解析框架，用以理解在外部场作用下，各种强关联费米子系统不存在相变的现象。它特别讨论了对拓扑序的约束，认为在非零场下，这些系统中不存在具有稳定基态简并性的有能隙拓扑序，因为 Lee-Yang 谱隙防止了能量分裂在热力学极限下趋于零。
2. 算法意义： 该工作识别了一类在量子计算机上计算上可行的费米子模型。与以往局限于自由费米子或特定一维链的结果不同，该类模型包含了强相互作用、高维模型（如相互作用型 Hofstadter 模型），这些模型因费米子符号问题而在经典计算上是困难的。作者指出，虽然其中一些模型（如吸引型 Hubbard）允许无符号问题的经典蒙特卡洛表示，但其他模型（如具有复跳跃的排斥型 Hubbard）则不然。因此，Lee-Yang 性质为经典方法失效或无法保证高效的场景提供了新的高效量子模拟路径。

作者对经典算法保持谦逊，指出虽然 Lee-Yang 性质意味着无零点性，但并不自动保证这些费米子系统的经典马尔可夫链能在多项式时间内混合，这与已建立此类保证的自旋系统有所不同。其主要的算法贡献是为量子算法的高效性提供了严密的证明。