🔢 数学

Performing a Quantum Subroutine Using Cluster States

本文提出了一种在基于测量量子计算（MBQC）框架下，将相位预言机（phase oracle）作为可重用子程序的实验可行实现方案，该方案利用簇态（cluster states）提供了一种透明的测量模式及其副产物相关性（byproduct correlations）的公式化表达，解决了此前在通过 MBQC 演示 Grover 算法时缺乏显式预言机构建的问题。

原作者： Sakibul Islam Rayhan, Karima Hassan, Md Rasedujjaman, Md Mohsinur Rahman Adnan

发布于 2026-10-26

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Sakibul Islam Rayhan, Karima Hassan, Md Rasedujjaman, Md Mohsinur Rahman Adnan

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

在构建可用量子计算机的探索过程中，科学家们正在探索两种截然不同的让机器进行“思考”的方式。第一种方式是更为常见、也更为熟悉的，它就像构建一个由微小的物理开关组成、通过切换比特开启或关闭的电路。这就是基于门（gate-based）的模型，其中操作按顺序发生，非常类似于传统的计算机程序。第二种方法被称为基于测量的量子计算，它完全颠覆了这种逻辑。与其说是通过拨动开关，不如说这种方法始于一个巨大的、预先纠缠在一起的粒子网，通常被称为簇态（cluster state）。把这个网络想象成一个单一且复杂的物体，其中的每一个部分都与其他部分深度连接。为了执行计算，研究人员并不需要按下按钮；他们只需测量该网络中的单个粒子。测量一个粒子的行为会瞬间影响其相邻的粒子，从而将信息推向整个网络。由于测量过程会破坏被观察粒子的状态，因此这是一个单向的过程，会随着计算的进行而消耗掉这些资源。这种方法之所以具有吸引力，是因为它更容易利用光来实现，并且能避开困扰其他设计的噪声误差，但它要求我们对如何构建哪怕是最微小的程序构建模块，都要有一种全新的思维方式。

来自孟加拉国大学的一个研究团队在掌握这种第二种方法方面迈出了重要的一步，他们成功构建了一个特定的、可重复使用的工具——相位算谕（phase oracle）。在量子算法的世界里，算谕是一个“黑盒”，它通过标记一个独特的改变来识别问题的特定解，同时保持其他所有可能性不变。它是一个基础的子程序，是一个可以插入更大、更复杂算法中的模块化代码片段。虽然科学家们此前已经展示过如何使用这种基于测量的方法运行整个搜索算法，但他们往往跳过了对算谕本身的详细构建过程，而是将其视为一个既定的前提。这项新工作填补了这一空白。研究人员展示了如何基于测量框架构建一个两比特相位算谕，为如何从头开始利用实验上可行的纠缠粒子排列来创建这一核心组件，提供了一份清晰、透明的蓝图。

为了实现这一目标，团队设计了一个由六个量子比特（即量子信息的最小单位）组成的特定结构。他们将这六个粒子排列成一个网格，并使它们处于一种高度纠缠的状态，作为计算的原材料。其中两个粒子充当输入，携带待处理的信息，而另外四个粒子则充当执行操作的机械装置。随后，研究人员展示了如何通过对这些粒子进行特定的测量序列，将这个静态的粒子网转化为一个功能完备的算谕。成功的关键在于测量过程中所做的选择。通过仔细选择每个粒子被测量的角度或基底，研究人员可以引导信息的流动以瞄准特定的状态。例如，他们展示了如何配置测量方式，使系统能够翻转代表“11”的状态的相位，同时保持“00”、“01”和“10”不变。他们还演示了如何重新配置同一个物理设置来瞄准其他三种状态中的任何一种，证明了该子程序具有灵活性和可重用性。

该领域的一个主要挑战是证明基于测量的方法确实能实现与传统基于门的方法相同的功能。因为测量过程具有随机性，并会留下“副产物”——即必须进行修正的、不希望出现的副作用——如果处理不当，最终结果可能会显得杂乱无章。研究人员通过在计算机上模拟整个过程来追踪系统的数学状态解决了这个问题。他们将基于测量的设计输出与标准的基于门的电路预期输出进行了对比。为了使这种对比更加清晰，他们从一个对相位变化敏感的特定初始状态开始。模拟结果显示，在应用了针对测量随机性所需的修正后，基于测量的方法产生的最终状态与传统方法产生的状态完全一致。描述量子状态的数学描述——密度矩阵——也完美匹配，表明正确的相位翻转发生在目标状态上，而其他状态则保持不变。

这项工作并非声称已经在实验室中构建了一台运行这些算法的物理量子计算机，而是提供了一份经过严密验证的、用于如此操作的蓝图。作者建立了一个统一的框架，允许科学家将基于门的方法与基于测量的方法进行并排对比，展示了只要使用正确的测量模式，两者在操作上是等效的。通过将算谕分解为其组成部分，并展示测量与修正如何协同工作，这项研究消除了围绕这些子程序的神秘感。研究结果表明，随着研究人员转向更大规模、更复杂的量子任务，他们可以依靠这种基于测量的方法来构建模块化、可重用的组件。该框架旨在具有可扩展性，这意味着用于这两个比特系统的原则可以应用于更大规模的粒子网格，为开发更强大、更能应对阻碍进展的噪声错误的先进量子技术铺平了道路。

