[论文解读] 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]$ 与换位子子代数 $[τ,τ}$ 中的所有元素可交换时，BCH展开简化为 $π(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]. \]

研究动机与目标

• 将显式Baker–Campbell–Hausdorff公式从特殊情形 $[X,Y] = uX + vY + cI$ 扩展到更一般的李代数。
• 识别允许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$ 下仍有效，其中 $\mathcal{S}$ 是所有 $L_X^m L_Y^n [X,Y]$ 项的集合，将原始结果推广到更广泛的李代数类。

实验结果

研究问题

• 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 仍允许BCH展开表示为 $X + Y + f(L_X, -L_Y)[X,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]$ 成比例的单一项。
• 中心化子条件 $[[X,Y], e^{sL_X} e^{tL_Y}[X,Y]] = 0$ 对所有 $s,t$ 成立，确保所有高阶嵌套换位子消失，从而实现闭式表达。
• 本文建立，只要中心化子条件成立，$f(u,v)$ 的函数形式即使在 $L_X$ 和 $L_Y$ 对 $[X,Y]$ 非标量作用时也保持不变，显著扩大了公式的适用范围。