[提案] 三角格 J1–J2 海森堡反铁磁体的自旋液体：有能隙 Z2 还是无能隙 Dirac？

背景

阻挫量子磁体里，晶格几何令自旋无法形成常规磁有序，可能落入量子自旋液体（QSL）——一种即便在绝对零度也不破缺对称性、却携带长程纠缠与分数化激发（自旋子）的物态。自旋-1/2 三角格海森堡反铁磁体正是这一概念的发源地（Anderson 的 RVB 设想）：纯最近邻模型最终选择 120° 共面磁序，但只要加一点次近邻耦合 J₂，在很窄的窗口 0.07 ≲ J₂/J₁ ≲ 0.15 内磁序就被量子涨落"融化"成一个非磁性的自旋液体。这个自旋液体究竟有能隙（Z₂ 拓扑序）还是无能隙（U(1) Dirac，低能由 2+1 维量子电动力学 QED₃ 描述），直接决定它的普适类、激发谱以及实验指纹（低温比热/磁化率标度、中子散射连续谱），是二维阻挫磁性的教科书级判定问题。

核心问题

在自旋液体窗口的代表点 J₂/J₁ ≈ 0.1（经典相变点 1/8 附近），自旋-1/2 三角格 J₁–J₂ 海森堡模型的自旋三重态能隙 Δ_t 在热力学极限（真二维环面）下是收敛到有限值（→ gapped Z₂ 自旋液体），还是按幂律闭合到零（→ gapless U(1) Dirac 自旋液体）？

为什么值得做（PRL 级意义）

十年悬案，至今仍热：gapped-vs-gapless 之争从 2015 年延续到 2026 年仍无定论，且仍是活跃前沿——2026 年连续出现新预印本（作者含 S. R. White、S. A. Kivelson、J. von Delft 等），结论依旧打架。
现有证据都带系统性偏置：迄今所有高质量数值要么是变分蒙特卡洛（VMC，受试探波函数 ansatz 选择支配），要么是圆柱（cylinder）几何上的 DMRG/MPS（准一维、有限周长 + 边界条件偏置——而这恰恰是被怀疑会扭曲二维真值的几何）。圆柱上反复出现"两个近简并基态"，但它到底是拓扑扇区、弱磁序、还是有限尺寸假象，本身就众说纷纭。
唯一缺位的裁判正好被符号问题挡住：量子蒙特卡洛（QMC）是唯一一种既无变分偏置、又能直接在真二维环面（双向周期、无开放边界）上量能隙与低温热力学的方法——但它在阻挫格点上被符号问题挡在门外。换句话说，符号问题几乎是横在"无偏判定"之前的唯一障碍。
解决意味着什么：给出该问题首个"符号问题受控"的 QMC 判据，用一个独立的、几何无偏的方法终结一桩十年公案；同时把"神经符号缓解 + QMC"确立为攻克整类阻挫磁体开放问题（下一步直指 kagome）的可行范式。这是物理判定 + 方法学突破的双重 PRL 级结果。

现状与争议

非磁性窗口的存在已有共识，分歧全在其"有没有能隙"。三方方法给出系统性矛盾的结论，且 2026 年仍未收敛：

Gapped（Z₂）阵营
Z. Zhu, S. R. White, Spin liquid phase of the S=1/2 J₁-J₂ Heisenberg model on the triangular lattice, Phys. Rev. B 92, 041105(R) (2015), arXiv:1502.04831 — DMRG 圆柱，在 J₂/J₁=0.1 给出多项 gapped 信号（偶圆柱上两近简并态、能隙随宽度指数减小、可观三重态/单态体能隙）。
W.-J. Hu, S.-S. Gong, W. Zhu, D. N. Sheng, Competing spin-liquid states in the spin-1/2 Heisenberg model on the triangular lattice, Phys. Rev. B 92, 140403(R) (2015), arXiv:1504.00654 — DMRG，多个竞争自旋液体候选，并定位 gapped Z₂ 的最优参数区。
Y.-F. Jiang, H.-C. Jiang, Nature of quantum spin liquids of the S=1/2 Heisenberg antiferromagnet on the triangular lattice: A parallel DMRG study, arXiv:2203.10216 (2022) — SU(2) 大规模 DMRG（Lx 至 48），倾向 J₁–J₂ 相为 gapped。
Gapless（U(1) Dirac）阵营
Y. Iqbal, W.-J. Hu, R. Thomale, D. Poilblanc, F. Becca, Spin liquid nature in the Heisenberg J₁-J₂ triangular antiferromagnet, Phys. Rev. B 93, 144411 (2016), arXiv:1601.06018 — VMC，U(1) Dirac 在能量上优于一切对称/向列 gapped Z₂ 试探态。
S. Hu, W. Zhu, S. Eggert, Y.-C. He, Dirac Spin Liquid on the Spin-1/2 Triangular Heisenberg Antiferromagnet, Phys. Rev. Lett. 123, 207203 (2019), arXiv:1905.09837 — DMRG + Aharonov–Bohm 磁通插入，在 J₂/J₁=0.12 给出 gapless U(1) Dirac（含 Dirac 锥谱）的强证据。
2026 年仍未定
S. Jiang, S. R. White, S. A. Kivelson, H.-C. Jiang, Competing states in the S=1/2 triangular-lattice J₁-J₂ Heisenberg model: a dynamical DMRG study, arXiv:2602.14892 (2026) — 动力学 DMRG（圆柱 Ly=6–9）：高能态像 Dirac QSL，低能态像弱磁序/邻近相变的 gapped 态，"无法确证"。
O. Kovalska, E. Pagès Fontanella, B. Schneider, H.-H. Tu, J. von Delft, Revisiting the J₁-J₂ Heisenberg Model on a Triangular Lattice: Quasi-Degenerate Ground States and Phase Competition, arXiv:2603.08650 (2026) — MPS（YC6，J₂/J₁=0.125）：两个近简并态"不能简单理解为 gapped Z₂ 的拓扑扇区"。

