[论文解读] Representations of the Schrödinger group and matrix orthogonal polynomials

Luc Vinet, Alexei Zhedanov|arXiv (Cornell University)|May 3, 2011

Quantum Mechanics and Non-Hermitian Physics参考文献 14被引用 9

一句话总结

本文在简谐振子基中显式构造了一维薛定谔群的酉表示，揭示该群的矩阵元由离散的查理尔（Charlier）和迈克纳（Meixner）多项式构建的矩阵正交多项式（MOPs）所支配。通过李理论框架，系统推导出结构公式——递推关系、差分方程、罗德里格斯公式及生成函数，从而在物理动机的背景下，对这些MOPs提供了完整的基于对称性的表征。

ABSTRACT

The representations of the Schrödinger group in one space dimension are explicitly constructed in the basis of the harmonic oscillator states. These representations are seen to involve matrix orthogonal polynomials in a discrete variable that have Charlier and Meixner polynomials as building blocks. The underlying Lie-theoretic framework allows for a systematic derivation of the structural formulas (recurrence relations, difference equations, Rodrigues' formula etc.) that these matrix orthogonal polynomials satisfy.

研究动机与目标

• 在简谐振子基中显式构造一维薛定谔群 Sch1 的酉表示。
• 识别作为这些表示矩阵元出现的矩阵正交多项式（MOPs）。
• 利用底层李代数结构，系统推导MOPs的所有关键结构公式（递推、差分、罗德里格斯、生成函数）。
• 在物理背景下提供MOPs的完整对称性分析，弥补当前数学处理中的空白。

提出的方法

• 通过其李代数 sl(2,R) ⊗ H1 实现薛定谔群 Sch1，其中生成元以简谐振子的产生和湮灭算符 a 和 a+ 表示。
• 在由数态 |n⌉ 张成的 Fock 空间中构造群表示，利用简谐振子哈密顿量 H 对生成元进行时间演化。
• 群生成元的矩阵元被证明产生矩阵正交多项式（MOPs），其元素为离散变量中查理尔和迈克纳多项式的线性组合。
• 李代数结构使我们能够通过对易关系和算符恒等式推导出递推关系、差分方程和罗德里格斯公式。
• 利用相干态 |z⌉ 表达生成函数，并分析MOPs的标量内容。
• 该框架允许通过酉表示和群不变性推导正交关系与共轭正交关系。

实验结果

研究问题

• RQ1 如何在一维简谐振子基中显式表示薛定谔群？
• RQ2 这些表示的矩阵元中会涌现出何种类型的矩阵正交多项式？
• RQ3 如何从群论原理出发，系统推导出这些MOPs的全部结构公式（递推、差分、罗德里格斯、生成函数）？
• RQ4 sl(2,R) ⊗ H1 李代数在组织MOPs结构中起到什么作用？
• RQ5 该构造能否作为矩阵正交多项式的完整且全面的对称性分析？

主要发现

• 在简谐振子基中，薛定谔群表示的矩阵元为矩阵正交多项式（MOPs），其元素由离散查理尔和迈克纳多项式构成。
• MOPs 满足具有矩阵系数的三步递推关系，这些矩阵系数源自 sl(2,R) ⊗ H1 的李代数结构。
• 通过群论框架和卡西米尔斯算子的作用，推导出MOPs的罗德里格斯型公式。
• MOPs 具有通过相干态 |z⌉ 表达的生成函数，其显式依赖于复参数 z。
• MOPs 的标量内容被证明由偶数和奇数的埃尔米特多项式组成，与 Fock 空间分解为偶数和奇数数态密切相关。
• 通过系统推导，获得了包括正交性、差分方程和升降算符在内的全部结构公式，从而在物理背景下对MOPs提供了完整表征。