Analytic Bootstrap Solution for Quantum Mechanics on a Circle

技术摘要：圆周量子力学的解析自举解法

问题陈述
本文研究了受非平凡周期势 $V(\theta)$ 影响的圆周上单个粒子的量子力学问题。该系统等价于处于周期势中的一维粒子模型，在光学晶格、量子摆和约瑟夫森结等领域具有相关性。其控制方程为定态薛定谔方程，对于特定势函数，该方程可简化为 Hill 方程或 Mathieu 方程。

将量子力学自举方法（bootstrap method）应用于该系统的核心挑战在于两点：

1. 准动量歧义性：在周期性系统中，准动量（与规范联络 $a$ 相关）并非由初始公式固定。自举方法必须在确定能量谱的同时，也确定这一参数。
2. 缺失的动量期望值：标准的关于测度矩的自举不等式无法确定动量算符的期望值 $\langle \tilde{p} \rangle$，而这对于完整表征状态并区分退化解（例如 $|E, a\rangle$ 和 $|E, -a\rangle$）是必需的。
3. 计算效率：传统的高精度方法（如 Hill 行列式法）计算成本高昂。作者寻求一种能够避免半正定规划优化，同时保持高数值精度的解析解法。

方法论
作者提出了一种解析自举方法，通过对递推关系的渐近分析取代了标准的数值不等式优化。

1. 递推关系：自举方程 $\langle \hat{H} \mathcal{O} \rangle = E \langle \mathcal{O} \rangle$ 被简化为概率测度 $\mu(\theta) = |\psi(\theta)|^2$ 的傅里叶系数 $t_n = \langle e^{in\theta} \rangle$ 的递推关系。对于具有 $k$ 个傅里叶模的势函数，这会产生一个 $(2k+1)$ 项的递推关系。
2. 极小解选择：物理解要求波函数和测度是光滑的，这意味着它们的傅里叶系数必须呈指数级快速衰减。作者通过选择递推关系的“极小解”（即在无穷远处衰减的解）来强制执行这一要求。
3. 连分数表示：对于最简单的余弦势情形，极小解可以用广义连分数唯一表示。这使得问题转化为寻找一个关于耦合常数和能量的收敛连分数的数值，该连分数是一个解析函数。
4. 可观测量的重构：
   • 波函数：一旦确定了 $t_n$，即可通过傅里叶合成恢复波函数的模 $R(\theta)$。通过求解涉及概率流 $J$ 的微分方程来重构相位 $W(\theta)$。
   • 动量与准动量：$\langle \tilde{p} \rangle$ 作为 $t_n$ 的二次函数被计算得出。该量直接与常数概率流 $J$ 相关。准动量 $a$ 通过相位边界条件和 $J$ 的值提取。
   • 态密度：利用 Hellmann-Feynman 关系，证明态密度与 $1/J$ 成正比。
5. 正定性检查：解的物理有效性（测度的正定性）被简化为一项简单的不等式检查：验证 $J^2 > 0$（确保 $J$ 为实数）。若 $J^2 < 0$，则表明该解对应于禁止能区。

主要结果

• 解析解：该方法提供了一个关于耦合常数和能量的解析函数解，可以使用后向算法（Miller 算法的推广）计算至任意精度。
• 能带结构解析：应用于 Mathieu 方程（余弦势 $V(\theta) = -2\lambda \cos \theta$），该方法成功解析了能带结构。它无需微扰论即可精确捕捉指数级微小的能带分裂（例如当 $\lambda=4$ 时，$\Delta E \approx 6 \times 10^{-9}$）。
• 奇异性：作者展示了计算出的矩（例如 $t_1$）在允许能带之外表现出奇异性，这为识别禁止区域提供了明确的诊断依据。
• 波函数重构：论文提供了一个两步程序，用于重构完整的波函数（模与相位），并直接从自举数据中提取准动量。

意义与主张
本文声称为解决圆周上的量子力学问题提供了一个全新的、高效且严谨的解析框架。

• 效率：不同于半正定规划方法，该方法避免了昂贵的优化过程，依赖于连分数的快速收敛。
• 完备性：它解决了此前在自举框架内难以计算的未定准动量和动量期望值的问题。
• 普适性：虽然以余弦势为例，但作者认为该方法可以通过广义连分数推广到一般的周期势。
• 物理洞察：将正定性约束简化为 $J^2 > 0$ 的条件，简化了物理解的验证过程。该方法与 JWKB 方法的求解顺序相反，是在无需微扰级数的情况下解决问题的。

作者指出，对于许多能量和耦合值，所得函数在复平面内是良定义的，这暗示了未来探索这些解析结构的潜力，尽管当前工作侧重于物理上的实值谱。