Williamson majorization theory of fermionic non-Gaussianity

技术摘要：威廉姆森主导理论（Williamson Majorization Theory）与费米子非高斯性

问题陈述
费米子非高斯性（Fermionic non-Gaussianity）是使自由费米子（高斯态）提升至通用量子计算能力的本质资源。虽然双体纯态纠缠的操纵受制于基于 Schmidt 谱主导（Nielsen 定理）的成熟框架，但针对高斯协议下费米子非高斯性的结构化理论一直处于空白。现有的量度（如费米子反平坦度/antiflatness 和占据熵/occupation entropies）虽可由协方差矩阵计算，但缺乏一个统一的谱律来确定状态的可转换性、催化可能性及渐近速率。本研究通过建立基于 Majorana 协方差矩阵的威廉姆森谱（Williamson spectrum）的主导律，填补了这一空白，该谱律类比于纠缠理论中的 Schmidt 谱。

方法论
作者通过 $N$ 模费米子态的实反对称 Majorana 协方差矩阵 $\Gamma_\rho$ 来表征其性质。该矩阵的谱被转化为规范形式，产生威廉姆森值 $r_j \in [0, 1]$。对于纯高斯态，所有 $r_j = 1$；向该“高斯天花板”的偏离程度即量化了非高斯性。

核心方法论包括：

1. 定义谱亏损（Spectral Deficits）： 引入 $f$-威廉姆森度量 $\Phi_f(\rho) = \sum_j [f(1) - f(r_j)]$，其中 $f$ 为标量函数。这些度量推广了现有的量度，如反平坦度（$f(t)=t^{2k}$）和占据熵。
2. 变分见证者（Variational Witnesses）： 证明威廉姆森谱的部分和 $S_\ell(\Gamma) = \sum_{j \le \ell} r_j$ 可以表示为在秩为 $2\ell$ 的部分复结构上，关于二次观测量（交换反射的和）的最大期望值。
3. 高斯码不等式（Gaussian-Code Inequality）： 建立了一个针对单模在占据基底进行测量的算符不等式。通过分析与见证者相关的“编码投影算符”（code projector），作者表明被测模的谱权重受到限制，从而导出了后测量系综部分和的递归不等式。
4. 归纳提升（Inductive Lift）： 通过对协议树进行归纳，将单模测量结果扩展到任意高斯协议（幺正变换、辅助态、测量、前馈），利用了高斯幺正变换保持谱不变以及辅助态添加单位值（1）的特性。

主要贡献与结果

• 定理 1（威廉姆森主导律）： 核心结果指出，对于任何纯态 $\psi$ 以及产生系综 $\{(p_s, \phi_s)\}$ 的任意高斯协议，输入威廉姆森谱被系综平均输出谱弱主导：
  $$\vec{r}(\Gamma_\psi) \prec_w \sum_s p_s \vec{r}(\Gamma_{\phi_s})$$
  这意味着输入谱在主导意义上比平均输出谱更“无序”。

• 单调量表征（定理 2）： 主导律允许对谱单调量进行完整表征。泛函 $\Phi_f$ 是强纯态非高斯性单调量的充要条件是生成函数 $f$ 是非递减且凸的。这统一了各种已知量度，并确立了它们在高斯协议下的强单调性。

• 状态转换界限：

  • 确定性转换： 通过确定性高斯协议将 $\psi$ 转换为 $\phi$ 的必要条件是 $\vec{r}(\Gamma_\psi) \prec_w \vec{r}(\Gamma_\phi)$。与纠缠理论不同，该条件是必要而非充分的，因为威廉姆森谱并非完全不变量（例如，不同的 GHZ 态可能共享相同的消失协方差）。
  • 单次概率转换： 作者推导了将 $\psi$ 转换为 $\phi$ 的成功概率 $p_{succ}$ 的上界，类似于 Vidal 公式，但针对威廉姆森亏损进行了适配。该界限被证明在所有谱单调量中是最优的。

• 催化与宇称：

  • 具有确定宇称时无催化作用： 如果催化剂 $\omega$ 具有确定费米子宇称，则威廉姆森谱进行拼接（$\vec{r}(\Gamma_{\psi \otimes \omega}) = \vec{r}(\Gamma_\psi) \sqcup \vec{r}(\Gamma_\omega)$）。因此，具有确定宇称的催化剂无法改变主导关系或实现原本不可能的转换。
  • 具有相干性的受限催化增益： 如果催化剂具有宇称相干性（一种真正的费米子资源），催化变得可能。然而，定理 4 证明了这种增益是受到严格限制的：催化剂最多只能提供一个最大非高斯模（相当于在主导序中向输入谱添加一个“0”，向输出谱添加一个“1”）。

• 渐近不可逆性（定理 5）： 在多副本的渐近极限下，转换速率 $R(\psi \to \phi)$ 受限于可容许单调量的比率。至关重要的是，作者证明了即使对于纯态，费米子非高斯性也是不可逆的。存在一对纯态 $\omega, \chi$，使得 $R(\omega \to \chi) R(\chi \to \omega) < 1$，且该乘积可以变得任意小。这与双体纯态纠缠（它是渐近可逆的）形成了鲜明对比。

意义与主张
本文声称建立了一个“统一框架”来处理费米子非高斯性的操纵，围绕单一谱序（威廉姆森主导）展开理论。作者强调的关键意义包括：

1. 可计算性： 所有相关量（单调量、界限）均可通过二点 Majorana 相关函数获得，这使得该理论在当前的量子设备上通过 matchgate 控制是实验可观测的。
2. 与纠缠的结构性区别： 该理论揭示了费米子资源与纠缠之间的根本差异。特别是由于宇称超选导致的威廉姆森谱拼接，导致了丰富的加性单调量（不存在单一的“非高斯熵”），并强制了纯态层级的不可逆性。
3. 宇称相干性： 本工作识别出宇程相干性是一种独特的费米子资源，它能够实现催化，尽管其效用受到严格的上界限制。
4. 实验相关性： 所推导的界限可作为追踪相互作用如何产生多体动力学中“费米子魔力”（fermionic magic）的工具，这在当前的量子硬件上是可测试的。

作者对理论的完整性保持谦逊，指出谱单调量可能无法区分所有不可相互转换的状态（暗示可能需要更高阶的单调量），并且实现速率（逆向界限与最优速率之间的差距）的问题仍是一个开放性问题。