无限维 Gibbs 采样器的相对熵何时指数衰减？

一个 L2 到 Lq 端点界给出显式熵衰减速率

论文的核心主张是：谱隙本身并不能控制 Gibbs 采样器以多快速度在相对熵意义下遗忘初始状态。谱隙只给出偏离平衡态在加权 L2 范数下的指数衰减，而在无限维中这一估计要求初始数据落在加权 L2 空间内。相对熵 D(ρ∥σ) 度量的是与平衡 Gibbs 态 σ 的可区分程度，对 Gibbs 态而言，当相关量有限时它等于过剩自由能除以温度。指数相对熵估计还可以适用于加权 L2 空间之外的初始态，并控制迹距离下的收敛。

技术上的桥梁是超有界性：半群作为从 L2(σ) 到 Lp(σ)（p>2）的映射具有有限界，表示在有限时间后可积性得到改善。算子范数至多为 1 的收缩形式就是超收缩性。定理 1.1 和定理 1.2 把这样的界转化为相对熵的指数衰减。在定理 1.1 中，若对某个 s>0 和 C≥1 有 ∥Ts : L2(σ)→L4(σ)∥ ≤ C，且 Stroock–Varopoulos 比较成立，则 D(Φt(ρ)∥σ) ≤ e^(−α_HC t) D(ρ∥σ)，当 C>1 时 α_HC = (s + (log C + 1/2)/λ)^(−1)，其中 λ 是谱隙。若 C=1，同样结论以 α_HC = s^(−1) 成立，且不需要谱隙假设。

定理 1.2 避开 Stroock–Varopoulos 比较，只使用 KMS 可逆性。对 q0>2 和 ∥Ts : L2(σ)→Lq0(σ)∥ ≤ C，当 C>1 时速率为 α_KMS = (1−2/q0) / (s + λ^(−1)(log C + 1−2/q0))，当 C=1 时 α_KMS = (1−2/q0)/s。作者指出该准则的有限维版本由 Gao 和 Wang 给出，在换算归一化 D(Φt(ρ)∥σ) ≤ e^(−2α1 t) D(ρ∥σ) 之后两者速率一致。本文的贡献在于把该准则推广到无限维，在保持相对熵极限的前提下逼近任意态，并为无界模型证明所需的 L2 到 Lq 界。

正谱隙并不蕴含超收缩性

论文区分了两个读者容易混淆的量。谱隙 λ 是零均值可观测量在 L2(σ) 上的最优指数收缩速率：对 Tr(σX)=0 有 ∥TtX∥2,σ ≤ e^(−λt)∥X∥2,σ。超有界性则是关于有限时间下 L2 到 Lp 平滑性的陈述。作者明确指出这种平滑性质并不由谱隙单独蕴含，并且用反例而非仅仅断言来证明这一点。

命题 4.7 给出一般性的阻碍。对于可数集 Ω 上具有忠实不变概率 π 的保守连续时间 Markov 半群，若存在点 xk 使 π(xk)→0 且 sup_k q(xk) ≤ Λ < ∞，其中 q(x) 是离开 x 的总速率，则对每个 p>2 和每个有限 t>0，都有 ∥Tt : L2(π)→Lp(π)∥ = ∞。证明取 fk = π(xk)^(−1/2) 1_{xk}，于是 ∥fk∥2,π = 1，并利用从 xk 出发在时刻 t 之前不发生跳跃的概率至少为 e^(−Λt)。于是 ∥Tt fk∥p,π ≥ e^(−Λt) π(xk)^(1/p−1/2) → ∞。

周期充电模型正是这一阻碍的实例。在 ℓ2(Z) 上取电荷基 (em)、电荷算子 n em = m em、双边移位 S em = e_{m+1}、哈密顿量 H = h(n)（h 为非恒定偶多项式且首项系数为正），以及裸跳跃 S、S†、n，其不变对角扇区是一个生灭链，速率 r±_m = |f̂M(h(m±1)−h(m))|^2 介于 0 与 1 之间。不变概率 πm = Z_ch^(−1) e^(−βh(m)) 满足当 |m|→∞ 时 πm→0，而保持速率满足 r+_m + r−_m ≤ 2。命题 4.7 于是表明该不变对角扇区、从而整个量子半群，对任何 p>2 都不存在有限时间的 L2 到 Lp 端点。尽管如此，作者通过分别分析对角和非对角 Hilbert–Schmidt 扇区，证明该采样器具有正谱隙，至少为 min{λ_diag, e^(−1/2)/2} > 0。因此该模型具有正谱隙，但对任何 p>2 在任何有限时间都没有有界的 L2 到 Lp 映射。

全多模 Bose-Hubbard 采样器无需占据截断即可指数衰减

