Exponential lower bounds on the fermionic Gaussian rank of magic states and the bosonic coherent state rank of Fock states

技术摘要：费米子高斯态与玻色子相干态秩的指数级下界

问题陈述
近期的量子力学经典模拟算法依赖于将“魔术”态（非自由态）分解为“自由”态（例如，稳定器态、费米子高斯态或玻色子相干态）的线性组合。此类模拟的计算成本由魔术态的**秩（rank）**决定——即该态进行此类分解所需的最少自由态数量。虽然已知魔术态的稳定器秩和费米子高斯秩存在指数级上界，但严格的下界此前一直难以获得。对于稳定器秩，目前已知的最佳下界仅为二次方级（$\tilde{\Omega}(k^2)$）；而对于魔术态的费米子高斯秩，此前除了平凡常数外，尚未建立任何界限。同样在玻色子领域，尽管文献 [1] 证明了 Fock 态的相干态秩具有超多项式下界，但其确切值仍是一个猜想。本研究旨在解决这些秩缺乏无条件指数级下界的问题。

方法论
本文采用了一种**广义扁平化映射（generalized flattening map）**方法，利用态矢量的矩阵值函数来推导秩的下界。核心技术是构造一个矩阵 $M(\psi)$，其列对应于特定线性算子（例如，Majorana 单项式或特定的微分算子）作用于目标态 $|\psi\rangle$ 的结果。通过矩阵秩的次可加性，如果 $|\psi\rangle = \sum_{i=1}^r \alpha_i |f_i\rangle$，则 $\text{rank}(M(\psi)) \leq \sum \text{rank}(M(|f_i\rangle))$。

1. 费米子情形：

   • 算子： 作者定义了映射 $C_p(\psi)$，其列由应用 $p$ 次 Majorana 单项式于该态生成的向量构成。
   • 目标态： 研究重点是 $k$ 个 4-qubit 魔术态 $|M\rangle = \frac{1}{\sqrt{2}}(|0000\rangle + |1111\rangle)$ 的张量积。
   • 分析： 通过利用涉及投影 Pauli 群陪集的组合论证，计算 $C_p(|M\rangle^{\otimes k})$（分子）的秩，其下界由生成的正交向量数量确定。$C_p(|0\rangle)$（分母，代表高斯态）的秩则使用几何级数估计进行上界约束。
   • 近似秩： 对于 $\delta$-近似秩，作者利用 Eckart–Young–Mirsky 定理，通过扁平化矩阵的奇异值将目标态与其近似之间的 Frobenius 范数距离联系起来。
   • 小 $k$ 情况下的精确秩： 对于 $k=2$，渐近方法得到的界限较弱（$r \geq 3$）。为了证明 $r \geq 4$，作者利用了 $\text{Spin}(16, \mathbb{C})$ 不变量。他们将问题映射到旋极簇（spinor variety）的第二割线簇（second secant variety），并利用 Gröbner 基构造出在秩 $\leq 3$ 的态集合上消失、但在 $|M\rangle^{\otimes 2}$ 上非零的型不变量。

2. 玻色子情形：

   • 算子： 作者定义了一个针对 Fock 态 $|m\rangle = |m_1, \dots, m_n\rangle$ 的“扁平化”矩阵 $M^m$，其索引由特定范围内的向量 $p, q$ 给出，条目源自 Fock 基系数。
   • 分析： 他们证明了对于任何相干态，该矩阵的秩为 1。相反，对于 Fock 态 $|m\rangle$，该矩阵具有全秩 $d = \prod_j (1+m_j)$。
   • 近似秩： 利用矩阵秩的连续性和 Cauchy-Schwarz 不等式在 Frobenius 范数上的性质，推导出了稳健的界限，这些界限与保真度 $F$ 相关。

主要贡献与结果

• 费米子高斯秩（精确）：
  本文证明了 $|M\rangle^{\otimes k}$ 的精确费米子高斯秩下界为：
  $$r \geq \frac{8}{9(k+1)} \left( \frac{27(8 + 2\sqrt{7})}{256} \right)^k \approx \frac{8}{9(k+1)} (1.4018)^k$$
  这首次为这类特定的魔术态建立了无条件的指数级下界（$\Omega(1.4^k)$）。

• 费米子高斯秩（近似）：
  对于 $\delta$-近似分解，其秩的下界由精确界限乘以因子 $(1-\delta^2)$ 给出。

• $k=2$ 时的精确秩：
  利用 $\text{Spin}(16, \mathbb{C})$ 不变量和 Gröbner 基，作者证明了 $|M\rangle^{\otimes 2}$ 的精确秩恰好为 4。这意味着对于任何 $k \geq 2$，其秩至少为 4，从而改进了平凡界限 2。

• 向非高斯态的推广：
  利用引理 2，作者表明任何 $k$ 个固定宇称非高斯态的张量积的秩都至少是 $|M\rangle^{\otimes k}$ 的秩。因此，该指数级下界广泛适用于非高斯态的张量积，尽管作者指出由于采用了简化方法，该界限对于超过 4-qubit 的态可能较为松散。

• 玻色子相干态秩：
  本文证明了文献 [1] 中的猜想 1：$n$-模 Fock 态 $|m_1, \dots, m_n\rangle$ 的相干态边界秩（border rank）恰好为 $\prod_{j=1}^n (1+m_j)$。

  • 对于特定情况 $|1\rangle^{\otimes n}$，其秩为 $2^n$。
  • 提供了关于近似秩的稳健界限，其规模随近似的保真度缩放。

意义与主张
本文声称提供了费米子高斯秩的第一个无条件指数级下界，填补了经典模拟极限理解中的重要空白。虽然该指数底数（$\approx 1.4$）小于已知的上界（$2$），但这一结果是相对于以往多项式或常数级界限的实质性进展。

在玻色子背景下，这项工作解决了关于 Fock 态精确边界秩的一个特定猜想，确认了 $|1\rangle^{\otimes n}$ 态的指数增长（$2^n$）。作者强调了其方法的广泛适用性，指出其与代数几何（割线簇、扁平化映射）的联系，以及在纠缠理论等其他领域的潜在用途；不过，作者明确指出，将这些特定的矩阵秩方法应用于 qubit 魔术态（如 $|T\rangle$）的稳定器秩时，由于 Clifford 群的特性，面临着显著障碍。

作者谦虚地指出，虽然这些界限是指数级的，但对于较少数量的副本（在 $k=2$ 证明 $r=4$ 之外），目前尚未排除多项式秩的可能性；此外，从一般非高斯态到 4-qubit 情况的简化过程可能会产生较松的界限。这项工作也强调了对费米子非高斯性资源理论的潜在影响，尽管它并未提出新的实验方案。