[論文レビュー] 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}^-$ の形を導出する。
• 関数形 $\Phi^+$ および $\Phi^-$ を制約するため、境界条件 $\hat{S}^+|2S\rangle = 0$ および $\hat{S}^-|0\rangle = 0$ を課す。
• スピン・カシミール関係式 $\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$ に写像することにより、リー代数実現への接続を確立し、次数 $\leq 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}$。