[논문 리뷰] Explicit Baker-Campbell-Hausdorff formulae for some specific Lie algebras

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

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$ 를 초월하여 더 일반적인 리 대수로 명시적 백커–캠프벨–하우스도르프 공식을 확장한다.
• 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$ 를 가진 리 대수에 적용한다.
• BCH 전개에서 중첩된 교환자들이 $[X,Y]$ 에 비례하는 단일 항으로 붕괴되는 조건을, $L_X$ 와 $L_Y$ 가 $[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)$ 함수로 줄어든다.
• 조건 $[[X,Y], \mathcal{S}] = 0$ 하에서 함수 $f(u,v)$ 가 여전히 유효함을 보이며, 여기서 $\mathcal{S}$ 는 모든 $L_X^m L_Y^n [X,Y]$ 항의 집합이다. 이는 원래 결과를 더 넓은 리 대수의 범주로 일반화한다.

실험 결과

연구 질문

• RQ1 리 대수의 기본 상수에 어떤 조건이 성립할 경우, 백커–캠프벨–하우스도르프 공식이 $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)$ 의 함수 형태가 유지됨을 입증하며, 이는 공식의 적용 가능 범위를 크게 넓힌다.