数字-模拟反绝热驱动如何无测量制备表面码态？

初始化是哈密顿量控制问题，而非测量问题

重复的表面码纠错依赖稳定子测量、辅助比特重置和经典解码。在这些循环能够保护任何信息之前，处理器必须已经处于或接近目标稳定子码态。论文把这一初始化步骤当作独立问题处理：从易于制备的乘积态出发，相干地演化到目标哈密顿量，其基态空间定义了所需的码态。

这一重新定位之所以重要，是因为目标不是读出泡利稳定子，而是相干地生成它们共同本征空间的多比特关联。绝热演化提供了一条无测量路径，但其运行时间受多体能隙闭合和有限相干时间限制。在实验可及的运行时间下，非绝热激发会降低最终基态保真度，而这正是反绝热驱动要弥合的差距。

稳定子几何决定需要哪些反绝热算符

相互作用多体系统中的精确绝热规范势通常是非局域的，包含难以直接实现的高权重泡利算符。因此论文采用 Sels-Polkovnikov 变分原理，在受限的算符流形内优化近似规范势。问题于是变成：哪些算符属于该流形。

对于本文研究的表面码插值，答案由稳定子几何给出。初始哈密顿量是横向 Z 场，目标是 X 型和 Z 型稳定子。由于 Z 型稳定子与驱动项对易，它们对主导的局域规范势没有贡献。反绝热项来自 X 型稳定子：每个稳定子生成把其中一个 X 替换为 Y 所得到的算符。体元胞 XaXbXcXd 产生 YaXbXcXd 等四体项，边界稳定子 XaXb 产生 YaXb 等两体项。

对 3×3 元胞，这给出十二个候选反绝热算符：来自两个体元胞的八个四体项，以及来自边界稳定子的四个两体项。论文还与一阶嵌套对易子拟设作了比较，后者包含相同的体和边界单 Y 算符，但通过单一系数固定所有相对振幅，而变分构造独立确定每个系数。

缀饰成对交换可生成所需的四体算符

近期超导处理器提供原生的一比特和二比特控制，而相关的反绝热修正却是非斯托克斯型的高体泡利项。论文用数字-模拟合成弥合这一差距：原生模拟交换相互作用加上短数字缀饰层。

原生模拟资源是硬件图上的 XY 交换哈密顿量，每条边上有可编程耦合。匹配——一组两两不相交的边——指定哪些量子比特对并行缀饰，局域基选择把缀饰后的相互作用旋转到不同的泡利算符。用这些缀饰电路共轭原生交换块，可产生两体、三体和四体算符。由于每个缀饰层由作用于不相交对的二比特门组成，单层就能把算符权重从二提升到四，这正是元胞反绝热项所需的局域性。

该构造颠倒了通常的工作流程。它不是先构造变分规范势再把其多体泡利算符编译成原生门，而是先确定硬件能够生成的多体算符流形，再把这一硬件生成的算符池用作规范势的变分拟设。求解 Sels-Polkovnikov 方程只给生成算符中的一小部分赋予最优系数，从而同时确定相关算符及其系数。每个保留下来的算符都可追溯到生成它的缀饰电路和模拟耦合。

短时间下反绝热驱动优于纯绝热演化

数值基准使用 3×3 元胞，即距离 d = 3 的旋转表面码。其体稳定子为 Z0Z1Z3Z4、X1X2X4X5、X3X4X6X7 和 Z4Z5Z7Z8，边界稳定子为 X0X3、X5X8、Z1Z2 和 Z6Z7，共八个稳定子，在 J = h 时无量纲基态能量为 −8。

基态制备动力学在总运行时间 T = 1 内模拟，离散为十个大小为 Δt = 0.1 的步长，采用线性调度。在这一短运行时间内，纯绝热演化无法到达目标基态空间。嵌套对易子反绝热驱动改善了制备，数字变分反绝热驱动给出最高最终保真度，而硬件原生的数字-模拟实现与全数字变分方案保持接近。这种接近正是所选缀饰交换块捕捉到主导反绝热结构、而非偶然子集的证据。

