[論文レビュー] Matrix Elements of Generalized Coherent Operators

Kazuyuki Fujii|ArXiv.org|Feb 15, 2002

Mathematical functions and polynomials被引用数 4

ひとこと要約

本稿は、Lie代数 su(1,1) および su(2) を基盤とする一般化コherent演算子の明示的行列要素を導出し、関連するラゲール多項式の因数分解公式を提示する。Baker–Campbell–Hausdorff技法を用いて分解公式を確立し、微分方程式を用いて演算子恒等式を証明することで、量子光学および数学物理学における非コンパクトおよびコンパクトなLie代数的構造へのユニタリ演算子の計算の一般化を達成する。

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)のLie代数に基づく一般化コherent演算子の行列要素の明示的表現を導出すること。
• これらの演算子の文脈で生じる関連ラゲール多項式の因数分解公式を提供すること。
• 標準的な調和振動子系を超えて、非コンパクトおよびコンパクトなLie群へのコherent状態形式の適用範囲を拡張すること。
• 微分方程式法を用いて、制限的なパrameter条件を除去する一般化コherent状態の演算子分解恒等式を確立すること。
• 特にRabi振動のモデル化および経路積分近似への応用を踏まえた、量子光学分野への応用の基盤を構築すること。

提案手法

• 一般化コherent演算子 $ V(z) = \text{e}^{zK_+ - \bar{z}K_-} $ が $ su(1,1) $-表現Fock状態 $ |K,n\rangle $ に作用する行列要素を、分解公式 $ \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 $ である。
• 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} $ の制限を除去する。
• 生成子の $ su(2) $-に基づく類似の分解公式を、$ \text{e}^{aJ_-} \text{e}^{2bJ_3} \text{e}^{cJ_+} = \text{e}^{xJ_+} \text{e}^{2yJ_3} \text{e}^{zJ_-} $ として確立する。ここで $ x, y, z $ は $ a, b, c $ の明示的関数として定義される。
• 群表現論を用いて、$ |z\rangle = V(z)|K,0\rangle $ のようにコherent状態を表現し、$ |K,n\rangle $ 状態の正規直交性および完全性を用いて行列要素を計算する。
• 生成子の共役作用の性質（例：$ \text{e}^{\alpha K_3}K_+\text{e}^{-\alpha K_3} = \text{e}^{\alpha}K_+ $）を用いて、演算子の順序付けを簡略化し、恒等式の検証を行う。

実験結果

リサーチクエスチョン

• RQ1 su(1,1)およびsu(2)のLie代数に基づく一般化コherent演算子の行列要素は、どのように明示的に求められるか？
• RQ2 su(1,1)コherent演算子の行列要素に現れる関連ラゲール多項式に対して、因数分解公式を導出できるか？
• RQ3 $ 2K \in \mathbb{N} $ の制限を除いて、一般化コherent演算子の分解をどのように厳密に確立できるか？
• RQ4 微分方程式は、一般化コherent状態の演算子恒等式の証明において、どのように役立つか？
• RQ5 導出された行列要素および分解公式は、量子光学および経路積分法におけるコherent状態形式の適用範囲をどのように拡張するか？

主な発見

• 行列要素 $ V(z) = \text{e}^{zK_+ - \bar{z}K_-} $ が $ |K,n\rangle $ 状態に作用する場合、$ \zeta = \frac{\tanh(|z|)}{|z|}z $ を含む分解公式を用いて明示的に計算され、超幾何関数および関連ラゲール多項式を用いた閉形式の表現が得られる。
• 行列要素の計算の副産物として、関連ラゲール多項式の因数分解公式が導出され、特殊関数における新しい代数的恒等式が得られる。
• 恒等式 $ \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_-} $ は、すべての $ K > 0 $ に対して厳密に証明され、従来の $ 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} $ である。
• これらの結果は、行列要素の計算および一般化コherent演算子の分解のための体系的フレームワークを提供し、特にRabi振動のモデル化や経路積分の停留位相近似への応用を可能にする。