[论文解读] Group Fourier transform and the phase space path integral for finite dimensional Lie groups

Matti Raasakka|arXiv (Cornell University)|Nov 28, 2011

Mathematical Analysis and Transform Methods参考文献 1被引用 3

一句话总结

本文为有限维李群引入了一种类傅里叶变换，实现从群上函数到非交换动量型变量对偶空间的酉映射。推导出该类群上量子力学的一阶相空间路径积分，其中量子修正的哈密顿量源于非交换星积，为量子引力模型提供了比群表示理论和特殊函数更直观的物理替代方案。

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) 推广至任意有限维李群。
• 为李群上的量子力学提供一种非交换对偶空间表示，避免依赖群表示理论和特殊函数。
• 利用对偶变量推导一阶相空间路径积分形式，确保与薛定谔方程的一致性。
• 实现量子引力模型的度量表示，特别是四维量子引力中的洛伦兹自旋泡沫模型。
• 通过用几何直观的非交换变量替代特殊函数，简化量子系统的半经典分析。

提出的方法

• 在余切丛 $ \mathcal{G} \times \mathfrak{g}^* $ 上定义非交换平面波 $ E_g(X) $，满足 $ \delta_e(g) = \int_{\mathfrak{g}^*} \frac{dX}{(2\pi)^d} E_g(X) $。
• 在 $ \mathfrak{g}^* $ 上的函数上引入 $ \star $-积，使得 $ 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 $-积形式，推导出李群上量子力学的一阶相空间路径积分？
• 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 $ 时，该形式重现标准的一阶路径积分，验证了其一致性。