想象你拥有一台巨大且极其复杂的量子机器，它由数百个微小部件（量子比特）组成。你想知道它是否正常工作，以及它是否具备特殊的“量子魔力”（如纠缠或高复杂度）。

问题在于，检查整台机器就像试图阅读一本百万页书籍中的每一页，只为找出一个错别字。这耗时太长、成本太高，且在实际中几乎不可能实现。

本文介绍了一种巧妙的检查这些机器的新方法。你无需阅读整本书，只需阅读几页，但要以一种非常特定的方式进行，从而让你了解整个故事的全貌。

以下是他们方法的分解，使用简单的类比说明：

1. 核心理念：“可局域化的量子性”

将量子系统想象成一幅巨大而复杂的挂毯。通常，如果你从挂毯上剪下一小块方布，它看起来只是一堆杂乱的线头，无法告诉你整幅画面的全貌。

作者发现了一种他们称之为“可局域化的量子性”的特殊属性。他们发现，对于许多复杂的量子态而言，整幅挂毯的“特殊性”实际上隐藏在其微小的局部区域中。

类比：想象一支庞大的交响乐团正在演奏交响曲。如果你聆听整个房间，那是一堵声音之墙。但作者发现，如果你将麦克风仅放在一把小提琴（一个小部件）上，而让乐团其余部分演奏特定的随机节奏，那把小提琴会突然开始演奏一段旋律，证明整个乐团正在演奏一首复杂、高水平的交响曲。整个群体的“复杂性”被“浓缩”到了那一个微小的点上。

2. 方法：“阴影”技巧

他们如何检查这个微小区域？

第一步：大切割。 他们对巨大的量子系统进行测量，测量其大部分（即“补集”）。这就像要求乐团其余部分演奏一个特定的随机音符，然后保持沉默。
第二步：投影。 由于量子物理定律，测量大部件会迫使小部件（即“子系统”）坍缩到一个特定状态。这被称为“投影系综”。
第三步：比较。 随后，他们简单地观察这个坍缩后的小状态。他们将其与机器完美时预期的状态进行比较。

类比：这就像侦探破案。侦探不需要采访城市里的每一个嫌疑人（整个系统），而是要求城市以某种特定方式“冻结”。当城市冻结时，一名证人（小子系统）会站出来。如果该证人的样子与侦探预期的“完美”证人完全一致，侦探就知道整个城市是无辜的。如果证人看起来怪异，则整个系统存在缺陷。

3. 为何这是颠覆性的变革

以往的方法存在两个大问题：

需要过多样本：为了确信，你必须检查系统数千次甚至数百万次。
脆弱性：如果机器哪怕有一点点噪声（就像一把略微走调的小提琴），测试就会失败，即使机器大部分功能正常。

本文的解决方案：

恒定样本：他们的方法仅需固定且极少量的样本，无论机器有多大。无论你是拥有 10 个量子比特还是 1,000 个量子比特，你只需检查几次。这就像只需聆听 5 秒钟就能知道乐团是否在演奏交响曲，而不需要 5 个小时。
鲁棒性：即使机器有些“噪声”或不完美，该方法依然有效。它能区分“大部分良好”的机器和“完全损坏”的机器。
混合态：即使机器不处于完美的纯态（这在现实中几乎总是如此），该方法依然有效。

4. 他们能检查什么

利用这种“小补丁”方法，他们可以认证三件主要事项：

纠缠：证明机器的某些部分以经典计算机无法实现的方式深度连接。
电路复杂度：证明机器正在执行真正困难且复杂的任务，而不仅仅是简单的把戏。
量子魔力：证明机器拥有高级量子计算任务所需的特定“燃料”（非稳定子态）。

5. “随机基”的额外优势

为了检查机器与确切理想状态（保真度）的接近程度，他们增加了一个转折：他们不再仅以一种方式测量大部件，而是以随机方向进行测量（就像从不同角度观察挂毯）。

