[论文解读] Quantum state certification

Costin Bădescu, Ryan O’Donnell+1 more|arXiv (Cornell University)|Aug 20, 2017

Computability, Logic, AI Algorithms被引用 2

一句话总结

本文提出了最优的量子态认证算法，通过显著少于完整量子态层析的样本数量，验证未知量子态 ρ 是否接近已知目标态 σ。它引入了两种鲁棒协议：一种基于保真度，使用 O(d/ǫ) 个样本；另一种基于迹距离，使用 O(d/ǫ²) 个样本——两者在常数因子范围内均为最优。关键创新在于利用表示理论与舒尔-外尔对偶性，设计出高效且低样本量的测量方案，用于估计希尔伯特-施密特距离与布雷斯 χ² 散度。

ABSTRACT

We consider the problem of quantum state certification, where one is given $n$ copies of an unknown $d$-dimensional quantum mixed state $ ho$, and one wants to test whether $ ho$ is equal to some known mixed state $\sigma$ or else is $\epsilon$-far from $\sigma$. The goal is to use notably fewer copies than the $\Omega(d^2)$ needed for full tomography on $ ho$ (i.e., density estimation). We give two robust state certification algorithms: one with respect to fidelity using $n = O(d/\epsilon)$ copies, and one with respect to trace distance using $n = O(d/\epsilon^2)$ copies. The latter algorithm also applies when $\sigma$ is unknown as well. These copy complexities are optimal up to constant factors.

研究动机与目标

• 开发量子态认证协议，其样本复杂度显著低于完整量子态层析的 Ω(d²) 量级。
• 在保真度或迹距离下，实现测试未知混合态 ρ 是否接近已知目标态 σ 的最优样本复杂度。
• 设计鲁棒的认证算法，即使 ρ 并非精确等于 σ，只要足够接近，也能接受，从而确保对噪声量子器件的实际适用性。
• 将框架扩展至 ρ 和 σ 均未知的情形，仅使用 ρ⊗n 和 σ⊗n 的样本，实现对两个未知态之间的希尔伯特-施密特距离比较。

提出的方法

• 利用舒尔-外尔对偶性与酉群的表示理论，将 n 个副本的联合希尔伯特空间分解为由杨图标记的不可约表示。
• 采用弱舒尔采样，测量对应于杨图 λ ⊢ n 的对称子空间投影，从而估计 ρ 的多项式函数。
• 构建希尔伯特-施密特可观测量，作为舒尔-外尔投影算符与特征值函数的线性组合，实现对平方希尔伯特-施密特距离的无偏估计。
• 提出一种基于盖尔范德-策特林基和类型投影算符 (Πτ) 的替代可观测量，可在无需预先准备 σ 样本的情况下估计 D²_HS(ρ,σ)。
• 利用舒尔变换在舒尔基中执行联合测量，实现对可观测量的高效计算，时间复杂度为 poly(n, d)。
• 应用浓度不等式（如引理 2.1）证明估计器的方差为 O(1/n² + D²_HS/n) 量级，确保在 O(1/ε²) 个样本下实现可靠估计。

实验结果

研究问题

• RQ1 是否能够实现样本复杂度在 d 上亚二次的量子态认证，从而避免完整层析的 O(d²) 成本？
• RQ2 能否设计一种对目标态 σ 的微小偏差具有鲁棒性的认证协议，接受在保真度或迹距离上足够接近的态？
• RQ3 在保真度或迹距离下，认证未知态 ρ 是否接近已知态 σ 的最优样本复杂度是多少？
• RQ4 该框架能否扩展至比较两个未知态的情形，而无需事先了解任一状态，仅使用 ρ⊗n 和 σ⊗n 的样本？
• RQ5 如何利用表示理论工具（如舒尔-外尔对偶性）设计高效且低样本量的量子测量方案，以实现态认证？

主要发现

• 本文在保真度认证中实现了 O(d/ǫ) 个样本，与信息论下界在常数因子内一致。
• 在迹距离认证中，实现了 O(d/ǫ²) 个样本，即使 σ 未知，该结果仍为最优。
• 对于已知 σ 的情形，使用替代希尔伯特-施密特可观测量的算法仅需 O(1/ǫ²) 个样本，与 d 无关，且对希尔伯特-施密特距离具有鲁棒性。
• 当一个态近似低秩（秩 ≤k）时，样本复杂度可提升至 O(k/ǫ²)，反映出系统的有效维度。
• 该框架支持鲁棒认证：若 F(ρ,σ) < 1−ǫ，算法以高概率报告“远”；若 ρ=σ，则报告“近”。
• 所提估计器的方差被限制在 O(1/n² + D²_HS/n) 以内，确保了可靠的集中性，从而可在高概率下实现紧密的置信区间。