[论文解读] Ladder Operators and Endomorphisms in Combinatorial Physics

Gérard Duchamp, Laurent Poinsot+4 more|arXiv (Cornell University)|Aug 17, 2009

Advanced Combinatorial Mathematics参考文献 16被引用 6

一句话总结

本文建立了一套严格的数学框架，将量子力学中的升降算符与组合结构联系起来，证明了形式幂级数空间上的自同态可以展开为源自海森堡-外尔代数的广义升降算符的组合。关键贡献是一个表示定理，证明任何此类空间上的连续自同态均可表示为可求和的广义升降算符迭代级数，其系数通过无限行-有限矩阵与广义斯特林数相关联。

ABSTRACT

Starting with the Heisenberg-Weyl algebra, fundamental to quantum physics, we first show how the ordering of the non-commuting operators intrinsic to that algebra gives rise to generalizations of the classical Stirling Numbers of Combinatorics. These may be expressed in terms of infinite, but {\em row-finite}, matrices, which may also be considered as endomorphisms of $\C[[x]]$. This leads us to consider endomorphisms in more general spaces, and these in turn may be expressed in terms of generalizations of the ladder-operators familiar in physics.

研究动机与目标

• 将量子力学中的升降算符与广义斯特林数等组合结构联系起来。
• 使用算子代数形式化无限维形式幂级数空间上自同态的作用。
• 将升降算符的概念从标准的产生/湮灭算符推广至任意基底和非标准对易关系。
• 将连续自同态表示为广义升降算符迭代的无穷级数。
• 证明广义斯特林数自然源于海森堡-外尔代数中非交换算符的排序。

提出的方法

• 从海森堡-外尔代数出发，其对易关系为 $[A, B] = I$，该代数是量子谐振子的理论基础。
• 利用正规排序及其相关的理想商，定义非交换多项式代数结构。
• 引入无限行-有限矩阵作为 $\mathbb{C}[[\mathtt{x}]]$ 上自同态的表示，将其与广义斯特林数联系起来。
• 应用对偶性与拓扑方法，将有限维结果推广至对偶空间中的形式无穷线性组合。
• 定义广义升降算符 $\widehat{L}_{\mathbf{e},\boldsymbol{\alpha}}$ 和 $\widehat{R}_{\mathbf{e},\boldsymbol{\beta}}$ 为 $\widehat{V}_{\mathbf{e}}$ 上的连续自同态。
• 证明任何连续自同态 $\phi$ 均可表示为可求和级数 $\sum_{n\in\mathbb{N}} \widehat{R}_{\mathbf{e},\boldsymbol{\beta}}^n P_n(\widehat{L}_{\mathbf{e},\boldsymbol{\alpha}})$，其中 $P_n$ 为多项式，且该级数在空间的拓扑意义下收敛。

实验结果

研究问题

• RQ1 海森堡-外尔代数中算符的排序与对易关系如何导致广义斯特林数？
• RQ2 无限行-有限矩阵以何种方式表示形式幂级数空间上的自同态？
• RQ3 量子物理中升降算符的概念能否推广至任意基底和非标准对易规则？
• RQ4 在何种条件下，形式幂级数空间上的连续自同态可展开为广义升降算符的迭代级数？
• RQ5 在无限维线性系统背景下，下降与上升算符之间的对偶性如何推广？

主要发现

• 广义斯特林数作为海森堡-外尔代数中元素指数映射表示的矩阵系数出现。
• 由这些算符生成的一参数群对应于谢弗型生成函数，后者在组合序列中具有核心地位。
• $\mathbb{C}[[\mathtt{x}]]$ 上的自同态同构于无限行-有限矩阵，后者在该空间上作为线性变换作用。
• 任何 $\widehat{V}_{\mathbf{e}}$ 上的连续自同态 $\phi$ 均有唯一展开式 $\sum_{n\in\mathbb{N}} \widehat{R}_{\mathbf{e},\boldsymbol{\beta}}^n P_n(\widehat{L}_{\mathbf{e},\boldsymbol{\alpha}})$，其中 $P_n$ 为多项式，且该级数可求和。
• 对易子 $[\widehat{L}_{\mathbf{e},\boldsymbol{\beta}}, \widehat{R}_{\mathbf{e},\boldsymbol{\alpha}}]$ 等于 $\sum_{n\in\mathbb{N}} \widehat{R}_{\mathbf{e},\boldsymbol{\alpha}}^n P_n(\widehat{L}_{\mathbf{e},\boldsymbol{\beta}})$，推广了标准对易关系。
• 对角算符 $D_{\mathbf{e},\boldsymbol{\beta},\boldsymbol{\alpha}}$ 到 $\widehat{D}_{\mathbf{e},\boldsymbol{\beta},\boldsymbol{\alpha}}$ 的延拓是良定义的，且等于 $[\widehat{L}_{\mathbf{e},\boldsymbol{\beta}}, \widehat{R}_{\mathbf{e},\boldsymbol{\alpha}}]$，在无限情形下确认了结构的一致性。