베이커-캠벨-하우스도르프 공식

수학에서 **베이커-캠벨-하우스도르프 공식**()은 리 군의 리 대수에서 (잠재적으로) 비가환인 와 에 대해 다음 방정식을 만족하는 Z의 값을 제공한다.
e^X e^Y = e^Z
이 공식을 기술하는 다양한 방법이 있으나, 궁극적으로는 모두 리 대수적 용어, 즉 X와 Y 및 그들의 반복된 교환자들로 이루어진 (반드시 수렴할 필요는 없는) 형식적 급수로 Z를 표현한다. 이 급수의 처음 몇 항은 다음과 같다.
Z = X + Y + \frac{1}{2} [X,Y] + \frac{1}{12} [X,[X,Y]] + \frac{1}{12} [Y,[Y,X]] + \cdots\,,
여기서 "\cdots"은 X와 Y의 고차 교환자를 포함하는 항들을 나타낸다. 만약 X와 Y가 리 군 G의 리 대수 \mathfrak g의 충분히 작은 원소라면, 이 급수는 수렴한다. 한편, G의 단위 원소에 충분히 가까운 모든 원소 g는 \mathfrak g의 작은 원소 X에 대해 g = e^X로 표현될 수 있다. 따라서 단위 원소 근처에서 e^X e^Y = e^Z로 써지는 G의 군 곱셈은 순수하게 리 대수적인 용어로 표현될 수 있다고 말할 수 있다. 베이커-캠벨-하우스도르프 공식은 리 대응의 심오한 결과들을 비교적 간단하게 증명하는 데 사용될 수 있다.

만약 X와 Y가 충분히 작은 n \times n 행렬이라면, Z는 e^X e^Y의 로그로 계산될 수 있으며, 여기서 지수 함수와 로그 함수는 멱급수로 계산될 수 있다. 베이커-캠벨-하우스도르프 공식의 핵심은 Z := \log \left(e^X e^Y\right)가 X와 Y의 반복된 교환자들의 급수로 표현될 수 있다는, 전혀 자명하지 않은 주장이다.

이 공식에 대한 현대적인 설명은 로스만과 홀의 저서 등에서 찾을 수 있다.

## 역사
이 공식은 헨리 프레더릭 베이커, 존 에드워드 캠벨, 그리고 펠릭스 하우스도르프의 이름을 따서 명명되었는데, 이들은 공식의 질적인 형태, 즉 해를 표현하는 데 오직 교환자와 교환자의 교환자들만이 무한히 필요하다는 점을 명시했다. 이 형태에 대한 더 이른 언급은 1890년에 프리드리히 슈어에 의해 예견되었으며, 거기서 항들이 재귀적으로 정의된 수렴하는 멱급수가 제시되었다. 이러한 질적인 형태는 리 대응의 비교적 접근하기 쉬운 증명이나 양자장론과 같은 가장 중요한 응용 분야에서 사용되는 것이다. 슈어 이후, 캠벨(1897)에 의해 출판물에 기록되었고; 앙리 푸앵카레(1899)와 베이커(1902)에 의해 정교화되었으며; 하우스도르프(1906)에 의해 기하학적으로 체계화되고 야코비 항등식과 연결되었다. 모든 수치 계수가 포함된 최초의 실제 명시적 공식은 예브게니 딘킨(1947)에 의해 만들어졌다. 이 공식의 역사는 아킬레스와 본필리올리의 논문 및 본필리올리와 풀치의 저서에 자세히 설명되어 있다.

## 명시적 형태
많은 목적을 위해, Z를 X와 Y의 반복된 교환자들로 전개하는 것이 가능하다는 사실만 아는 것으로 충분하며, 정확한 계수는 종종 무관하다. (예를 들어, 홀의 저서 5.2절에 있는 리 군과 리 대수 준동형사상 간의 관계에 대한 논의를 보라. 여기서 정확한 계수는 논증에서 아무런 역할을 하지 않는다.) 매우 직접적인 존재성 증명이 마르틴 아이클러에 의해 제시되었으며, 아래의 "존재성 결과" 섹션도 참조하라.

