Euler Topological Metals in 1D

技术摘要：一维欧拉拓扑金属

问题陈述
本文针对 Kane (2022) 提出的通过探测一维金属中费米海（Fermi sea）的欧拉示性数 ($\chi$) 来进行输运研究的方案，进行了数学形式化处理。在有能隙的相（如陈数）中，拓扑不变量可以通过量子化的输运系数来检测；然而，金属缺乏能隙。相反，它们的拓扑性质由动量空间中占据区域（即费米海）的几何结构定义。在一维情况下，欧拉示性数对应于该费米海的连通分量个数。核心问题在于，如何在连续极限下严格定义一个收敛于该拓扑不变量的线性响应函数，从而克服无限体积迹（trace）在无能隙系统中固有的数学障碍。

方法论
作者分析了一个定义在 $L^2(\mathbb{R})$ 上的洁净、平移不变连续哈密顿量 $H = f(P)$，其中 $f$ 是实解析色散关系。费米海定义为 $\Sigma_{E_F} = \{p \in \mathbb{R} \mid f(p) \leq E_F\}$。

1. 迹的正则化： 作者指出，标准的库博公式（Kubo formula）涉及一个交换子 $[\Lambda(X), e^{-itH}]$，其中 $\Lambda(X)$ 是一个尖锐的空间开关（Heaviside 阶跃函数）。在连续情形下，由于相位因子 $e^{-itf(p)}$ 在动量轴上的全变差是无穷大的（这是 Peller 定理的一个结果），该交换子通常不是迹类（trace-class）的。为了解决这个问题，论文引入了一个 Abel 正则化开关 $\Lambda_\varepsilon(x) = \chi_{(0,\infty)}(x)e^{-\varepsilon x}$，并在两侧都用费米投影 $P_F$ 对交换子进行压缩。
2. 响应泛函： 研究重点是一个无量纲响应泛函：
   $$R(t) = 2\pi i \, \text{tr}\left( P_F \left[ e^{itH} \Lambda_\varepsilon(X) e^{-itH}, \Lambda_\varepsilon(X) \right] P_F \right)$$
   目标是评估双重极限 $\lim_{t \to \infty} \lim_{\varepsilon \to 0^+} R(t)$。
3. 分析技术： 证明过程利用了直接的动量空间分析。迹被转化为一个振荡积分，涉及能量差 $t(f(p) - f(k))$ 除以 $(p-k)^2$ 的正弦函数。作者利用 Riemann-Lebesgue 引理证明，在 $t \to \infty$ 时，远离费米点（Fermi points）的贡献会消失。非零贡献被孤立到费米海区间的端点处，通过对这些奇异积分进行泰勒展开和精细估计来处理。
4. 晶格类比： 文中还进行了针对离散晶格情况（$H = \ell^2(\mathbb{Z})$）的平行分析。在此情形下，由于实解析周期函数的傅里叶系数呈指数衰减，尖锐交换子本质上是迹类的，因此可以直接进行计算而无需在最终极限中使用 Abel 正则化，尽管正则化被用于推导核公式。

主要贡献与结果

• 主定理（连续情形）： 论文证明，对于具有紧致费米海 $\Sigma_{E_F}$ 和正则费米能 $E_F$ 的实解析色散 $f$，正则化响应的长时间极限等于费米海的欧拉示性数：
  $$\lim_{t \to \infty} \lim_{\varepsilon \to 0^+} 2\pi i \, \text{tr}\left( P_F \left[ e^{itH} \Lambda_\varepsilon(X) e^{-itH}, \Lambda_\varepsilon(X) \right] P_F \right) = \chi(\Sigma_{E_F})$$
  在一维中，$\chi(\Sigma_{E_F})$ 简单地等于费米海的连通分量（区间）个数。

• 大时间极限的必要性： 作者论证了量子化严格来说是一种长时间现象。对于任何有限时间 $t$，响应 $R(t)$ 是一个从 0 开始演化并趋向于整数值的连续函数。它在有限时间内并非拓扑量子化的；它取非整数值，并仅在渐近意义下趋向于整数极限。在额外的非平稳性假设下，论文给出了 $O(t^{-1/3})$ 的收敛速率。

• 晶格结果与填满能带： 在晶格类比中，尖锐交换子是迹类的。作者证明，长时间极限会产生布里渊区内费米海的欧拉示性数。至关重要的是，他们表明如果能带被完全填满（$\Sigma_{E_F} = \mathbb{T}$），则欧拉示性数为 0，且响应消失。这与连续情形中“填满的海洋”可能产生贡献的直觉形成对比，凸显了环面几何（torus geometry）的拓扑差异。

• 有限体积与无序分析： 附录中的数值模拟说明了热力学极限（$L \to \infty$）与长时间极限（$t \to \infty$）之间的分离。在有限体积下，响应是准周期的，如果不先取热力学极限，它在 $t \to \infty$ 时不会收敛。此外，对于 Anderson 模型（无序系统），平均后的响应趋于零，且样本间的方差仍然显著，这表明量子化输运是洁净、弹道输运系统的特征，在强无序存在时并不持续存在。

意义与主张
本文声称为 Kane 的一维输运方案提供了一个严谨的数学形式化。其主要意义在于：

1. 严谨证明： 通过定义特定的 Abel 正则化响应，解决了连续情形下的迹类障碍，使该响应在数学上是良定义的，并收敛于拓扑不变量。
2. 明确极限： 明确量化了为什么长时间极限对于实现量子化至关重要，表明拓扑不变量是输运响应的一个渐近属性，而非有限时间的观测量。
3. 界定范围： 作者将这项工作定位为对一维连续情形的狭义且严谨的处理。他们明确指出，更高维度的课题（例如 $d \geq 2$ 的严谨非线性库博公式）仍是开放且重大的问题。本文并未提出新的实验装置，也未声称该不变量在无序或相互作用系统中易于测量；相反，它为洁净、非相互作用的情形建立了理论基准。

这项工作作为一个基础性的数学证明，证明了只要系统是洁净的、色散是实解析的、且观测时间取至无穷大，就可以从特定的输运响应中恢复出一维费米海的欧拉示性数。