鈴木＝トロッター分解

物理学において、鈴木＝トロッター分解（すずき＝トロッターぶんかい、）、または鈴木＝トロッター公式（）とは演算子の和の指数演算子を各々の演算子の指数演算子の積に分解する公式。量子系の時間発展や分配関数の計算に応用される。数学者はバナッハ空間の半群の研究において、トロッター公式を与えた。日本の物理学者 鈴木増雄はトロッター公式を拡張した指数積の高次分解公式を研究し、系統的に求める手法を提案した。
概要.
量子力学における量子状態の時間発展や量子統計力学における分配関数の計算ではハミルトニアンの指数演算子が現れる。これを数値計算するには二つの非可換な演算子 の指数演算子 の計算が必要になる。ここで は実数または複素数のパラメータである。トロッター公式によれば、指数演算子は
を満たし、
が成り立つ。但し、はランダウの記号である。
より高次の 次分解公式
が得られると、パラメータ が小さくない場合にも、
であり、十分 を大きくとれば、 の高精度の近似が得られる。
こうした指数演算子の積の形での近似計算では、量子力学での波動関数の時間発展が満たすユニタリ性や古典力学でのの時間発展が満たすシンプレクティック性が保証されるなどの利点がある。このような指数演算子の分解公式を鈴木＝トロッター分解という。
例えば、
は2次の公式の１つの例である
また、Ruthの公式として知られている
は6次の公式の例の１つである。
一般に 次分解公式 を与えるには、条件を満たすパラメータの組 を定める必要がある。こうしたパラメータの組の求め方には、 と の交換子積のなす自由リー代数の理論に基づく方法や漸化式による方法、量子解析による方法がある。
漸化式による構成.
 が の 次分解公式であるとき、漸化式
で定義される が 次分解公式となるために が条件
を満たせば良い。
 が奇数 である場合、この条件を満たす の実数の組が存在するが、 が偶数 である場合、この上記の条件を満たす実数の組は存在しない。
しかしながら、一般に奇数 次の分解公式 が対称性の条件
を満たすとき、これは自動的に 次の分解公式となる。よって、奇数の場合にこの漸化式を適用していくことでパラメータを実数とする高次の公式が導かれる。但し、 が対称性の条件を満たすようにパラメータには の条件を課すものとする。
例えば、 の場合、奇数 における上記の条件を満たすパラメータの組として、
をとることができる。2次の公式
は対称性の条件 を満すことから
と を構成できる。