Explicit equivalence between the spectral localizer and local Chern and winding markers

本文通过仅利用克利福德代数，在谱局域化算符的系统微扰展开中证明这些标记作为主导阶项出现，从而在无序系统中明确建立了动量空间拓扑不变量与实空间标记（如局域陈数和缠绕数标记）之间的等价性。

要点

以下是用简单语言和日常类比对该论文的解读。

宏观图景：同一块领地的两张不同地图

想象你试图描述一片非常奇特、凹凸不平的景观（一种“拓扑材料”）。在物理学中，我们通常想知道这片景观的结构中是否存在特殊的“结”或“扭转”。这种扭转被称为拓扑不变量。它是一个数字，告诉我们该材料很特殊，就像甜甜圈有一个洞，而球体有零个洞。

长期以来，科学家们有两种不同的方法来计算这些“结”：

1. “完美网格”法（陈数/缠绕标记）： 如果景观是完美平滑且重复的，就像铺满瓷砖的地板，这种方法非常有效。你可以通过一次性观察整个图案来数出扭转的数量。但是，如果地板破损、杂乱或布满随机孔洞（无序），这种方法就会陷入混乱并停止工作。
2. “局部指南针”法（谱局域化指数）： 这是一种专为杂乱景观设计的新工具。它不是观察整个地板，而是使用一种特殊的“指南针”（一个数学算符）来检查局部区域，看地面是否发生了扭转。即使地板破损或混乱，它也能发挥作用。

问题所在： 科学家们知道这两种方法通常能给出相同的“结”数量答案，但他们缺乏一个简单、循序渐进的证明来展示为什么它们是相同的。这种联系隐藏在非常复杂、抽象的数学（如"K 理论”）背后，对大多数人来说难以理解。

解决方案：用“显微镜”放大细节

这篇论文在两种方法之间架起了一座清晰、简单的桥梁。作者使用了一种称为微扰展开的数学技巧，你可以将其想象为使用显微镜来放大“局部指南针”法。

以下是他们的做法：

1. 调节旋钮（$\kappa$）： “局部指南针”上有一个刻度盘或调节旋钮，称为 $\kappa$（kappa）。这个旋钮控制指南针对材料“位置”与“能量”的权重分配。

   • 类比： 想象你试图在城市中找到一栋特定的房子。如果你将旋钮向一个方向转动，你会专注于街道地址（位置）；如果你向另一个方向转动，你会专注于建筑物的高度（能量）。指南针需要在两者之间取得平衡才能工作。

2. “小旋钮”技巧： 作者决定将旋钮调至一个非常小的值（接近零）。用数学术语来说，他们将旋钮视为一个微小的“微扰”。

3. 展开（打开盒子）： 当他们对这个小旋钮的数学公式进行展开时，发现了一些神奇的事情。复杂的“局部指南针”公式并没有看起来像一团乱麻，而是展开成了一系列更简单的项。

   • 该系列中的第一项（“主导项”）恰好就是“完美网格”法（陈数或缠绕标记）的公式。
   • 随后的项非常小，可以被忽略。

类比：雾蒙蒙的窗户

想象你透过一扇雾蒙蒙的窗户看一幅画。

• 谱局域化就是透过雾气的视野。它有点模糊且复杂，但即使画作受损，它也能清晰地展示整幅画面。
• 局部陈标记则是当窗户完全干净且你站在画作正旁边时的视野。它清晰易懂，但只有在画作完好无损时才有效。

作者表明，如果你慢慢擦去雾气（通过将旋钮 $\kappa$ 调至零），模糊的视野并不会消失；而是直接转变为清晰、干净的视野。他们从数学上证明了，“雾蒙蒙”的视野仅仅是“干净”的视野加上一点点额外的噪声，当你看得足够仔细时，这些噪声就会消失。

他们的证明

该论文声称明确证明了：

• 在偶数维（如平面）中，“局部指南针”指数在数学上等同于陈标记。
• 在奇数维（如线条或三维块）中，它等同于缠绕标记。

他们并没有使用通常连接这些概念的繁重、抽象的数学工具。相反，他们使用了基本的代数以及这些数学“指南针”构建的具体规则（克利福德代数）。

为何这很重要（根据论文所述）

• 简洁性： 它使用简单、直接的数学证明了这种联系，使更广泛的物理学家群体（而不仅仅是拓扑学家）都能理解。
• 验证： 它解释了为什么科学家在计算机模拟中使用这两种方法会得到相同的结果。它证实了“局部指南针”是处理杂乱、无序材料的可靠工具，因为当你以正确的方式看待它时，它在本质上与受信任的“完美网格”法是相同的。
• “旋钮”之谜： 它有助于解释如何选择调节旋钮（$\kappa$）的值。数学表明，只要旋钮足够小，这两种方法就会达成一致。

总结

作者采用了一种用于测量扭曲材料的复杂现代工具（谱局域化），并表明，当你通过特定的数学透镜（一个小调节旋钮）观察它时，它会揭示出自己是那个大家已经理解的、同样古老且受信任的工具（陈数/缠绕标记）。他们提供了缺失的“操作手册”，确切地解释了这两者为何相同。

