[논문 리뷰] Calogero-Sutherland model in interacting fermion picture and explicit construction of Jack states

Jian-Feng Wu, Ming Yu|arXiv (Cornell University)|2011. 10. 31.

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 2차 양자화와 유한 차수의 섭동 이론을 활용하여 캘로지오-서더랜드(Calogero-Sutherland, CS) 모형에 대해 페르미온적 그림을 제안한다. 페르미온 상호작용의 삼각형 구조를 이용해 자유 페르미온 상태로부터 유사성 변환을 통해 잭 상태를 명시적으로 구성한다. 이 방법은 정확한 고유상태를 체계적으로 구성할 수 있는, 적분 가능성 보존 프레임워크를 제공하며, 광범위하게 애드리아틱 해법이 가능한 다른 시스템으로 일반화 가능하다.

ABSTRACT

The 40-year-old Calogero-Sutherland (CS) model remains a source of inspirations for understanding 1d interacting fermions. At $β=1, ext{or}0$, the CS model describes a free non-relativistic fermion, or boson theory, while for generic $β$, the system can be interpreted either as interacting fermions or bosons, or free anyons depending on the context. However, we shall show in this letter that the fermionic picture is advantageous in diagonalizing the CS Hamiltonian. Comparing to the previously known multi-integral representation or the Dunkl operator formalism for the CS wave functions, our method depends on the (upper or lower) triangular nature of the fermion interaction, which is resolved in perturbation theory of the second quantized form. The eigenstate is constructed from a multiplet of unperturbed states and the perturbation is of finite order. The full construction is a similarity transformation from the free fermion theory, in the same spirit as the Landau Fermi liquid theory and the 1d Luttinger liquid theory. That means quasi-particles or anyons can be represented in terms of free fermion modes (or bosonic modes via bosonization). The method is applicable to other (higher than one space dimension) systems for which the adiabatic theorem applies.

연구 동기 및 목표

• CS 모형의 해밀토니안의 대각화를 단순화하는 페르미온적 그림을 개발한다.
• 일반적인 β에 대해 정확한 고유상태를 구성하는 데 도전하는 문제를, 페르미온 상호작용의 삼각형 성질을 활용해 해결한다.
• 자유 페르미온 상태에서 유사성 변환을 통해 유한 차수의 섭동 이론을 활용해 잭 상태를 명시적으로 구성한다.
• 애드리아틱 정리가 적용되고 해밀토니안이 적절한 기저에서 삼각형 구조를 가지는 다른 적분 가능 시스템으로 이 방법을 일반화한다.

제안 방법

• 이 방법은 2차 양자화 섭동 이론을 사용하여 상호작용 해밀토니안 $ H = H^{(0)} + H^{(I)} $ 를, 비틀림 없는 부분 $ H^{(d)} = H^{(0)} + H^{\parallel} $ 과 엄밀히 삼각형인 부분 $ H^{\perp} $ 으로 분해한다. 이는 비틀림 없는 고유상태 기저에서 이루어진다.
• 정확한 고유상태는 시간 순서 유사성 변환 $ S = T\exp\left(\int_{-\infty}^{0} H^{\perp}(t) dt\right) $ 를 통해 구성되며, 여기서 $ H^{\perp}(t) = e^{-tH^{(d)}} H^{\perp} e^{tH^{(d)}} $ 이다. 이는 유니터리 진동을 보장하고 헤르미티시티를 복원한다.
• 이 구성은 $ H^{\perp} $ 가 관련 힐버트 부분공간에서 영항성임을 가정하여, 유한 차수 섭동 전개가 가능하고, 시리즈 $ R(E) = \sum_{n=0}^{\infty} \left( (E - H^{(d)})^{-1} H^{\perp} \right)^n $ 의 수렴을 보장한다.
• 이 방법은 이동된 운동량 연산자 $ P^{d}_{r} = P^{(0)}_{r} + P^{\parallel}_{r} $ 에 의존하며, 여기서 $ P^{\parallel}_{r} $ 는 $ \beta - 1 $ 비례의 자가 생성된 '게이지 퍼텐셜'을 도입하여 상호작용 강도를 코딩한다.
• 잭 상태는 정점 연산자 $ S(k) $ 를 채워진 페르미 해머 진공 $ |f\rangle $ 에 작용시켜 생성되며, $ S(k) $ 는 유사성 변환 $ S $ 를 통해 정의된다. 이는 보존된 양의 교환 관계를 유지한다.
• 형식은 섭동 진공 $ |f\rangle $ 에 대해 정상 순서를 유지하며, 잭 함수와 셔르 함수 사이의 전이 행렬 $ R_{\lambda}^{\nu} $ 는 단위 대각선을 가지며 삼각형 행렬의 곱으로 표현 가능하다.

실험 결과

연구 질문

• RQ1 어떻게 2차 양자화 페르미온 프레임워크를 통해 임의의 β에 대해 캘로지오-서더랜스 모형의 고유상태를 체계적으로 구성할 수 있는가?
• RQ2 2차 양자화에서 페르미온 상호작용의 삼각형 구조는 정확한 고유상태의 유한 차수 섭동 구성에 어떻게 기여하는가?
• RQ3 유사성 변환 $ S $ 는 자유 페르미온 상태를 상호작용 잭 상태로 매핑하면서 적분 가능성은 어떻게 유지하는가?
• RQ4 이동된 운동량 연산자 $ P^{d}_{r} $ 에서 자가 생성된 '게이지 퍼텐셜'은 상호작용 강도 β 를 어떻게 코딩하는가?
• RQ5 이 방법은 애드리아틱 해법이 가능한 다른 적분 가능 모형으로 얼마나 넓게 일반화될 수 있는가?

주요 결과

• 캘로지오-서더랜스 해밀토니안의 정확한 고유상태는 $ |E\rangle = R(E) |E^{(0)}\rangle_{0} $ 로 구성되며, 여기서 $ R(E) = \left(1 - (E - H^{(d)})^{-1} H^{\perp}\right)^{-1} $ 이고, $ H^{\perp} $ 는 엄밀히 삼각형이며 영항성이다.
• 유사성 변환 $ S $ 는 시간 순서 지수로 정의되며, 자유 페르미온 상태 $ |E^{(0)}\rangle_{0} $ 를 정확한 상호작용 상태 $ |E\rangle $ 로 매핑한다. 이는 $ H = S H^{(d)} S^{-1} $ 를 보장한다.
• β = 1 인 경우, 이 방법은 자유 페르미온 이론으로 축소되며, $ P^{\parallel}_{r} = 0 $ 이고, 운동량 연산자 $ P^{(0)}_{r} $ 가 복원된다.
• 잭 대칭 함수가 셔르 기저에서 삼각형임을 보이며, 전이 행렬 $ R_{\lambda}^{\nu} $ 는 단위 대각선을 가지며, 삼각형 행렬들의 곱 $ (v^{1/\beta})_{\lambda}^{\mu} $ 과 $ ((v^{1})^{-1})_{\mu}^{\nu} $ 로 표현 가능하다.
• 보존된 양 $ W^{n} = S \sum_{r} (P^{d}_{r})^{n} S^{-1} $ 는 상호 교환 가능하며, 이는 유사성 변환 하에서 모형의 적분 가능성 확인한다.
• 이 구성은 해밀토니안이 비틀림 없는 고유상태 기저에서 삼각형이고 $ H^{\perp} $ 가 영항성인 모든 시스템에 대해 유효하며, CS 모형을 초월해 일반화 가능하다.