[論文レビュー] Explicit Baker-Campbell-Hausdorff formulae for some specific Lie algebras

Alexander Van‐Brunt, Matt Visser|arXiv (Cornell University)|May 18, 2015

Advanced Topics in Algebra参考文献 24被引用数 8

ひとこと要約

この論文は、交換子に関する従来の仮定を緩和することで、リー代数における明示的 Baker–Campbell–Hausdorff (BCH) 公式を一般化する。$[X,Y]$ が $[\mathfrak{g},\mathfrak{g}}$ のすべての元と可換であるとき、BCH 展開は $\ln(e^X e^Y) = X + Y + f(L_X, -L_Y)[X,Y]$ に簡略化される。ここで $f(u,v)$ は対称な閉形式関数であり、以前の結果を可換または中心的交換子部分代数を持つより広いクラスのリー代数へと拡張する。

ABSTRACT

In a previous article, [arXiv:1501.02506, JPhysA {\bf48} (2015) 225207], we demonstrated that whenever $[X,Y] = u X + vY + cI$ the Baker-Campbell-Hausdorff formula reduces to the tractable closed-form expression \[ Z(X,Y)=\ln( e^X e^Y ) = X+Y+ f(u,v) \; [X,Y], \] where $f(u,v)=f(v,u)$ is explicitly given by \[ f(u,v) = {(u-v)e^{u+v}-(ue^u-ve^v)\over u v (e^u - e^v)} = {(u-v)-(ue^{-v}-ve^{-u})\over u v (e^{-v} - e^{-u})}. \] This is much more general than the results usually presented for either the Heisenberg commutator $[P,Q]=-i\hbar I$, or the creation-destruction commutator $[a,a^\dagger]=I$. In the current article we shall further generalize and extend this result, primarily by relaxing the input assumptions. We shall work with the structure constants $f_{ab}{}^c$ of the Lie algebra, (defined by $[T_a,T_b] = f_{ab}{}^c \; T_c$), and identify suitable constraints one can place on the structure constants to make the Baker--Campbell--Hausdorff formula tractable. We shall also develop related results using the commutator sub-algebra $[\mathfrak{g},\mathfrak{g}]$ of the relevant Lie algebra $\mathfrak{g}$. Under suitable conditions, and taking $L_A B = [A,B]$ as usual, we shall demonstrate that \[ \ln( e^X e^Y ) = X + Y + {I \over e^{-L_X} - e^{+L_Y} } \left( {I-e^{-L_X}\over L_X} + {I-e^{+L_Y}\over L_Y} ight) [X,Y]. \]

研究の動機と目的

• 従来の特殊ケース $[X,Y] = uX + vY + cI$ を超えて、より一般のリー代数における明示的 Baker–Campbell–Hausdorff 公式を拡張すること。
• BCH 級数が閉形式表現に縮退することができるリー代数の構造定数に関する構造的条件を同定すること。
• 従来の要件、すなわち $[X,Y]$ が $X$、$Y$、および単位元の線形結合である必要があるのを、交換子部分代数の中心化群に関する条件に緩和すること。
• より一般な代数的制約のもとで、$\ln(e^X e^Y)$ の統一的表現を随伴作用素 $L_X$ と $L_Y$ を用いて導出すること。

提案手法

