密度行列繰り込み群(DMRG )は、量子多体系の低エネルギー物理を高精度に求めるために考案された数値変分法である。DMRGアルゴリズムは、ハミルトニアンの最低エネルギー行列積状態波動関数を求める。これは1992年にSteven R. White [ 1 ] [ 2 ]によって発明され、現在では1次元系に対する最も効率的な手法となっている。[ 3 ]
歴史
DMRG の最初の応用は、Steven R. WhiteとReinhard Noackによるもので、1D タイトバインディング モデルのスペクトルを求めることだった。これは、箱の中の 1D 粒子の離散格子バージョンである。このモデルは、あらゆる新しい繰り込み群法のテストとしてKenneth G. Wilsonによって提案されたもので、それまでのあらゆる手法がこの単純な問題でたまたま失敗していたからである。[ 4 ] DMRG は、各ステップでブロックに単一のサイトを追加するのではなく、2 つのブロックを中央の 2 つのサイトで接続し、またエネルギー固有値ではなく密度行列の固有値を使用して各ステップの最後に保持される最も重要な状態を識別することで、以前の繰り込み群法の問題点を克服した。このおもちゃのモデルで成功した後、DMRG 法は量子ハイゼンベルク モデルで試され、成功した。[ 5 ]
原理
量子多体物理学の主な問題は、ヒルベルト空間がサイズとともに指数関数的に増大するという事実です。言い換えれば、格子の各サイトに 次元のヒルベルト空間を持つ格子を考えると、全体のヒルベルト空間は 次元になります。ここでは格子上のサイトの数です。例えば、長さLのスピン1/2鎖には 2 Lの自由度があります。DMRGは、有効な自由度を目標状態にとって最も重要な自由度にまで削減する、反復的な 変分法です。最も頻繁に注目される状態は基底状態です。 


ウォームアップサイクルの後、この手法はシステムを2つのサブシステム(ブロック)に分割します。これらのサブシステムは必ずしも同じサイズである必要はなく、その間に2つのサイトが存在します。ウォームアップ中に、ブロックの代表的な状態セットが選択されます。この左ブロック + 2つのサイト + 右ブロックのセットは、スーパーブロックと呼ばれます。これで、スーパーブロックの基底状態の候補、つまり完全なシステムの縮小版が見つかるかもしれません。精度はやや低いかもしれませんが、この手法は反復的であり、以下の手順で改善されます。
DMRG に従ってシステムを左ブロックと右ブロックに分解します。発見された候補基底状態は、密度行列を用いて各ブロックのヒルベルト部分空間に投影されます(これがこの名前の由来です)。これにより、各ブロックの関連する状態が更新されます。
一方のブロックがもう一方のブロックを犠牲にして成長し、この手順が繰り返されます。成長中のブロックが最大サイズに達すると、もう一方のブロックがその場所に成長し始めます。元の状態(等しいサイズ)に戻るたびに、スイープが完了したとみなします。通常、1次元格子の場合、10 10分の1の精度を得るには、数回のスイープで十分です。
DMRGスイープ。実装ガイド
DMRGアルゴリズムの実用的な実装は長い作業です。主な計算上のトリックは次のとおりです。
- 繰り込みハミルトニアンのサイズは通常数万から数万のオーダーであるのに対し、求める固有状態は基底状態そのものであるため、スーパーブロックの基底状態は、行列対角化のランチョス法などの反復アルゴリズムによって得られる。もう一つの選択肢は、特に非エルミート行列を扱う場合のアーノルディ法である。
- ランチョス法は通常、解の最良の推定値から開始します。推定値が得られない場合は、ランダムベクトルが選択されます。DMRGでは、あるDMRGステップで得られた基底状態を適切に変換することで妥当な推定値が得られ、次のDMRGステップでランダムな開始ベクトルを選択するよりもはるかに優れた性能を発揮します。
- 対称性を持つ系では、ハイゼンベルク模型における全スピンのように、量子数が保存されることがあります。ヒルベルト空間を分割した各セクター内で基底状態を見つけるのは便利です。
アプリケーション
DMRGは、スピン鎖の低エネルギー特性の解明に効果的に応用されてきました。例えば、横磁場中のイジング模型、ハイゼンベルク模型など、ハバード模型などのフェルミオン系、近藤効果などの不純物問題、ボソン系、量子細線に結合した量子ドットの物理などです。また、ツリーグラフにも拡張され、デンドリマーの研究にも応用されています。一方の次元が他方の次元よりもはるかに大きい2次元系においても、DMRGは正確であり、ラダーの研究に有用であることが証明されています。
この方法は、2D での平衡統計物理学の研究と、1D での非平衡現象の解析に拡張されました。
DMRG は、強相関系の研究のために 量子化学の分野にも応用されています。
例: 量子ハイゼンベルクモデル
反強磁性量子ハイゼンベルク鎖に対する「無限」DMRGアルゴリズムを考えてみましょう。この方法は、並進不変な1次元格子すべてに適用できます。 
DMRG は、1 次元量子システムの ヒルベルト空間の効率的な切り捨てを提供するため、繰り込み群手法です。
出発点
無限連鎖をシミュレートするには、まず4つのサイトから始めます。最初のサイトはブロックサイト、最後のサイトはユニバースブロックサイト 、残りのサイトは追加サイトです。右側のサイトはユニバースブロックサイトに追加され、左側のサイトはブロックサイトに追加されます。
単一サイトのヒルベルト空間はを基底とする。この基底に対して、スピン演算子は 、であり、単一サイトのスピン演算子は である。すべてのブロック、2つのブロック、2つのサイトに対して、それ自身のヒルベルト空間、その基底( )、そしてそれ自身の演算子が存在する。ここで 








