[论文解读] 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.

研究动机与目标

• 在 ℝ² 上的Moyal星积代数与无限矩阵代数之间建立典范同构。
• 通过将Weyl有序的Moyal乘积与矩阵乘法对应，解决形变量子化中的排序歧义问题。
• 通过矩阵形式构造性地实现Moyal代数，使通过矩阵运算显式计算量子可观测量成为可能。

提出的方法

• 将代数 $\mathsf{Mat}_\infty^\hbar$ 定义为系数属于 $k[[\hbar]]$ 的无限矩阵环，通过约束理想 $I^{j-i}$（当 $i < j$ 时）确保矩阵乘法的收敛性。
• 引入基矩阵 $E_{a,b}$，其在位置 $(a+k, b+k)$ 上的元素为 $\frac{(b+k)!}{k!}\hbar^b$，并利用组合恒等式推导其乘积规则。
• 建立同构 $\phi$，将 $p^a x^b$ 映射至 $E_{a,b}$，并证明 $\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}$，从而确认矩阵表示的正确性。
• 通过涉及 $e^{-\frac{\hbar}{2}\frac{\partial^2}{\partial x \partial p}}$ 的平移变换推导Moyal积同构 $\psi$，将Weyl有序乘积与矩阵代数联系起来。
• 通过在单项式上的显式计算验证同构关系，例如 $p \star_\hbar x^2 = p x^2 - \hbar x$，其结果与矩阵乘积一致。

实验结果

研究问题

• RQ1 Moyal星积在 $k[[x,p,\hbar]]$ 上是否同构于无限矩阵代数下的矩阵乘法？
• RQ2 是否能通过典范同构显式地将Weyl有序Moyal乘积实现为矩阵乘法？
• RQ3 矩阵代数 $\mathsf{Mat}_\infty^\hbar$ 的结构如何反映 $\mathbb{R}^2$ 上泊松代数的非交换形变？
• RQ4 在Moyal积下，对应于单项式 $p^a x^b$ 的矩阵生成元 $E_{a,b}$ 的精确形式是什么？
• RQ5 Moyal代数与矩阵代数之间的同构是否可从相干态或Fock空间构造中导出？

主要发现

• Moyal代数 $(k[[x,p,\hbar]], \star_\hbar)$ 与矩阵代数 $\mathsf{Mat}_\infty^\hbar$ 之间存在典范同构，同构 $\phi$ 定义为 $\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}$，确认了矩阵表示作为Fock空间的射影极限。
• 关系式 $p^a x^b = \sum_{n=0}^\infty \hbar^b \frac{(b+n)!}{n!} g_{a+n,b+n}$ 解释了同构 $\phi$ 与矩阵基 $E_{a,b}$ 的结构。