强大的计算能力的未来可能不在于建造一台单一的、庞大的机器，而在于将许多较小的机器连接起来。在量子计算领域，信息存储在被称为量子比特（qubits）的脆弱粒子中，将规模扩大到解决复杂问题所需的程度是一个巨大的工程挑战。为了克服这一难题，科学家们正在开发分布式量子计算，这是一种将独立的量子处理器连接在一起，使它们能够作为一个更大的单一系统协同工作的策略。这种方法依赖于量子通信，特别是共享一种被称为“纠缠”的特殊连接，它允许远端的机器瞬间协调它们的行动。然而，这种连接是一种珍贵的资源；创建和维持它需要消耗能量和时间，而且用于管理它的硬件可能会迅速超过每个设备上有限的量子比特数量。研究人员的核心问题一直是：是否可能在利用绝对最小量的共享连接的同时，保持额外的硬件需求处于较小且可控的范围内，从而高效地执行这些复杂的联合计算。
一组研究人员现在为一类主要的量子操作提供了明确的答案，表明在不需要大量额外硬件的情况下，也可以达到最高效的理论极限。在他们的工作中，他们专注于一种被称为克利福德幺正变换（Clifford unitary）的特定量子操作，这类操作构成了许多纠错量子系统的骨干。对于这些操作，一种被称为算符施密特秩（operator Schmidt rank）的基本数学属性设定了执行该任务所需共享纠缠量的硬性下限。此前已知这一极限是可以达到的，但前提是研究人员愿意使用大量的额外量子比特来存储必要的量子态，而这种成本使得该方法对于空间受限的设备而言并不实用。这项新研究证明，这种权衡是不必要的。研究人员证明，对于每一类此类操作，都可以使用每个处理器不超过两个额外的量子比特来实现最小可能的共享纠缠量。这一发现有效地消除了这类关键量子任务在理论效率与实际硬件限制之间的障碍。
为了得出这一结论，该团队开发了一种方法，将任何复杂的量子操作分解为一系列更简单、更基础的构建模块。他们证明了无论整个系统有多大，每个基本模块都可以使用极少量、固定的额外硬件来执行。通过精心排列这些模块并在此过程中重复使用同一组微小的额外量子比特，他们确保了总体的资源成本保持恒定。这种方法使他们能够构建一个完整的协议，能够完全按照预期执行整个计算，且仅消耗物理定律所要求的最小共享纠缠量。其结果是，为分布式量子计算提供了一份蓝图，这份蓝图不会迫使工程师在效率与可行性之间做出选择；他们可以两者兼得。
研究人员还将他们的发现扩展到了涉及特殊门（T 门）的更复杂的运算，而这种特殊的门对于执行全范围的量子计算是必不可少的。对于这些更困难的操作，他们确定了额外纠缠所需的明确上限。他们发现，额外的成本与计算中使用的这些特殊门的数量成正比增长，但并不取决于电路的整体规模或深度。至关重要的是，即使对于这些更复杂的任务，该方法仍然只需要每个处理器两个额外的量子比特。这意味着，随着量子算法变得越来越复杂，硬件开销并不会失控，且共享连接的成本也是可预测且可控的。
这项工作阐明了构建大规模量子网络的路径。通过证明共享连接的最有效利用方式可以与严格的硬件限制相兼容，该研究消除了该领域的一个重大不确定性。它表明，将许多小型量子处理器连接成一个强大整体的梦想，并不需要不切实际的大量额外内存或硬件。相反，通过正确的策略，这些系统可以在物理极限的边缘运行，仅使用少量的额外资源来弥合不同机器之间的差距。这些发现为设计下一代分布式量子计算机提供了坚实的理论基础，确保了利用这些系统解决世界上最复杂问题的路径依然畅通且高效。
技术摘要：降低分布式二分量子计算中具有常数比特开销的纠缠代价
问题陈述
分布式量子计算（DQC）通过量子通信连接多个量子处理单元（QPU），以执行超出单个设备容量的大规模任务。DQC 中的一个关键挑战在于平衡两个相互竞争的资源约束：纠缠代价（消耗的共享 Bell 对数量）和量子比特开销（除输入态外所需的辅助量子比特数量）。
现有文献表明，对于二分幺正变换（bipartite unitaries）的精确确定性实现，算符施密特秩（OpSch(U)）为纠缠代价提供了基础下界，且该下界在量子比特开销不受限制时成立。具体而言，纠缠对数量 k 必须满足 k≥⌈log2OpSch(U)⌉。虽然这种方法对于使用门遥测（gate teleportation）的 Clifford 幺正变换是已知的可达界，但此类方法通常需要存储幺正变换的 Choi 态，从而导致量子比特开销与系统规模（例如 2nA,2nB）成正比。
本研究解决的核心问题是：在将量子比特开销限制为常数（与系统规模无关）的情况下，是否可以接近或达到这一最优纠缠下界。先前的研究通过优化门放置或分组来减少在量子比特约束下的通信量，但尚未确定在这些严格的常数开销条件下，理论上的纠缠下界是否可达。
方法论
作者在纠缠辅助模型中分析了该问题，在该模型中，非局部门通过受共享 Bell 对辅助的局部操作与经典通信（LOCC）来实现。该协议允许中间测量、量子比特重置以及辅助量子比特的复用。
Clifford 幺正变换：
作者引入了一个分解引理（引理 2），将任何二分 Clifford 幺正变换 Uc 分解为一系列“基本块”。一个基本块被定义为围绕三种核心操作之一（即恒等变换 IA⊗IB、非局部受控 Z 门 CZAB 或非局部 SWAP 门 SWAPAB）进行的局部 Clifford 变换。
- 作者证明，对于任何 Clifford 幺正变换，存在一个分解 Uc=eiθG1G2…GN，使得各块的算符施密特秩之对数之和等于总幺正变换的算符施密特秩之对数：∑log2OpSch(Gj)=log2OpSch(Uc)。
- 他们证明了每个基本块可以用极少的纠缠（分别为 0、1 或 2 个 Bell 对）来实现，且具有至多 (1,2) 的常数量子比特开销。
- 通过顺序实现这些块并在步骤之间重置/复用辅助量子比特，总开销保持为常数。
非-Clifford 幺正变换（Clifford+T）：
对于由具有 t 个 T 计数（T-count）的 Clifford+T 分解指定的幺正变换，作者通过交换 Clifford 因子来隔离非-Clifford 组件，从而构建其实现方案。
- 他们表明，非-Clifford 组件可以转化为一系列由单量子比特（或局部操作）控制的幺正变换序列，每个序列最多只需一个 Bell 对和常数开销即可实现。
- 总纠缠代价被限制在底层 Clifford 结构的下界加上一个取决于 T 计数的额外项。
主要贡献与结果
Clifford 幺正变换下界的可达性：
论文证明了定理 3：每个二分 Clifford 幺正变换都允许一种精确确定的 LOCC 实现，该实现消耗恰好 ⌈log2OpSch(Uc)⌉ 个 Bell 对（理论最小值），同时每方最多使用两个辅助量子比特（量子比特开销为 (2,2)）。这一结果证实，将量子比特开销限制为常数并不会增加 Clifford 操作的最小纠缠代价。
非-Clifford 幺正变换的上界：
论文提出了定理 4：对于由 Clifford+T 分解定义的二分幺正变换 U，存在一种量子比特开销为 (2,2) 且消耗 K 个 Bell 对的实现方式，其中：
K≤⌊log2OpSch(U)⌋+2t
该界限表明，超额纠缠代价随 T 计数线性缩放，且与电路深度或总门数量无关。
与现有方法的比较：
通过一个特定的四量子比特示例（图 5），作者展示了其分解方法实现的纠缠代价为 3 ebits。这严格低于以往的方法：在相同的固定量子比特分配下，超图法（Andrés-Martínez 和 Heunen）需要 5 ebits，而打包法（Wu 等人）需要 4 ebits。
意义与主张
作者声称，这项工作解决了关于算符施密特秩下界在常数量子比特开销下是否可达的开放性问题。
- 对于 Clifford 幺正变换，答案是肯定的：最优纠缠代价可以通过仅有两个辅助量子比特（每方）的常数开销来实现。
- 对于 非-Clifford 幺正变换，这项工作提供了一个关于“超额”纠缠代价的具体上界，表明该代价仅由分解中的 T 计数决定。
论文也谦虚地承认，对于非-Clifford 幺正变换，所推导的上界不一定是紧确的，且在量子比特空间约束下的精确最小纠缠代价仍是一个开放问题。然而，研究结果确立了常数量子比特开销足以接近广泛类量子操作的纠缠效率基本极限，从而促进了更具资源效率的分布式量子计算架构。
每周获取最佳 quantum physics 论文。
受到斯坦福、剑桥和法国科学院研究人员的信赖。
请查收邮箱确认订阅。
出了点问题，再试一次？
无垃圾邮件，随时退订。