[논문 리뷰] Group Fourier transform and the phase space path integral for finite dimensional Lie groups

Matti Raasakka|arXiv (Cornell University)|2011. 11. 28.

Mathematical Analysis and Transform Methods참고 문헌 1인용 수 3

한 줄 요약

이 논문은 유한 차원 리 군에 대해 군 푸리에 변환을 도입하여, 군 위의 함수에서 비가환적인 운동량 유사 변수로 이루어진 이중 공간으로의 유니터리 변환을 가능하게 한다. 이는 이러한 군 위에서 양자역학에 대한 1차 위상공간 경로적분을 유도하며, 비가환 스타곱으로부터 유도되는 양자 보정 해밀토니안을 포함한다. 이는 양자중력 모델에서 표현 이론과 특수함수에 대한 의존을 피하고 물리적으로 직관적인 대안을 제공한다.

ABSTRACT

We formulate a notion of group Fourier transform for a finite dimensional Lie group. The transform provides a unitary map from square integrable functions on the group to square integrable functions on a non-commutative dual space. We then derive the first order phase space path integral for quantum mechanics on the group by using a non-commutative dual space representation obtained through the transform. Possible advantages of the formalism include: (1) The transform provides an alternative to the spectral decomposition via representation theory of Lie groups and the use of special functions. (2) The non-commutative dual variables are physically more intuitive, since despite the non-commutativity they are analogous to the corresponding classical variables. The work is expected, among other possible applications, to allow for the metric representation of Lorentzian spin foam models in the context of quantum gravity.

연구 동기 및 목표

• SO(3) 및 SU(2)를 초월하여 임의의 유한 차원 리 군으로 군 푸리에 변환을 일반화하기.
• 표현 이론과 특수함수에 의존하지 않고 리 군 위의 양자역학을 위한 비가환 이중 공간 표현을 제공하기.
• 이중 변수를 사용하여 1차 위상공간 경로적분 형식을 유도하고 슈뢰딩거 방정식과의 일致성을 확보하기.
• 특히 4차원 양자중력에서의 로렌츠형 스피너 포아 모델을 포함한 양자중력 모델의 계량 표현을 가능하게 하기.
• 특수함수를 기하학적으로 직관적인 비가환 변수로 대체함으로써 양자 시스템의 준고전적 분석을 단순화하기.

제안 방법

• 코탄젠트 번들의 $ \mathcal{G} \times \mathfrak{g}^* $ 위에서 비가환 평면파 $ E_g(X) $ 를 정의하여 $ \delta_e(g) = \int_{\mathfrak{g}^*} \frac{dX}{(2\pi)^d} E_g(X) $ 를 만족시키기.
• 함수들에 대한 $ \star $-곱을 $ \mathfrak{g}^* $ 위에서 정의하여 $ E_g(X) \star E_h(X) = E_{gh}(X) $ 를 만족시키며, 군의 구조를 반영하기.
• 군 푸리에 변환 $ \tilde{\phi}(X) = \int_{\mathcal{G}} dg \, E_{g^{-1}}(X) \phi(g) $ 를 정의하여 $ L^2(\mathcal{G}) $ 에서 $ L^2_\star(\mathfrak{g}^*, dX) $ 로의 사상 제공하기.
• 조건 $ E_{g^{-1}}(X) = \overline{E_g(X)} $ 를 만족할 경우 변환이 유니터리가 되며, 등급 유지 사상이 보장됨.
• 시간 이산화를 통해 위상공간 경로적분을 구성하며, $ \langle g_{k+1} | X_k \rangle \star \langle X_k | e^{-i\epsilon \hat{H}} | g_k \rangle $ 를 사용하고, $ \hat{H} $ 는 $ H_\star(g,X) $ 로 표현함.
• 연속 근사에서 경로적분 $ \langle g',t' | g,t \rangle = \int \mathcal{D}g \mathcal{D}X \, \exp\left\{ i \int_t^{t'} dt \, L_q(g,X) \right\} $ 를 도출하며, 양자 보정 라그랑지안 $ L_q = V \cdot X - H_q(g,X) $ 를 포함함.

실험 결과

연구 질문

• RQ1 임의의 유한 차원 리 군에 대해 이전의 SO(3) 및 SU(2) 연구를 초월하여 일致적인 유니터리 군 푸리에 변환을 어떻게 정의할 수 있는가?
• RQ2 비가환 이중 공간 $ \mathfrak{g}^* $ 의 구조는 무엇이며, 어떻게 물리적으로 직관적인 위상공간 형식을 지원하는가?
• RQ3 군 푸리에 변환과 $ \star $-곱 형식론을 사용하여 리 군 위의 양자역학에 대한 1차 위상공간 경로적분을 어떻게 도출할 수 있는가?
• RQ4 비가환성으로 인해 이중 공간에서 유도되는 고전 해밀토니안과 라그랑지안의 양자 보정은 무엇인가?
• RQ5 이 형식론은 로렌츠형 스피너 포아와 같은 양자중력 모델의 준고전적 분석과 기하학적 해석을 단순화할 수 있는가?

주요 결과

• 군 푸리에 변환은 $ L^2(\mathcal{G}) $ 와 $ L^2_\star(\mathfrak{g}^*, dX) $ 사이의 유니터리 동형사상이 되며, $ \star $-곱이 군의 구조를 코딩한다.
• 역변환은 $ \phi(g) = \int_{\mathfrak{g}^*} \frac{dX}{(2\pi)^d} \, E_g(X) \star \tilde{\phi}(X) $ 로 주어지며, 완전성과 등급 유지 성질을 보장한다.
• 위상공간 경로적분은 $ \langle g',t' | g,t \rangle = \lim_{\epsilon \to 0, N \to \infty} \prod_{k=0}^{N-1} \int_{\mathcal{G}} dg_k \int_{\mathfrak{g}^*} \frac{dX_k}{(2\pi)^d} \, \exp\left\{ i \sum_{k=0}^{N-1} \epsilon \left( \frac{1}{\epsilon} Z(g_k^{-1}g_{k+1}) \cdot X_k - H_q(g_k,X_k) \right) \right\} $ 로 유도된다.
• 양자 보정 해밀토니안 $ H_q(g,X) = \omega^{-1}(-i\partial_X^i) H_\star(g,X) $ 는 경로적분이 슈뢰딩거 방정식을 만족하도록 보장한다.
• 연속 근사에서 경로적분은 $ \int \mathcal{D}g \mathcal{D}X \, \exp\left\{ i \int_t^{t'} dt \, (V \cdot X - H_q(g,X)) \right\} $ 의 형태를 취하며, $ V^i(t) = \lim_{\epsilon \to 0} Z^i(g^{-1}(t)g(t+\epsilon))/\epsilon $ 이다.
• 만약 $ \mathcal{G} = \mathbb{R}^d $ 라면 이 형식론은 표준 1차 경로적분을 재현하며, 일致성의 검증을 제공한다.