[論文レビュー] Decay properties of spectral projectors with applications to electronic structure

Michele Benzi, Paola Boito+1 more|arXiv (Cornell University)|Mar 18, 2012

Advanced Chemical Physics Studies参考文献 145被引用数 149

ひとこと要約

この論文は、大規模なスパースなエルミート行列におけるスペクトル射影子の非対角成分に対して、厳密な指数的減衰バウンドを確立し、電子構造理論における「近視的性質」の原則の数学的基盤を提供する。近似理論と行列解析を用いて、ゼロ温度におけるギャップを持つ絶縁体の密度行列が、急速かつ指数的に減衰する非対角成分を示し、O(n) 時間計算量の線形スケーリング電子構造法の実行可能性を裏付ける。

ABSTRACT

Motivated by applications in quantum chemistry and solid state physics, we apply general results from approximation theory and matrix analysis to the study of the decay properties of spectral projectors associated with large and sparse Hermitian matrices. Our theory leads to a rigorous proof of the exponential off-diagonal decay ("nearsightedness") for the density matrix of gapped systems at zero electronic temperature in both orthogonal and non-orthogonal representations, thus providing a firm theoretical basis for the possibility of linear scaling methods in electronic structure calculations for non-metallic systems. We further discuss the case of density matrices for metallic systems at positive electronic temperature. A few other possible applications are also discussed.

研究の動機と目的

• 電子構造計算における「近視的性質」の原則の厳密な数学的基盤を提供すること。
• ゼロ温度におけるギャップを持つ系の密度行列の減衰バウンドを導出すること。
• 正の電子温度における金属系への解析を拡張すること。
• 電子構造計算における線形スケーリング O(n) 法の理論的支援を確立すること。
• 電子構造を超えた行列の減衰特性の応用を探索すること。

提案手法

• スパース行列の解析関数一般論に、近似理論と行列解析を適用する。
• 関数計算とスペクトル射影理論を用いて減衰バウンドを導出する。
• 輪状積分と行列ノルム推定を用いて非対角成分をバウンドする。
• ハミルトニアンの直交基底および非直交基底表現の両方を検討する。
• スペクトルギャップと温度が減衰率に与える影響を分析する。
• 急速に減衰する行列の断片化戦略を定式化し、スパース近似を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ギャップを持つ系がゼロ温度にあるとき、スペクトル射影子の非対角成分はどの程度の速さで減衰するか？
• RQ2 絶縁体におけるギャップの大きさが減衰率に与える依存関係は何か？
• RQ3 正の温度における金属系では、減衰挙動はどのように変化するか？
• RQ4 非直交基底集合に対しても、減衰バウンドを厳密に導出可能か？
• RQ5 ゼロ温度における金属系で減衰が遅い（例えば、べき乗則に従う）場合、どのような意味があるか？

主な発見

• この論文は、ゼロ温度におけるギャップを持つ系の密度行列に対して指数的非対角成分減衰を証明し、「近視的性質」の原則を裏付ける。
• ギャップが大きく、温度が高いほど、減衰率が高くなる。
• ゼロ温度における金属系では、減衰はべき乗則に従い、単純なモデルでは線形減衰にしかならない。
• ギャップが消えて系のサイズが増加する極限において、減衰バウンドは劣化するが、物理的期待と整合的である。
• スペクトル射影子に対するバンド型またはスパース近似が、保証された誤差バウンドとともに可能であることを理論的に支持する。
• 結果は電子構造を超えて、ネットワーク解析、量子統計力学、数値線形代数への応用にも適用可能である。