Characterizing Photonic Partial Distinguishability Through Gram Matrix Tomography

技术摘要：通过格拉姆矩阵层析成像表征光子的部分可区分性

问题陈述
光子的部分可区分性是多光子干涉中的关键因素，这对于诸如玻色采样（Boson Sampling）及各种量子技术等大规模光子实验至其中枢作用。不可控的区分性会引入线性光学门误差、降低量子增强干涉仪的灵敏度，并可能将量子计算优势降级为高效的经典模拟。虽然部分可区分性的理论框架依赖于巴曼不变量（Bargemann invariants，即内部状态的多变量迹），但表征这些内部自由度在实验上具有挑战性。通常情况下，内部状态（例如偏振、频率、到达时间）无法被直接访问或其维度未知，而实验装置通常仅能操纵和解析空间模式。现有方法可以认证不可区分性，但缺乏一种严谨的协议来完全重建部分可区分光子的关系信息（包括集体相位），并为后续预测提供定量的误差界限。

方法论
作者提出了格拉姆矩阵层析成像（Gram-matrix tomography）协议，用于重建具有纯态或近纯态独立制备光子的格拉姆矩阵 $G$。格拉姆矩阵元素定义为 $G_{ij} = \langle \psi_i | \psi_j \rangle$。对于纯态，$G$ 包含了预测对内部自由度不敏感的任何实验统计所需的全部关系信息。

该协议分为两个主要阶段：

1. 数据采集： 该协议需要测量一组 $O(n^2)$ 个巴曼不变量。论文介绍了两种互补的实验策略，利用被动线性光学和光子数分辨探测器来获取这些不变量：

   • 傅里叶方法（Fourier Method）： 使用针对性的傅里叶干涉仪来直接测量特定的循环不变量（例如，两体重叠和高阶循环迹）。该方法分别测量每个不变量。
   • 单次法（One-Shot Method）： 使用单个通用的（Haar 随机）干涉仪。它收集输出的光子数相关性（二体和三体相关性），并通过测量相关器的线性反演来重建不变量。该方法避免了为每个不变量重新配置干涉仪。

2. 重建与误差分析：

   • 协议重建格拉姆矩阵 $G$（在忽略物理无关相位选择的情况下），通过使用重叠图的生成树来固定规范（gauge）。
   • 它明确地将误差分为采样误差（有限数据）和系统误差（偏离纯度）。
   • 作者推导了严谨的界限，将格拉姆矩阵的估计误差（Frobenius 范数）与真实的及重建的外部态（实验可及的状态）之间的迹距离联系起来。该迹距离界限直接控制了任何后续线性光学测量中输出分布的全变差距离（TVD）。

核心贡献

• 重建保证： 论文确立了重建格拉м矩阵 $G$（在相位除外）足以重建外部态 $\Omega_{ext}$。它提供了显式的误差界限，表明预测分布与实际分布之间的 TVD 被 $\frac{\sqrt{n}}{2} \|G - \hat{G}\|_F$ 所限制。
• 样本复杂度： 总样本复杂度被证明与内部希尔伯特空间的维度无关。在满足轻微假设（两体重叠量低于某个常数）的情况下，为了达到迹距离精度 $\delta$，傅里叶方法需要 $O(n^5/\delta^2)$ 个样本。证明了 $\Omega(n^2/\delta^2)$ 的下界，表明对于一般的外部态重建，二次方增长是不可避免的。
• 对杂质性的鲁棒性： 该框架扩展到了近纯乘积态（$\rho = \bigotimes \rho_i$，其中纯度 $> 1-\epsilon$）。协议近似主要的纯分量，总误差由采样误差和与杂质率 $\epsilon$ 成正比的系统项共同组成。
• 实验协议： 详细阐述了两种具有操作基础的协议。傅里叶方法单次样本精度更高，但需要多种干涉仪配置。单次法提供了实验上的简易性（单一配置），但涉及线性反演，这可能会放大方差，因此需要更多的样本才能达到同等的精度。

结果

• 理论界限： 作者证明了对于纯乘积态，使用 $O(n^5/\delta^2)$ 个样本（傅里叶方法）或在特定条件下使用 $O(n^3/\delta^2)$ 个样本，可以高概率地以精度 $\delta$ 估计外部态。对于混合态，误差随杂质参数 $\epsilon$ 缩放。
• 数值模拟： 在高达 7 个光子的系统上对比两种方法的模拟显示，虽然单次法在理论上是可行的且对于随机干涉仪是良置的，但傅里叶方法在相同实验次数下通常能实现更低的重建误差。
• 界限差距： 数值结果表明，理论上的误差上限过于保守；在实践中，观测到的误差明显低于界限预测的值，特别是对于单次法，其二阶与三阶不变量之间的方差行为有所不同。
• 可扩展性： 该方法成功重建了低阶测量无法恢复完整关系信息（例如“圆舞曲”态）的外部态，尽管随着粒子数增加，由于需要估计呈指数衰减的高阶不变量，其效率会下降。

意义
该论文声称填补了光子源表征领域的空白，提供了一种模型无关的严谨方法，无需解析内部自由度即可重建部分可区分光子的关系信息。通过将格拉姆矩阵的重建与外部态迹距离的运算保证联系起来，该协议为光子源的基准测试提供了一个定量工具。作者将格拉姆矩阵层析成像定位为评估多光子源质量及依赖于光子不可区分性协议的实用工具，为仅能认证不可区分性而无法完全表征底层状态的方法提供了一个稳健的替代方案。这项工作强调，即使在有限采样和偏离纯度的情况下，这些保证依然成立，使其适用于现实的实验场景。