다른 경우에는 Z에 대한 상세한 정보가 필요할 수 있으므로, Z를 가능한 한 명시적으로 계산하는 것이 바람직하다. 수많은 공식이 존재하며, 이 섹션에서는 두 가지 주요 공식(딘킨의 공식과 푸앵카레의 적분 공식)을 설명한다.

### 딘킨 공식
G를 리 대수 \mathfrak g를 가진 리 군이라 하자.
\exp : \mathfrak g \to G 
를 리 지수 사상이라 하자.
다음과 같은 일반적인 조합론적 공식이 예브게니 딘킨(1947)에 의해 도입되었다.
\log(\exp X\exp Y) =
\sum_{n = 1}^\infty\frac {(-1)^{n-1}}{n}
\sum_{\begin{smallmatrix} r_1 + s_1 > 0 \\ \vdots \\ r_n + s_n > 0 \end{smallmatrix}}
\frac{[ X^{r_1} Y^{s_1} X^{r_2} Y^{s_2} \dotsm X^{r_n} Y^{s_n} ]}{\left(\sum_{j = 1}^n (r_j + s_j)\right) \cdot \prod_{i = 1}^n r_i! s_i!},

여기서 합은 s_i와 r_i의 모든 비음의 정수 값에 대해 수행되며, 다음 표기법이 사용되었다:
 [ X^{r_1} Y^{s_1} \dotsm X^{r_n} Y^{s_n} ] = [ \underbrace{X,[X,\dotsm[X}_{r_1} ,[ \underbrace{Y,[Y,\dotsm[Y}_{s_1} ,\,\dotsm\, [ \underbrace{X,[X,\dotsm[X}_{r_n} ,[ \underbrace{Y,[Y,\dotsm Y}_{s_n} ]]\dotsm]]
단, 로 이해한다.

이 급수는 일반적으로 수렴하지 않는다. 충분히 작은 모든 X와 Y에 대해 수렴하며(제시된 공식이 유효함), 이므로, s_n > 1이거나 s_n = 0 및 r_n > 1인 경우 해당 항은 0이다.

처음 몇 항은 잘 알려져 있으며, 모든 고차 항은 와 그들의 중첩된 교환자들을 포함한다(따라서 리 대수 안에 있다).

위 목록은 6차 이하의 모든 항(즉, 6개 이하의 와 를 포함하는 항)을 나열한 것이다. 전개의 교차 차수에서 나타나는  (반)대칭성은 로부터 도출된다. 이 공식에 대한 완전한 기초적인 증명은 지수 사상의 미분에 관한 문서에서 찾을 수 있다.

### 적분 공식
Z에 대한 수많은 다른 표현들이 있으며, 그 중 많은 것들이 물리학 문헌에서 사용된다. 대중적인 적분 공식은 다음과 같다.
\log\left(e^X e^Y\right) = X + \left ( \int_0^1 \psi \left ( e^{\operatorname{ad} _X} ~ e^{t \operatorname{ad} _ Y}\right ) dt \right) Y, 
여기서 베르누이 수의 생성 함수가 포함된다.
 \psi(x) ~\stackrel{\text{def}}{=} ~ \frac{x \log x}{x-1}= 1- \sum^\infty_{n=1}
{(1-x)^n \over n (n+1)} ~, 
이 공식은 푸앵카레와 하우스도르프에 의해 활용되었다.

### 행렬 리 군 예시
행렬 리 군 G \sub \mbox{GL}(n,\mathbb{R})의 경우, 리 대수는 단위 원소 I의 접공간이며, 교환자는 단순히 이다. 지수 사상은 행렬의 표준 지수 사상이다.
\exp X = e^X = \sum_{n=0}^\infty {\frac{X^n}{n!}}.

다음 식에서 Z를 풀 때
e^Z = e^X e^Y,
와 의 급수 전개를 사용하면 다음과 같은 더 간단한 공식을 얻는다.
 Z =
\sum_{n>0}
\frac{(-1)^{n-1}}{n}
\sum_{\stackrel{r_i+s_i > 0}{1 \le i \le n}}
\frac{X^{r_1}Y^{s_1} \cdots X^{r_n}Y^{s_n}}{r_1!s_1!\cdots r_n!s_n!},
\quad \|X\| + \|Y\| 
1차, 2차, 3차, 4차 항은 다음과 같다.
* z_1 = X + Y
* z_2 = \frac{1}{2} (XY - YX)
* z_3 = \frac{1}{12} \left(X^2Y + XY^2 - 2XYX + Y^2X + YX^2 - 2YXY\right)
* z_4 = \frac{1}{24} \left(X^2Y^2 - 2XYXY - Y^2X^2 + 2YXYX \right).

다양한 z_j들에 대한 공식 자체가 베이커-캠벨-하우스도르프 공식인 것은 아니다. 오히려 베이커-캠벨-하우스도르프 공식은 각 z_j를 X와 Y의 반복된 교환자들로 표현하는 여러 방식 중 하나이다. 핵심은 각 z_j를 교환자들의 관점에서 표현할 수 있다는 사실이 결코 자명하지 않다는 점이다. (예를 들어, 독자는 직접 계산을 통해 z_3가 X와 Y의 두 개의 비자명한 3차 교환자, 즉 [X,[X,Y]]와 [Y,[X,Y]]의 선형 결합으로 표현될 수 있음을 확인할 수 있다.) 각 z_j가 교환자들의 결합으로 표현 가능하다는 일반적인 결과는 아이클러에 의해 우아하고 재귀적인 방식으로 증명되었다.

베이커-캠벨-하우스도르프 공식의 결과 중 하나는 대각합에 관한 다음과 같은 결과이다.
\operatorname{tr} \log \left(e^X e^Y \right) = \operatorname{tr} X + \operatorname{tr}  Y.  
즉, j\geq 2인 각 z_j는 교환자들의 선형 결합으로 표현 가능하므로, 그러한 각 항의 대각합은 0이다.

### 수렴 문제
X와 Y가 리 대수 \mathfrak{sl}(2;\mathbb C)(대각합이 0인 2\times 2 행렬들의 공간)의 다음과 같은 행렬이라고 가정하자.
X=\begin{pmatrix}0&i\pi\\ i\pi&0\end{pmatrix};\quad Y=\begin{pmatrix}0&1\\ 0&0\end{pmatrix}.
그러면
e^X e^Y = \begin{pmatrix}-1&0\\ 0&-1\end{pmatrix}\begin{pmatrix}1&1\\ 0&1\end{pmatrix}=\begin{pmatrix}-1&-1\\ 0&-1\end{pmatrix}.
이때 e^X e^Y = e^Z를 만족하는 \operatorname{sl}(2;\mathbb C)의 행렬 Z가 존재하지 않음을 보이는 것은 어렵지 않다. (유사한 예시들을 웨이의 논문에서도 찾을 수 있다.)

이 간단한 예시는 를 와 의 반복된 리 괄호로 표현하는 베이커-캠벨-하우스도르프 공식의 다양한 버전들이 수렴이 보장되지 않는 형식적 멱급수를 기술한다는 점을 보여준다. 따라서 (형식적 멱급수가 아닌) 와 를 포함하는 리 대수의 실제 원소로서 를 얻고 싶다면, 와 가 작다고 가정해야 한다. 따라서 리 군에서의 곱셈 연산이 리 대수에 의해 결정된다는 결론은 오직 국소적인 진술일 뿐이다. 실제로 리 대수가 서로 동형이더라도 전역적으로는 동형이 아닌 리 군들이 존재할 수 있으므로, 이 결과는 전역적일 수 없다.

구체적으로, 행렬 리 대수에서 작업하고 \|\cdot\|가 주어진 행렬 노름일 때, 다음 조건이 만족되면 수렴이 보장된다.
\|X\| + \|Y\| 

## 특수한 경우
만약 X와 Y가 가환이라면, 즉 [X, Y]=0이면, 베이커-캠벨-하우스도르프 공식은 e^X e^Y = e^{X+Y}로 축소된다.

또 다른 경우는 멱영군인 하이젠베르크 군의 경우처럼 [X,Y]가 X와 Y 모두와 가환인 경우이다. 이때 공식은 처음 세 항으로 축소된다.

이것은 아래에서 설명하는 바와 같이 양자역학에서 일상적으로 사용되는 퇴화된 경우이며, 때때로 **풀림 정리**(disentangling theorem)로 알려져 있다. 이 경우 X와 Y에 대한 크기 제한이 없다. 이 결과는 스톤-폰 노이만 정리에 들어가는 "지수화된 교환 관계"의 배경이 된다. 이 항등식에 대한 간단한 증명이 아래에 제시되어 있다.

일반 공식의 또 다른 유용한 형태는 Y에 대한 전개를 강조하고 인접 자기동형사상 표기법 \operatorname{ad}_X(Y)=[X,Y]를 사용한다.
\log(\exp X\exp Y) = X + \frac{\operatorname{ad}_X}{1-e^{-\operatorname{ad}_X}} ~ Y + O\left(Y^2\right)
= X + \operatorname{ad}_{X/2} (1 + \coth \operatorname{ad}_{X/2}) ~ Y + O\left(Y^2\right) ,
이는 위의 적분 공식으로부터 자명하게 도출된다. (하나의 Y를 포함하는 중첩된 교환자들의 계수는 정규화된 베르누이 수이다.)

이제 교환자가 Y의 배수라고 가정하자. 즉, [X,Y] = sY이다. 그러면 모든 반복된 교환자들은 Y의 배수가 되며, Y에 대한 2차 이상의 항은 나타나지 않는다. 따라서 위의 O\left(Y^2\right) 항은 사라지고 다음을 얻는다.

Y\right).
}}

이 경우에도 X와 Y에 대한 크기 제한은 없다. s에 대한 제한은 우변의 표현이 의미를 가짐을 보장한다. (s = 0일 때는 \lim_{s\to 0} s/(1-e^{-s}) = 1로 해석할 수 있다.) 또한 다음과 같은 간단한 " braiding identity"를 얻는다.
e^{X} e^{Y} = e^{\exp (s) Y} e^{X} ,
이는 인접 확대로 써질 수 있다:
e^{X} e^{Y} e^{-X} = e^{\exp (s) \, Y} .

## 존재성 결과

만약 X와 Y가 행렬이라면, 지수 함수와 로그 함수의 멱급수를 사용하여 Z := \log \left(e^X e^Y\right)를 계산할 수 있으며, X와 Y가 충분히 작으면 급수가 수렴한다. X와 Y에 대한 총 차수가 고정된 수 k와 같은 모든 항을 모아 z_k라고 표현하는 것이 자연스럽다. (처음 몇 개의 z_k에 대한 공식은 위의 "행렬 리 군 예시" 섹션을 참조하라.) 각 z_k가 X와 Y의 반복된 교환자들로 표현 가능하다는 매우 직접적이고 간결한 재귀적 증명이 마르틴 아이클러에 의해 제시되었다.

대안적으로, 다음과 같이 존재성 논증을 제시할 수 있다. 베이커-캠벨-하우스도르프 공식은 만약 와 가 \Reals 또는 \Complex와 같이 표수가 0인 임의의 체 위에서 정의된 어떤 리 대수 \mathfrak g의 원소라면,
Z = \log(\exp(X) \exp(Y)),
는 형식적으로 \mathfrak g의 원소들의 무한 합으로 써질 수 있음을 의미한다. [이 무한 급수는 수렴할 수도 있고 그렇지 않을 수도 있으므로, \mathfrak g의 실제 원소 를 정의할 필요는 없다.] 많은 응용 분야에서 이 형식적 표현의 존재를 보장받는 것만으로 충분하며, 이 무한 합에 대한 명시적인 표현은 필요하지 않다. 예를 들어, 리 대수의 표현으로부터 리 군의 표현을 구축하는 로런츠 구성의 경우가 그러하다. 존재성은 다음과 같이 확인할 수 있다.

비가환 변수 와 에 대해 실수 계수를 가진 모든 비가환 형식적 멱급수의 환 S = \RX,Y를 고려하자. 에서 \Reals 위에서 와 의 텐서곱으로 가는 환 준동형사상이 존재하며,
\Delta \colon S \to S \otimes S,
이를 여곱(coproduct)이라 부른다. 이는 다음과 같이 정의된다.
\Delta(X) = X \otimes 1 + 1 \otimes X 및 \Delta(Y) = Y \otimes 1 + 1 \otimes Y.
(Δ의 정의는 R-선형성, 승법성 및 무한 가법성을 요구함으로써 S의 다른 원소들로 확장된다.)

그러면 다음 속성들을 확인할 수 있다.
* 표준 테일러 급수로 정의된  사상은 상수항이 0인 의 원소 집합과 상수항이 1인 의 원소 집합 사이의 일대일 대응이다. exp의 역함수는 log이다.
* r = \exp(s)가 군과 같다(grouplike, 즉 \Delta(r) = r\otimes r)는 것은 s가 원시적(primitive, 즉 \Delta(s) = s\otimes 1 + 1\otimes s)인 것과 필요충분조건이다.
* 군과 같은 원소들은 곱셈 하에서 군을 형성한다.
* 원시 원소들은 정확히 X와 Y에 의해 생성된 리 대수 원소들의 형식적 무한 합이며, 여기서 리 괄호는 교환자 [U,V] = UV - VU로 주어진다. (프리드리히스의 정리)

캠벨-베이커-하우스도르프 공식의 존재성은 이제 다음과 같이 볼 수 있다.
원소 X와 Y는 원시적이므로, \exp(X)와 \exp(Y)는 군과 같다. 따라서 그들의 곱 \exp(X)\exp(Y) 역시 군과 같으며, 그 로그 \log(\exp(X)\exp(Y))는 원시적이다. 그러므로 이는 와 에 의해 생성된 리 대수의 원소들의 무한 합으로 써질 수 있다.

와 에 의해 생성된 자유 리 대수의 보편 포락 대수는 와 에 대한 모든 비가환 다항식의 대수와 동형이다. 모든 보편 포락 대수와 마찬가지로, 이는 여곱 를 가진 자연스러운 호프 대수 구조를 갖는다. 위에서 사용된 환 는 단지 이 호프 대수의 완비화일 뿐이다.

## 자센하우스 공식
이와 관련하여 이중적 응용 분야에서 유용한 조합론적 전개는 다음과 같다.
e^{t(X+Y)} = e^{tX}~ e^{tY} ~e^{-\frac{t^2}{2} [X,Y]} ~
e^{\frac{t^3}{6}(2[Y,[X,Y]]+ [X,[X,Y]] )} ~
e^{\frac{-t^4}{24}(스즈키-트로터 분해가 뒤따른다.

## 캠벨 항등식
다음 항등식(Campbell 1897)은 베이커-캠벨-하우스도르프 공식의 특수한 경우로 이어진다.
를 행렬 리 군이라 하고 를 그에 대응하는 리 대수라 하자. 고정된 에 대해 로 정의된  위의 선형 연산자를 라 하자. (위에서 본 인접 자기동형사상이다.) 고정된 에 대해 로 주어지는 의 선형 변환을 로 표기하자.

위의 명시적 전개를 생성하는 데 활용되는 표준 조합론적 보조정리는 다음과 같다.

이것은 양자역학에서 유니터리 변환을 수행하는 데 일반적으로 사용되는 특히 유용한 공식이다. 반복된 교환자를 다음과 같이 정의하면,
[X,Y]_n \equiv \underbrace{[X,\dotsb[X,[X}_{n \text { 번 }}, Y]] \dotsb],\quad [X,Y]_0 \equiv Y,
이 공식을 더 간결하게 다음과 같이 쓸 수 있다.
e^X Y e^{-X} = \sum_{n=0}^{\infty} \frac{[X,Y]_n}{n!}.

### 항등식의 응용
가 중심에 있는 경우, 즉 와  모두와 가환인 경우,
e^{sX} Y e^{-sX} = Y + s [ X, Y ] ~. 
따라서 에 대해 다음이 성립한다.
\frac{dg}{ds} = \Bigl( X+ e^{sX} Y e^{-sX}\Bigr) g(s) = (X + Y + s [ X, Y ]) ~g(s) ~, 
이것의 해는 다음과 같다.
g(s)= e^{s(X+Y) +\frac{s^2}{2} [ X, Y ] } ~. 
s=1로 두면 위에서 설명한 베이커-캠벨-하우스도르프 공식의 특수한 경우 중 하나를 얻는다.
e^X e^Y= e^{X+Y +\frac{1}{2} [ X, Y] } ~. 

더 일반적으로, 중심에 있지 않은 에 대해 다음이 성립한다.
e^Xe^Ye^{-X}=e^{e^XYe^{-X}}=e^{e^{\text{ad}_X}Y},
이는 다음과 같은 braiding identity로 써질 수 있다.
e^{X} e^{Y} = e^{(Y+\left[X,Y\right]+\frac{1}{2!}[X,[X,Y]]+\frac{1}{3!}[X,[X,[X,Y]]]+\cdots)} ~e^X.

## 무한소의 경우

위 공식의 특히 유용한 변형은 무한소 형태이다. 이는 일반적으로 다음과 같이 써진다.
e^{-X} de^X= dX-\frac{1}{2!}\left[X,dX\right]+\frac{1}{3!}[X,[X,dX]]-\frac{1}{4!}[X,[X,[X,dX]]]+\cdots
이 변형은 좌표와 vielbein을 리 군 위의 메트릭의 풀백으로 쓰는 데 흔히 사용된다.

예를 들어, 어떤 함수 X^i와 리 대수의 기저 e_i에 대해 X=X^ie_i라고 쓰면, 다음과 같이 쉽게 계산할 수 있다.
e^{-X}d e^X=
   dX^i e_i-\frac{1}{2!} X^i dX^j {f_{ij}}^k e_k +
   \frac{1}{3!} X^iX^j dX^k {f_{jk}}^l {f_{il}}^m e_m - \cdots ,
여기서 [e_i,e_j] = {f_{ij}}^k e_k는 리 대수의 구조 상수이다.

이 급수는 다음과 같이 더 간결하게 (본문 참조) 써질 수 있다.
e^{-X}d e^X = e_i{W^i}_j dX^j,
여기서 무한 급수는 다음과 같다.
W = \sum_{n=0}^\infty \frac{(-1)^n M^n}{(n+1)!} = (I-e^{-M}) M^{-1}.
여기서 은 행렬 원소가 {M_j}^k = X^i {f_{ij}}^k인 행렬이다.

이 표현의 유용함은 행렬 이 vielbein이라는 사실에서 나온다. 따라서 어떤 다양체 에서 다양체 로 가는 어떤 사상 N \to G가 주어졌을 때, 다양체  위의 계량 텐서는 리 군  위의 계량 텐서 B_{mn}의 풀백으로 써질 수 있다.
g_{ij} = {W_i}^m {W_j}^n B_{mn}.
리 군 위의 계량 텐서 B_{mn}은 카르탄 메트릭, 즉 킬링 형식이다. 이 (의사-)리만 다양체일 때, 메트릭은 (의사-)리만 계량이다.

## 양자역학에서의 응용
베이커-캠벨-하우스도르프 공식의 특수한 경우는 하이젠베르크 리 대수를 생성하는 힐베르트 공간 연산자 와 가 있는 양자역학, 특히 양자광학에서 유용하다. 구체적으로 양자역학의 위치 및 운동량 연산자(보통 X와 P로 표기됨)는 정준 교환 관계를 만족한다.
[X,P] = i\hbar I
여기서 I는 항등 연산자이다. 따라서 X와 P는 그들의 교환자와 가환이다. 따라서 (X와 P가 비유계 연산자이고 행렬이 아님에도 불구하고) 베이커-캠벨-하우스도르프 공식의 특수한 경우를 형식적으로 적용하면 다음과 같은 결론을 얻는다.
e^{iaX} e^{ibP} = e^{i \left(aX + bP - \frac{ab\hbar}{2}\right)}.
이 "지수화된 교환 관계"는 실제로 성립하며 스톤-폰 노이만 정리의 기초를 형성한다.
나아가, e^{i(aX+bP)} = e^{iaX/2}e^{ibP}e^{i aX/2} 도 성립한다.

관련된 응용으로 소멸 및 생성 연산자 와 가 있다. 그들의 교환자 는 중심에 있으며, 즉 와  모두와 가환이다. 위에서 지적한 바와 같이, 전개는 다음과 같은 반-자명한 퇴화 형태로 붕괴된다.
 e^{v\hat{a}^\dagger - v^*\hat{a}} = e^{v\hat{a}^\dagger} e^{-v^*\hat{a}} e^{-|v|^{2}/2} ,
여기서 는 단순히 복소수이다.

이 예시는 변위 연산자(displacement operator) 를 소멸 및 생성 연산자와 스칼라의 지수 함수들로 분해하는 것을 보여준다.

이 퇴화된 베이커-캠벨-하우스도르프 공식은 두 변위 연산자의 곱을 (어떤 위상 인자까지 포함하여) 또 다른 변위 연산자로 나타내며, 결과적인 변위는 두 변위의 합과 같다.
 e^{v\hat{a}^\dagger - v^*\hat{a}} e^{u\hat{a}^\dagger - u^*\hat{a}} = e^{(v+u)\hat{a}^\dagger -(v^*+u^*)\hat{a}} e^{(vu^*-uv^*)/2},
이는 그들이 표현하는 하이젠베르크 군이 멱영군이기 때문이다. 퇴화된 베이커-캠벨-하우스도르프 공식은 양자장론에서도 빈번하게 사용된다.

## 같이 보기

* 행렬 지수 함수
* 행렬 로그 함수
* 리 곱 공식 (트로터 곱 공식)
* 리 대응
* 지수 사상의 미분
* 마그누스 전개
* 스톤-폰 노이만 정리
* 골든-톰슨 부등식

## 내용주

## 각주

## 참고 문헌
* 
* 
* 
* L. Corwin & F.P Greenleaf, Representation of nilpotent Lie groups and their applications, Part 1: Basic theory and examples, 케임브리지 대학교 출판부, New York, 1990, .
* 
* 
* 
* 
* 
* Shlomo Sternberg (2004) Lie Algebras, Orange Grove Books,  free, online
* Veltman, M, 't Hooft, G & de Wit, B (2007). "Lie Groups in Physics", online lectures.

## 외부 링크
* C.K. Zachos, Crib Notes on CBH expansions 
* MathWorld page

분류:조합론
분류:리 군
분류:거듭제곱
분류:수리물리학