[論文レビュー] The Moyal product is the matrix product

Sergei Merkulov|ArXiv.org|Jan 26, 2000

Advanced Topics in Algebra参考文献 2被引用数 6

ひとこと要約

本稿は、平面上の関数におけるMoyal星積代数と、形式的べき級数 ℏ に係数をとる無限行列の代数との間の標準的同型を確立する。Moyal積は、単項式 p^a x^b を特定の無限行列 E_{a,b} に写す明示的な同型写像を通じて、行列積に正確に対応しており、Weyl順序形式における変形量子化を行列代数として実現する。

ABSTRACT

This is a short comment on the Moyal formula for deformation quantization. It is shown that the Moyal algebra of functions on the plane is canonically isomorphic to an algebra of matrices of infinite size.

研究の動機と目的

• R² 上のMoyal星積代数と無限行列の代数との間の標準的同型を確立すること。
• Weyl順序Moyal積を行列積に対応させることで、変形量子化における順序の曖昧さを解消すること。
• Moyal代数の構成的実現を行列として与え、量子観測量の行列演算による明示的計算を可能とすること。

提案手法

• k[[\hbar]] に係数をとる無限行列の環として $\mathsf{Mat}_\infty^\hbar$ を定義し、i < j のときの理想 I^{j-i} を課すことにより、行列積の収束を保証する。
• E_{a,b} と呼ばれる基底行列を導入し、その成分は位置 (a+k, b+k) で $\frac{(b+k)!}{k!}\hbar^b$ に等しく、組合せ的恒等式を用いてその積則を導出する。
• p^a x^b を E_{a,b} に写す同型写像 $\phi$ を確立し、$\star_\hbar$-積が行列積に対応することを示す。
• 生成関数 $g_{a,b} = \frac{p^a x^b}{b!\hbar^b} e^{-px/\hbar}$ を用いて、$\star_\hbar$-積が $g_{a,b} \star_\hbar g_{c,d} = \delta_{bc} g_{a,d}$ を満たすことを検証し、行列表現の正当性を確認する。
• Moyal積の同型写像 $\psi$ を、$e^{-\frac{\hbar}{2}\frac{\partial^2}{\partial x \partial p}}$ を用いたシフト変換から導出し、Weyl順序積と行列代数を結ぶ。
• 具体的な単項式における計算により同型写像を検証し、たとえば $p \star_\hbar x^2 = p x^2 - \hbar x$ が行列積の結果と一致することを確認する。

実験結果

リサーチクエスチョン

• RQ1 k[[x,p,\hbar]] 上のMoyal星積は、行列積に関して無限行列の代数と同型であるか？
• RQ2 Weyl順序Moyal積は、標準的同型写像を用いて明示的に行列積として実現可能か？
• RQ3 無限行列代数 $\mathsf{Mat}_\infty^\hbar$ の構造は、$\mathbb{R}^2$ 上のポincare代数の非可換変形をどのように反映しているか？
• RQ4 Moyal積のもとで単項式 $p^a x^b$ に対応する行列生成子 $E_{a,b}$ の正確な形は何か？
• RQ5 Moyal代数と行列代数の同型写像は、整合状態またはフォック空間の構成から導出可能か？

主な発見

• Moyal代数 $(k[[x,p,\hbar]], \star_\hbar)$ は、同型写像 $\phi$ を用いて $\mathsf{Mat}_\infty^\hbar$ と標準的同型であり、$\phi(p^a x^b) = E_{a,b}$ で定義される。
• 行列 $E_{a,b}$ と $E_{c,d}$ の積は $E_{a,b} E_{c,d} = \sum_{n=0}^{\min(b,c)} \frac{\hbar^n b! c!}{n! (b-n)! (c-n)!} E_{a+c-n, b+d-n}$ で与えられ、代数的構造が確認される。
• 同型写像 $\psi$ を通じて、Moyal積 $f \star_\hbar g$ は行列積に正確に対応する。単項式 $p \star_\hbar x^2 = p x^2 - \hbar x$ についての検証で確認された。
• 同型写像 $\psi$ は $p^a x^b$ を $\sum_{n=0}^{\min(a,b)} \frac{\hbar^n a! b!}{2^n n! (a-n)! (b-n)!} E_{a-n, b-n}$ に写す。これにより、行列表現の閉じた形が得られる。
• 生成関数 $g_{a,b} = \frac{p^a x^b}{b!\hbar^b} e^{-px/\hbar}$ は $g_{a,b} \star_\hbar g_{c,d} = \delta_{bc} g_{a,d}$ を満たし、行列表現がフォック空間の射影極限として正当化される。
• 関係式 $p^a x^b = \sum_{n=0}^\infty \hbar^b \frac{(b+n)!}{n!} g_{a+n,b+n}$ は、同型写像 $\phi$ および行列基底 $E_{a,b}$ の構造を説明する。