交換演算子

量子力学において、交換演算子 (こうかんえんざんし exchange operator) P ^ {\displaystyle {\hat {P}}} はフォック空間上の状態に作用する量子力学的演算子（英語版）の一つをいう。交換演算子は、同時位置量子状態 | x 1 , x 2 ⟩ {\displaystyle \left|x_{1},x_{2}\right\rangle } で記述される二つの同種粒子のラベルを取り替えるような作用を及ぼす。これらの粒子は区別が不可能であるから、交換対称性の考え方から交換演算子はユニタリ演算子であることが要請される。 三次元もしくはより高次元において、交換演算子は文字通りの粒子対の位置の交換を、別の粒子は固定したまま断熱過程の粒子運動により表現できる。そのような運動は実際には行われないことが多い。そのかわり、この演算子の作用は「あたかも」パリティ反転もしくは時間反転のように扱われる。 このような粒子交換を二回反復することを考えると、 P ^ 2 | x 1 , x 2 ⟩ = P ^ | x 2 , x 1 ⟩ = | x 1 , x 2 ⟩ {\displaystyle {\hat {P}}^{2}\left|x_{1},x_{2}\right\rangle ={\hat {P}}\left|x_{2},x_{1}\right\rangle =\left|x_{1},x_{2}\right\rangle } のようになるので、 P ^ {\displaystyle {\hat {P}}} はユニタリなだけでなく 1 の平方根である必要があり、次のような可能性がある。 P ^ | x 1 , x 2 ⟩ = ± | x 1 , x 2 ⟩ {\displaystyle {\hat {P}}\left|x_{1},x_{2}\right\rangle =\pm \left|x_{1},x_{2}\right\rangle } どちらの符号も自然界に実現されている。+1 となるような粒子をボソンと呼び、−1 となるような粒子をフェルミオンと呼ぶ。スピン統計定理により、整数スピンを持つような粒子はすべてボソンとなり、半整数スピンを持つような粒子はすべてフェルミオンとなる。 交換演算子はハミルトニアンと交換するため、保存量（英語版）である。したがって、交換演算子の固有状態を基底とすることが常に可能であり、通常はそうすることが一番便利である。このような状態は同種ボソンの交換に対しては完全対称であり、同種フェルミオンの交換に対しては完全反対称である。反対称化演算子（英語版）を用いてこのような反対称状態を構成することができる。 2次元の場合は、必ずしも断熱的な粒子交換が可能とは限らない。そのかわり、交換演算子の固有値は複素位相因子となる（その場合 P ^ {\displaystyle {\hat {P}}} はエルミートでなくなる）ことがある。このような場合についてはエニオンの項を参照されたい。厳密な1次元の場合、交換演算子を良く定義することはできないが、実効的に2次元系として振る舞うような1次元ネットワークを構築する方法がある。 量子化学におけるハートリー・フォック法の文脈では、上述の交換統計から生じる交換相互作用エネルギーを推算するために修正された交換演算子が定義される。この方法では、次のようなエネルギー的交換演算子を定義することが多い。 K ^ j ( x 1 ) f ( x 1 ) = ϕ j ( x 1 ) ∫ ϕ j ∗ ( x 2 ) f ( x 2 ) r 12 d x 2 {\displaystyle {\hat {K}}_{j}(x_{1})f(x_{1})=\phi _{j}(x_{1})\int {{\frac {\phi _{j}^{*}(x_{2})f(x_{2})}{r_{12}}}\mathrm {d} x_{2}}} ここで、 K ^ j ( x 1 ) {\displaystyle {\hat {K}}_{j}(x_{1})} は1電子交換演算子、 f ( x 1 ) {\displaystyle f(x_{1})} , f ( x 2 ) {\displaystyle f(x_{2})} は交換演算子の作用する1電子波動関数を位置による関数表示したもの、 ϕ j ( x 1 ) {\displaystyle \phi _{j}(x_{1})} および ϕ j ( x 2 ) {\displaystyle \phi _{j}(x_{2})} は j 番目の電子の1電子波動関数を位置による関数表示したものである。これらの距離を r12 と表わしている。1 および 2 というラベルは単に記法的な便宜上のものであり、物理的には「どの電子がどれか」を追跡する方法は存在しない。 交換相互作用 ハートリー-フォック方程式 フォック演算子 クーロン演算子 ^ J.S. Townsend (2000). A modern approach to quantum mechanics. International series in pure and applied physics. 69 (2 ed.). University Science Books. p. 342. ISBN 1891389130. https://books.google.com/books?id=3_7uriPX028C&pg=PA342&lpg=PA342&dq=Exchange+operator+quantum+mechanics#v=onepage&q=Exchange%20operator%20quantum%20mechanics&f=false  ^ Levine, I.N., Quantum Chemistry (4th ed., Prentice Hall 1991) p.403. K. Kitaura; K. Morokuma (2004年). “A new energy decomposition scheme for molecular interactions within the Hartree-Fock approximation”. International journal of quantum chemistry (Wiley) 10 (2): pp. 325–340. doi:10.1002/qua.560100211. http://onlinelibrary.wiley.com/doi/10.1002/qua.560100211/abstract;jsessionid=ACF30D173A2ECCB52C43518A1E2CC834.d03t02?deniedAccessCustomisedMessage=&userIsAuthenticated=false  Bylander, D. M.; Kleinman, Leonard (1990年). “Good semiconductor band gaps with a modified local-density approximation”. Physical Review B (Condensed Matter) 41 (11): pp. 7868–7871. doi:10.1103/PhysRevB.41.7868. https://ui.adsabs.harvard.edu/abs/1990PhRvB..41.7868B/abstract  A.P. Polychronakos (1992年). “Exchange Operator Formalism for Integrable Systems of Particles”. Phys.Rev.Lett 69: pp. 703–705. doi:10.1103/PhysRevLett.69.703. http://arxiv.org/pdf/hep-th/9202057v1.pdf  “On a new exchange potential”. 7. Acta Physica Academiae Scientiarum Hungaricae. (1957年). pp. 357–364. http://link.springer.com/article/10.1007%2FBF03156345  R.K Nesbet (1958年). “The Heisenberg exchange operator for ferromagnetic and antiferromagnetic systems”. Annals of Physics (Lincoln, Massachusetts, USA: Elsevier) 4 (1): pp. 87–103. http://www.sciencedirect.com/science/article/pii/0003491658900393  2.3.Identical particles, P. Haynes Chapter 12, Multiple Particle States Exchange of Identical and Possibly Indistinguishable Particles, J. Denker