[论文解读] Matrix Elements of Generalized Coherent Operators

Kazuyuki Fujii|ArXiv.org|Feb 15, 2002

Mathematical functions and polynomials被引用 4

一句话总结

本文基于李代数 su(1,1) 和 su(2) 衍生出广义相干算符的显式矩阵元，提供了关联拉盖尔多项式的一个因式分解公式。通过 Baker–Campbell–Hausdorff 技巧建立了消去公式，并利用微分方程证明了算子恒等式，将幺正算子演算扩展至非紧致与紧致李代数结构，在量子光学与数学物理中具有应用价值。

ABSTRACT

Explicit forms are given of matrix elements of generalized coherent operators based on Lie algebras su(1,1) and su(2). We also give a kind of factorization formula of the associated Laguerre polynomials.

研究动机与目标

• 推导基于 su(1,1) 与 su(2) 李代数的广义相干算符矩阵元的显式表达式。
• 为这些算符矩阵元中出现的关联拉盖尔多项式提供一个因式分解公式。
• 将相干态形式化方法的应用范围从标准谐振子系统扩展至非紧致与紧致李群。
• 利用微分方程方法建立广义相干态的算子消去恒等式，以消除对参数的限制条件。
• 为在量子光学中的应用奠定基础，特别是建模 Rabi 振荡与路径积分近似。

提出的方法

• 利用消去公式 $ \text{e}^{zK_+ - \bar{z}K_-} = \text{e}^{\zeta K_+} \text{e}^{\log(1-|\zeta|^2)K_3} \text{e}^{-\bar{\zeta}K_-} $，其中 $ \zeta = \frac{\tanh(|z|)}{|z|}z $，推导作用于 $ su(1,1) $-表示 Fock 态 $ |K,n\rangle $ 的广义相干算符 $ V(z) = \text{e}^{zK_+ - \bar{z}K_-} $ 的矩阵元。
• 应用 Baker–Campbell–Hausdorff 公式将指数算子分解为生成元的有序积，从而实现矩阵元的显式计算。
• 采用微分方程方法证明消去恒等式 $ \text{e}^{aK_-} \text{e}^{2bK_3} \text{e}^{cK_+} = \text{e}^{\frac{c\text{e}^b}{f(a)}K_+} \text{e}^{-2\log f(a)K_3} \text{e}^{\frac{a\text{e}^b}{f(a)}K_-} $，其中 $ f(a) = \text{e}^{-b} - a c \text{e}^b $，对所有 $ K > 0 $ 成立，消除了先前对 $ 2K \in \mathbb{N} $ 的限制。
• 通过 $ \text{e}^{aJ_-} \text{e}^{2bJ_3} \text{e}^{cJ_+} = \text{e}^{xJ_+} \text{e}^{2yJ_3} \text{e}^{zJ_-} $ 的显式表达式，建立 $ su(2) $-基算符的类似消去公式，其中 $ x, y, z $ 显式表示为 $ a, b, c $ 的函数。
• 利用群表示理论将相干态表示为 $ |z\rangle = V(z)|K,0\rangle $，并利用 $ |K,n\rangle $ 态的正交性与完备性计算矩阵元。
• 通过生成元在共轭作用下的变换性质（例如 $ \text{e}^{\alpha K_3}K_+\text{e}^{-\alpha K_3} = \text{e}^{\alpha}K_+ $）简化算子排序并验证恒等式。

实验结果

研究问题

• RQ1 su(1,1) 与 su(2) 李代数的广义相干算符的显式矩阵元是什么？
• RQ2 能否为出现在 $ su(1,1) $ 相干算符矩阵元中的关联拉盖尔多项式推导出一个因式分解公式？
• RQ3 如何在不依赖 $ 2K \in \mathbb{N} $ 的限制下，严格建立广义相干算符的消去？
• RQ4 微分方程在证明广义相干态算子恒等式中起什么作用？
• RQ5 所推导的矩阵元与消去公式如何扩展相干态形式化方法在量子光学与路径积分方法中的适用性？

主要发现

• 利用涉及 $ \zeta = \frac{\tanh(|z|)}{|z|}z $ 的消去公式，显式计算了 $ V(z) = \text{e}^{zK_+ - \bar{z}K_-} $ 在 $ |K,n\rangle $ 态上的矩阵元，得到了以超几何函数与关联拉盖尔多项式表示的闭式表达式。
• 作为矩阵元计算的副产品，推导出关联拉盖尔多项式的因式分解公式，为特殊函数提供了新的代数恒等式。
• 对所有 $ K > 0 $，严格证明了消去恒等式 $ \text{e}^{aK_-} \text{e}^{2bK_3} \text{e}^{cK_+} = \text{e}^{\frac{c\text{e}^b}{f(a)}K_+} \text{e}^{-2\log f(a)K_3} \text{e}^{\frac{a\text{e}^b}{f(a)}K_-} $，消除了先前对 $ 2K \in \mathbb{N} $ 的限制。
• 微分方程方法通过证明两边满足相同的初值问题 $ F(0) = G(0) $ 与 $ F'(a) = K_- F(a) $，$ G'(a) = K_- G(a) $，从而确认恒等式成立，故 $ F(a) = G(a) $。
• 为 $ su(2) $ 建立了类似的消去公式：$ \text{e}^{aJ_-} \text{e}^{2bJ_3} \text{e}^{cJ_+} = \text{e}^{xJ_+} \text{e}^{2yJ_3} \text{e}^{zJ_-} $，其中 $ x = \frac{c\text{e}^b}{\text{e}^{-b} + a c \text{e}^b} $，$ y = -\log(\text{e}^{-b} + a c \text{e}^b) $，$ z = \frac{a\text{e}^b}{\text{e}^{-b} + a c \text{e}^b} $。
• 结果为计算矩阵元与消去广义相干算符提供了一个系统性框架，使在量子光学中的应用成为可能，如建模 Rabi 振荡与路径积分的驻定相位近似。