- ブロック:、、、、、






- 左サイト: 、、、、、





- 右サイト: 、、、、、





- 宇宙:、、、、、






開始点では、4つのヒルベルト空間はすべて に等しく、すべてのスピン演算子は、およびに等しくなります。以降の反復では、これは左サイトと右サイトに対してのみ当てはまります。 




構成要素は、4つのブロック演算子と4つの宇宙ブロック演算子(最初の反復では行列)と、3つの左サイトスピン演算子と3つの右サイトスピン演算子(常に行列)です。これらの演算子によって、最初の反復では4つのサイトしか持たないスーパーブロック(チェーン)のハミルトニアン行列 が形成されます。ハイゼンベルクの反強磁性S=1モデルでは、ハミルトニアンは次のようになります 。


これらの演算子はスーパーブロック状態空間に存在します: 、基数は です。例えば: (慣例): 



DMRG形式のハミルトニアンは( と設定します)です。 

演算子は行列です。例: 



ステップ2: スーパーブロックハミルトニアンの対角化
この時点で、観測量が計算されるハミルトニアンの固有状態、つまり目標状態を選択する必要があります。最初に基底状態を選択し、それを求めるための高度なアルゴリズムを用いることもできます。その一つは以下で説明されています。
このステップは、アルゴリズムの中で最も時間のかかる部分です。
が目標状態である場合、この時点では を使用してさまざまな演算子の期待値を測定できます。 

ステップ3: 密度行列を縮小する
最初の2つのブロック系、すなわちブロックと左辺の縮約密度行列を作成します。定義により、それは次の行列です。


対角化して 行列を形成します。 この行はの最大固有値に関連付けられた固有ベクトルです。したがって、は縮約密度行列の最も重要な固有状態によって形成されます。パラメータ に注目して選択します。










ステップ4: 新しいブロックとユニバースブロック演算子
ブロックと左サイトのシステム複合体、および右サイトとユニバースブロックのシステム複合体の演算子の行列表現を作成します。例: 




ここで、新しいブロック演算子とユニバースブロック演算子の行列表現を形成し、変換を使用して基底を変更することで新しいブロックを形成します。たとえば、この時点で反復は終了し、アルゴリズムはステップ 1 に戻ります。 


観測可能な値が特定の値に収束すると、アルゴリズムは正常に停止します。
行列積仮説
1次元システムにおけるDMRGの成功は、それが行列積状態(MPS)空間内の変分法であるという事実に関係している。[ 6 ]これらは、次のような形式の状態である。

ここで、スピン鎖におけるスピンの例えばz成分の値、A s iは任意次元 mの行列である。m → ∞のとき 、表現は正確になる。 
量子化学応用において、は、単一の軌道を占有できる2つの電子のスピン量子数の射影の4つの可能性を表します。つまり であり、これらのケットの1番目(2番目)のエントリは、スピンアップ(ダウン)電子に対応します。量子化学では、(与えられた に対して)および(与えられた に対して)は、伝統的にそれぞれ行行列と列行列として選択されます。これにより、 の結果はスカラー値となり、トレース演算は不要になります。は、シミュレーションで使用されるサイト(基本的には軌道)の数です。 







MPS仮説における行列は一意ではない。例えば、の中央にを挿入し、と を定義しても状態は変化しない。このようなゲージ自由度は、行列を標準形に変換するために用いられる。標準形には3つの種類がある。(1) 左正規化形式、すなわち 




すべての に対して、(2)右正規化形式、 

すべての に対して、そして(3)上記のMPS仮説内の行列の中に左正規化行列と右正規化行列の両方が存在する場合は混合標準形 となる。 

