厳密対角化
量子多体系を記述するハミルトニアンを行列表示して、その行列を対角化して固有値・固有ベクトルを求めることで量子多体系の性質を求める手法。近似を用いることがないため、有限サイズではあるものの、一番信頼のできる数値計算手法として幅広く用いられている。しかし、波動関数の次元は系のサイズに対して指数関数的に増大することから、十数サイト程度でも、行列の全固有値・全固有ベクトルを求める完全対角化は不可能となり、低励起状態のみを求めるLanczos法などの大規模行列に対する解法を使う必要がある。Lanczos法を用いた量子多体系に対する大規模行列の厳密対角化を行なう、先駆的なパッケージとしてTITPACK, KobePack, SpinPack などがある。また、ALPSでは様々な模型に対して、完全対角化を行なうことが可能である。最近では、一般的なハミルトニアンに対して、大規模並列に対応したソフトウェアHΦが開発されている。