[论文解读] Harmonic Oscillator States with Non-Integer Orbital Angular Momentum

Martin Land|ArXiv.org|Mar 10, 2009

Quantum Mechanics and Non-Hermitian Physics参考文献 3被引用 4

一句话总结

本文通过在 O(2)、O(3) 和 O(2,1) 对称性下，于极坐标系中求解薛定谔方程，研究了具有非整数轨道角动量的量子简谐振子态。结果表明，非整数 $ s \neq 0 $ 解——尤其是三维空间中的 $ s = 1/2 $——在笛卡尔坐标系中不可分离，表现出无限简并性，导致标准 Fock 空间阶梯构造及 SU(N) 对称性自发破缺，而整数 $ s $ 态则保持有限且可分离。

ABSTRACT

We study the quantum mechanical harmonic oscillator in two and three dimensions, with particular attention to the solutions as represents of their respective symmetry groups: O(2), O(3), and O(2,1). Solving the Schrodinger equation by separating variables in polar coordinates, we obtain wavefunctions characterized by a principal quantum number, the group Casimir eigenvalue, and one observable component of orbital angular momentum, with eigenvalue $m+s$, for integer $m$ and real constant parameter $s$. In each symmetry group, $s$ splits the solutions into two inequivalent representations, one associated with $s=0$, which recovers the familiar description of the oscillator as a product of one-dimensional solutions, and the other with $s>0$ (in three dimensions, $s=0, 1/2$) whose solutions are non-separable in Cartesian coordinates, and are hence overlooked by the standard Fock space approach. In two dimensions, a single set of creation and annihilation operators forms a ladder representation for the allowed oscillator states for any $s$, and the degeneracy of energy states is always finite. However, in three dimensions, the integer and half-integer eigenstates are qualitatively different: the former can be expressed as finite dimensional irreducible tensors under O(3) or O(2,1), and a ladder representation can be constructed via irreducible tensor products of the vector creation operator multiplet, while the latter exhibit infinite degeneracy and the finite-dimensional ladder representation fails for these states. These results are closely connected to the breaking of a unitary symmetry of the harmonic oscillator Hamiltonian recently discussed by Bars.

研究动机与目标

• 通过极坐标分离方法，将标准 Fock 空间对简谐振子的描述扩展至包含非整数轨道角动量态。
• 利用以实参数 $ s $ 标记的波函数，研究二维和三维空间中 O(2)、O(3) 和 O(2,1) 对称群的表示理论。
• 阐明为何标准产生/湮灭算符在三维空间中对半整数 $ s $ 态（如 $ s = 1/2 $）失效，特别是由于无限简并性。
• 阐明度规符号和范数定义在相对论性振子模型中的作用，尤其是关于负范数（鬼态）的出现。
• 证明简谐振子哈密顿量的 SU(N) 对称性在非整数 $ s $ 表示中自发破缺，且该破缺与笛卡尔坐标系中波函数的不可分离性直接相关。

提出的方法

• 在二维和三维简谐振子中求解薛定谔方程，采用极坐标系，以主量子数、群 Casimir 特征值及实数 $ s $ 的特征值 $ m + s $ 参数化解。
• 使用具有非整数 $ s $ 的广义角动量算符，导致波函数涉及关联合勒让德函数与合流超几何函数。
• 构造极坐标形式的产生/湮灭算符，表明其仅在 $ s = 0 $ 时作为阶梯算符作用，而对 $ s > 0 $（尤其是三维空间中的 $ s = 1/2 $）则不成立。
• 利用正确的度规 $ \eta_{\mu\nu} $ 分析激发态的范数，表明若未正确处理张量结构，仅使用朴素标量范数计算可能导致错误的正定性。
• 证明对于 $ s = 1/2 $，基态具有无限简并性，从而阻止产生算符的向量表示通过标准 Fock 构造生成第一激发能级。
• 将 O(2,1) 中的相对论性振子与标准非相对论性情形进行比较，表明波函数无法分离为笛卡尔模式，且时间方向激发可能具有负范数，除非在范数定义中正确包含度规。

实验结果

研究问题

• RQ1 非整数轨道角动量态（$ s \neq 0 $）如何影响二维和三维简谐振子的可分离性与对称性结构？
• RQ2 为何标准产生/湮灭算符在三维空间中对半整数 $ s $ 态无法形成阶梯表示？
• RQ3 度规 $ \eta_{\mu\nu} $ 在定义相对论性振子态范数时起何作用？它如何影响鬼态的出现？
• RQ4 简谐振子哈密顿量的 SU(N) 对称性如何在非整数 $ s $ 表示中自发破缺？
• RQ5 能否通过多极展开或替代算子代数，在 O(2,1) 中为 $ s = 1/2 $ 态构造一致的阶梯表示？

主要发现

• 当 $ s = 0 $ 时，标准 Fock 空间构造成立：解在笛卡尔坐标系中可分离，且产生/湮灭算符形成有限维阶梯表示。
• 当 $ s > 0 $ 时，特别是三维空间中的 $ s = 1/2 $，解在笛卡尔坐标系中不可分离，并形成无限维表示，从而使标准 Fock 空间方法失效。
• 三维空间中 $ s = 1/2 $ 的基态具有无限简并性，阻止产生算符的向量表示通过标准作用生成第一激发能级。
• 作为基本向量表示的不可约张量积构造的产生算符可成功生成整数 $ s $ 态，但对半整数 $ s $ 态则因基态简并性而失效。
• 简谐振子哈密顿量的 SU(N) 对称性在 $ s \neq 0 $ 表示中自发破缺，且该破缺与波函数的不可分离性直接相关。
• 当使用正确度规 $ \eta_{\mu\nu} $ 计算时，如 $ \psi_1^0 = \bar{a}^0 \psi_0 $ 这类激发态的范数为负，表明可能存在鬼态，除非在范数定义中正确考虑度规。