Certifying classes of $d$-outcome measurements with quantum steering

本文提出了一类适用于半设备独立场景的 steering 不等式族，用于认证大类的 $d$ 维结果投影测量和最大纠缠态，并证明其最大量子违背能够在不假设纯态或投影测量的情况下实现鲁棒的自测试。

要点

想象你是一名侦探，试图验证一把神秘的高科技锁（即量子设备）是否真实。通常，要证明一把锁是真实的，你必须将其拆解，检查每一个齿轮和弹簧，并确切了解制造商是如何构建它的。这类似于“全设备认证”，但它昂贵、缓慢，并且需要你信任制造商关于其所用工具的描述是真实的。

“设备无关认证”是一种更聪明的方法：你只需尝试用万能钥匙开锁。如果它以一种对假锁而言数学上不可能的方式打开，你便无需窥探内部即可确认它是真的。然而，这种“万能钥匙”方法在现实世界中极难使用，因为它需要海量的测试。

“ steering（ steering）”捷径
本文介绍了一种折中方案，称为“半设备无关（SDI）认证”，具体使用了一个名为“量子 steering"的概念。

想象这是一场发生在两个分别位于不同房间的人——爱丽丝和鲍勃——之间的游戏。

• 爱丽丝是“可信侦探”。她拥有一套已知且可靠的工具（测量手段），她确切知道这些工具完美有效。
• 鲍勃是“怀疑者”。他拥有一个神秘的工具箱（测量手段），我们对它一无所知。这些工具可能是坏的、假的，或由不同材料制成。

目标是证明鲍勃的神秘工具箱中包含特定且高质量的工具，并且爱丽丝与鲍勃之间的“连接”（量子态）是一条完美、最大纠缠的纽带。

本文的核心思想：“海森堡 - 外尔”配方
作者创建了一类新的“测试”（称为 steering 不等式），用于检查鲍勃的工具箱。

1. 配方：他们聚焦于一个特定的量子测量家族，该家族可被描述为一种“配方”，将称为“海森堡 - 外尔算符”的基本构建模块混合在一起。将这些算符想象成量子力学的基本原料（如面粉、糖和鸡蛋）。鲍勃的工具仅仅是这些原料的特定组合。
2. 测试：作者设计了一个数学不等式（记分卡）。如果爱丽丝和鲍勃使用他们的特定工具进行游戏，且得分达到绝对可能的最大值，这将证明两点：
   • 他们之间的连接是一条完美的“量子绳索”（即最大纠缠态）。
   • 鲍勃的神秘工具正是作者预测的特定“配方”，即使我们从未查看过他的工具箱内部。
3. 魔术：最令人惊叹的是，即使存在以下情况，该证明依然有效：
   • 他们之间的连接并非完美、纯净的绳索（它可能是一条略微杂乱、混合的绳索）。
   • 鲍勃的工具并非完美的“投影”测量（它们可能略微模糊或不完美）。
   • 尽管存在这些不完美，如果他们达到了最高分，我们便能确知，在本质上，他们使用的是完美的工具和完美的连接。

“噪声”因素
本文还检验了该测试的稳健性。在现实世界中，事物会受到噪声干扰（就像电话中的杂音）。作者表明，即使得分并非“完美”地处于最大值，但只要非常接近，我们仍可确信鲍勃的工具和连接非常接近理想版本。这就像听到一首略微走调的歌曲，却依然能完美辨认其旋律。

为何这很重要
此前，要认证这些复杂的量子工具，你必须进行海量测试（就像检查汽车引擎中的每一个齿轮）。而新方法则如同通过听引擎的声音和观察速度来判断其是否为正确型号。它在显著降低成本和努力的同时，仍允许科学家认证一大类非常有用且广泛的量子测量。

总结：
本文为量子侦探提供了一份新的、高效的“作弊表”。它使他们能够验证一个神秘的量子设备是否使用了特定且复杂的测量，并通过完美的量子连接，而无需信任设备内部的工作原理或进行令人筋疲力尽的大量测试。即使设备存在轻微噪声或不完美，该方法依然有效。

技术摘要

技术摘要：利用量子导引认证 d 维结果测量类

