다중원자 분자 BEC의 정확해석 모델

이 논문은 알제브라적 베트 앤즈 방법과 양자 역산법(QISM)을 이용해 다중원자 분자 Bose‑Einstein 응축체(MBEC)의 정확히 풀 수 있는 두 종류의 모델을 제시한다. 먼저, gl(2)‑R 행렬을 정의하고, 이 행렬이 Yang‑Baxter 방정식을 만족함을 보이며, 이를 기반으로 전이 행렬 t(u)=tr T(u)를 구성한다. 전이 행렬은 스펙트럼 파라미터 u에 대해 서로 교환되므로, 전이 행렬의 전개 계수 Ck는 서로 교환되는 보존량이 된다. 다음으로, 세 가지 Lax 연산자를 도입한다. 첫 번째는 su(2) 대수의 실현 L_S(u)이며, 두 번째는 Heisenberg‑Weyl 대수의 실현 L_j(u), 세 번째는 sl(2) 대수의 다중보손 실현 L_A(u)이다. 각 Lax 연산자는 R 행렬과의 교환 관계 R₁₂(u−v)L₁(u)L₂(v)=L₂(v)L₁(u)R₁₂(u−v)를 만족한다. 동종 다중원자 분자 모델은 L_j와 L_A를 결합한 L(u)=η⁻¹ G L_j(u−δ−η⁻¹) L_A(u+ω) 형태로 정의한다. 여기서 G는 대각 행렬이며, δ와 ω는 자유 파라미터이다. 이 Lax 연산자를 이용해 전이 행렬을 전개하면 t(u)=−η⁻¹(u+ω+η²A₀)(u−δ−η⁻¹+ηN_b)+η⁻²(u+ω−η²A₀)bA₊+b†A₋가 얻어진다. t(0)과 그 계수 C₀, C₁은 각각 전체 입자 수와 원자·분자 비율을 나타내는 보존량이다. 동종 모델의 물리적 해석을 위해 sl(2) 대수의 다중보손 실현을 사용한다. A₀=α₀(N), A₋=α₋(N)a^l, A₊=(a†)^l α₋(N)와 같은 정의를 통해 α₀(N)=2l(N−R)+α₀(R) 등으로 표현한다. 여기서 R은 N을 l로 나눈 나머지를 반환하는 연산자이며, α₀(R)은 초기 조건에 따라 정해지는 양수 함수이다. 이러한 실현을 통해 Hamiltonian(27) H=U_aN_a²+U_bN_b²+U_abN_aN_b+μ_aN_a+μ_bN_b+Ω