Maximal Orbital Entanglement from Non-Interacting Fermions

技术摘要：非相互作用费米子的最大轨道纠缠

问题陈述
在量子多体物理和化学中，轨道旋转通常被用于最小化轨道相关性，从而将量子态的复杂性压缩到一小组相关的轨道中（例如在张量网络方法或 Hartree-Fock 理论中）。相反，量子信息处理（QIP）寻求最大化纠缠作为一种资源。虽然对于自由态（非相互作用费米子）而言，最小化轨道相关性是已被充分理解的（在其自然轨道基组下消失），但最大化这些自由态的轨道纠缠在很大程度上仍未得到探索，仅在针对特定状态、平均情况或可分辨/玻色子系统时有所讨论。

本研究旨在解决一个基本问题：非相互作用费米子（特别是 Slater 行列式和一般的自由态），在经过最优轨道旋转后，能够携带多少轨道纠缠和总相关性？

方法论
作者将向 $N$ 费米子态最大化轨道相关性的问题，重新表述为在单粒子约化密度矩阵（1RDM）空间上的谱优化问题。

1. 简化至 1RDM： 由于自由态（包括 Slater 行列式和高斯态）完全由其 1RDM 决定，因此对多体希尔伯特空间的优化被简化为对具有固定谱（即自然占据数，NONs）的 $d \times d$ 厄米矩阵的优化。
2. 块谱与主项控制（Majorization）： 该问题被进一步简化为刻画由晶格的特定划分所诱导的块谱（1RDM 的对角块特征值）的集合。作者利用主项控制（$\prec$）的概念来确定最优块谱。他们建立并证明了目标函数（一种改进的块谱 Shannon 熵）是严格 Schur 凹的。因此，极大值点对应于可行块谱集合中主项控制最小（即被集合中所有其他元素主项控制）的元素。
3. 新的数学工具： 为了解决一般问题，作者推导了关于厄米矩阵块谱的新主项控制关系（定理 1 和定理 4），这些关系将矩阵的谱与其对角块的谱联系起来。

核心贡献与结果

• 结果 1：Slater 行列式的最大纠缠
  对于一个在 $d = d_A + d_B$ 个格点上的 $N$ 费米子系统，将其划分为两个区域，Slater 行列式所能达到的最大轨道纠缠熵为：
  $$E_{\text{max}} = \min\{d_A, d_B, N, d-N\} \times \log 2$$
  这一最大值通过轨道对的“分束器型”旋转（具体为混合轨道 $j$ 与 $d+1-j$）来实现。如果粒子数和空穴数足够多（即 $\min\{N, d-N\} \ge \min\{d_A, d_B\}$），该值等于任何费米子态所能达到的最大纠缠，这意味着非相互作用态在量子信息处理方面可以像相互作用态一样具有资源价值。

• 结果 2：任意自由态的最大相关性（二分法）
  作者将结果 1 推广到具有给定自然占据数 $n = (n_1, \dots, n_d)$ 的任意自由态（可能是混合态）。对于任何二分划分 $\lambda = (\lambda_1, \lambda_2)$，他们推导出了块谱极大值 $b_{\text{max}}$ 的闭合形式表达式。$b_{\text{max}}$ 的各项是自然占据数对的平均值（例如 $(n_1+n_d)/2, (n_2+n_{d-1})/2, \dots$）。最大总相关性为 $C_{\text{max}} = H(b_{\text{max}}) - H(n)$。

• 结果 3：任意纯态的纠缠界限
  利用推导出的主项控制关系，作者建立了一个关于自然占据数的上界，用于限制任何具有宇称超选规则（parity-superselected）的费米子纯态（包括相互作用基态）的轨道纠缠：
  $$E(|\Psi\rangle) \le \frac{1}{2} H(b_{\text{max}})$$
  该界限比标准的基于维度的界限更强。

• 结果 4：最细划分（平凡多部分划分）
  对于每个晶格格点作为一个独立子系统的最细划分（$\lambda = (1, \dots, 1)$），极大值是每个项都等于平均填充率 $\eta = (\sum n_j)/d$ 的最大混合向量。其最优幺正变换对应于轨道的离散傅里叶变换（DFT）。

• 结果 5：一般多部分划分（$d \le 5$）
  作者提供了对于最多 5 个格点之划分的显式闭合解。他们观察到，极大值函数的具体形式取决于 $n$ 的具体数值，从而定义了不同的“机制（regimes）”。在所有求解的案例中，极大值是主项控制最小的，且其各项是自然占据数子集的平均值。

• 猜想 1 & 2： 基于高达 $d=12$ 的数值证据，作者猜想对于任何维度和划分，最优块谱始终是可行集中的主项控制最小元素，且其各项始终是根据索引的有序划分定义的自然占据数子集的平均值。

• 扩展：

  • 超选规则 (SSRs)： 作者分析了局部粒子数超选规则的影响。他们发现，虽然 SSRs 会减少可获得的关联，但无需考虑 SSRs 时推导出的最优幺正变换仍然有效（尽管不一定是严格最优的），并且在粒子数趋于无穷大的极限下，相关性的损失会消失。
  • 纯高斯态： 对于一般的纯费米子高斯态（可能没有固定的粒子数），对于 $2k$ 个轨道的平衡二分划分，其最大纠缠被证明为 $k$ ebits，由类 BCS 态实现。

意义与主张
本文声称将平均场态（Slater 行列式和自由态）——这些传统上被视为降低多体物理复杂性的起点——转变为一种可行的量子信息处理资源。

• 资源识别： 它证明了非相互作用费米子尽管具有零粒子相关性，但在经过最优旋转后可以携带最大的轨道纠缠。
• 操作可行性： 其最优旋转由基本的两轨道幺正变换（分束器型）组成，这在光晶格、量子点和超导处理器中是实验可实现的。
• 理论完备性： 这项工作提供了最小化轨道相关性的对应物——最大化轨道相关性，从而完成了关于全同粒子轨道相对性的图景。
• 费米子特性： 它确定了轨道纠缠是自由态中一种真正的费米子资源，因为玻色子自由态总是可分的。

作者对于任意多部分划分的一般解保持了审慎的态度，将针对 $d \le 5$ 和 $d \le 12$（数值上）的发现作为对其猜想的有力证据而非适用于所有 $d$ 的定理。他们明确指出，推导出的主项控制关系是作为矩阵分析领域独立研究成果而具有新颖性的。