定理 4.3 处理固定 k 个模的格点上的 Bose–Hubbard 哈密顿量 H = Σ_j [ (U_j/2) N_j(N_j − I) − μ_j N_j ] + Σ_{i<j} V_ij N_i N_j − Σ_{i<j} (J_ij a†_i a_j + J_ij a†_j a_i)，其中 a_j 和 a†_j 是模算子，N_j = a†_j a_j，U_j>0，V_ij≥0，μ_j 为实数，J_ij 为复数。在每个模上取裸跳跃 a_j、a†_j、a_j^3、(a†_j)^3 以及滤波器 f̂M(ν) = exp[−(√(1+(βν)^2) + βν)/4]，该采样器具有唯一不变 Gibbs 态、正谱隙，并且对每个 t>0 和有限 p>2 都有有界映射 L2(σβ)→Lp(σβ)。因此它满足 D(Φt(ρ)∥σβ) ≤ e^(−αt) D(ρ∥σβ)，其中 α>0。

理解这一结果有两个适用范围条件。第一，该定理允许任意跃迁幅度，并使用完整的玻色子空间，没有占据截断。第二，三次跳跃承担了特定作用：它们在粒子数为 n 的扇区上提供 n^3 量级的损耗，从而压过二次能量和跃迁带来的误差。同一定理表明，若改用更小的跳跃族 a_j、a†_j、a_j^2、(a†_j)^2，则只能在正等待时间之后得到有界端点。速率可能依赖于格点尺寸和所有模型参数。

论文还用这个例子把跳跃依赖性具体化。对 H = N^2 和第 4.1 节所用的滤波器，定理 4.2 表明仅用线性跳跃不存在有界的 L2 到 L4 端点，而加入三次跳跃后在每个正时刻都有这样的界，并给出定理 4.3 中的熵估计。二次跳跃已经能在正等待时间之后给出端点，包括有跃迁的情形；三次跳跃则给出每个正时刻的结论。作者指出，该定理不能对她们此前工作中的线性跳跃采样器给出同样的熵估计。即使哈密顿量固定，行为也取决于跳跃的选择。

束缚库仑系统仅在有限秩截断后指数衰减

推论 4.5 考虑 d = 2 或 3 维中的 n 个粒子，哈密顿量为 H_{n,M} = −Δ + |x|^2 + Π_M ( Σ_{i<j} α_{n,i,j} w_d(x_i − x_j) ) Π_M，其中 w_2(y) = −log|y|，w_3(y) = |y|^(−1)，Π_M = P_M^{⊗n}，P_M 投影到前 M 个单粒子 Hermite 函数上。耦合系数 α_{n,i,j} 为实数。只有相互作用被截断；哈密顿量作用在 L2((R^d)^n) 上。取坐标产生和湮灭跳跃以及高斯滤波器 f̂η(ν) = e^(−ην^2 − βν/4)，η>0，该采样器具有唯一不变 Gibbs 态和正谱隙。

对每个固定的 n 和 M，作者证明在有限时间之后存在收缩的 L2 到 L4 界以及相对熵的指数衰减。证明通过加权振子估计控制含有一个升降算子和一个有限能量系数的项。常数可以依赖于 n 和 M。这是对读者最重要的边界：指数熵衰减是对相互作用的每一个固定有限秩低能截断证明的，而不是对未截断的库仑相互作用。该结果补充了作者此前工作中的固定截断谱隙分析。第 3 节的形式比较还保持了一个紧的 2-对数 Sobolev 不等式，但作者指出，从该不等式得到超收缩性还需要额外的正则性假设。

微扰稳定性把超收缩估计推广到无界模型

使这些应用成为可能的技术要素是第 3 节证明的关于超收缩估计和对数 Sobolev 不等式的微扰稳定性理论。文中给出两个稳定性结果。第一，向生成元添加有界算子会保持沿超收缩曲线的 Lp 界，只要其范数在这些空间上一致有界；论文给出了相应的范数估计。第二，在有限维能量子空间上改变 Gibbs 权重（除归一化外），当 Dirichlet 形式可比且新生成元具有正谱隙时，会保持一个紧的 2-对数 Sobolev 不等式。

