A Real-Space Formulation of the Zak Phase via Weyl m-Functions

本文利用 Weyl $m_+$-函数为一维周期 Jacobi 算子的 Zak 相位建立了一个新颖的实空间公式，该公式绕过了 Floquet-Bloch 理论，从而显式地突出了对边界项的依赖性，并在反演对称性下恢复了经典量子化。

要点

想象一下，你正沿着一条由踏脚石组成的漫长且循环往复的小径行走。每隔几步，这些石头的图案就会重复一次。在量子物理的世界中，这条路径就是一个“材料”，而这些石头就是原子。电子像波一样在路径上移动。

长期以来，科学家们一直使用一种特定的地图（称为 Floquet-Bloch 理论）来理解这些电子波的行为。这种地图要求你同时观察整个无限长的路径，并计算在绕行整个循环时所产生的“相位”（一种波的旋转角度或扭转）。这被称为 Zak 相位。这是一个至关重要的数值，它能告诉我们某种材料是否具有“拓扑”上的特殊性——这意味着它可能在边缘拥有特殊的、受保护的状态（就像一条迫使交通流向侧边行驶的道路）。

问题所在：
通常情况下，为了计算这个 Zak 相位，你需要了解整个无限路径的“全局”图景。这就像是试图通过观察整条丝带来计算丝带的总扭转度一样。这在数学上非常沉重，并且依赖于一个无限重复世界的概念。

新发现：
本文的作者 Habib Ammari 和 Clemens Thalhammer 发现了一个聪明的捷径。他们发现了一种方法，可以通过仅观察材料的极边缘来计算同样的“扭转”（即 Zak 相位），而无需看到整个无限长的路径，也不需要使用旧的“全局地图”。

类比：“边缘阻抗”测量仪
把材料想象成一条长长的走廊。

• 旧方法： 要知道走廊是如何扭转的，你必须走完整个长度，测量每一步的角度，然后将它们全部相加。
• 新方法： 作者们发现了一个特殊的“测量仪”（称为 Weyl m-函数），你可以直接把它插在门口（边缘）进行测量。

这个测量仪测量的是所谓的“表面阻抗”。在我们的类比中，想象走廊对于波从门处弹回的方式具有特定的“电阻”。作者们证明了，如果你测量门口的这种电阻，并追踪它随着你调节波的能量而发生的变化，你就能计算出整个走廊的总扭转度。

它是如何运作的（魔术技巧）：

1. 实空间 vs. 动量空间： 旧方法是在“动量空间”（一个关于频率的数学世界）中运作的。新方法则是在“实空间”（原子的实际物理位置）中运作的。
2. 公式： 他们推导出了一个公式，其中 Zak 相位仅仅是这个“边缘测量仪”随着能量水平变化而产生的积分（即求和）。
3. 令人惊讶之处： 这个公式表明，Zak 相位不仅仅是材料“体相”（中间部分）的一个属性。它实际上取决于边界项——即你如何切割材料或在哪里放置边缘。这就像是在说，一根绳子的总扭转度取决于你如何握住两端，而不只是取决于绳子中间是如何打结的。

他们测试了什么：
为了证明他们的新公式有效，他们在两个著名的模型上进行了测试：

• SSH 模型： 一个经典的由交替强弱键组成的原子链模型。他们的新公式得出了与旧的、复杂的计算方法完全一致的结果。
• Rice-Mele 模型： 一个具有不均匀能量水平的更复杂的版本。他们利用计算机展示了他们的新公式与标准结果完美匹配。

“镜像”发现：
论文还研究了那些具有完美对称性（如彼此互为镜像）的材料。在这些情况下，Zak 相位通常是“量子化”的，这意味着它只能是 0 或 $\pi$（就像电灯开关只能是关或开一样）。
通过使用他们基于边缘的新公式，他们展示了为什么会发生这种情况。由于镜像对称性，其“边缘测量仪”的表现呈现出一种非常特定且可预测的方式，从而迫使总扭转度“跳变”到这些特定的数值。他们是利用边缘的几何特性完成的，而不需要复杂的全局地图。

总结：
这篇论文提供了一种更简单的方法来计算一维量子材料的一种基本属性。通过观察波在边缘的行为，你现在可以计算出系统的“扭转度”，而不再需要分析整个无限系统。它将“谱理论”（波如何产生共振）这一抽象数学与边界的物理现实直接联系起来，为理解拓扑材料的工作方式提供了全新的视角。

技术摘要

技术摘要：基于 Weyl m-函数的实空间 Zak 相位表述

问题陈述
Zak 相位是研究一维量子系统拓扑性质的一个基本概念，它作为布洛赫波函数在布里渊区内积累的几何相位。它在体材料性质与边缘现象（即体-边界对应关系）之间提供了关键的联系。传统上，Zak 相位的计算依赖于 Floquet-Bloch 理论以及涉及布洛赫本征函数的动量空间表述。虽然 Zak 相位通常定义在 $[0, 2\pi)$ 内，但在具有特定对称性（如反转对称性或手征对称性）的系统中，它会发生量子化。

