[논문 리뷰] A Non-associative Baker-Campbell-Hausdorff formula

Jacob Mostovoy, José M. Pérez-Izquierdo외 1명|arXiv (Cornell University)|2016. 05. 03.

Advanced Topics in Algebra참고 문헌 10인용 수 3

한 줄 요약

이 논문은 비결합 대수에서 Shestakov-Umirbaev 기본 연산을 사용하여 Baker-Campbell-Hausdorff (BCH) 공식의 비결합적 버전을 개발한다. 비결합적 Dynkin-Specht-Wever 보조정리와 재귀적 Magnus 전개를 도입하여 차수 4까지의 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 대수와 보편 포괄 대수를 기반으로 한 비결합 리 이론의 프레임워크를 수립한다.

제안 방법

• 자유 비결합 대수에서 $x$와 $y$를 생성자로 사용하여 비결합 지수 함수 $\exp_l(x) = \sum_{n \geq 0} \frac{1}{n!} (\cdots((xx)x)\cdots)x $ 를 도입한다.
• 비결합 로그 $\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$ 형태의 분지로의 단항식 분해로 특성화하여 계수 계산을 조합적 합으로 수행한다.
• 모든 유효한 BCH-컷에 대해 $c_\tau = \frac{B_\tau}{\tau!}$ 를 사용하여 계수를 계산하며, 여기서 $B_\tau$ 는 $\log_l(1+x)$ 에서 유도된 계수이다.

실험 결과

연구 질문

• RQ1 결합성이 실패하는 비결합 대수에서 Baker-Campbell-Hausdorff 공식은 어떻게 일반화할 수 있는가?
• RQ2 비결합적 환경에서 Dynkin-Specht-Wever 보조정리의 대응은 무엇이며, $\log_l(\exp_l(x)\exp_l(y))$ 의 전개를 어떻게 촉진하는가?
• RQ3 Magnus 전개는 비결합 설정에 어떻게 적응시켜 비결합 BCH 급수를 재귀적으로 계산할 수 있는가?
• RQ4 비결합 변수에서 차수 4까지의 BCH 급수의 명시적 형태는 무엇인가?
• RQ5 비결합 대수와 이진 트리의 맥락에서 베르누이 수는 어떻게 나타나는가?

주요 결과

• 비결합 BCH 공식은 차수 4까지 명시적으로 계산되었으며, $\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$ 를 얻는다.
• 모든 비결합 연산이 0이 되면 공식은 정확히 고전적 Baker-Campbell-Hausdorff 급수로 축소된다.
• $\log_l(\exp_l(x)\exp_l(y))$ 에서 $x^m y^n$ 의 계수는 $n \geq 2$ 일 때 $\frac{1}{m!n!}$ 이며, $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}$ 로 유도된다.
• 논문은 비결합 설정에서 이진 평면 루트된 트리에 의한 베르누이 수의 구성 방식을 재현한다.