还有一个结构性事实被反复使用：在本文考虑的原子情形中，一个 L2 到 Lq 的有界映射已经蕴含紧预解式，并在本原性下蕴含正谱隙。论证利用了 2<q<∞ 时包含映射 Lq(σ) ↪ L2(σ) 的紧性。在对称 Schatten 坐标下，该包含映射为 Jq(Y) = σ^a Y σ^a，其中 a = 1/4 − 1/(2q) > 0，而 σ 的有限秩谱投影 Pn ↑ I 给出 ∥Jq − Pn Jq(·) Pn∥_{Tq→T2} ≤ 2 (Tr((I−Pn)σ))^a → 0。因此有界映射 Ts : L2(σ)→Lq(σ) 使 e^(−sL) 成为紧算子，谱定理随即给出 L 的紧预解式；若 ker L = C√σ，则零是单重且孤立的，故 gap(L)>0。作者指出，这一论证使用了原子代数 B(H) 和迹类 σ，并不断言扩散代数的紧性或谱隙的一致数值下界。

当端点范数超过 1 时，谱隙的值进入速率，这就是两个准则分别对 C>1 和 C=1 给出不同情形的原因。推论 2.1 把定理 1.2 专门用于滤波采样器：对 σE ∈ (0,∞] 和 Φt = e^{tL_{σE}}（作者此前工作中构造的任一保守 KMS 对称半群），具有不变 Gibbs 态 σβ 且不可约性给出 ker L_{σE} = C√σβ，若 ∥T_s^{(2)} : L2(σβ)→L4(σβ)∥ ≤ C > 1，则 λ = gap(L) > 0，速率为 α_KMS = (2s + (2 log C + 1)/λ)^(−1)。当 C = 1 时，速率 (2s)^(−1) 无需谱隙即可成立。这包括 σE = ∞ 处的原始生成元以及每个高斯宽度 0 < σE < ∞；它不使用 Davies 极限 σE = 0。

两个熵准则依赖不同的假设

论文提供了从端点界到熵衰减的两条路径，它们不可互换。定理 1.1 要求 Stroock–Varopoulos 比较，其精确表述为：对每个 ρ ∈ D(L) ∩ B(σ)，有 √ρ ∈ D(E) 且 4E(√ρ) ≤ EP_L(ρ)，其中 EP_L(ρ) = −Tr(L(ρ)(log ρ − log σ)) 是熵产生。在定理 1.1 的假设下，证明还给出等价的修正对数 Sobolev 不等式 α_HC D(ρ∥σ) ≤ EP_L(ρ)，速率相同。作者指出，仅靠 KMS 对称性并不能蕴含这一比较，并引用了命题 2.10。

定理 1.2 则直接从 KMS 对称性和超收缩性得到熵收缩，不需要 Stroock–Varopoulos 比较。作者解释说，命题 2.10 中的反例表明，对一般的跨频率生成元为何需要 KMS 论证。在 C>1 且 λ>0 的 L2 到 L4 情形中，两个速率的关系为：α_HC = (s + (log C + 1/2)/λ)^(−1)，α_KMS = α_HC/2。

对本文考虑的采样器而言，该比较可能失效，这就是论文没有给出单一统一准则的原因。作者还指出，Stroock–Varopoulos 比较是所用的两种论证之一，另一种只使用 KMS 可逆性假设。对比较这两个定理的读者来说，实际区别在于对给定采样器哪个假设更容易验证：定理 1.1 的 Stroock–Varopoulos 比较，还是定理 1.2 的 KMS 可逆性和本原性假设。

跳跃阶数与截断秩决定速率是否存在

在论文的各个例子中，决定性变量不是单独的哈密顿量，而是跳跃族与（对库仑系统而言）截断秩的组合。对单模多项式粒子数哈密顿量，定理 4.2 比较哈密顿量的次数与最大跳跃阶数，结果是一个三分分类：有界 L2 到 Lp 映射在每个正时刻出现、在正等待时间之后出现，或者从不出现。所述分类排除了临界情形中的边界时刻。周期充电模型属于“从不出现”一类，尽管它具有正谱隙。

对 Bose–Hubbard，同样的逻辑区分了跳跃族：三次跳跃 a_j、a†_j、a_j^3、(a†_j)^3 在每个正时刻给出有界端点，而更小的跳跃族 a_j、a†_j、a_j^2、(a†_j)^2 只在正等待时间之后给出端点。对束缚库仑系统，截断秩 M 和粒子数 n 进入常数，结果是对每个固定的 n 和 M 陈述的。作者还指出，在 Bose–Hubbard 情形中速率可能依赖于格点尺寸和所有模型参数。

因此对读者最具决策意义的比较，是在共享同一哈密顿量但跳跃不同的两个采样器之间，或在截断与未截断相互作用之间。正谱隙是必要的背景，但不是相对熵指数衰减的充分证据。论文自身的优先事项是提供额外的平滑估计，并用反例说明必须在谱隙估计之上补充什么。周期充电模型是最鲜明的例证：它具有正谱隙，却对任何 p>2 都没有有限时间的 L2 到 Lp 界，因此无法仅从其谱隙提取本文所证明形式的熵衰减速率。

本文引用的文献