技术摘要：使用簇态执行量子子程序

问题陈述
量子子程序是构建大型量子算法所必需的模块化、可重用的组件。虽然这些子程序在基于门（gate-based）的量子计算中已经非常成熟，但在基于测量（MBQC）的量子计算实现中，往往缺乏显式且透明的构建方式，特别是关于预言机（oracle）部分。以往对 Grover 搜索算法在 MBQC 中的演示经常忽略了预言机子程序的详细构建，或者依赖于抽象的表示。目前需要一种明确的方法，来阐明如何利用实验上可行的簇态来实现相位预言机——这是一种通过翻转特定计算基态的相位来标记该状态的关键幺正操作。

方法论
作者提出了一个在 MBQC 范式下实现两比特 Grover 相位预言机的框架。该方法依赖于以下步骤：

簇态制备： 作者利用了一个排列为 $2 \times 3$ 网格的六比特纠缠资源态。该状态通过将比特初始化为 $|+\rangle$ 态（通过对 $|0\rangle$ 应用 Hadamard 门），并在特定晶格结构中根据相邻比特应用受控 Z (CZ) 门来生成。其纠缠结构由一组稳定器生成元（表 1）定义，确保该状态是特定相关算符的共同特征态。
通过测量模式构建预言机： 为了实现相位预言机，作者定义了针对簇态的具体测量模式。计算过程通过执行自适应单比特测量来推进。
- 输入比特 ( $q_0, q_1$ ) 被初始化在 XY 平面上，具有特定的旋转角度。
- 输入比特的选择测量基决定了哪个计算基态（ $|00\rangle, |01\rangle, |10\rangle,$ 或 $|11\rangle$ ）会接收到相位翻转。例如，为两个输入都选择 XY(0) 平面则针对 $|11\rangle$ 态，而其他组合则针对不同的状态（图 2）。
- 其余比特按顺序进行测量，以传播计算并实现逻辑 CZ 门的功用。
副产物相关性（Byproduct Correlation）： MBQC 中量子测量的固有随机性会引入副产物算符（Pauli 误差）。作者推导了必要的副产物相关性以纠正这些误差，从而确保逻辑演化符合预期的幺正变换。
通过密度矩阵进行验证： 为了验证实现效果，作者采用了密度矩阵模拟。他们将 MBQC 实现的输出密度矩阵与标准的基于门的电路模型进行对比。为了区分四种可能的预言机操作（在经过 CZ 门后，它们在计算基下可能看起来是相同的），他们使用了初始态 $|+\rangle \otimes |-\rangle$ ，该状态对预言机诱导的相位变化非常敏感。

核心贡献

显式的预言机公式化： 本文提供了在 MBQC 内实现两比特相位预言机的透明且数学化的构建方式，详细说明了特定的簇态表示、测量序列以及副产物相关性。
可行的资源态： 该工作展示了使用一个被描述为实验上可行的六比特簇态来实现该子程序。
比较框架： 作者建立了一种严谨的方法，通过分析输出密度矩阵来比较基于门和基于 MBQC 的子程序。这允许在两种模型之间进行直接的操作等效性检查。
电路与模拟： 本文展示了相应的 MBQC 测量电路，并包含了密度矩阵模拟，这些模拟验证了在标记态上发生正确的相位反转，同时保持未标记态不变。

结果
模拟结果证实，MBQC 实现成功地复现了基于门的相位预言机的行为。

密度矩阵验证： 对于所有四种标记态配置（ $|00\rangle, |01\rangle, |10\rangle, |11\rangle$ ），由 MBQC 电路生成的输出密度矩阵的实部均表现出与其基于门的对应物相同的结构特征。
相位反转： 结果显示了在特定标记态上预期的相位反转，而所有未标记分量保持不变。
操作等效性： 所有配置的一致性验证了测量模式结合解析推导的副产物算符，成功实现了底层簇态上预期的预言机变换。

意义与主张
本文声称建立了一个用于比较基于门子程序与其基于簇态等效物的“统一且严谨的框架”。作者强调，虽然出于物理可行性的考虑，目前的分析仅限于小规模比特配置，但该框架可以自然地扩展到更大的系统和更复杂的任务。这项工作并非声称解决了大规模量子计算问题，而是提供了一种分析、验证和扩展 MBQC 实现的基础性、结构化方法。通过证明预言机在两种模型中的操作等效性，本文为 MBQC 的理论理解做出了贡献，并通过展示复杂算法如何分解为模块化的基于测量的子程序，支持了可扩展量子技术的实际发展。

类似论文