结果：他们在数学上证明，对于某些类型的态（如“图态”），这种随机方法同样只需恒定且极少量的样本即可生效。
证据：对于其他类型的态，他们的计算机模拟强烈表明该方法同样有效，尽管他们尚未在数学上证明其适用于每一个可能的态。

总结

本文指出：“我们发现了一种方法，只需观察巨大且复杂的量子计算机的微小部分，并在要求其剩余部分执行特定的随机‘舞蹈’后，即可检查其是否正常工作。这种检查速度快（恒定样本）、抗噪声能力强，且适用于多种不同类型的量子‘魔力’。”

这为科学家提供了一套实用工具，使他们能够在不需要不可想象的时间或资源的情况下，验证大规模量子处理器。

技术摘要：以恒定样本复杂度认证可局域化量子特性

问题陈述

刻画日益复杂的量子系统是量子信息科学的核心挑战。虽然全态层析可提供完整信息，但其实验成本随系统规模呈指数级增长，使得其在大规模设备上变得不可行。现有的依赖简单局域测量的认证协议面临显著局限：它们通常针对特定状态或特性定制，需要苛刻的自适应测量方案，仅能保证对纯态的可靠性，或遭受随系统规模增长的样本复杂度及随噪声增加而减弱的鲁棒性。因此，亟需一个通用、可扩展且实验可行的框架，仅利用具有恒定样本复杂度和鲁棒性的局域测量来认证全局量子特性（如纠缠、电路复杂性和量子魔力），即使对于混合态也是如此。

方法论

作者引入了一种基于物理现象的统一认证框架，他们将其称为可局域化量子性（localizable quantumness）。核心见解在于：对于通用多体态，在全局量子特性在对其余部分进行局域投影测量后，会在小子系统上的投影系综中得到鲁棒保持。

该方法论分为三个主要阶段：

划分与投影：将 $n$ 量子比特系统划分为一个小的、可访问的子系统 $A$ 和一个大的补集 $B$ 。在 $B$ 上执行局域投影测量（通常在计算基下，但也提出了随机基变体）。这在子系统 $A$ 上生成了一个投影系综 $\mathcal{E}_\rho = \{p_\rho(z), \rho_z\}$ ，其中 $z$ 是测量结果， $\rho_z$ 是 $A$ 上生成的状态。
条件保真度见证：该框架定义了一个条件保真度可观测量 $\eta_\psi(\rho)$ $η_{ψ} (ρ)$ ，作为目标特性 $P$ $P$ 的见证。该可观测量比较实验态 $\rho$ $ρ$ 的投影系综与已知目标态 $\psi$ $ψ$ 的投影系综。具体而言，它评估投影态 $\rho_z$ $ρ_{z}$ 与 $\psi_z$ $ψ_{z}$ 之间的系综平均局域保真度，并减去 $\psi_z$ $ψ_{z}$ 与任何“自由”态（缺乏特性 $P$ $P$ 的态）的最大保真度。
- 如果目标态 $\psi$ 表现出可局域化量子性，即使在对 $B$ 进行测量后，其投影态 $\psi_z$ 仍远离自由投影态集合（ $F_{PP}$ ）。
- 因此， $\eta_\psi(\rho)$ 对 $\psi$ 产生正值，但对任何自由态 $\rho \in F_P$ 保持非正值。
通过局域阴影估计：该协议仅使用小子系统 $A$ 上的非自适应局域泡利测量来估计 $\eta_\psi(\rho)$ 。通过采用局域经典阴影和均值中位数估计量，该协议高效地估计了所需的系综平均值。这避免了直接在整个投影系综上评估非线性量这一不可行的任务。

主要贡献

本文在理论和实践方面做出了多项贡献：

