[论文解读] On the Bott index of unitary matrices on a finite torus

Daniele Toniolo|arXiv (Cornell University)|Aug 19, 2017

Quantum many-body systems被引用 9

一句话总结

本文提供了一种新颖且自包含的证明，确立了在有限环面上的二维晶格绝缘体中，酉矩阵的Bott指标与陈类数之间的精确相等性。通过使用同伦不变的公式化方法并映射到微分方程框架，严格证明了Bott指标——通过投影和酉演化定义——精确捕捉了系统的拓扑不变量，从而确认其作为有限、能隙系统中量子霍尔电导的可计算且精确度量的角色。

ABSTRACT

This article reviews the foundations of the theory of the Bott index of a pair of unitary matrices in the context of condensed matter theory, as developed by Hastings and Loring in J. Math. Phys. (51), 015214, (2010) and Annals of Physics 326 (2011) 1699-1759, providing a novel proof of the equality with the Chern number. The Bott index is defined for a pair of unitary matrices, then extended to a pair of invertible matrices and homotopic invariance of the index is proven. An insulator defined on a lattice on a 2-torus, that is a rectangular lattice with periodic boundary conditions, is considered and a pair of quasi-unitary matrices associated to this physical system are introduced. It is shown that their Bott index is well defined and the connection with the transverse conductance, the Chern number, is established proving the equality of the two quantities.

研究动机与目标

• 在有限、能隙的二维绝缘体上，于环面上建立Bott指标与陈类数之间等价性的严格、自包含推导。
• 将Bott指标形式化从酉矩阵推广至可逆矩阵，并证明其同伦不变性。
• 证明由能隙哈密顿量的费米投影导出的拟酉矩阵的Bott指标恰好等于陈类数，从而解决先前近似方法的局限。

提出的方法

• 在二维环面上定义一个有限晶格，具有周期性边界条件和一个能隙的、短程的哈密顿量。
• 通过投影位置算符的指数化构造酉矩阵：$ e^{2\tilde{\pi}i P X/L P} $ 和 $ e^{2\tilde{\pi}i P Y/L P} $。
• 将Bott指标定义为酉矩阵对的拓扑不变量，并将其推广至可逆矩阵。
• 证明在保持可逆性的连续形变下，Bott指标的同伦不变性。
• 将离散系统映射到微分方程框架，推导出Bott指标与陈类数之间的精确等式。
• 利用Holmgren估计和算子范数估计控制近似中的误差项，并证明收敛性。

实验结果

研究问题

• RQ1 在有限环面上，由费米投影导出的酉矩阵的Bott指标能否与陈类数精确相等，而非仅近似？
• RQ2 如何在保持其拓扑不变性的同时，将Bott指标从酉矩阵推广至可逆矩阵？
• RQ3 同伦不变性在确保Bott指标作为有限系统中拓扑不变量的鲁棒性方面起什么作用？
• RQ4 将系统映射到微分方程框架如何促成Bott指标与陈类数等式的新证明？
• RQ5 能否直接从哈密顿量或其函数计算Bott指标，而避免基于投影的构造？

主要发现

• 定理11表明，酉矩阵 $ e^{2\pi i P X/L P} $ 和 $ e^{2\pi i P Y/L P} $ 的Bott指标恰好等于费米投影 $ P $ 的陈类数。
• 该等式通过一种新颖的证明方法建立，即通过微分方程映射，直接且严格地连接了离散指标与拓扑不变量。
• Bott指标在底层可逆矩阵的连续同伦变换下保持不变，证实了其拓扑鲁棒性。
• 本文证明了由有限环面上费米投影导出的拟酉矩阵的Bott指标是良好定义且有限的。
• 陈类数表达为 $ \mathrm{Ch}(P) = -\frac{4\pi}{L^2} \mathrm{Im} \, \mathrm{Tr}(P[X,P][Y,P]) $，直接将其与投影位置算符的对易子联系起来。
• 该方法提供了一种计算上可行且精确的替代方案，避免了近似指标计算，且通过算子范数估计控制了误差界。