[论文解读] A Non-associative Baker-Campbell-Hausdorff formula

Jacob Mostovoy, José M. Pérez-Izquierdo+1 more|arXiv (Cornell University)|May 3, 2016

Advanced Topics in Algebra参考文献 10被引用 3

一句话总结

本文通过非结合代数中的 Shestakov-Umirbaev 原始运算，发展了一种非结合版本的 Baker-Campbell-Hausdorff（BCH）公式。它引入了非结合的 Dynkin-Specht-Wever 引理和一种递归的 Magnus 展开，用于计算至四次项的 BCH 级数，在施加结合律时可恢复经典公式。

ABSTRACT

We address the problem of constructing the non-associative version of the Dynkin form of the Baker-Campbell-Hausdorff formula; that is, expressing $\log (\exp (x)\exp(y))$, where $x$ and $y$ are non-associative variables, in terms of the Shestakov-Umirbaev primitive operations. In particular, we obtain a recursive expression for the Magnus expansion of the Baker-Campbell-Hausdorff series and an explicit formula in degrees smaller than 5. Our main tool is a non-associative version of the Dynkin-Specht-Wever Lemma. A construction of Bernouilli numbers in terms of binary trees is also recovered.

研究动机与目标

• 将经典的 Baker-Campbell-Hausdorff 公式推广至非结合代数，通过推广 Dynkin-Specht-Wever 引理。
• 通过原始运算定义并计算两个非结合指数的乘积的非结合对数。
• 提供一种基于广义 Magnus 展开的递归方法，用于计算非结合 BCH 级数。
• 在非结合设定下，通过二叉树重现已知的伯努利数结构。
• 基于 Sabinin 代数和普遍包络代数，建立非结合李理论的框架。

提出的方法

• 在自由非结合代数上引入非结合指数映射 $\exp_l(x) = \sum_{n \geq 0} \frac{1}{n!} (\cdots((xx)x)\cdots)x $，其中变量为 $x$ 和 $y$。
• 将非结合对数 $\log_l(\exp_l(x)\exp_l(y))$ 定义为 Shestakov-Umirbaev 原始运算的级数。
• 利用非结合版本的 Dynkin-Specht-Wever 引理，将对数表示为单项式切割的组合。
• 应用广义 Magnus 展开，推导出满足 $X'(t) = X(t)A(t)$ 的 $\Omega(t)$ 的微分方程，从而导出递归公式。
• 将 BCH-切割表征为将单项式分解为 $x^i y^j$ 形式的分支，从而通过组合求和计算系数。
• 利用 $c_\tau = \frac{B_\tau}{\tau!}$ 计算系数，其中 $B_\tau$ 为 $\log_l(1+x)$ 中的系数，并对所有有效的 BCH-切割求和。

实验结果

研究问题

• RQ1 在结合律不成立的非结合代数中，Baker-Campbell-Hausdorff 公式应如何推广？
• RQ2 非结合版本的 Dynkin-Specht-Wever 引理是什么？它如何促进 $\log_l(\exp_l(x)\exp_l(y))$ 的展开？
• RQ3 能否将 Magnus 展开适应于非结合设定，以递归方式计算 BCH 级数？
• RQ4 在非结合变量中，BCH 级数的显式形式在四次项以内是什么？
• RQ5 伯努利数在非结合代数与二叉平面有根树的背景下如何出现？

主要发现

• 非结合 BCH 公式已显式计算至四次项，结果为 $\mathrm{BCH}_l(x,y) = x + y + \frac{1}{2}[x,y] + \frac{1}{12}[x,[x,y]] - \frac{1}{3}\langle x;x,y\rangle - \cdots$。
• 当所有非结合运算消失时，该公式精确还原为经典的 Baker-Campbell-Hausdorff 级数。
• 在 $\log_l(\exp_l(x)\exp_l(y))$ 中，$x^m y^n$ 的系数为 $\frac{1}{m!n!}$（当 $n \geq 2$ 时），而 $n = 1$ 时为 $\frac{m}{(m+1)!}$。
• 在 $x^2y$ 中的系数为 $\frac{1}{3}$，计算为 $\frac{c_x}{2} + \frac{c_{x^2}}{2} + c_{x^2x} = \frac{1}{2} - \frac{1}{4} + \frac{1}{12}$。
• 在 $x(xy)$ 中的系数为 $-\frac{1}{4}$，由 $c_{x^2} + c_{xx^2} = -\frac{1}{2} + \frac{1}{4}$ 推导得出。
• 本文在非结合设定下重现了通过二叉平面有根树构造伯努利数的方法。