问题陈述
设备无关（DI）认证方案，特别是基于贝尔不等式的自测试，通过对底层硬件提出最小假设，为量子态和测量提供了最强形式的验证。然而，这些方案通常实施成本过高，需要大量的测量设置（例如，对于 d 维空间中的实投影测量，需要 $O(d^3)$ 个设置）来认证单个态或可观测量。半设备无关（SDI）方案，如基于量子导引的方案，通过假设一方（Alice）执行可信的、已知的测量，而另一方（Bob）执行不可信的、任意的测量，提供了一种折中方案。尽管之前的 SDI 自测试工作已针对特定测量类（例如，互 unbiased 基）进行了研究，或者要求可信方针对每个新目标改变测量，但仍需要一个通用框架，能够利用一组固定的可信测量来认证广泛的 d 维结果测量类。

方法论
作者提出构建一组导引不等式，专门用于认证不可信方（Bob）上的大量 d 维结果投影测量。该场景涉及 Alice 和 Bob 两方，共享一个局部维度为 d 的任意双体态 $\rho_{AB}$。

• Alice 的设置：Alice 执行 d 个可信的、已知的投影测量，由海森堡 - 外尔（HW）算符定义：$A_x = XZ^{-x}$，其中 $X$ 和 $Z$ 是广义泡利算符。
• Bob 的设置：Bob 执行 d 个任意的 d 维结果测量 $B_y$。待认证的靶测量定义为 HW 算符的幺正线性组合：$B_y = \frac{1}{d} \sum_{k,j} e^{i\phi_{j\oplus 1, y}} \omega^{-kj} XZ^k$，其中 $\{\phi_{j,y}\}$ 是满足特定约束的实参数。
• 导引不等式构建：作者利用测量结果的傅里叶变换定义广义关联函数。他们构建了一个导引算符 $S$，作为 Alice 的 HW 算符幂次与 Bob 构建的算符 $\tilde{B}^{(n)}_k$ 的张量积之和。系数 $\gamma^{(n)}_{yk}$ 的选择使得参考测量满足正交条件，从而允许通过逆线性组合分离出特定的 HW 幂次。
• 自测试框架：本文开发了一种自测试证明，不假设共享态是纯态，也不假设 Bob 的测量是投影测量。它利用平方和（SOS）分解来确立量子界限，并推导了最大违背所需的条件。

主要贡献与结果

1. 广义导引不等式：本文提出了一族导引不等式（公式 23），专门针对 Bob 侧海森堡 - 外尔算符的任意线性组合。与之前要求可信方调整其测量的工作不同，无论 Bob 被认证的具体靶测量是什么，Alice 都执行一组固定的测量（$A_x = XZ^{-x}$）。
2. 最大量子违背：作者证明了这些不等式的最大量子值为 $\beta_Q = d(d-1)$。该最大值由两个 qutrit 的最大纠缠态 $|\phi^+_d\rangle$ 以及由选定参数 $\{\phi_{j,y}\}$ 定义的特定参考测量唯一实现。
3. 鲁棒自测试定理：
   • 定理 1 和 2：作者证明了导引不等式的最大违背意味着共享态等价于最大纠缠态（在局部幺正变换和辅助系统的意义下），且 Bob 的测量等价于靶参考测量。关键在于，即使初始态是混合态且 Bob 的测量是非投影的，该结论依然成立。
   • 定理 3（鲁棒性）：针对 qutrit 情况（$d=3$），论文提供了鲁棒性分析。结果表明，如果观测值与最大违背值的偏差在 $\epsilon$ 范围内，则态和测量与理想参考的接近程度与 $\epsilon^{1/4}$ 成正比。
4. 经典界限：本文针对 qutrit 情况，通过数值和解析方法计算了特定参数集下的经典界限 $\beta_C$，结果显示 $\beta_C < \beta_Q$，确保了不等式的非平凡性及其自测试能力。

意义
本文声称扩大了半设备无关认证的范围。通过构建能够利用一组固定可信测量来认证广泛 d 维结果测量类的导引不等式，作者提供了一条通往更通用且成本低于全设备无关方案的量子认证协议的路径。该工作证明了在导引场景下，针对混合态和非投影测量的自测试是可行的，解决了以往 DI 和 SDI 方法的局限性。作者指出，虽然他们的方案相比全 DI 方案降低了测量复杂度，但关于如何将测量数量从 d 减少到导引所需的最小值 2，以及如何将这些不等式扩展到全设备无关场景，仍是一个未解决的问题。