技术摘要

技术摘要：谱局域化算子与局域陈数及缠绕数标记之间的显式等价性

问题陈述
拓扑能带绝缘体传统上利用动量空间不变量（如陈数或缠绕数）进行分类，这些不变量依赖于平移对称性。然而，许多物理上相关的系统——例如无序、非晶或准晶材料——缺乏这种对称性。为了表征这些系统中的拓扑，人们开发了被称为“局域标记”的实空间定义。两种主要方法是局域陈标记（及其缠绕对应物）和谱局域化算子指标。

尽管各种局域标记（如 Kitaev 不变量、Bott 指标和散射不变量）之间的等价性已得到确立，但谱局域化算子指标与局域陈/缠绕标记之间的显式联系一直模糊不清。此前关于它们关系的证明依赖于抽象的代数拓扑（K 理论、谱流），这掩盖了物理直观和数学的简洁性。此外，谱局域化算子需要选择一个标量参数 $\kappa$，该参数对位置算子相对于哈密顿量的权重进行加权。选择 $\kappa$ 的标准通常由严格的数学界限指导，但数值模拟表明，即使违反这些界限，该方法依然稳健。因此，亟需一种利用更简单数学显式连接这两种方法的推导，以阐明谱局域化算子的有效适用范围。

方法论
作者提供了谱局域化算子指标关于参数 $\kappa$ 幂次的系统性微扰展开。该推导完全依赖于谱局域化算子构造中固有的克利福德代数结构，避免了繁重的拓扑工具。

1. 定义：谱局域化算子 $\hat{L}$ 利用哈密顿量 $\hat{H}$、位置算子 $\hat{x}_k$ 以及辅助克利福德矩阵 $\hat{\sigma}_k$ 定义。指标 $I_{SL}$ 定义为 $\hat{L}$ 符号的一半，或者等价地，定义为扁平化局域化算子 $\hat{L}_F = \hat{L}(\hat{L}^2)^{-1/2}$ 的迹。
2. 微扰展开：作者对 $(\hat{L}^2)^{-1/2}$ 进行小 $\kappa$ 的泰勒展开。他们利用扁平化哈密顿量 $\hat{H}_F$（其特征值被映射为 $\pm 1$）来简化代数运算。
3. 代数截断：展开在 $n=d$ 阶处截断（其中 $d$ 为空间维度）。利用克利福德代数的迹性质分析各项。关键在于，仅当 $\sigma$ 矩阵的乘积与单位矩阵成正比时，辅助自由度的迹才非零。这一约束迫使特定项消失，并规定只有包含每个 $\sigma$ 矩阵至少一次的项才能保留。
4. 维度分析：作者分别处理偶数维度（A 类，陈绝缘体）和奇数维度（AIII 类，手征绝缘体）。他们证明，展开中的主导项精确对应于局域陈标记（对于偶数 $d$）或局域缠绕标记（对于奇数 $d$）。
5. 消失项：附录中提供了严格证明，表明展开中的二阶项（以及不匹配标记结构的高阶修正项）由于迹的循环性质和算子的反对易关系而消失。

主要贡献与结果

• 显式等价性：本文确立了在偶数维度下 $I_{SL} = C_{d/2}$ 的直接相等性，以及在奇数维度下 $I_{SL} = W_{\lceil d/2 \rceil}$ 的直接相等性。这证明了在小 $\kappa$ 极限下，谱局域化算子指标退化为局域陈标记和缠绕标记，作为主导阶贡献。
• 推导简化：通过依赖克利福德代数和预解式的渐近分析，作者绕过了对抽象 K 理论或谱流分析的需求，提供了一种更广泛物理学受众可理解的推导。
• 数值验证：使用带有无序的 Qi-Wu-Zhang 模型的数值示例表明，虽然在约化为局域标记的过程中（作为算子在最后一步变为无隙），局域化算子的谱隙丢失，但指标的量化值保持稳定。这证实了拓扑信息在整个微扰约化过程中得以保留。

意义与主张
作者声称，这项工作为在无序系统中使用局域标记提供了严格的基础。具体而言：

• 它解释了为何在存在体隙的情况下，局域陈标记的空间平均会产生量化值，这一结果在数值研究中被广泛使用。
• 它解释了数值观察结果，即对于小 $\kappa$ 值，通过谱局域化算子和局域陈标记计算得到的相图是重合的。
• 该推导阐明了两种方法之间的关系，表明在小 $\kappa$ 区域，谱局域化算子是局域陈标记的一个稳健代理。

本文对未来影响保持适度，指出虽然当前工作专注于 $\mathbb{Z}$ 分类相（A 类和 AIII 类），但将此方法扩展到 $\mathbb{Z}_2$ 相（如时间反演对称系统）仍然是一个未决问题。这项工作并未提出新的实验装置，而是巩固了用于非周期系统拓扑表征的现有数值工具的理论基础。