$\mathbb{Z}_2$ topological invariant in three-dimensional PT- and PC-symmetric class CI band structures

本文利用自旋陈 - 西蒙斯作用的量子化，为三维 PT 和 PC 对称的 CI 类能带结构构建了一种新的$\mathbb{Z}_2$拓扑不变量，该不变量成功区分了先前已知指标无法探测的拓扑相。

要点

想象一下，你正在整理一大堆复杂的三维拼图碎片。在量子物理的世界里，这些“拼图碎片”被称为能带结构。科学家们早已知道如何根据这些碎片所遵循的特定规则（对称性）来对大多数碎片进行分类。然而，有一种特定类型的拼图碎片——存在于遵循一组特殊规则（称为CI 类）的三维材料中——科学家们一直无法将其归类。他们知道它的存在，但缺少一个特定的“标签”或“标记”，无法判断它究竟是一种独特的拓扑形状，还是普通的形状。

本文由 Ken Shiozaki 撰写，最终创造了这个缺失的标签。以下是作者如何做到的，通过日常类比进行解释。

1. 两条特殊规则（PT 和 PC）

要理解这个谜题，首先你需要了解碎片所遵循的规则。本文聚焦于两条特定的“镜像”规则：

• PT 对称性（宇称 - 时间）： 想象你在镜子里看一块拼图碎片，然后倒放它的电影。如果碎片看起来完全一样，它就遵循这条规则。
• PC 对称性（宇称 - 粒子 - 空穴）： 想象将碎片中的每一个“粒子”与一个空的“空穴”互换，并将其在镜子里翻转。如果它看起来一样，它就遵循这条规则。

当一种材料同时遵守这两条规则时，它就属于CI 类。长期以来，科学家们知道如何计算这些材料的一维和二维版本中的“扭曲”数量，但三维版本一直是个谜。

2. 缺失的标签：“自旋 - 陈 - 西蒙斯”作用量

在拓扑学世界中，我们经常测量一个形状有多“扭曲”。对于三维材料，科学家们通常使用一种称为陈 - 西蒙斯作用量的测量方法。这就像测量一捆纱线的总“扭曲”量。

• 问题： 在普通材料中，这种扭曲测量通常以整数出现（如 0、1、2）。但对于 CI 类材料，标准的扭曲测量结果总是零。这就像试图测量一根完全笔直的绳子的扭曲程度；工具显示“零扭曲”，即使绳子实际上是以工具无法察觉的方式打结的。
• 解决方案： 作者引入了一种更敏感的新工具，称为自旋 - 陈 - 西蒙斯（自旋 - CS）作用量。
  • 类比： 想象标准工具以 360 度为单位测量扭曲。新工具则以 720 度为单位进行测量。
  • 由于这些材料遵循特定的规则（PT 和 PC），新系统中的“扭曲”不仅仅在 360 度处停止；它具有 720（或 $4\pi$）的特殊周期性。
  • PC 对称性充当守门人，迫使这种扭曲仅锁定在两个可能的位置：0 或 2π（在新系统中即 360 度）。

这种仅锁定在两个位置的现象产生了一个完美的 $Z_2$ 不变量。用通俗的话说，这是一个简单的“是/否”标签。它告诉你：“这种材料在拓扑上是独特的吗？是（1）还是否（0）。”

3. “自旋结构”的怪癖

这里有一个小陷阱，论文通过一个有趣的细节强调了这一点。要使用这个新标签，你必须选择一个“自旋结构”。

• 类比： 想象你在包装礼物。你可以从顶部、底部、左侧或右侧开始用丝带包裹。这些是不同的“自旋结构”。
• 标签的值（0 或 1）可能会根据你从哪个方向开始包裹丝带而改变。
• 为什么没关系： 论文认为，虽然数值可能会根据包裹方式而改变，但材料是“平凡”（无聊）还是“拓扑”（有趣）这一事实保持一致。如果一种材料确实是拓扑的，只要正确比较，无论你怎么包裹，它都会显示为“独特”。

4. 证明其有效性：“隐形”模型

为了证明这个新标签确实有效，作者构建了两个特定的数学模型（让我们称之为模型 A和模型 B）。

• 旧方法： 如果你使用旧工具（标准绕数），模型 A 和模型 B 看起来完全一样。它们看起来都是"0"（无聊）。
• 新方法： 当作者应用新的 $Z_2$ 标签时：
  • 模型 A 获得了 1 的标签（拓扑）。
  • 模型 B 获得了 0 的标签（平凡）。
• 结果： 这证明了模型 A 和模型 B 实际上是不同的，尽管旧工具无法区分它们。这就像拥有一种新型 X 光，能够看到普通 X 光漏掉的骨骼中隐藏的骨折。

总结

Ken Shiozaki 的论文解决了三维量子物理中长期存在的谜题。

1. 缺口： 科学家无法对遵循特定镜像 - 时间规则（CI 类）的三维材料进行分类。
2. 修复： 他们发明了一种新的数学“扭曲计”（自旋 - 陈 - 西蒙斯作用量），其灵敏度足以检测这些材料。
3. 结果： 这种新仪表给出了一个简单的“是/否”答案（$Z_2$），即使在所有先前方法都失败的情况下，也能区分拓扑材料和普通材料。

