[论文解读] Finite volume calculation of $K$-theory invariants

Terry A. Loring, Hermann Schulz‐Baldes|arXiv (Cornell University)|Jan 25, 2017

Topological Materials and Phenomena参考文献 24被引用 28

一句话总结

本文提出谱局部化器——一种从格点上的弗雷德霍姆算子构造的有限维矩阵——通过矩阵的符号或帕菲安行列式来计算 $K$-理论不变量，例如奇数陈数或 $\mathbb{Z}_2$ 不变量。该方法使得即使在缺乏经典微分结构的情况下，也能在如拓扑绝缘体等系统中实现拓扑不变量的数值计算。

ABSTRACT

Odd index pairings of $K_1$-group elements with Fredholm modules are of relevance in index theory, differential geometry and applications such as to topological insulators. For the concrete setting of operators on a Hilbert space over a lattice, it is shown how to calculate the resulting index as the signature of a suitably constructed finite-dimensional matrix, more precisely the finite volume restriction of what we call the spectral localizer. In presence of real symmetries, secondary $\mathbb{Z}_2$-invariants can be obtained as the sign of the Pfaffian of the spectral localizer. These results reconcile two complementary approaches to invariants of topological insulators.

研究动机与目标

• 开发一种有限维方法，用于计算如奇数陈数等 $K$-理论不变量，适用于拓扑绝缘体。
• 调和两种互补的拓扑不变量方法：$K$-理论指标配对与有限体积数值计算。
• 将该方法扩展至具有实对称性的系统，通过谱局部化器的帕菲安行列式计算次级 $\mathbb{Z}_2$ 不变量。
• 提供一种仅基于基本泛函分析的、可数值处理的无限维弗雷德霍姆指标理论的替代方案。
• 在 $d=1$ 情况下，建立谱流与 $\eta$-不变量之间的严格联系，从而在分析上验证该方法的有效性。

提出的方法

• 通过将无界狄拉克算子和可逆算子 $A$ 限制在有限格点体积上，构造谱局部化器为有限维矩阵。
• 利用离散傅里叶变换将问题从环面 $\mathbb{T}^d$ 映射到 $\ell^2(\mathbb{Z}^d)$，其中狄拉克算子变为 $D = \sum_{j=1}^d \Gamma_j X_j$。
• 将谱局部化器 $L_\kappa$ 定义为包含 $\kappa X$、$A$ 及其共轭的分块矩阵，确保在局部性条件 $\|[D,A]\| < \infty$ 下有界性。
• 当 $\kappa$ 足够大时，通过谱局部化器 $L_\kappa$ 的符号计算 $\Pi A \Pi + (\mathbf{1} - \Pi)$ 的弗雷德霍姆指标。
• 对于具有实对称性的系统，通过谱局部化器的帕菲安行列式的符号计算次级 $\mathbb{Z}_2$ 不变量。
• 利用谱流和 $\eta$-不变量的同伦不变性，证明有限体积下的符号值在系统尺寸趋于无穷时收敛于真实指标。

实验结果

研究问题

• RQ1 能否通过有限维矩阵数值计算与哈代投影配对的 $K_1$-类的弗雷德霍姆指标？
• RQ2 在缺乏光滑微分结构的情况下，谱局部化器与经典奇数陈数公式有何关系？
• RQ3 该方法能否扩展至具有时间反演或粒子-空穴对称性的系统，以计算 $\mathbb{Z}_2$ 不变量？
• RQ4 谱流在连接 $\eta$-不变量与谱局部化器的有限体积符号之间起什么作用？
• RQ5 局部性界 $\|[D,A]\| < \infty$ 是否足以且必要以确保谱局部化器正确计算指标？

主要发现

• 当 $\kappa$ 足够大时，$\Pi A \Pi + (\mathbf{1} - \Pi)$ 的弗雷德霍姆指标等于谱局部化器 $L_\kappa$ 的符号，从而实现了对 $K$-理论指标的有限维计算。
• 在 $d=1$ 情况下，与移位算子 $S^n$ 相关的路径 $\lambda \mapsto L_\kappa(\lambda)$ 的谱流恰好为 $n$，确认指标为 $n$。
• 当局部性界一致成立时，谱局部化器的 $\eta$-不变量在同伦下保持不变，从而保证了有限体积符号的稳定性。
• 当存在实对称性时，谱局部化器允许通过其帕菲安行列式的符号计算 $\mathbb{Z}_2$ 不变量。
• 该方法在同伦下具有鲁棒性，并提供了一种即使在缺乏经典微分结构时也稳定计算拓扑不变量的数值方法。
• 已证明 $\|\,[D,A]\| \leq \kappa^{-1}$ 接近最优，因为除非 $\kappa \geq \|[D,A]\|^{-1}/2$，否则谱流将消失。