Comment on `On computing quantum waves exactly from classical action'

想象一下，你正试图预测一群萤火虫在黑暗中飞行的路径。

科学家 Lohmiller 和 Slotine 最近发表的一篇论文声称他们发现了一个“魔法捷径”。他们说，你仅凭经典物理学的规则（比如单个球如何滚下山坡）和萤火虫群的密度，就能精确预测每只萤火虫的位置和运动方式，而无需借助量子力学中那些复杂而奇特的规则。他们声称这种方法“精确”，且不需要任何近似。

而 Gábor Vattay 撰写的这篇新论文，则是一封礼貌但坚定的“叫停”信。Vattay 指出，这个魔法捷径根本不是什么魔法；它实际上是一个已知的、简化的物理学版本，仅在非常特定且罕见的情况下才有效。

以下是用简单类比对这一论点的拆解：

1. 缺失的要素：“幽灵力”

在量子力学中，粒子不仅仅像实心球那样行动；它们也像波一样行动。为了描述这一点，物理学家使用一个包含两部分的公式：

相位：就像波的节奏或时序。
振幅（密度）：波在特定位置的“厚度”或集中程度。

Lohmiller 和 Slotine 试图仅利用节奏（源自经典路径）和密度来构建整个波。然而，Vattay 指出他们犯了一个数学错误：他们将密度视为完美平滑且不变的，就像一张平坦的水面。

事实上，量子波的密度往往是凹凸不平且不断变化的。当你存在这些凹凸时，一种特殊的“幽灵力”就会出现，称为量子势。

类比：想象你在公路上开车。Lohmiller 和 Slotine 仅根据引擎（经典作用量）和交通密度来计算车速，并假设路面完全平坦。Vattay 说：“你忘了坑洼！”这些坑洼就是量子势。如果你忽略它们，你的计算就只是一个近似值，而非精确解。

2. 为什么他们的例子行得通？

你可能会问：“如果他们的数学是错的，为什么他们的例子（比如双缝实验或盒中粒子）看起来是正确的？”Vattay 解释说，他们之所以成功，是因为碰巧选用了两种“花招”：

花招 A：“平坦路面”的错觉
在某些特定场景下（比如粒子在两堵墙之间反弹，或穿过狭缝），波中的“凹凸”排列得如此完美，以至于“幽灵力”（量子势）相互抵消为零。

类比：这就像说：“我可以忽略风，从而精确预测天气。”如果你站在一个没有窗户也没有风扇的房间里（没有风），这确实完美有效。但只要你迈出房门，它就失效了。Lohmiller 和 Slotine 选择的例子恰好是风为零的情况，因此他们的“无风”公式看起来完美无缺，尽管它并非通用规则。

花招 B：在起跑线上作弊
对于更复杂的问题（比如原子或振动的弹簧），“幽灵力”绝对不是零。那么，他们是如何得出正确答案的呢？

类比：想象他们声称仅凭跑步规则就能预测足球比赛的结果。但是，为了让他们的预测生效，他们秘密地让球员在开始时就已经排成了确切的获胜阵型。
Vattay 指出，在这些例子中，Lohmiller 和 Slotine 并没有真正从经典规则中推导出量子行为。相反，他们从初始条件（粒子的起始位置）开始，并秘密地利用已知的量子答案（“获胜阵型”）来设定这些条件。然后，他们仅使用经典物理学来让球员跑动。他们并没有发现量子规则；他们只是将量子答案隐藏在了起跑线里。

结论

Vattay 总结道，经典物理学与量子波之间的关系是一个名为半经典近似的已知领域。它是一个有用的工具，但它是一个近似，而非精确的替代方案。

该论文声称，Lohmiller 和 Slotine 并没有找到一种精确求解量子力学的新方法。相反，他们偶然重新发现了一种标准的近似方法，而他们的例子之所以行得通，要么是因为他们碰巧选择了那些近似值完美的题目，要么是因为他们从一开始就秘密地将量子答案构建到了问题之中。

以下是 Gábor Vattay 关于 Lohmiller 与 Slotine 工作的评论论文的详细技术总结。

1. 问题陈述

该论文针对 Lohmiller 与 Slotine（Proc. R. Soc. A 482: 20250413）近期提出的主张进行了回应，他们声称仅利用经典最小作用量和经典流体密度即可精确求解薛定谔方程。他们提出的公式从单条经典路径 $j$ 构建量子波函数 $\psi_j = \sqrt{\rho_j} e^{i\phi_j/\hbar}$ ，并声称这能在不使用半经典近似的情况下给出精确解。

Vattay 指出，这一主张在数学上存在缺陷。核心问题在于，Lohmiller 与 Slotine 混淆了沿轨迹的总导数与量子动能算符所需的空间偏导数。通过假设概率密度 $\rho_j$ 沿路径无空间变化，作者无意中消除了量子势，将其所谓的“精确”公式简化为标准的半经典（WKB）近似。

2. 方法论

Vattay 采用严格的数学重推导来检验 Lohmiller 与 Slotine 核心引理（引理 3.1）的有效性。方法论包括：

** Ansatz 代入**：将波函数 Ansatz $\psi_j = \sqrt{\rho_j} e^{i\phi_j/\hbar}$ 代入标量势 $V(x)$ 的含时薛定谔方程。
微积分验证：应用标准的乘积法则和链式法则，计算空间梯度（ $\nabla \psi_j$ ）和拉普拉斯算子（ $\nabla^2 \psi_j$ ）。
实部与虚部分离：分解所得方程，以分离出连续性方程（虚部）和能量守恒方程（实部）。
比较分析：将推导出的实部方程与经典哈密顿 - 雅可比方程进行对比，以识别差异，特别是关注代表量子势的项。
案例研究回顾：分析原始论文中提供的具体示例（箱中粒子、双缝、谐振子、氢原子），以确定为何尽管存在理论错误，它们似乎得出了正确的结果。

3. 主要贡献与数学发现

A. 基础错误的识别

Vattay 证明，薛定谔方程要求拉普拉斯算子作用于 $\psi_j$ 的完整空间依赖性，包括振幅 $\sqrt{\rho_j}$ 。

推导过程：
$\nabla^2 \psi_j = \left[ \nabla^2\sqrt{\rho_j} + \frac{2i}{\hbar}\nabla\sqrt{\rho_j} \cdot \nabla\phi_j + \frac{i}{\hbar}\sqrt{\rho_j}\nabla^2\phi_j - \frac{1}{\hbar^2}\sqrt{\rho_j}(\nabla\phi_j)^2 \right] e^{i\phi_j/\hbar}$
所得实部方程：
$\frac{\partial\phi_j}{\partial t} + \frac{1}{2M}(\nabla\phi_j)^2 + V - \underbrace{\frac{\hbar^2}{2M}\frac{\nabla^2\sqrt{\rho_j}}{\sqrt{\rho_j}}}_{Q} = 0$
项 $Q$ 是量子势，最初由 Madelung 识别并由 Bohm 强调。
错误所在：Lohmiller 与 Slotine 隐含地假设 $\nabla\sqrt{\rho_j} = 0$ （即密度无空间梯度）。这一假设人为地令 $Q=0$ ，导致方程坍缩为经典哈密顿 - 雅可比方程。Vattay 断言，这正是半经典极限的定义，而非精确解。

B. 对“成功”示例的解释

Vattay 解释了原始论文中的示例为何看似有效，将其归类为两种掩盖了错误的不同类型：

平凡密度（量子势消失）：
- 案例：箱中粒子、量子隧穿以及双缝实验（在自由空间中）。
- 理由：在这些情形中，经典密度 $\rho$ 要么是空间常数（平面波），要么按 $1/r$ 变化（球面波）。在三维空间中，除奇点外， $\nabla^2(1/r) = 0$ 处处成立。因此， $Q$ 恒等于零。由于问题几何性质导致被省略的项自然为零，该错误不可见。
循环论证（引入量子解）：
- 案例：谐振子和氢原子。
- 理由：对于这些束缚态，密度在空间上变化，且 $Q \neq 0$ 。然而，原始作者并未使用单条经典分支。相反，他们对无限初始条件系综进行了求和。
- 缺陷：用于初始密度的展开系数（例如谐振子的厄米多项式）是特意选择的，因为它们对应于量子本征函数。
- 结论：作者并非从经典力学推导出量子力学；他们在初始条件中预设了量子基函数，仅利用经典作用量来传播相位。这是一种循环论证，掩盖了单分支的错误。

4. 结果

声称仅利用单条路径上的经典作用量和密度即可精确求解薛定谔方程是错误的。
Lohmiller 与 Slotine 提出的公式在数学上等价于标准半经典（WKB）近似，该近似忽略了量子势。
在说明性示例中获得的“精确”结果是以下情况的产物：
1. 量子势自然消失的特殊几何结构。
2. 在初始条件中隐式注入量子本征函数，使得推导成为同义反复。

5. 意义

纠正文献：该论文纠正了文献中关于经典作用量与量子波函数之间关系的重大误解。它阐明了若不考虑量子势（空间色散），仅靠经典轨迹无法生成精确的量子波函数。
澄清半经典极限：它重申了既有的理解（引用 Berry & Mount、Madelung 和 Bohm），即从经典力学到量子力学的过渡需要包含量子势项，以解释波的干涉和色散。
方法论警示：它警示人们警惕那些通过初始条件参数化“后门”引入量子解的推导，误将结果视为从第一性原理出发的推导。
对量子流体动力学的影响：该评论重申了 Madelung 流体动力学表述的必要性，该表述自然地包含了量子势，是将流体密度与量子力学联系起来的正确框架。