资源比较以每个 Trotter 步为单位

对 3×3 基准，论文以原生二比特交换门、单比特旋转和模拟块为单位报告每个 Trotter 步的资源。在混合数字-模拟实现中，变分规范势选出的十二个四体算符里有六个用缀饰模拟块合成，而两体边界算符用数字方式实现并计入所报告的计数。

数字-模拟构造使用 25 个二比特门、8 个单比特旋转和 4 个模拟块，共 28 个显式操作。全数字变分方案使用 211 个二比特门和 92 个 iswap 门，共 305 个操作；数字嵌套对易子方案使用 238 个二比特门和 108 个 iswap 门，共 340 个操作。这些是同一反绝热任务的不同分解，因此比较的是所需算符如何被合成，而不是不同的物理目标。

匹配迁移在缩小搜索的同时保持四体覆盖

对含 n² 个数据比特的 n×n 旋转元胞，(n−1)² 个体检查和 2(n−1) 个边界检查给出 n²−1 个稳定子，稳定子局域的变分反绝热基对奇数 n 含 2n(n−1) 个算符，对偶数 n 含 2n(n−1)−2 个算符。两者都按 O(n²) 标度。

主要经典成本来自枚举硬件图的可行匹配。对固定最大规模的匹配，候选数由边数的多项式界定，因此对固定最大匹配规模具有多项式预处理复杂度。对 4×4 晶格，论文复用 3×4 参考系统上选出的局域匹配模式，并生成其有效的平移、旋转和反射副本。这一迁移池只含六个匹配，而暴力 4×4 搜索有 2593 个候选，却仍覆盖全部 16 个所需四体反绝热项。只迁移匹配结构；变分系数和相应耦合针对 4×4 哈密顿量重新计算。

论文把构造推广到 n×m 稳定子晶格，并报告数字-模拟合成可把纠缠深度降低一个数量级。与该结果同时给出的限制是：缀饰不会生成给定哈密顿量的所有项，因此仍需枚举相关匹配对。

噪声下相干方案接近基于测量的制备

对 3×3 元胞，论文在硬件启发的噪声模型下把相干制备方案与基于测量的稳定子制备方案作比较。噪声模拟在密度矩阵层面进行，使用无量纲参数 η 统一缩放基线错误概率，η = 0 为理想演化，η = 1 定义参考硬件设置。稳定子概率在 η = 0.5 处评估。

在该比较中，基于测量的方案达到最高保真度。数字-模拟反绝热实现接近其性能，同时保持完全相干且无测量，并在所研究的噪声范围内显著优于全数字反绝热驱动和纯绝热演化。数字门开销降低是论文给出的数字-模拟版本在该噪声模型下更稳健的原因。

它制备码态，但不运行纠错

该方案处理的是表面码的态制备，而非量子纠错本身。制备满足稳定子约束的态是逻辑态初始化的前提，论文把其贡献定位为一条相干、无测量的硬件原生稳定子码态制备路径。

该构造不限于稳定子哈密顿量。其核心要素是在执行变分规范势优化之前，从原生两体相互作用生成高阶反绝热算符流形。在本实现中，基变换和基于匹配的缀饰从原生 XY 相互作用生成最高四体局域性的算符。扩展缀饰结构、匹配模式或序列深度，可能获得更大的算符流形和更高体相互作用。

对权衡近期超导初始化的读者而言，最具决策相关性的结果是论文量化的取舍：数字-模拟方案相对基于测量的方案放弃了一些保真度，但它保持完全相干且无测量，同时相对全数字合成把纠缠深度降低一个数量级。作者指出的自然下一步，是把这种制备与重复稳定子测量、解码和恢复结合，并量化初始制备保真度如何传播到逻辑观测量和逻辑错误率。

本文引用的文献