[论文解读] K-Theory and Pseudospectra for Topological Insulators

Terry A. Loring|arXiv (Cornell University)|Feb 12, 2015

Topological Materials and Phenomena参考文献 35被引用 10

一句话总结

该论文提出基于 Clifford 伪谱和 K-理论的计算高效算法，用于在具有边界条件的有限晶格中计算无序拓扑绝缘体和超导体的拓扑不变量。推导了所有对称性类中至二维的 Kitaev 不变量公式，以及三维中的一维公式，通过稀疏矩阵技术实现相变的数值检测，并展示了三维系统中的标度行为。

ABSTRACT

We derive formulas and algorithms for Kitaev's invariants in the periodic table for topological insulators and superconductors for finite disordered systems on lattices with boundaries. We find that K-theory arises as an obstruction to perturbing approximately compatible observables into compatible observables. We derive formulas in all symmetry classes up to dimension two, and in one symmetry class in dimension three, that can be computed with sparse matrix algorithms. We present algorithms in two symmetry classes in 2D and one in 3D and provide illustrative studies regarding how these algorithms can detect the scaling properties of phase transitions.

研究动机与目标

• 开发适用于具有边界条件的无序有限系统的 Kitaev 拓扑不变量的数值可处理方法。
• 建立 K-理论与将近似相容可观测量扰动为精确相容可观测量的障碍之间的联系。
• 为所有对称性类中至二维以及三维中的一维提供可计算的拓扑不变量公式。
• 通过稀疏矩阵算法对拓扑不变量进行标度分析，实现在数值上检测相变。
• 通过新算法在现有硬件上实现 3D 拓扑绝缘体相变研究，显著提升数据质量。

提出的方法

• 引入 Clifford 伪谱作为近似相容可观测量联合谱的可计算代理，通过涉及厄米矩阵和 Clifford 生成元的矩阵值算子的逆范数定义。
• 使用矩阵 $ B_{\boldsymbol{\lambda}} = \sum (X_j - \lambda_j) \otimes \Gamma_j $ 定义 Clifford $\epsilon$-伪谱，其中 $ \Gamma_j $ 满足 $ \mathcal{C\ell}_{d,0}(\mathbb{C}) $ 关系。
• 应用带 LU 分解的幂法计算稀疏实矩阵的 $ \|A^{-1}\|^{-1} $，以实现谱隙估计。
• 在稀疏 LU 分解并引入置换后，通过 $ \mathrm{sign}(\det(A)) = \mathrm{sign}(\det(R)) \cdot \mathrm{sign}(\det(P)) \cdot \mathrm{sign}(\det(Q)) $ 计算行列式的符号。
• 使用带常数初始向量和通过 MATLAB 的 \ 运算符实现矩阵自由求逆的改进幂法，高效计算 $ \|A^{-1}\| $。
• 将该算法应用于计算三维 AII 类绝缘体中的全局和局部拓扑不变量，分析无序引起的相变。

实验结果

研究问题

• RQ1 如何高效计算具有边界条件的无序有限系统的 K-理论不变量？
• RQ2 可观测量的近似相容性与 K-理论所捕获的精确相容性障碍之间有何关系？
• RQ3 Clifford 伪谱能否提供对近似交换矩阵联合谱的数值稳定且高效的近似？
• RQ4 在无序条件下，3D 拓扑绝缘体中拓扑不变量在相变附近如何标度？
• RQ5 与以往方法相比，新算法能否实现更优的数据质量，以支持相变分析？

主要发现

• Clifford 伪谱为近似相容可观测量的联合谱提供了高效可计算的近似，且与 K-理论存在理论关联。
• 该方法成功使用稀疏矩阵算法计算了所有对称性类中至二维以及三维中一类的 Kitaev 不变量。
• 该算法检测到三维 AII 类绝缘体中拓扑相变的标度行为，揭示出非尖锐相变，需更大系统才能完全澄清。
• 新算法产生的数据显著优于以往方法，可实现更少伪影的可靠相变分析。
• 在配备 4 核 8GB 内存的台式机上，通过局部指标法可计算三维全局 AII 不变量，而更大系统则需要高性能计算集群。
• 使用常数初始向量和通过 LU 分解实现的矩阵自由求逆，提升了幂法在计算谱隙时的收敛性和准确性。