[论文解读] Fine structure of flat bands in a chiral model of magic angles

Simon Becker, Tristan Humbert+1 more|arXiv (Cornell University)|Aug 2, 2022

Quantum chaos and dynamical systems被引用 5

一句话总结

该论文证明，在扭曲双层石墨烯的手征模型中，若在任意非狄拉克点动量处第一布洛赫本征值消失，则意味着存在一个平坦能带——即在整个动量空间中能量为零。此外，该研究将平坦能带的简并度与本征函数的节点结构联系起来，提出了一个基于对称性的平坦能带判据及零能本征态的简洁性准则。

ABSTRACT

We analyze symmetries of Bloch eigenfunctions at magic angles for the Tarnopolsky--Kruchkov--Vishwanath chiral model of the twisted bilayer graphene (TBG) following the framework introduced by Becker--Embree--Wittsten--Zworski. We show that vanishing of the first Bloch eigenvalue away from the Dirac points implies its vanishing at all momenta, that is the existence of a flat band. We also show how the multiplicity of the flat band is related to the nodal set of the Bloch eigenfunctions. We conclude with two numerical observations about the structure of flat bands.

研究动机与目标

• 理解在手征Tarnopolsky–Kruchkov–Vishwanath模型的扭曲双层石墨烯中，平坦能带出现的条件。
• 分析布洛赫本征函数对称性在魔角下决定平坦能带存在性与简并度的作用。
• 建立一个判据，将非狄拉克动量处第一布洛赫本征值的消失与能带的全局平坦性联系起来。
• 通过拓扑与分析结构，将平坦能带的简并度与本征函数的节点集联系起来。

提出的方法

• 使用关于摩尔平移的Floquet理论，在 $ L^2_{k}(\mathbb{C}/\Lambda; \mathbb{C}^4) $ 上定义哈密顿量 $ H(\alpha) $ 的谱。
• 应用Becker–Embree–Wittsten–Zworski的框架，分析手征模型中布洛赫本征函数的对称性。
• 利用条件 $ \operatorname{Spec}_{L^2(\mathbb{C}/3\Lambda)} D(\alpha) = \mathbb{C} $ 定义魔角 $ \alpha $，此时零能处存在平坦能带。
• 分析 $ D(\alpha) $ 在 $ L^2_k $-空间上的核结构，推导平坦能带简并度与简洁性的判据。
• 使用Appell–Humbert定理与陈联络理论，表征与本征函数相位相关的线丛及其曲率。
• 应用Stokes定理与转移函数的全纯性，证明陈数的整数性，从而将拓扑性质与谱性质联系起来。

实验结果

研究问题

• RQ1 在非狄拉克动量处第一布洛赫本征值消失的条件下，何时能推出平坦能带的存在？
• RQ2 平坦能带的简并度与布洛赫本征函数的节点结构有何关系？
• RQ3 何种对称性或拓扑条件可保证手征模型中零能本征值的简洁性？
• RQ4 当势能发生形变时，如 $ U_\theta(z) = \cos\theta\, U(z) + \sin\theta\, \sum \omega^k e^{\bar{z}\omega^k - z\bar{\omega}^k} $，魔角的动力学行为如何变化？
• RQ5 关联线丛的陈数能否用于表征平坦能带的拓扑性质？

主要发现

• 若第一布洛赫本征值 $ E_1(\alpha,k) $ 在任意动量 $ k \notin \{-K,K\} + \Lambda^* $ 处消失，则其对所有 $ k \in \mathbb{C} $ 恒为零，意味着能带全局平坦。
• 平坦能带的简并度由布洛赫本征函数的节点集决定，简并度越高，节点结构越复杂。
• 在所有 $ k $ 上，$ D(\alpha) $ 在 $ L^2_k $ 上的零能本征值的简洁性，等价于存在某个 $ k $ 使得核维数为1，从而提供了一个判断平坦能带简洁性的实用判据。
• 关联线丛的陈数 $ c_1(L) $ 为整数，通过Stokes定理与转移函数的全纯性推导得出，证实了拓扑的量子化。
• 数值观察表明，对于复数 $ \alpha $，平坦能带表现出双重简并结构，且在势能形变 $ U_\theta $ 下呈现动态行为。
• 魔角 $ \alpha $ 的集合是离散的，对于Bistritzer–MacDonald势能，该集合为无限集，与[ BHZ22 ]中的先前结果一致。