共同病根：方法之间的分歧本质上是几何/ansatz 偏置；整个领域缺一个真二维、无变分偏置、能直接量能隙与低温热力学的裁判。

切入路径

方法（手段，非卖点）：直接复用并外推该组的神经自回归控制变量 + SSE/RSSE（B. Qiao, L. Wang, Neural Autoregressive Control Variates for the Quantum Monte Carlo Sign Problem, arXiv:2605.26814）。该框架已在三角格海森堡反铁磁体（J₂=0，同样非二部、同样有符号问题）上做出 proof-of-principle：incremental loop-topology update 保证 sign-ergodic 采样，twist channel 是非二部格点唯一的变号机制，parity-aware autoregressive transformer 给出结构性零均值控制变量，把 ⟨sign⟩ 标准误降约一个数量级、能量估计降 3–5 倍，即使 ⟨sign⟩ < 10⁻³ 仍有效。
为何对该组天然可行：自旋液体窗口不过是"在已 benchmark 的纯三角海森堡上再加一组 J₂ 次近邻键"——格点仍非二部、阻挫本质不变，twist/loop-topology 机制可直接延拓。这正是该方法最小、最自然的下一步（其论文自陈"scaling to larger systems is future work"）；不需要换格点、重推回路更新（这点与改攻 kagome 形成对比）。
最小可交付第一步：

在现有三角 SSE+CV 代码上加入 J₂ 键；
在精确对角化（ED）可及的小簇（N ≲ 30–36）上验证能量、自旋结构因子与 ED 一致，并在 J₂/J₁≈0.1 处量化控制变量的方差缩减因子 (1−ρ²) 与可达 (N, β)；
给出 ⟨sign⟩ 与方差缩减随 (J₂/J₁, β, N) 的"可行性地图"——即在 PRL 之前，先确定这条路能走多远。

成功判据（单一、可外推、可证伪）：在真二维环面上、对一列尺寸 L（取 β ∝ L 以逼近基态）抽取自旋三重态能隙 Δ_t(L)。SSE 本就是有限温方法，能隙可由两条等价途径读出：(i) 虚时自旋关联的衰减率；(ii) 低温均匀自旋极化率 χ(T) 与比热 C(T) 的标度——activated 行为 χ,C ∼ exp(−Δ/T) ⟹ gapped，幂律行为（二维 Dirac 应有 C ∝ T²）⟹ gapless。判定：Δ_t(L) 外推到有限 ⟹ gapped Z₂；按幂律闭合到零 ⟹ gapless Dirac。

风险与证伪

根本风险（必须明说）：符号问题本质指数难（一般情形 NP-hard）；控制变量缩减的是方差/前因子（(1−ρ²) 因子），不改变指数标度。该组工作目前仍是小 N 概念验证。因此真实风险是：即便有 CV，环面上可达的 (N, β) 仍可能不足以做干净的热力学极限能隙外推（也许只比 ED 多出几个尺寸、温度不够低）。
内建早期 go/no-go：先量 J₂/J₁≈0.1 处环面上的方差缩减因子与可达 (N, β)，对照"干净外推 Δ_t 所需的 (N, β)"。若不足，这是一个清晰的负结果（仍可作为"符号缓解 QMC 在阻挫磁体上的能力边界"的方法学论文），但拿不到那篇判定 PRL——这一步几周内即可定夺，避免在错误假设上长期空转。
其他不确定性：
gapless 内部还要区分 Dirac 与 spinon Fermi surface：主判据先做 gapped/gapless 二分（能隙），再用比热指数（Dirac: C ∝ T² vs spinon-FS: C ∝ T^2/3）与动量分辨结构因子细分。
代表点选取（0.1 vs 0.125）与靠近相边界时的近邻磁序污染：需在多个 J₂ 点交叉验证，确认结论在窗口内部稳健。
可信度前提：在 ED 小簇上 QMC 必须与 ED（并尽量与 DMRG/VMC）三方一致，才有资格在更大尺寸上充当"裁判"。
判定成败：成 = 在**超过 ED、且是环面（非圆柱）**的尺寸上，Δ_t 的 L-外推给出统计显著的"有限"或"零"；败 = 方差缩减不足以越过 ED 规模，或外推在误差棒内不可区分。

👍 可做 · 👎 不行 · 🤔 不确定 · 🚀 优先 · ❓ 需补充