相对解码如何拓宽量子吉布斯态制备的保证范围？

普通解码限制了可证明的逆温

制备多体哈密顿量的吉布斯态 ρβ(H) = e−βH / Tr e−βH 是量子模拟的核心任务。目前有两条主流路线：量子吉布斯采样器，其不动点就是 ρβ(H)；以及相干构造，制备热场双态（TFD），即 ρβ(H) 的规范纯化。它们的代价由混合时间或谱隙决定，可证明的界只存在于受限族中，例如高温下的局域哈密顿量，或每个固定温度下的有限程自旋链。

解码量子干涉（DQI）及其哈密顿量版本 HDQI 走的是另一条路。它们把傅里叶干涉与对哈密顿量所附经典码的相干解码结合起来，制备振幅为哈密顿量多项式 Q_D 的态；取 Q_D ≈ e^{−βx/2} 就得到近似 TFD。把哈密顿量写成 m 个泡利项之和，那些乘积正比于恒等元的项子集构成二元线性码 K_B = ker B，泡利标签矩阵 B 充当校验矩阵。展开 Q_D(H_B) 得到对子集 z ∈ F_2^m 的求和，项数至多 D；两个子集给出相同泡利标签 Bz 当且仅当它们相差一个关系，而从 Bz 恢复 z 就是伴随式解码。

只有当 2D < d_ord 时该解码才是无歧义的，其中 d_ord 是任一目标关系中项数的最小值。这正是 DQI 和 HDQI 的瓶颈：可证明的逆温由多项式逼近和解码半径共同决定，而次数为 D 的滤波器的标准精确解码保证是 2D < d_ord。论文的观察是：z 本身从来不需要被恢复。

相对距离取代普通距离决定解码窗口

转导电路只需要擦除源标签 Az，而 Az 对源关系本来就是盲的。当 K_A ⊆ K_B，且两个哈密顿量的反对易模式和关系相位一致时，只要 2D < d_rel，Bz 就能对所有 |z| ≤ D 确定 Az，其中 d_rel := min_{c ∈ K_B \ K_A} |c| 是商码 K_B/K_A 的距离。

总有 d_rel ≥ d_ord，且严格不等式成立当且仅当每个最小权目标关系都已经是源关系。因此，吸收短目标关系可以扩大解码窗口，并在存在高效相对解码器时证明更低的温度。DQI 和 HDQI 正是无关系情形 K_A = 0。

这一区分之所以重要，是因为 d_ord 和 d_rel 回答的是不同问题。d_ord 界定 DQI 和 HDQI 的一致精确解码半径，那里解码器必须解决每一个目标关系。d_rel 只界定源中不存在的关系，因此它度量的是源关系被识别之后剩余的歧义。论文指出，固定源或固定目标下可达的最大 d_rel 有精确的陪集描述，并且最小权普通解码器在整个相对窗口内都给出有效的相对解码器。

转导电路如何制备目标 TFD

从 H_A 的规范 TFD 出发，该构造依次施加贝尔变换、可逆标签映射，以及针对商码 K_B/K_A 的相干解码器，从而制备 H_B 的近似 TFD，进而得到其吉布斯态。解码器只解决源中不存在的目标关系，这就是为什么控制可达逆温的是 d_rel 而不是 d_ord。

定理 1.1 给出了明确的保证。设 H_A 与 H_B 具有相同的反对易模式、K_A ⊆ K_B 且关系相位匹配，并设针对 K_B/K_A 的相干相对解码器在次数 D_dec < d_rel/2 内高效。给定逆温 β 下 H_A 的规范 TFD，迹距离为 δ_src，则一个高效电路制备 H_B 的 TFD（进而其吉布斯态），迹距离为 δ_src + 2η + δ_circ，只要 D_dec ≥ βΛ + O(√(βΛ ln(1/η)) + ln(1/η))，其中 Λ ≥ ‖H_A‖。

特别地，D_dec = Ω(m) 且 Λ = O(m) 可证明固定常数以下的每一个逆温。对于广延谱界，线性半径上的高效相对解码可证明一个常数逆温的制备窗口。误差以迹距离界给出，因此该保证说的是制备态与目标 TFD 的距离，而不是任何动力学的混合时间。

一个 d_ord = 3、d_rel = Θ(m) 的具体目标族

定理 1.2 给出了主要例子。固定 N 和实系数 λ_i^μ，满足 0 < |λ_i^μ| ≤ J_0。源是 N 个双量子比特单元 (q_i, c_i) 上的最近邻链，H_A = Σ_{i=1}^{N} (λ_i^x X_{q_i} + λ_i^z Z_{q_i} + λ_i^c Z_{c_i} + λ_i^{cq} Z_{c_i} Z_{q_i}) + Σ_{i=1}^{N−1} λ_i^{zz} Z_{q_i} Z_{q_{i+1}}，其规范 TFD 在每个固定温度下都可高效制备。

