Scalet 证明一维自旋链吉布斯态在任意有限温度下存在有限纠缠长度，隔开足够长的区间后左右半链严格可分离

论文证明了一个与系统大小无关的有限纠缠长度：对一维自旋链上范围 r、强度 J 的局部相互作用，存在函数 ℓ(d,J,r)，使得任意按序排列的相邻区间 A、B、C 在 |B| ≥ ℓ(d,J,r) 时，吉布斯态 ρABC = exp(−HABC)/ZABC 的边际 ρAC 在 A 与 C 之间可分离，且 ℓ 不依赖 |A| 或 |C|。 此前关于一维热态纠缠的结果（如 KS22、Kuw24）只给出纠缠或互信息的衰减，而非精确为零；Bakshi 等人的高温结果只在高温平凡相成立，且其可分离球的尺寸可能随维度增长。本文把“可分离”这一精确性质从高温推广到任意固定有限温度，并首次给出不随系统大小增长的纠缠长度。 这是完整的数学证明：先由 Bergamaschi–Chen 的关联衰减结果（经 BCP22 的等价性）得到近似因子化 ‖ρAC − ρA ⊗ ρC‖ ≤ C exp(−α|B|)，再由边际最小特征值的指数下界（Lemma 6，‖ρB^{-1}‖ ≤ C exp(α|B|)）给出正分解，最后用 Araki 展开子的超指数局域性（Lemma 4）控制尾部项 ∆k，并借助 Gurvits–Barnum 关于最大混态附近可分离球的结果（Lemma 2）完成证明。

论文给出一个常数规模区域的中间结果（Proposition 1）：存在 ℓ1(k) = O(k)，使得 |B| ≥ ℓ1(k) 时 e^{H^k_AC/2} ρ^k_AC e^{H^k_AC/2} = γ(k)1 + Γ(k)，其中 γ(k) = exp(−O(k))1，Γ(k) 可分离。 该命题说明可分离性只需两个要素——边际的一致忠实性（常数规模边际的一致下界）与关联衰减；作者指出一维并非该命题的关键假设，只要能在更高维证明一致忠实性与关联衰减，论证即可推广。 证明是构造性的：把偏差 ∆ 按近似因子化界为 C exp(2Jk − α|B|)，把边际下界写成 C′ exp(−α′k)1，取 γ(k) = C′² exp(−2α′k)/2，使前三项因正定性可分离，剩余项 γ(k)1 + ∆ 由 Lemma 2 在 ‖∆‖/γ(k) ≤ d^{−k} 时可分离，从而得到 |B| ≥ ℓ1 = O(k)。

论文把有限区间结果提升到热力学极限（Corollary 2）：对范围 r、强度 J 的相互作用，存在只依赖 r、J、d 的 ℓ ∈ N，使得无限系统 KMS 态 ω 经偏迹 tr_{[−ℓ,0]} 后，在左右半链代数之间是可分离态。 由于主定理对系统大小一致成立，这一推论是直接的；作者特别采用显式构造（用 ρ_{[−m,m]} ⊗ 1/d^{2m+1} 定义 ω_m 并取弱*极限），以避免 Hahn–Banach 延拓可能引入左右子系统之间额外的关联或纠缠。 证明依赖一维有限程相互作用下 KMS 态的唯一性（Araki 1975）与可分离算子在弱*拓扑下的闭性：每个 ω_m ∘ tr_{[−ℓ,0]} 由定理 2 分解为有限个乘积态凸组合，再对稠密子集取极限保持乘积性。

论文把这一现象命名为“纠缠的空间突然死亡”，并把它与 Yu–Eberly 提出的时间维度上的纠缠突然死亡、以及高温吉布斯态中的类似现象相区分：这里不是随时间或温度，而是在足够大的空间距离上出现精确可分离。 作者指出，由于相邻自旋之间必然存在纠缠，不可能证明任意两自旋之间的可分离性；因此这是一个新的、以距离为参数的突然死亡概念，也是作者所称的首个此类非平凡例子。 这是概念性定位与文献对照，依据是论文对 YE04、YE09、Bak+24、KS22、Kuw24、BCP26 的讨论，而非独立的数值或实验证据。

该结果适用于一维自旋链上有限程、有界强度的局部相互作用，在任意固定有限温度（β 固定）下成立，且纠缠长度 ℓ 只依赖温度与局域性、不依赖系统大小；作者指出 ℓ 随 β 增长，按所用技术其依赖形式应为 exp(exp(O(β)))。结论对有限区间与无限系统的 KMS 态都成立，因此可直接用于热力学极限下的左右半链。对读者而言，这意味着在足够大的空间尺度上，热态中剩余的关联可以被视为纯经典，且该边际态可由仅使用局域操作与经典通信的方式制备。作者还指出，常数规模命题（Proposition 1）的一维假设并不关键，只要能在其他设定下证明一致忠实性与关联衰减，论证即可迁移。

读者仍会关注若干开放方向：作者提出能否在本文技术基础上证明条件互信息的超指数衰减，并指出经典情形下 Hammersley–Clifford 定理蕴含超出相互作用范围的精确马尔可夫性；能否把纠缠突然死亡推广到更高维低温系统或基态，作者认为超出本文技术范围，但提到纠缠的单配性可能提供线索，且常数深度量子电路制备的态虽保持短程纠缠却已表现出纠缠死亡。此外，纠缠长度对 β 的具体依赖（作者预期为 exp(exp(O(β)))）在文中未展开细节，实际数值尺度仍有待明确。