文献中存在一个空白，即缺乏一种完全在实空间内运行、且独立于动量空间表示的 Zak 相位表述方法。此外，标准表述中关于边界条件和基本胞选择的依赖性往往是隐含的。本文旨在解决这一需求，提出一种利用离散算子（特别是 Jacobi 算子）的谱理论来表达 Zak 相位的实空间表示，而不依赖于 Floquet-Bloch 理论。

方法论
作者专注于作用在 $\ell^2(\mathbb{Z})$ 上的一维周期 Jacobi 算子 $J$，其由对角元素 $b(n)$ 和非对角元素 $a(n)$ 定义。研究方法的核心是利用 Weyl m-函数。

1. Weyl m-函数： 文中利用了 Weyl m-函数 $m_+(\lambda, n_0)$ 和 $m_-(\lambda, n_0)$，它们是通过半无限 Jacobi 算子（$J_+$ 和 $J_-$）的解析核（resolvent）或相关谱测度的 Borel 变换定义的。这些函数编码了详细的谱信息，包括态密度和谱间隙。
2. 解析延拓： 证明策略涉及通过考虑复布洛赫动量 $k + i\varepsilon$，将 Berry 联络 $A_n(k) = -i\langle u_n(k), \partial_k u_n(k) \rangle$ 解析延拓到复平面。这使得作者能够利用半直线算子 $J_+$ 的解析核来表达本征向量及其导数。
3. 谱积分： 通过利用泛函演算，作者将涉及本征向量及其导数的内积与涉及 $J_+$ 谱测度的特定谱积分（$I_0$ 到 $I_4$）联系起来。
4. 渐近分析： 推导过程通过取能量的虚部趋于零的极限（$\varepsilon \to 0$）来进行。这涉及分析谱积分在实轴附近的行为，区分绝对连续谱（能带）和点谱。

主要贡献与结果

• Zak 相位的实空间公式： 主要结果是 定理 3.1，它建立了第 $n$ 个孤立能带的 Zak 相位 $\gamma_n$ 关于 Weyl m-函数 $m_+$ 的新公式。该公式给出为：
  $$\gamma_n = \int_{\lambda_{n,\min}}^{\lambda_{n,\max}} \frac{\Re(m'_+(\lambda + i0)}{\Im(m_+(\lambda + i0))} d\lambda - \pi$$
  其中 $\lambda_{n,\min}$ 和 $\lambda_{n,\max}$ 是谱带的下界和上界。该表述完全是在实空间中的，仅依赖于解析核（通过 m-函数）的边界值和谱密度，而无需显式引用布洛赫动量 $k$。

• 对边界条件的依赖性： 作者强调，这种实空间表示明确展示了 Zak 相位对基本胞选择（边界条件）的依赖性。Zak 相位的数值被证明对边界处 Weyl m-函数的具体定义是敏感的。

• 量子化的恢复： 文中证明了对于具有反转对称基本胞的周期 Jacobi 算子，Zak 相位被量子化为 $\pi$ 的整数倍。利用新公式 (3.3) 以及对于对称胞中 Weyl m-函数的模长在能带内为常数这一性质，作者仅使用实空间对称性论证推导出了这种量子化，避免了通常用于 Wannier 函数的动量空间宇称论证。

• 通过示例进行验证：

  • Su–Schrieffer–Heeger (SSH) 模型： 作者解析地计算了 SSH 模型的 Weyl m-函数，并表明新公式能够重现标准的 Zak 相位值（$0$或$\pi$），从而区分平凡相和拓扑相。
  • Rice-Mele 模型： 对于打破反转和手征对称性的 Rice-Mele 模型，作者进行了数值评估。结果显示，新公式与标准的离散实现方法高度一致，验证了该方法的计算实用性。
  • 镜像对称胞： 一个对称三聚体设置的数值示例证实，新公式给出的值接近 $\pi$，这与量子化的理论预测一致。

意义与主张
本文声称这项工作提供了一种新的计算工具和对 Zak 相位的更深层次的概念理解。通过将结果用动力系统和谱理论（Weyl m-函数）的语言重新表述，作者将 Jacobi 算子的抽象数学框架与物理上可观测的量（如边缘模）联系了起来。

其意义在于：

1. 独立于 Floquet-Bloch 理论： 该表述不需要构建布洛赫本征函数或在布里渊区上进行积分，提供了一个根植于实空间谱性质的替代视角。
2. 显式的边界依赖性： 它澄清了 Zak 相位并非纯粹的体性质，而是取决于边界选择，而这一特征在传统表述中往往是隐含的。
3. 与表面阻抗的联系： 作者指出 Weyl m-函数与表面阻抗之间存在联系，暗示了该实空间公式在场-通量比方面的物理诠释。

作者对于将该公式解释为几何或拓扑相的观点保持谨慎，指出公式 (3.3) 精确的拓扑诠释仍是一个有待未来概念性研究的开放性问题。这项工作被呈现为一项严谨的数学推导，它在符合并恢复经典结果的同时，提供了一个全新的实空间视角。