[论文解读] The Poisson algebra of classical Hamiltonians in field theory and the problem of its quantization

Alexander Roi Stoyanovsky|arXiv (Cornell University)|Aug 18, 2010

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

一句话总结

本文利用施瓦茨空间上的光滑快速衰减泛函，构建了量子场论中经典哈密顿量的泊松代数，通过变分导数和泊松括号确立其代数结构，并将量子化问题表述为寻找一个关于 ℏ 的滤子化、结合代数，使其在 ℏ=0 时还原为经典代数，并在 o(ℏ) 范围内重现泊松括号。一个关键结果是，从二次量子代数中的对易子计算中推导出一个非平凡恒等式：δ(0)δ′(x) = 2δ′(0)δ(x)。

ABSTRACT

We construct the commutative Poisson algebra of classical Hamiltonians in field theory. We pose the problem of quantization of this Poisson algebra. We also make some interesting computations in the known quadratic part of the quantum algebra.

研究动机与目标

• 使用施瓦茨空间 S × S 上的光滑快速衰减泛函，定义量子场论中经典哈密顿量的交换泊松代数。
• 识别在对这类哈密顿量进行量子化时的根本障碍，特别是由算符排序和狄拉克函数奇点引起的发散。
• 将量子化问题公式化为构造一个关于 ℏ 的滤子化、结合代数，使其在 ℏ=0 时还原为经典泊松代数，并在 o(ℏ) 范围内重现泊松括号。
• 探讨无穷维配置空间上半形式的作用，作为定义在微分同胚下不变的量子态的潜在框架。
• 显式计算二次量子代数中的对易子，揭示涉及狄拉克函数导数的非平凡恒等式。

提出的方法

• 将经典哈密顿量定义为施瓦茨空间 S × S 上的光滑快速衰减泛函，其变分导数属于 S ⊕ S。
• 通过公式 {Φ₁, Φ₂} = ∫(δΦ₁/δπ(x) · δΦ₂/δφ(x) − δΦ₁/δφ(x) · δΦ₂/δπ(x)) dx 引入标准泊松括号。
• 证明多项式符号空间 Symb 在此括号下构成一个在运算下封闭的分次泊松代数。
• 将量子化问题公式化为构造一个关于 ℏ 的滤子化、结合代数 Diffₕ，使其伴随的分次代数同构于 Symb，且对易子在 o(ℏ) 范围内匹配 −iℏ 倍的泊松括号。
• 通过使用标准对易关系和莱布尼茨法则，显式计算二次量子代数中 [∫f(x)φ(x)φ′(x)dx, ∫g(y)π(y)²dy] 的对易子。
• 通过比较计算同一对易子的两种方式并消去项，推导出一个新恒等式 δ(0)δ′(x) = 2δ′(0)δ(x)。

实验结果

研究问题

• RQ1 如何在无穷维相空间上，严格地将量子场论中经典哈密顿量的代数定义为泛函上的泊松代数？
• RQ2 为何标准的量子化方案（如 Weyl–Moyal 代数）无法容纳自由哈密顿量的平方，原因在于发散项？
• RQ3 何种代数结构可正确描述量子场论哈密顿量，使其尊重微分同胚不变性并允许一致的算符排序？
• RQ4 在配置空间的微分同胚下，量子场论中的波函数是否可不作为函数而作为半形式变换？这对内积有何影响？
• RQ5 计算二次量子算符的对易子时，会涌现出何种非平凡恒等式？它们揭示了量子代数的何种结构特征？

主要发现

• 多项式符号空间 Symb 在标准变分泊松括号下构成一个明确定义的、分次的泊松代数，且在运算下封闭。
• 两个符号的泊松括号仍为一个符号，且该代数满足雅可比恒等式和莱布尼茨法则。
• 本文识别出一个量子化的基本障碍：自由哈密顿量的平方 ∫(π² + φ²)/2 dx 由于涉及 δ(x−x′)² 的发散项，不位于 Weyl–Moyal 代数中。
• 通过显式计算二次量子代数中一个对易子，推导出一个新恒等式 δ(0)δ′(x) = 2δ′(0)δ(x)，揭示了狄拉克函数导数之间的非平凡关系。
• 计算表明，两个二次算符的对易子会生成涉及 δ(x−y) 和 δ′(x−y) 的项，其抵消过程隐含一个一致性条件，从而导出该恒等式。
• 分析表明，量子场论中的量子态可能自然地作为无穷维配置空间上的半形式变换，为内积和微分同胚不变性提供了几何框架。