精确对角化方法

精确对角化通过在选定的基中构建量子多体模型的哈密顿矩阵并直接找到其特征值来求解该模型，从而为小晶格提供数值精确的谱，并以此检验近似方法。

Definition

精确对角化是一种数值方法，用于计算在有限基中精确表示的多体哈密顿量的特征值和特征向量，从而在有限尺寸之外不进行近似的情况下，得到小量子系统的谱。

Scope

本主题涵盖晶格量子模型（如哈伯德和海森堡系统）的精确对角化：多体基的构建、利用对称性对哈密顿量进行块对角化，以及使用Lanczos迭代从指数级大但稀疏的矩阵中提取低能态。它解决了限制系统尺寸的指数壁垒问题。

Core questions

• 如何枚举多体希尔伯特空间并将哈密顿量构建为稀疏矩阵？
• 对称性如何将问题简化为更小的块？
• Lanczos算法如何从巨大的稀疏哈密顿量中提取基态？
• 为什么可访问的系统尺寸仅随计算机内存呈对数增长？

Key theories

多体基构建

晶格模型的希尔伯特空间被枚举为占据或自旋构型，哈密顿量以稀疏矩阵形式存储，因为每个基态只与少数其他状态耦合。

对称性块对角化

守恒量和晶格对称性将哈密顿量分解为独立的块，从而缩小必须对角化的矩阵，并根据量子数标记状态。

Lanczos算法用于极端本征态

Lanczos算法将稀疏哈密顿量投影到一个小的Krylov子空间，以提取基态和少数激发态，而无需形成或存储完整的矩阵。

Clinical relevance

精确对角化为强关联晶格模型提供了基准的基态、激发谱和关联函数，是检验量子蒙特卡洛、张量网络和其他近似多体方法的参考标准。

History

小型量子晶格的直接对角化随着计算能力的增强从20世纪60年代开始发展；20世纪80年代Lanczos迭代和对称性约简的应用将可处理的哈伯德和海森堡团簇扩展到几十个格点，从而确立了精确对角化作为一种基准方法。

Key figures

• Cornelius Lanczos
• Elliott Lieb
• H. Q. Lin

Seminal works

• lin1990
• lanczos1950

Frequently asked questions

为什么精确对角化仅限于小系统？

多体希尔伯特空间的维度随格点数量呈指数增长，因此即使采用稀疏存储和对称性，矩阵也会很快超出任何计算机的内存，将精确对角化限制在几十个格点以内。

尽管有这个限制，精确对角化有什么用处？

在其可及范围内，它能提供数值精确、无偏的结果，使其成为验证近似多体方法和研究小团簇（其中可以直接分析有限尺寸效应）的黄金标准。