[论文解读] Boson Representation of Spin Operators

Lasha Tkeshelashvili|arXiv (Cornell University)|Nov 11, 2016

Spectral Theory in Mathematical Physics参考文献 1被引用 4

一句话总结

本文提出了一种自洽的玻色子表示方法来描述自旋算符，该方法统一了霍尔斯坦-普里马科夫与戴森-马列夫变换，解决了其标准形式中存在的一些微妙问题。通过使用算符微积分与正规排序，推导出一个群论一致的框架，该框架自然地与 SU(2) 对称性对齐，从而能够精确处理满足正确边界条件与算符排序约束的自旋系统。

ABSTRACT

The derivation of the boson representation of spin operators is given which reproduces the Holstein-Primakoff and Dyson-Maleev transformations in the corresponding cases. The suggested formalism allows to address some subtle issues which appear crucial for treating certain class of problems. Moreover, the transformation is suggested which is naturally related to the symmetry of the spin systems.

研究动机与目标

• 解决标准霍尔斯坦-普里马科夫与戴森-马列夫变换中长期存在的细微问题，特别是关于算符排序与边界条件的问题。
• 推导出一种与 SU(2) 李代数结构一致且保持物理自旋希尔伯特空间的自旋算符玻色子表示。
• 提供一种系统化的形式化方法，自然地包含自旋系统的对称性，并确保自旋代数对易关系的精确满足。
• 阐明正规排序与算符函数分解在构建有效自旋-玻色映射中的作用。

提出的方法

• 利用玻色子算符之间的对易关系 $[\hat{a}, \hat{a}^+] = 1$ 与自旋代数推导玻色子表示。
• 通过函数导数的算符微积分方法：$[\hat{a}, f] = \partial f / \partial \hat{a}^+$ 与 $[\hat{a}^+, f] = -\partial f / \partial \hat{a}$，推导 $\hat{S}^+$ 与 $\hat{S}^-$ 的形式。
• 施加边界条件 $\hat{S}^+|2S\rangle = 0$ 与 $\hat{S}^-|0\rangle = 0$，以约束 $\Phi^+$ 与 $\Phi^-$ 的函数形式。
• 利用自旋卡西米爾关系 $\hat{\bf S}^2 = S(S+1)$ 推导关键方程 $\Phi^+\Phi^- = 2S - \hat{a}^+\hat{a}$，从而实现一致表示的因式分解。
• 通过正规排序构造表示：$\hat{S}^+ = \hat{a}^+ \Phi^+$，$\hat{S}^- = \Phi^- \hat{a}$，其中 $\Phi^+$ 与 $\Phi^-$ 由 $2S - \hat{a}^+\hat{a}$ 的因式分解确定。
• 通过将玻色子算符映射为微分算符 $z$ 与 $d/dz$，建立与李代数实现的联系，从而在次数不超过 $2S$ 的多项式上获得对称表示。

实验结果

研究问题

• RQ1 如何推导出自旋算符的统一玻色子表示，使其能一致地重现霍尔斯坦-普里马科夫与戴森-马列夫变换？
• RQ2 为确保正确的自旋代数与边界条件，$\Phi^+$ 与 $\Phi^-$ 的函数形式需要满足哪些必要条件？
• RQ3 为何标准形式的戴森-马列夫变换无法满足物理边界条件 $\hat{S}^+|2S\rangle = 0$？
• RQ4 如何构建玻色子表示，使其与 SU(2) 群结构及幺正表示完全一致？
• RQ5 算符排序与函数因式分解在确保自旋-玻色映射精确性方面起什么作用？

主要发现

• 当 $\Phi^+ = \Phi^- = \sqrt{2S - \hat{a}^+\hat{a}}$ 时，该形式重现了霍尔斯坦-普里马科夫变换，但揭示了对这一平方根的正规排序展开进行截断的不一致性。
• 当 $\Phi^+ = \sqrt{2S}(1 - \hat{a}^+\hat{a}/(2S))$ 且 $\Phi^- = \sqrt{2S}$ 时，可恢复共轭的戴森-马列夫表示，且满足边界条件 $\hat{S}^+|2S\rangle = 0$。
• 推导出一种新表示：$\Phi^- = -1$，从而得到 $\hat{S}^+ = -\hat{a}^+(2S - \hat{a}^+\hat{a})$，$\hat{S}^- = -\hat{a}$，$\hat{S}^z = -S + \hat{a}^+\hat{a}$，该表示与 SU(2) 李代数实现一致。
• 该表示被证明等价于在多项式上的微分算符实现：$\hat{S}^+ = -2Sz + z^2 d/dz$，$\hat{S}^- = -d/dz$，$\hat{S}^z = -S + z d/dz$，并采用特定内积以保证厄米性。
• 本文确立了原始提出的标准马列夫变换不满足边界条件 $\hat{S}^+|2S\rangle = 0$，必须被修正形式所取代。
• 整个形式化框架为自旋向上与自旋向下的基态提供了对称处理，其中 $|+S,S\rangle$ 的对偶表示为 $\hat{S}^+ = -\hat{a}$，$\hat{S}^- = -\hat{a}^+(2S - \hat{a}^+\hat{a})$，$\hat{S}^z = S - \hat{a}^+\hat{a}$。