这完成了在三维空间中遵循这些特定对称规则的所有类型拓扑材料的“分类说明书”。

技术摘要

技术摘要：三维 PT 和 PC 对称性下 CI 类能带结构中的$Z_2$拓扑不变量

问题陈述
与由内部对称性定义的成熟 Altland–Zirnbauer (AZ) 分类相比，基于空间对称性的能带结构拓扑不变量分类仍不完整。具体而言，对于结合空间反演与时间反演 (PT) 或粒子 - 空穴共轭 (PC) 的晶体对称性，此前缺乏针对三维及以下维度的完整拓扑不变量集合。虽然球面上的 K 理论预测了由 PT 和 PC 对称性定义的三维 CI 类具有$\mathbb{Z}_2$分类，但此前未知该不变量在三维环面（布里渊区）上的一般显式公式。现有定义依赖于 Takagi 分解，该分解要求全局分解，而环面上并不总是存在这种分解，从而导致该不变量对通用能带结构而言定义不明确。

方法论与构建
本文通过利用 PT 和 PC 对称性之间的相互作用以及流形数学框架，构建了缺失的$\mathbb{Z}_2$不变量。

1. 对称性约束与丛结构：
   作者考虑了满足 PT 和 PC 对称性的三维环面$T^3$上的有能隙哈密顿量$H_k$。这些对称性强制了手征结构，使得哈密顿量可以扁平化为对称酉矩阵$q_k \in U(n)$，满足$q_k = q_k^\top$。PT 对称性意味着占据态构成了$T^3$上的实主$O(n)$丛$P_q$，其特征由 Stiefel–Whitney (SW) 类刻画。

2. 自旋 - Chern–Simons (Spin-CS) 作用量：
   为了定义该不变量，作者利用了与$O(n)$丛相关的实 Berry 联络$A$耦合的 Dirac 算子的$\eta$不变量。他们定义了一个“自旋-Chern–Simons 作用量”，记为$CS_{\text{spin}}(P, A, \sigma)$，其依赖于流形上自旋结构$\sigma$的选择。

   • PT 对称性的作用： PT 对称性确保了实 Berry 联络的存在，使得自旋-CS 作用量的定义具有$4\pi$的周期性（而非复丛标准的$2\pi$）。
   • PC 对称性的作用： PC 对称性将该自旋-CS 作用量量子化为集合$\{0, 2\pi\}$，有效地将$4\pi$周期性约化为一个良定义的$\mathbb{Z}_2$值。

3. 不变量的定义：
   新的不变量$\nu[q, \sigma]$定义为：
   $$\nu[q, \sigma] := \frac{1}{2\pi} CS_{\text{spin}}(P_q, A_q, \sigma) \mod 2$$
   该量被证明在能带结构的直和下具有可加性。

关键结果与性质

• 量子化与可加性： 对于三维系统，不变量$\nu$取值于$\{0, 1\}$。它满足求和规则$\nu[q \oplus q'] = \nu[q] + \nu[q'] \mod 2$，使其成为一个鲁棒的拓扑指标。
• 与已知指标的关系：
  • 如果存在全局 Takagi 分解$q_k = Q_k Q_k^\top$，则$\nu$简化为$Q_k$的三维绕数 (winding number) 的奇偶性，从而恢复了特定情况下已知的结果。
  • 该不变量不同于第一和第二 Stiefel–Whitney 类 ($w_1, w_2$) 以及一维绕数 ($W_1$)，后者构成了 CI 类的其他已知不变量。
• 自旋结构依赖性： 一个关键发现是$\nu[q, \sigma]$显式依赖于自旋结构$\sigma$的选择。在三维环面上，存在八个不同的自旋结构。本文证明，虽然不变量的值依赖于$\sigma$，但平凡相与非平凡相之间的物理区别（即一个相是否可以绝热地连接到平凡相）仍然独立于自旋结构的选择。
• 新相的探测： 作者构建了明确的晶格模型，其中新的不变量能够区分所有先前已知指标 ($W_1$和$w_2$) 无法区分的拓扑相。具体而言，他们展示了两个模型的直和 ($q_A \oplus q_B$)，其$W_1$和$w_2$不变量均为平凡，但$\nu$不变量非平凡，从而证明了存在先前分类未能捕捉到的拓扑相。

意义与主张
本文声称完成了由空间维度高达三维的 PT 和 PC 对称性定义的八个实 AZ 类的拓扑不变量集合。通过提供此前缺失的三维 CI 类$\mathbb{Z}_2$不变量的具体构建，作者解决了受这些晶体对称性保护的拓扑绝缘体和超导体分类中的空白。该工作确立了由 PC 对称性量子化的自旋-CS 作用量作为这些系统的基本拓扑指标，即使在缺乏全局分解的情况下也能探测非平凡拓扑。作者指出，虽然该不变量依赖于自旋结构，但这种依赖性并不会导致相的物理分类出现不一致。