[提案] 二维偶极超固体如何"结晶"：淬火缺陷是 Kibble–Zurek 标度还是一级成核？

背景

偶极玻色–爱因斯坦凝聚体（如 ¹⁶⁴Dy、¹⁶⁶Er）能进入一种奇异物态——超固体：它一边像晶体那样自发把密度排成周期性的"液滴阵"，一边又像超流体那样保持全局相位相干。一维超固体（一串液滴）于 2019 年实现，二维超固体（多排液滴，可呈三角或蜂窝格）由 Norcia 等人于 2021 年在 Innsbruck 实现。当实验把相互作用（s 波散射长度）快速淬过超流→超固体边界时，晶体序是"瞬间冻结"出来的：不同区域各自独立地选择把液滴摆在哪里，于是留下畴界、位错等结晶缺陷。这些缺陷怎么产生、数目随淬火快慢如何变化，正是相变本质（连续 vs 一级）的动力学指纹——这就是经典的 Kibble–Zurek 机制（KZM） 所要回答的问题，原本用于解释早期宇宙与液氦中的拓扑缺陷生成。

核心问题

在二维偶极凝聚体中淬火跨越超流→超固体相变时，结晶缺陷密度是否只在三角–蜂窝晶格之间那个孤立的二级临界点附近遵从 Kibble–Zurek 幂律标度，而在其余（理论预言为一级相变的）区域由随机成核主导、不呈 KZ 标度？若如此，则缺陷生成机制会随密度发生一次可观测的"质变"，且临界点处的 KZ 指数定义出一个不同于准一维结果、也不同于 (2+1)D XY 的二维普适类。

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

用动力学指纹"称量"相变级别——在一个全新平台上。超固体同时破缺两种对称性（U(1) 规范 + 平移），"KZM 在双重对称性破缺系统里长什么样"此前无人在二维定量给出。把"淬火缺陷标度 ↔ 相变级别/普适类"这一普适思想搬到超固体，本身就是一则干净、可证伪的物理命题。
正中该领域公认的核心开放问题。Recati 与 Stringari 的综述（arXiv:2405.09537, 2024）明确把"相变的本质""维度的作用""超固体晶格中的量子涡旋"并列为未来理论与实验的关键问题——本提案恰好同时触及这三点。
二维特有的丰富缺陷物理。不同于准一维只有畴界，二维超固体里有真正的拓扑缺陷（晶体位错），且可与超流涡旋共存（Norcia 等人指出涡旋会出现在相邻液滴之间的"孔洞"里）。淬火后这些缺陷如何分布、是否相互束缚，是 KZM 在此系统的独有看点。
可直接对照实验。畴数、相干度、形成的延迟时间（freeze-out time）在 Dy/Er 实验里都可测；一个干净的二维标度预言能被现有平台证伪或证实。

现状与争议

超固体相变"是连续还是一级"本身就有分歧（"depending on system parameters and geometry... found to be either continuous or discontinuous"，见下 Kirkby 等人引言），而二维的淬火动力学标度基本是空白：

二维超固体的实验实现：M. A. Norcia, C. Politi, L. Klaus, E. Poli, M. Sohmen, M. J. Mark, R. N. Bisset, L. Santos, F. Ferlaino, Two-dimensional supersolidity in a dipolar quantum gas, Nature 596, 357–361 (2021), DOI:10.1038/s41586-021-03725-7 — 经由一个结构相变把超固性扩展到二维，并提出涡旋/几何结构等新方向。
二维相变级别的理论根基（本命题的支点）：Y.-C. Zhang, F. Maucher, T. Pohl, Supersolidity around a Critical Point in Dipolar Bose-Einstein Condensates, Phys. Rev. Lett. 123, 015301 (2019) — 在热力学极限下给出超流/三角液滴晶/蜂窝三相图：相边界一般为一级相变，仅在三相共存的孤立临界点处为二级。这正是"KZ 标度只应在临界点附近出现、远离时让位给成核"的理论依据。
准一维已做、二维空缺：W. Kirkby, H. Salman, T. Gasenzer, L. Chomaz, Kibble-Zurek scaling of the superfluid-supersolid transition in an elongated dipolar gas, Phys. Rev. Research 7, 023248 (2025), arXiv:2411.18395 — 在拉长管（准一维、周期边界）里用扩展 GPE 做淬火，观测到 freeze-out 时间、冻结关联长度、缺陷数三者皆呈幂律，指数与 Bogoliubov 谱预言相符；结论是支持连续相变，但普适类未定、且不同于 (1+1)D XY。其结果明确停在准一维——二维（含真正的位错与涡旋）是自然且尚未被系统研究的下一步（截至检索未见二维情形的系统 KZ 标度工作，待核实）。
领域开放问题清单：A. Recati, S. Stringari, Supersolidity in ultra-cold dipolar gases（perspective，arXiv:2405.09537, 2024；正式卷页待核实）— 把相变本质、维度作用、晶格中的涡旋列为关键开放问题。
相关动力学（佐证趋势，非直接竞争）：二维偶极淬火的图案形态（环状激发→团簇/迷宫态）与阱长宽比对畴数/不稳定时标的影响已有研究，如 Phys. Rev. Research 4, 043124 (2022)（作者待核实），但这些工作关注形态，未做 KZ 标度/普适类判定。

