[论文解读] Quantization of Hall Conductance For Interacting Electrons Without Averaging Assumptions

Matthew B. Hastings, Spyridon Michalakis|ArXiv.org|Nov 24, 2009

Quantum and electron transport phenomena参考文献 5被引用 11

一句话总结

该论文在无需依赖平均化假设的前提下，通过在通量空间中对环面上二维相互作用电子系统的基态进行准绝热演化，证明了霍尔电导的量子化。其结果表明，霍尔电导以 $e^2/h$ 的整数倍形式量子化，且修正项随系统尺寸 $L$ 呈拉伸指数衰减，适用于具有有限范围相互作用的能隙、电荷守恒系统在热力学极限下的情形。

ABSTRACT

We consider two-dimensional Hamiltonians on a torus with finite range, finite strength interactions and a unique ground state with a non-vanishing spectral gap, and a conserved local charge, as defined precisely in the text. Using the local charge operators, we introduce a boundary magnetic flux in the horizontal and vertical direction and evolve the ground state quasi-adiabatically around a square of size one magnetic flux, in flux space. At the end of the evolution we obtain a trivial Berry phase, which we compare, via a method reminiscent of Stokes' Theorem, to the Berry phase obtained from an evolution around a small loop near the origin. As a result, we prove, without any averaging assumption, that the Hall conductance for interacting electron systems is quantized in integer multiples of e^2/h up to small corrections bounded by a function that decays as a stretched exponential in the linear size L. Finally, we discuss extensions to the fractional case under an additional topological order assumption to describe the multiple degenerate ground states.

研究动机与目标

• 为相互作用电子系统中霍尔电导量子化的严格数学证明提供依据，避免先前方法中常见的平均化假设。
• 将量子化证明的适用范围从非相互作用电子扩展至非交换几何方法所处理的范围之外。
• 建立一个可推广至在拓扑序假设下分数霍尔效应的框架。
• 证明在有限系统中，量子化在热力学极限 $L \to \infty$ 下仍成立，且修正项呈指数衰减。
• 开发一种基于准绝热演化与贝里相位比较的方法，避免依赖陈数平均化或非相互作用近似。

提出的方法

• 在环面的水平和垂直方向引入边界磁通量，以在通量空间中定义一个闭合回路。
• 在通量空间中围绕一个磁通量子的正方形路径，准绝热演化基态，并追踪由此产生的贝里相位。
• 使用类似于斯托克斯定理的方法，将大回路的贝里相位与原点附近小回路的贝里相位进行比较。
• 利用局域电荷算符和能隙控制绝热演化，并限制与基态的偏离。
• 将完整演化分解为 $N^2$ 个大小为 $r = 2/pi / N$ 的小回路，通过递归态演化和投影到基态，控制最终相位的累积误差。
• 应用对重叠 $|p_N| = |\langle \Psi_0 | \Psi_{\circlearrowleft}(r) \rangle|$ 和变化量 $\sup_i |p_i - p_N|$ 的界，以控制与精确量子化的偏离。

实验结果

研究问题

• RQ1 在无需对无序或系综平均化的情况下，是否能对相互作用电子系统中的霍尔电导进行严格量子化？
• RQ2 在能隙、相互作用系统中，通量空间中基态的准绝热演化如何导致霍尔电导的量子化？
• RQ3 对于具有有限范围相互作用的有限系统，与精确量子化偏离的定量界是什么？
• RQ4 该方法是否可在拓扑序假设下推广至分数霍尔效应？
• RQ5 误差界对系统尺寸 $L$、相互作用范围 $R$ 和能隙 $\gamma$ 的依赖关系如何？

主要发现

• 霍尔电导 $\sigma_{xy}$ 与 $e^2/h$ 的整数倍之间的偏差在 $C(q_{\max}R^2 J/\gamma L)^{5/2} G_{R,J,\gamma}^{5/2}(L) e^{-G^2_{R,J,\gamma}(L)/6}$ 以内，其中 $G_{R,J,\gamma}(L) = (\gamma/4vR)(L/48(2\pi)q_{\max}\ln^3 L)^{1/5}$。
• 误差界随 $L$ 呈拉伸指数衰减，确保在热力学极限 $L \to \infty$ 下实现精确量子化。
• 条件 $G^2_{R,J,\gamma}(L) \geq C'\ln(q_{\max}R^2 J/\gamma L)$ 对所有足够大的 $L$ 成立，从而保证了界的有效性。
• 该证明在最小假设下成立：有限范围、有限强度的相互作用，唯一能隙基态，以及总电荷守恒。
• 该方法避免了平均化，适用于相互作用系统，克服了陈数和非交换几何方法的局限性。
• 在附加拓扑序假设下，该方法可推广至分数霍尔效应，提示了一条通往更广泛数学框架的路径。