🔢 mathematics

Emptiness formation in the Lieb-Liniger gas: hydrodynamic instantons and a conjectured rate function

本文通过从双场 Fredholm 行列式表示中进行推导，并结合已知极限与广泛的数值流体动力学模拟进行验证，为排空形成概率（emptiness formation probability）在排斥型 Lieb-Liniger 玻色气体基态中的速率函数提出了一种无参数积分方程。

原作者： Boris A. Khanikati, Alexander G. Abanov

发布于 2026-08-28

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Boris A. Khanikati, Alexander G. Abanov

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

在量子气体那寂静、超冷的微观世界里，原子表现得不再像是微小的台球，而更像是一个统一的、单一的波。当科学家将这些原子捕捉在一个狭窄的一维通道中时，他们创造了一个让量子世界的规则得以赤裸呈现的系统。该领域最引人入胜的问题之一，涉及到一个罕见且自发事件发生的可能性：在粒子群中突然形成一个完全空白的空间。想象一下，在一片浓雾中，一瞬间凭空出现了一个完美的透明空气球体。在量子领域，这被称为“空洞形成概率”（emptiness formation probability）。它是衡量一个特定区域变得完全没有任何粒子的概率，这种波动违背了物质填充可用空间的通常趋向。理解这一概率不仅仅是一项抽象的练习；它揭示了支配量子系统如何波动以及它们在极端条件下可能如何表现的深层统计规律，为理解物质的基本本质提供了一个窗口。

几十年来，物理学家一直难以精确预测这种空洞在一种被称为利布-利尼格（Lieb–Liniger）气体的特定量子气体中出现的频率，这种气体由相互排斥的粒子组成。虽然科学家可以计算极端的案例——即粒子几乎不发生相互作用，或者粒子以巨大的力量互相推挤——但对于中间地带的一个通用的公式却一直难以捉摸。以往的尝试依赖于复杂的数学猜测，这些猜测在极端情况下表现良好，但在中间范围内却无法与计算机模拟结果一致。纽约州立大学的研究团队现在提出了一种新的、统一的方法来计算这种概率，该方法适用于整个相互作用强度的光谱，从最弱的推力到最强的排斥力。

研究人员通过观察描述量子气体的数学结构来处理这个问题。他们从一个精确但极其复杂的系统描述入手，该描述涉及一个“弗雷德霍姆行列式”（Fredholm determinant），这是一种用于计算量子力学中概率的数学对象。他们并没有试图直接求解这个对象，而是将问题视为寻找系统创造出一个空区域时所采取的最可能路径的搜索过程。用物理学的语言来说，这条路径被称为“瞬子”（instanton）。他们意识到，要找到正确的答案，需要同时考虑两件事：空区域的形状以及描述粒子的涨落场。通过分析这两个元素如何随着空区域的增大而共同缩放，他们推导出了一个新的、自洽的方程。这个方程不需要任何可调参数或猜测；它完全由气体的基本属性决定，特别是粒子之间的排斥强度和密度。

他们工作的成果是一个优雅的单一积分方程，该方程预测了发现空隙的概率随空隙尺寸增加而下降的速率。为了测试他们的想法，该团队进行了大规模的计算机模拟，本质上是在运行量子流体力学的定律，以观察当他们强行在气体中制造一个间隙时会发生什么。他们通过“虚时间”（imaginary time）观察系统的演化，虚时间是物理学家研究罕见事件最可能路径的一种数学工具。模拟显示，这个空区域的边界呈现出一种独特的星形，类似于一种被称为“星形线”（astroid）的四角星形。这种形状与在更简单系统中观察到的情况一致，但在这里，它出现在一种复杂的相互作用量子流体中。

当研究人员将他们的新方程与计算机模拟结果进行对比时，他们发现了一致性之惊人。在超过四个数量级的相互作用强度范围内——涵盖了从相互作用非常弱的气体到行为几乎像固体的气体——他们的公式与模拟数据之间的误差在百分之几以内。这种精确度具有重要意义，因为它弥合了两个已知极端情况之间的鸿沟。在粒子相互作用非常强的极限下，他们的公式正确地重现了自由费米子的行为，这是一种被深入研究的物质状态。在相互作用较弱的极限下，它符合另一种类型流体的预测。至关重要的是，它还捕捉到了两种极限下的微妙的一阶修正，这些细节是之前的理论所忽略或误解的细节。

论文还讨论了一个关于其方法准确性的长期疑问。公式与计算机模拟之间三到百分之五的微小差异，很可能是由于计算中所使用的数值网格的局限性造成的，而非理论本身的缺陷。当研究人员优化网格并运行更长时间的模拟时，数值向其预测值靠拢，这表明该公式确实是正确的答案。这项工作为理解量子系统中的罕见涨落提供了一个强大的新工具。它表明，即使在一个如此复杂的排斥性量子气体系统中，极端事件发生的概率也可以由一个简洁、无参数的数学定律来描述。研究人员不仅提出了一个猜测，还提供了一个严密的框架，将粒子的微观散射与整个气体的宏观行为联系起来，为如何在量子世界中形成空洞提供了统一的视角。

技术摘要：Lieb–Liniger 气体中的空洞形成：流体动力学瞬子与一个推测的率函数