可局域化量子性的形式化：作者形式化了这样一个概念：全局量子资源（纠缠、复杂性、魔力）可以通过对补集的局域测量集中到小子系统上。他们证明了这一现象在哈阿随机态、随机砖墙电路态以及由浅层混沌电路生成的通用态中以高概率成立。
恒定样本复杂度：该协议实现了 $O(1)$ 的样本复杂度，用于认证双分纠缠、量子魔力和电路复杂性（针对恒定深度），前提是子系统大小 $|A|$ 为常数。这代表了相对于以往方法的指数级改进，以往方法的样本复杂度通常随系统规模增长。
混合态的可靠性：与许多局限于纯态的先前方法不同，该框架保证了混合态的可靠性。它能鲁棒地拒绝任何缺乏目标特性的混合态。
恒定鲁棒性：该协议对偏离目标态的情况保持恒定级别的鲁棒性（ $\epsilon = \Omega(1)$ ）。这比鲁棒性随 $O(1/\text{poly}(n))$ 减弱的现有方法有了显著改进，使得该协议适用于现实中的含噪声中等规模量子（NISQ）设备。
针对多样化特性的统一框架：该框架被应用于认证：
- 量子电路复杂性：认证状态所需的电路深度超过恒定阈值，包括测量辅助电路。
- 纠缠：认证跨越指数级数量划分的双分纠缠，以及完全不可分纠缠（跨越所有双分划的纠缠），其样本复杂度为对数级 $O(\log n)$ 。
- 量子魔力：仅使用单副本局域测量认证非稳定子特性，这是混合态可靠性的首次实现。
- 态保真度：提出了一种增强随机基的变体以认证全局态保真度。作者证明了随机图态具有恒定样本复杂度和鲁棒性，并为通用态提供了强有力的数值证据。

结果

本文提出了严格的证明和数值模拟，支持以下结果：

理论保证：定理 1 确立，对于任何具有可局域化量子性度量 $LQP(\psi) = \Omega(1)$ 的特性，该协议实现了恒定样本复杂度、恒定鲁棒性以及对混合态的可靠性。
复杂性认证：该协议成功认证了由随机砖墙电路生成的态和深度热化态的高电路复杂性（包括幺正和测量辅助）。
纠缠认证：对于完全不可分纠缠，该协议通过在所有最近邻对之间重用单个数据集，将样本复杂度从系统规模的线性级降低到对数级。对哈密顿量基态（XXZ 和 $J_1-J_2$ 链）的数值研究证实，可局域化纠缠在临界区域保持非零。
魔力认证：对高达 512 个量子比特的魔力注入电路的数值模拟表明，可局域化魔力有效地集中，允许以恒定样本复杂度和对去极化噪声的高鲁棒性进行高效认证。
保真度认证：对于随机图态，证明了条件保真度可观测量的谱隙为常数（ $\Omega(1)$ ），从而确保高效认证。数值证据表明，这种标度可扩展到由多项式深度电路生成的通用态。

意义

作者声称，这项工作确立了可局域化量子性作为理解多体量子系统的统一原则，并为认证大规模量子处理器提供了实用、可扩展的工具包。

可扩展性：通过仅依赖局域泡利测量并实现恒定样本复杂度，该方法克服了传统层析和许多现有认证协议的指数级扩展障碍。
实验可行性：测量的非自适应性质以及认证混合态的能力，使得该协议与当前及近期的量子硬件高度兼容，这些硬件通常缺乏长寿命量子存储器或自适应反馈能力。
新视角：这项工作将全局认证重构为局域问题，为探测复杂现象（如测量诱导相变、拓扑序和量子资源的集中）提供了新颖的视角。
广泛适用性：该框架适用于广泛的物理相关态，包括由哈密顿量动力学和随机电路生成的态，弥合了理论认证与实验基准测试之间的差距。

本文最后指出，虽然当前的复杂性见证针对相对较浅的电路，但复杂性集中现象表明将这些方法扩展到更高复杂性具有潜力。未来的方向包括发展可局域化魔力理论，并将该框架扩展以更广泛地认证混合态的特性。

Certifying localizable quantum properties with constant sample complexity