하이젠베르크 스핀 1/2 XXX 모형

하이젠베르크 모형은 다음과 같습니다.

\(H=-J\sum_{\langle ij\rangle}\vec S_i\cdot\vec S_j\)

이 모형의 해밀토니안은 이웃한 두 스핀 사이의 내적들의 합입니다. 여기서 두 '스핀'이라고 했는데 원래는 스핀 연산자(spin operator)입니다. 스핀은 순전히 양자역학적인 개념이지만 '고전적 스핀'을 정의하여 쓰기도 합니다. 위키피디아에도 양자 스핀의 하이젠베르크 모형과 고전적 스핀의 하이젠베르크 모형이 따로 정리되어 있습니다. 이번 통계물리 겨울학교에서 양자 스핀의 하이젠베르크 모형을 유도하는 과정을 배웠는데요, 다른 책들을 참고하여 간단히 정리하려고 합니다.

두 개의 수소 원자가 가까이 있다고 합시다. 즉 양성자 두 개와 전자 두 개가 주어져 있고 각 전자는 각 양성자 주위에 존재합니다. 두 양성자의 위치는 고정되어 있으며 전자들의 활동범위가 겹칩니다. 두 전자는 쿨롱 상호작용을 하겠죠. 고전적으로는 두 전자를 구분할 수 있으므로 두 전자가 움직이다가 충돌해 튕겨나오더라도 어떤 놈이 어떤 놈인지 알 수 있습니다. 하지만 양자역학적으로는 두 전자를 구분할 수 없습니다. 불확정성 원리에 의해 위치와 운동량을 동시에 정확히 측정하기 힘들므로 두 전자가 충돌 후 튕겨나왔을 때 어떤 놈이 어떤 놈인지 불확실해집니다. 아래 그림을 보세요.

이렇게 구분할 수 없는(indistinguishable) 입자들로 이루어진 시스템에는 치환대칭(permutation symmetry)이 존재합니다. 이를테면 똑같은 책이 두 권 있다면 어떤 걸 왼쪽에 놓아도 차이가 없겠죠. 이제 입자 두 개의 위치를 바꾸는 치환연산자(permutation operator)를 도입합니다.

\(P_{12}|k'k''\rangle=|k''k'\rangle\)

즉 1번 입자는 k' 상태에 있다가 k 상태로 변하고 2번 입자는 k 상태에 있다가 k' 상태로 변합니다. 이 치환연산자를 두 번 적용하면 원래 상태로 돌아옵니다.

\(P_{12}^2|k'k''\rangle=|k'k''\rangle\)

이로부터 치환연산자의 고유값은 1 또는 -1임을 알 수 있습니다. 고유값 1에 해당하는 입자들을 보존(boson)이라 부르고 -1에 해당하는 입자들을 페르미온(fermion)이라 부릅니다. 각 입자가 k'과 k이라는 두 상태에만 있을 수 있다고 합시다. 두 페르미온이 가질 수 있는 유일한 상태는 다음과 같습니다.

\(\frac{1}{\sqrt{2}}(|k'k''\rangle-|k''k'\rangle)\)

두 보존이라면 세 상태를 가질 수 있습니다.

\(|k'k'\rangle,\ |k''k''\rangle,\ \frac{1}{\sqrt{2}}(|k'k''\rangle+|k''k'\rangle)\)