切入路径

方法（QTT/QTCI）只是手段；卖点是上面那条可证伪的物理命题。

物理建模：扩展 Gross–Pitaevskii 方程（eGPE，含 Lee–Huang–Yang 量子修正项与偶极非局域卷积），二维准平面阱 + 大盒/周期边界。淬火 = 把散射长度沿线性 ramp 以可调速率 1/τ 跨过 SF→SS 边界。观测量：freeze-out 时间、密度–密度关联的冻结关联长度、畴/位错计数、（加分）涡旋计数。
为何 QTT 在此有独特优势（而非"benchmark 更快"）：

eGPE 是经典平均场非线性场方程，不存在多体波函数那种纠缠随时间指数增长的问题。2025 年三篇 QTT–GPE 工作——其中含陈千璨（Q.-C. Chen）等人, Solving the Gross-Pitaevskii Equation with Quantic Tensor Trains: Ground States and Nonlinear Dynamics, arXiv:2507.04279——已证明 QTT 实时演化的 bond dimension 在长时间下饱和，从而长时演化稳定；M. Niedermeier 等人, arXiv:2507.04262 进一步在 2^20×2^20（逾万亿格点）的二维网格上求解 GPE。
偶极相互作用是卷积，在动量空间是逐点相乘；QTT 的 superfast Fourier transform 让动能项与偶极卷积的代价随格点数仅 ~ log 增长（QTCI 体系，见 Ritter 等人 PRL 132, 056501 (2024) 与 Núñez Fernández 等人 SciPost Phys. 18, 104 (2025), arXiv:2407.02454）。
真正的瓶颈是"统计 × 扫描"的乘积：要干净区分 KZ 幂律与成核，需要大盒（容纳足够多畴，使幂律跨越一个量级）× 高分辨（分辨畴壁/位错核/涡旋核）× 长时（freeze-out + 后续粗化）× 大量随机轨迹（取畴数的分布而非单条均值）× 参数扫描（多个淬火率 × 多个密度以定位临界点）。标准二维 split-step FFT 单跑尚可，但在这套乘积规模上吃不消；QTT 把单次（尤其长时尾段）的内存/时间压到可承受，使这套统计研究从不可行变为可行。这是"物理问题需要它"，不是方法 benchmark。

最小第一步（先验证方法命门）：在单一密度、单一中等淬火率下跑几条二维淬火轨迹，首先监测 QTT bond dimension 在"多畴/强调制"的后期是否仍饱和或可控——这是 QTT 能不能用于本问题的命门（已发表的饱和结论来自更光滑的动力学，如涡旋格、呼吸模）。
成功判据（单一、可证伪）：若 bond dimension 不爆，则在一个小格点上用标准 split-step FFT 对照同一次淬火的密度场（畴位置与数目在可达分辨内一致）。判据 = bond dimension 可控 + 与 FFT 定量吻合。通过后再进入物理扫描：固定密度扫淬火率看 freeze-out 时间/畴数是否幂律；再扫密度，检验幂律是否只在临界点附近成立、远离时转为成核（成核的标志：畴数对淬火率不敏感、且呈成核型统计分布）。

风险与证伪

根本风险（方法命门，必须先答）：后期多畴、强密度调制的二维场可能不可压缩，导致 bond dimension 暴涨、QTT 优势消失。故最小第一步就是测可压缩性；若不行，这是一个清晰的负结果（物理命题依然成立，只是 QTT 不是合适工具，需回退到 GPU split-step FFT），几周内即可定夺，避免在错误假设上空转。
物理证伪：① 若二维各密度都出现干净 KZ 幂律（即便远离临界点），则"二维一般为一级 → 成核主导"的命题被证伪（可能是 LHY 修正/有限尺寸把相变变连续）；② 若连临界点附近也无标度，则 KZ 框架在此不适用。两种结果都是明确、可发表的结论。
定量不确定性：三体损耗、有限温度、LHY 修正的具体形式都可能改变标度指数；阱长宽比已知会影响畴数与不稳定时标（见 PRR 4, 043124）。需在多组参数交叉验证结论稳健性。
与实验对齐：真实实验盒小、畴少，幂律窗口窄。需说明大盒模拟的标度如何外推到实验可观测量——其中 freeze-out 时间通常最稳健，应作为首要对照量。
判定成败：成 = 在足够大的二维盒上给出"缺陷标度随密度发生 KZ↔成核质变"的统计显著证据，并定出临界点处的二维 KZ 指数；败 = QTT 不可压缩无法越过 FFT 规模，或标度窗口太窄、在误差棒内不可区分。

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