• 随伴作用 $L_A B = [A,B]$ を用いた標準的な積分表現を用いて BCH 公式を導出し、基底 $T_a$ と構造定数 $f_{ab}{}^c$ をもつリー代数に適用する。
• $L_X$ と $L_Y$ が $[X,Y]$ に作用する様子を分析することで、BCH 展開におけるネストされた交換子が $[X,Y]$ に比例する単一の項に収束する条件を同定する。
• 交換子部分代数 $[\mathfrak{g},\mathfrak{g}}$ 及びその中心化群の概念を導入し、$[X,Y]$ がこの部分代数のすべての元と可換である場合、級数が $L_X$ と $L_Y$ の関数として単一の項に終結することを示す。
• 中心化群条件の下で $[L_X, L_Y]L_X^m L_Y^n [X,Y] = 0$ という重要な恒等式を用い、$L_X$ と $L_Y$ が展開において可換作用素として取り扱えることを示す。
• 閉形式表現 $\ln(e^X e^Y) = X + Y + \frac{I}{e^{-L_X} - e^{+L_Y}} \left( \frac{I - e^{-L_X}}{L_X} + \frac{I - e^{+L_Y}}{L_Y} \right)[X,Y]$ を導出し、$L_X$ と $L_Y$ が $[X,Y]$ に対角作用するとき、これは既知の $f(u,v)$ 関数に簡略化されることを示す。
• 関数 $f(u,v)$ が $[[X,Y], \mathcal{S}] = 0$ というより弱い条件のもとでも有効であることを示し、元の結果を可換子部分代数が可換または中心的であるようなより広いクラスのリー代数へ一般化する。

実験結果

リサーチクエスチョン

• RQ1 リー代数の構造定数がどのような条件下で、Baker–Campbell–Hausdorff 公式が $X$、$Y$、$[X,Y]$ のみを含む閉形式表現に簡略化されるか？
• RQ2 従来の $[X,Y] = uX + vY + cI$ の場合に導出された明示的 $f(u,v)$ 関数を、交換子部分代数が可換である、または $[X,Y]$ が $[\mathfrak{g},\mathfrak{g}}$ の中心化群にあるリー代数へ一般化できるか？
• RQ3 高次のネストされた交換子が消えるとき、随伴作用 $L_X$ と $L_Y$ を用いて BCH 公式の無限級数をどのように簡略化できるか？
• RQ4 $[X,Y]$ に対して BCH 展開が $X + Y + f(L_X, -L_Y)[X,Y]$ として表現可能であるための最小限の代数的条件は何か？
• RQ5 $L_X$ と $L_Y$ が $[X,Y]$ にスカラー的でない作用を施す場合でも、関数 $f(u,v)$ を同じ関数的形で拡張できるか？

主な発見

• $[X,Y]$ が交換子部分代数 $[\mathfrak{g},\mathfrak{g}}$ のすべての元と可換であるとき、BCH 公式は $\ln(e^X e^Y) = X + Y + f(L_X, -L_Y)[X,Y]$ に簡略化され、以前の $[X,Y] = uX + vY + cI$ の場合の結果を一般化する。
• 関数 $f(u,v)$ は明示的に $f(u,v) = \frac{(u-v)e^{u+v} - (u e^u - v e^v)}{uv(e^u - e^v)}$ と与えられ、$[[X,Y], \mathcal{S}] = 0$ というより弱い条件のもとでも有効である。ここで $\mathcal{S}$ はすべての $L_X^m L_Y^n [X,Y]$ 項の集合を表す。
• 式 $\ln(e^X e^Y) = X + Y + \frac{I}{e^{-L_X} - e^{+L_Y}} \left( \frac{I - e^{-L_X}}{L_X} + \frac{I - e^{+L_Y}}{L_Y} \right)[X,Y]$ は、$[X,Y]$ が交換子部分代数の中心化群にある限り成立する。
• この結果は、交換子部分代数が可換であるリー代数へも拡張可能であり、この場合、級数全体が $[X,Y]$ に比例する単一の項に収束する。
• すべての $s,t$ に対して $[[X,Y], e^{sL_X} e^{tL_Y}[X,Y]] = 0$ である中心化群条件は、すべての高次ネスト交換子が消えることを保証し、閉形式表現の実現を可能にする。
• 本論文は、中心化群条件が成立する限り、$L_X$ と $L_Y$ が $[X,Y]$ に非スカラー的（非対角的）に作用しても、$f(u,v)$ の関数的形が保たれることを確立した。これは、公式の適用範囲を著しく拡大する。