问题陈述
本文研究了斥力一维 Lieb–Liniger 玻色气体基态中的空洞形成概率（Emptiness Formation Probability, EFP）。EFP（记作 $P(R)$ ）是指在长度为 $2R$ 的空间区间内找不到粒子的概率。对于宏观区间，其领先渐近行为由一个率函数 $f(\gamma_0)$ 控制，定义为 $-\log P(R) \sim (\rho_0 R)^2 f(\gamma_0)$ ，其中 $\rho_0$ 是平均密度， $\gamma_0 = c/\rho_0$ 是无量纲相互作用强度。虽然对于自由费米子以及特定极限（Tonks–Girardeau 和弱耦合极限）存在精确结果，但在任意斥力耦合下寻找 $f(\gamma_0)$ 的一般解析表达式仍是一个开放性挑战。此前由 Korepin, Its, 和 Waldron (KIW) 提供的精确对偶场 Fredholm 行列式表示法，其提出的关于大距离渐近行为的猜想，在最近的流体动力学研究中被认为在弱耦合极限下可能存在参数上的错误。

方法论
作者结合了可积算符理论和流体动力学变分法，采用了一种双重方法：

可积算符分析： 从精确的 KIW 对偶场 Fredholm 行列式表示出发，作者分析了大距离渐近行为。他们识别出先前 KIW 分析中的一个非均匀性：在固定对偶场的情况下，行列式展开中的次领先项在进行对偶场真空平均后会变为领先阶（ $O(R^2)$ ），因为相关的对偶场随 $R$ 缩放为 $O(R)$ 。通过将此视为一个均匀的双重缩放问题（通过将场进行重标度 $\phi \to x\Phi$ ），他们推导出了一个新的联合鞍点条件。这导出了一个由参数无关的线性积分方程解出的新率函数猜想。
流体动力学变分法： EFP 被表述为欧几里得流体动力学作用量的变分问题。作者通过最小化该作用量来求解，并施加在 $\tau=0$ 时刻为空区间的边界条件。被称为“空洞瞬子”（emptiness instanton）的极小值描述了最优的稀有涨落路径。数值实现利用了边界拟合坐标系来解析空区域边界的星形（astroid-like）形状，并采用了先进的优化算法（Adam 和 L-BFGS）在广泛的耦合强度范围内求解密度场和速度场。

主要贡献

一个新的率函数猜想： 本文提出了一个用于确定率函数 $f(\gamma_0)$ 的函数 $g(t)$ 的特定积分方程：
$\int_{-1}^{1} g(s) \log\left(1 + \frac{r^2}{(t-s)^2}\right) ds = 4t$
其中 $r = c/q$ 由 Lieb 方程确定。率函数随后由 $f(\gamma_0) = \frac{1}{2}(\gamma_0/r)^2 \int_{-1}^{1} t g(t) dt$ 给出。该公式是无参数的，并直接编码了 Lieb–Liniger 模型的两体散射数据。
解决 KIW 差异： 作者证明了先前的 KIW 猜想由于忽略了真空平均中对偶场的二次项贡献，无法捕捉到正确的弱耦合行为。新猜想通过在联合鞍点分析中包含必要的二次项对这一问题进行了修正。
数值验证： 本文展示了在超过四个数量级的耦合强度（ $\gamma_0$ ）范围内，对 Lieb–Liniger 流体动力学作用量的广泛数值最小化过程。

结果

与极限情况的一致性： 所猜想的率函数在弱耦合（ $\gamma_0 \to 0$ ）和强耦合（ $\gamma_0 \to \infty$ ）极限下均能精确复现已知的领先阶结果。此外，它还正确复现了在两个机制中此前通过流体动力学微扰理论独立推导出的第一个非平凡次领先修正项。
数值比较： 数值最小化的 Lieb–Liniger 流体动力学率函数 $f_{\text{num}}(\gamma_0)$ 在整个相互作用交叉区域内都紧密遵循猜想曲线 $f_{\text{conj}}(\gamma_0)$ 。系统的相对差异约为 3%–5%，且数值结果略高于猜想值。
收敛性分析： 涉及网格细化（从 $200\times200$ 增加到 $300\times300$ ）和扩展优化循环的收敛性测试表明，随着数值分辨率的提高，差异逐渐减小。这表明剩余的 3%–5% 的差异主要是归因于有限的网格分辨率和不完全的优化收敛，而非猜想本身存在根本性缺陷。
瞬子几何： 数值极小值揭示了具有星形真空区域的空洞瞬子，这与自由费米子和多项式流体（polytropic fluids）的研究结果一致。边界形状在弱耦合和强耦合极限之间平滑演化。

意义与主张
本文声称提供了一个统一的、无参数的描述，用于描述所有相互作用强度下斥力 Lieb–Liniger 气体的领先 EFP 指数。其意义在于：

形式化推导： 提供了一条从精确 Fredholm 行列式表示到所猜想的积分方程的形式化推导路径，并指出了需要严格证明的特定渐近步骤（即均匀双重缩放）。
经验稳健性： 通过在极限情况下的解析检查以及高精度流体动力学数值计算，支持了该猜想。
微观联系： 强调了积分方程中的对数核是 Lieb–Liniger 散射核的积分，这表明宏观大偏差率直接编码了微观散射数据。

作者对该猜想的地位保持了审慎态度，指出尽管已有强有力的数值和渐近证据支持，但实现均匀双重缩放渐近性的完整严格推导仍是一个开放的数学问题。他们还指出，次领先项（对 $R^2$ 指数的线性及对数修正）的结构仍然是一个开放性问题。

类似论文