띄엄띄엄 가우스 모형과 XY 모형의 이중성

XY 모형에 관한 지난 글에서 XY 모형과 쿨롱 기체 모형(CG)과 사인-고든 모형(SG)이 연관되어 있다고 얘기했고요, 또 그 이전 글에서는 사인-고든 모형과 띄엄띄엄 가우스 모형(DG) 사이의 관계를 얘기했습니다. 오늘은 DG와 XY가 이중성(duality)으로 연결되어 있다는 얘기를 하려고 합니다. 제가 태어나기도 전에 출판된 다음 논문을 참고했습니다.

H. J. F. Knops, Exact Relation between the Solid-on-Solid Model and the XY Model, Phys. Rev. Lett. 39, 766 (1977) [링크]

논문 제목에는 SOS 모형으로 나와있지만 이게 DG입니다. 계속 DG라고 쓰겠습니다. 2차원 사각 격자 위의 각 자리 i에 정수의 값을 갖는 변수 h_i가 있다고 합시다. 에너지는 이웃한 h의 차이에 관한 함수로 씁니다.

\(H=\sum_{\langle ij\rangle}V(h_i-h_j),\ n_{ij}=h_i-h_j\)

이웃한 두 h의 차이를 n으로 정의합니다. 사각 격자는 단위 정사각형을 이어붙여서 만들 수 있죠. 어떤 단위 정사각형의 네 꼭지점을 i, j, k, l이라고 하면 다음의 조건을 만족시킵니다.

\(\sum n_{ij}\equiv n_{ij}+n_{jk}+n_{kl}+n_{li}=0\)

각 n에 h들을 넣어보면 쉽게 알 수 있죠. 이 네 개의 자리로 둘러싸인 영역에 j'이라는 이름을 붙여줍니다. 즉 원래 사각격자의 이중 격자(dual lattice)의 각 자리를 j'처럼 따옴표를 붙여서 나타냅니다. 위 조건은 다음처럼 쓸 수도 있지요.

\(\delta_{\sum n_{ij},0}=\int_0^{2\pi}\frac{d\phi_{j'}}{2\pi}\exp\left\{i\phi_{j'}\sum n_{ij}\right\}\)

좌변은 크로네커-델타 함수입니다.