DMRG計算の目的は、各行列の要素を解くことです。この目的のために、いわゆるワンサイトアルゴリズムとツーサイトアルゴリズムが考案されています。ワンサイトアルゴリズムでは、一度に1つの行列(1つのサイト)の要素のみが解かれます。ツーサイトアルゴリズムとは、まず2つの行列を1つの行列に縮約(乗算)し、次にその行列の要素を解くことを意味します。ツーサイトアルゴリズムが提案されたのは、ワンサイトアルゴリズムが局所最小値に陥りやすいためです。MPSを上記のいずれかの標準形にすることで、計算がより容易になるという利点があります。つまり、通常の固有値問題に繋がります。標準形にしないと、一般化固有値問題を扱うことになります。 
拡張機能
2004年には、行列積状態のリアルタイム発展を実装するために、時間発展ブロック間引き法が開発された。 [ 7 ]このアイデアは、量子コンピュータの古典的シミュレーションに基づいている。その後、ルンゲ・クッタに基づくDMRG形式論において、リアルタイム発展を計算するための新しい手法が考案された。[ 8 ]
近年、行列積状態の定義とDMRG法を2次元および3次元に拡張する提案がいくつか提出されている。[ 9 ]
さらに読む
参照
参考文献
- ^ White, Steven R. (1992-11-09). 「量子再正規化群の密度行列定式化」 . Physical Review Letters . 69 (19): 2863– 2866. Bibcode : 1992PhRvL..69.2863W . doi : 10.1103/PhysRevLett.69.2863 . PMID 10046608 .
- ^ White, Steven R. (1993-10-01). 「量子再正規化群のための密度行列アルゴリズム」 . Physical Review B. 48 ( 14): 10345–10356 . Bibcode : 1993PhRvB..4810345W . doi : 10.1103/PhysRevB.48.10345 . PMID 10007313 .
- ^中谷直樹 (2018)、「行列積状態と密度行列再正規化群アルゴリズム」、化学、分子科学、化学工学のリファレンスモジュール、エルゼビア、doi : 10.1016/b978-0-12-409547-2.11473-8、ISBN 978-0-12-409547-2
{{citation}}: CS1 maint: work parameter with ISBN (link) - ^ White, SR; Noack, RM (1992-06-15). 「実空間量子再正規化群」 . Physical Review Letters . 68 (24): 3487– 3490. Bibcode : 1992PhRvL..68.3487W . doi : 10.1103/PhysRevLett.68.3487 . PMID 10045717 .
- ^ White, Steven R.; Huse, David A. (1993-08-01). 「反強磁性S=1ハイゼンベルグ鎖の低位固有状態の数値的繰り込み群による研究」 . Physical Review B. 48 ( 6): 3844– 3852. Bibcode : 1993PhRvB..48.3844W . doi : 10.1103/PhysRevB.48.3844 . PMID 10008834 .
- ^ Rommer, Stefan; Ostlund, Stellan (1996-06-28). 「1次元スピン系の仮説波動関数のクラスと密度行列繰り込み群との関係」. Physical Review B. 55 ( 4): 2164–2181 . arXiv : cond-mat/9606213 . doi : 10.1103 /PhysRevB.55.2164 .
- ^ Daley, AJ; Kollath, C.; Schollwoeck, U.; Vidal, G. (2004-04-26). 「適応型有効ヒルベルト空間を用いた時間依存密度行列繰り込み群」. Journal of Statistical Mechanics: Theory and Experiment (4) P04005. arXiv : cond-mat/0403313 . Bibcode : 2004JSMTE..04..005D . doi : 10.1088/1742-5468/2004/04/P04005 .
- ^ Feiguin, Adrian E.; White, Steven R. (2005-07-18). 「密度行列再正規化群を用いたリアルタイムダイナミクスのための時間ステップターゲティング法」 . Physical Review B. 72 ( 2) 020404. arXiv : cond-mat/0502475 . Bibcode : 2005PhRvB..72b0404F . doi : 10.1103/PhysRevB.72.020404 .
- ^ Verstraete, F.; Cirac, JI (2004-07-02). 「2次元および高次元の量子多体系の再正規化アルゴリズム」. arXiv : cond-mat/0407066 .
- ^ Fishman, Matthew; White, Steven; Stoudenmire, Edwin Miles (2022-08-23). 「テンソルネットワーク計算のためのITensorソフトウェアライブラリ」 . SciPost Physics Codebases 4: 004. arXiv : 2007.14822 . doi : 10.21468/SciPostPhysCodeb.4 . ISSN 2949-804X .
- ^ Guo, Cheng; Weichselbaum, Andreas; Kehrein, Stefan; Xiang, Tao; von Delft, Jan (2009-03-30). 「Landau-Zener時間依存ハミルトニアンを用いた量子不純物模型の密度行列繰り込み群による研究」 . Physical Review B. 79 ( 11) 115137. arXiv : 0810.2900 . Bibcode : 2009PhRvB..79k5137G . doi : 10.1103/PhysRevB.79.115137 .
- ^ Wouters, Sebastian; Poelmans, Ward; Ayers, Paul W.; Neck, Dimitri Van (2014-01-08)、「CheMPS2: 第一原理量子化学のための密度行列再正規化群のフリーオープンソーススピン適応実装」、Computer Physics Communications、185 (6): 1501– 1514、arXiv : 1312.2415、Bibcode : 2014CoPhC.185.1501W、doi : 10.1016/j.cpc.2014.01.019
- ^ Hauschild, Johannes; Pollmann, Frank (2018-11-30)、「テンソルネットワークによる効率的な数値シミュレーション:Tensor Network Python (TeNPy)」、SciPost Physic Lecture Notes 5、arXiv : 1805.00055、doi : 10.21468/SciPostPhysLectNotes.5