设 F ∈ F_2^{(N−k)×N} 是一个校验矩阵，列为 f_1, …, f_N，距离 d_F ≥ δN，并有一个高效伴随式解码器，能恢复所有权重至多 ⌊τN⌋ 的错误，其中 0 < 2τ < δ 为常数。把 N 个中心量子比特替换为 N−k 个伴随式量子比特 R_1, …, R_{N−k}，并把每个 Z_{c_i} 替换为校验 Z_R(f_i) := Π_{a: (f_i)_a = 1} Z_{R_a}，于是 H_B = Σ_{i=1}^{N} (λ_i^x X_{q_i} + λ_i^z Z_{q_i} + λ_i^c Z_R(f_i) + λ_i^{cq} Z_R(f_i) Z_{q_i}) + Σ_{i=1}^{N−1} λ_i^{zz} Z_{q_i} Z_{q_{i+1}}。

于是 H_A 与 H_B 相容，m = 5N − 1 项，d_ord = 3，d_rel = d_F = Θ(m)，D_dec = ⌊τN⌋，且相对解码恰好就是 F 的伴随式解码。对每个固定 β < β_0 = Θ(τ/J_0)，H_B 的 TFD 和吉布斯态都能在多项式时间内制备。若 F 的行权和列权有界，则 H_B 的项权重有界、量子比特度数有界；若 F 各列支撑的直径无界，则其相互作用在几何上是非局域的。

从物理上看，H_A 是自旋 q_i 上的混合场伊辛链，具有横向场 λ_i^x、纵向场 λ_i^z 和耦合 λ_i^{zz}，其中每个纵向场被 λ_i^{cq} 乘以经典自旋 Z_{c_i} 所移动。在 H_B 中，该经典自旋被伴随式自旋的宇称 Z_R(f_i) 取代：量子部分不变，仍是一维的，而经典部分变成校验自旋系统，其校验驱动链的纵向场。

源为何必须已经包含短关系

在链的例子中，每个单元带有权重为三的关系 Z_{q_i} · Z_{c_i} · Z_{c_i} Z_{q_i} = I，每条键带有关系 Z_{q_i} · Z_{q_{i+1}} · Z_{q_i} Z_{q_{i+1}} = I，因此 d_ord = 3，HDQI 在 H_B 上的普通精确解码保证只能达到次数一。链 H_A 已经包含所有这些短关系，且其 TFD 可高效制备。此时商码 K_B/K_A 恰好由 F 的码字组成，所以 d_rel = d_F，相干相对解码器就是可逆运行的 F 的经典解码器。

这就是该构造成立的结构性原因。要增大相对距离，源应当吸收低权目标关系，而当源制备和相对解码仍然高效时，由此得到的次数窗口就可以使用。论文还指出，有限的 d_rel 排除了逐项酉共轭：若某个酉算子对每个 i 都满足逐项关系，则 K_A = K_B 且 d_A→B = +∞，所以 d_A→B < ∞ 意味着 K_A ⊊ K_B，不存在逐项酉共轭。每个有限剩余距离都属于 {1, …, m}。

对固定源而言，线性相对距离可能成立，当且仅当 K_Σ/K_A 包含一个与 K_A 距离为线性的陪集。对固定目标和真源核而言，当目标中低于所需线性阈值的关系张成 K_B 的真子空间时，它才可能成立。因此源设计要在吸收短目标关系与保持源 TFD 可高效制备之间取得平衡。

该构造尚未解决的问题

该保证依赖于一个已经可高效制备的源 TFD，以及一个在所需次数内高效的相干相对解码器。论文的主要例子使用了一个最近邻链，其规范 TFD 已知在每个有限温度下都可制备，并使用一个带高效伴随式解码器的经典校验矩阵；这两个要素都是构造的输入，而不是构造的结论。

可证明的温度是有界的：在链的例子中，制备窗口是每个固定 β < β_0 = Θ(τ/J_0)，其中 τ 来自解码器的纠错半径，J_0 界定系数。论文还指出，进一步的构造可以使用具有不同关系结构和高效相对解码器的源，以达到其他温度和精度区间；同态表述也支持费米子和 qudit 系统，以及具有受控有限维截断的玻色模型，但这些情形下的热学应用需要显式的源 TFD 和相对解码器。

论文把两个目标列为未来工作：在可证明的温度下为目标吉布斯态建立经典采样困难性，以及把转导与直接目标制备方法进行比较。若某个族在多项式时间内可转导，而在同一温度下某个指定目标采样器的混合是指数级慢的，那将证明该动力学的制备与平衡之间存在分离。

关键在于相对窗口而非目标距离

这篇论文中与决策相关的比较是 d_ord 与 d_rel 之间的比较，而不是不同目标族之间的比较。一个 d_ord = 3 的目标，在普通精确解码保证下只支持次数为一的解码；一旦源吸收了它的短关系，解码器只需解决 K_B/K_A，同一个目标就能在常数逆温下制备，此时 d_rel = Θ(m)、D_dec = ⌊τN⌋。

因此，读者对任何候选源–目标对应该问的实际问题，不是目标的普通距离有多大，而是源已经包含了目标关系码的多少。论文的结构性结果使这个问题可检验：对固定的反对易模式 Σ，恰好只有链 K_A ⊆ K_B ⊆ ker Σ 可实现，而固定源或固定目标下可达的最大 d_rel 有精确的陪集描述。当源的 TFD 可高效制备、且剩余商码允许线性半径上的高效解码器时，该构造才有收益；当任一条件不满足时，相对窗口并不能转化为温度保证。

本文引用的文献