Rigorous no-go theorems for heralded linear-optical state generation tasks

技术摘要：关于预报式线性光学态生成的严格不可行性定理

问题陈述
纠缠光子态的生成是量子计算、量子传感和量子通信的基本要求。虽然确定性生成通常需要强非线性，但在光学平台中实现这些非线性具有实验挑战性，因此线性光学提供了一种可行的替代方案。然而，仅靠线性光学只能实现有限的一组确定性变换。因此，光子系统中的态制备通常使用单光子、线性光学网络和光子探测以概率方式实现。

该领域的一个关键挑战是，确定特定的输入态是否可以通过给定的测量模式（预报方案）转化为目标态。这一可行性问题可以映射为判定一个多项式方程组是否存在解的问题。虽然常用的数值搜索方法可以寻找解，但它们无法明确证明解的不存在性；未能找到解可能仅仅表明搜索算法存在局限性，而非本质上的不可能。此外，现有的代数方法（如 Gröbner 基）虽然能够寻找解，但计算成本极高（最坏情况下的双指数复杂度），且属于“无进度”算法，即在得出任何结果之前必须完成全部计算。

方法论
作者提出应用来自代数几何的 Nullstellensatz 线性代数 (NulLA) 算法，来严格证明预报式线性光学态生成任务的不可行性。

1. 数学公式化： 该任务被转化为一个多项式方程组。输入态 $|\psi_{in}\rangle$ 通过一个未知的线性矩阵 $A$ 转化为输出态。通过对特定的预报模式进行条件化（在 $M$ 个辅助模中测量 $m$ 个光子），得到后选择态 $|\psi_{post}\rangle$。要求 $|\psi_{post}\rangle$ 在（除一个非零缩放因子 $\gamma$ 外）与目标态 $|\psi_{tar}\rangle$ 等价，这导致了方程 $\gamma G = Q$，其中 $G$ 和 $Q$ 是代表预报态和目标态的齐次多项式。通过令这些多项式的单项式系数相等，可以得到一个多项式方程组，其变量为变换矩阵 $A$ 的元素。

2. NulLA 算法： 作者并非求解 $A$，而是利用弱 Nullstellensatz 来证明不存在解。根据 Hilbert's Nullstellensatz，当且仅当存在多项式 $\beta_i$ 使得 $\sum \beta_i f_i = 1$ 时，多项式方程组无解。这一恒等式被称为 Nullstellensatz 证书。NulLA 算法通过不断增加多项式 $\beta_i$ 的次数 $d$ 并求解由此产生的线性方程组来尝试寻找此类证书。如果找到了证书，它将提供一个关于不可行性的确定性证明。

3. 问题简化（引理 1 与 定理 2）： 为了使问题具有可操作性，作者确立了对于固定的输入光子数 $n$ 和预报光子数 $m$，测试单个“最优”配置足以证明该光子计数下所有配置的不可行性。

   • 最优输入： 单光子 Fock 态的乘积（$|1, 1, \dots, 1\rangle$）足以代表任何可分 $n$ 光子输入。
   • 最优预报： 每个预报模中恰好检测到一个光子的模式（$(1, 1, \dots, 1)$）足以代表任何 $m$ 光子预报模式。
   • 这种简化使得问题可以仅根据可用输入光子数和目标态进行分类，从而显著缩小了搜索空间。

主要贡献与结果
论文展示了该框架在几种特定任务中的应用，建立了严格的资源需求下界：

• Bell 态生成： 作者证明了利用三光子可分输入生成 Bell 态是不可能的。NulLA 算法在 9 次方处产生了不可行性证书。这证实了已知需要四光子的解在光子资源方面是最优的。
• 随机两光子态： 该技术被应用于三个和四个模中数百个 Haar 随机两光子目标态。在理论上证书次数上限极高（例如 59,046）的情况下，研究者在较低次数（如 9 次方）处找到了不可行性证书。这表明对于许多实际案例，计算成本远低于最坏情况下的理论界限。
• NOON 态生成： 作者分析了使用真空预报生成 NOON 态（例如 $|3,0\rangle + |0,3\rangle$）的情况。他们证明了光子在同一模中聚集（例如 $|2,1\rangle$）的输入态无法生成这些态，从而确立了将输入光子分散到单光子模中是必要的资源。
• 预报式 CNOT 门： 该方法被用于验证已知预报式 CNOT 门的资源最优性。通过测试三光子输入与单个预报光子，作者证明了其不可行性，从而确认至少需要两个辅助（预报）光子才能实现该门。
• 向概率源的扩展： 该框架被证明可以适配于概率光子对源（如 SPDC），其中输入是不同光子数的叠加态。该方法将不同的光子数扇区视为一组同时进行的态生成任务。

意义与主张
作者声称，其工作为建立线性光学态生成中的“不可行性定理（no-go theorems）”提供了严谨且确定性的工具。与可能在无法证明不可能性的情况下无法找到解的数值优化或 Gröbner 基方法不同，NulLA 在找到证书时能提供关于不可行性的结论性证明。

这项工作的意义在于其能够：

1. 验证资源最优性： 它证实了已知解（如四光子 Bell 态生成器）在资源使用方面是最小的。
2. 提供下界： 它确立了针对特定任务所需光子数的根本限制，从而指导实验设计。
3. 自动化可行性测试： 该方法的系统性允许对大规模目标态族和门设计进行自动化测试。

论文总结道，尽管不可行性证书次数的理论上限可能很高，但实际应用通常在较低次数处即可产生证书。这使得 NulLA 算法成为确定光学装置和测量方案基本局限性的强大且具针对性的方法，助力实现通用线性光学量子计算。作者已在 GitHub 上提供了其算法的 MATLAB 实现，以促进进一步研究。