GLq2와 격자 리우비르 모델의 바흐스화

초록

본 논문은 양자군 GL₍q₎(2)의 확장을 바흐스화(Baxterization)하여 스펙트럼 파라미터 의존 L‑행렬을 두 종류 도입하고, 각각에 대응하는 두 개의 코멥리케이션 구조를 이용해 기본 R‑연산자를 구축한다. 이를 통해 양자 격자 리우비르 모델, q‑DST, 볼테라, 자유장 및 상대론적 토다 모델 등 여러 격자 모델의 로컬 해밀토니안을 얻는다. 또한 q‑진동자와 Weyl 대수에 대한 축소를 수행해 동일한 방법을 적용한다.

상세 분석

논문은 먼저 전통적인 양자군 GL₍q₎(2)의 정의와 그 R‑행렬 표현을 정리하고, 이를 바흐스화하여 스펙트럼 파라미터 λ가 들어간 두 개의 L‑행렬 g(λ)와 ˆg(λ)를 제시한다. g(λ)와 ˆg(λ)는 각각 λ와 λ⁻¹의 가중을 가진 a, b, c, d 원소들의 선형 결합이며, 이들 행렬이 RLL 관계를 만족하도록 두 종류의 코멥리케이션(Δ와 δ)을 도입한다. Δ는 기존의 표준 코멥리케이션이며, δ는 θ 원소를 이용해 정의된 비표준 코멥리케이션이다. 두 코멥리케이션을 통해 각각 Δ(bc)와 δ(ad−qbc)와 같은 중심 원소들의 거듭제곱 형태로 기본 R‑연산자를 표현한다. 이때 R‑연산자는 정규화 후 R(1)=1⊗1을 만족하도록 구성되며, 로그 미분을 통해 로컬 해밀토니안을 얻는다.

핵심 기술은 R‑연산자를 양자 로그함수와 양자 디로그함수(quantum dilogarithm) 형태로 재표현한 점이다. 특히 |q|=1인 경우에도 수렴성을 확보하기 위해 self‑dual 형태의 양자 디로그함수를 사용한다. 이러한 표현은 R‑연산자를 복소수 파라미터 λ에 대한 명시적 함수로 만들며, 이후 전이 행렬 T(λ)의 λ=1에서의 로그 미분이 근접 이웃 간 상호작용만을 포함하는 로컬 해밀토니안을 제공한다.

다음으로 fGL₍q₎(2)라는 확장 대수를 정의한다. 여기서는 기존의 a, b, c, d에 더해 θ 원소를 도입하고, θ와 b, c는 서로 교환하며 θ와 a, d는 q‑스케일링 관계를 갖는다. 중심 원소는 D₍q₎=ad−qbc와 η′₍q₎=θb, η″₍q₎=θc 로 구성된다. 이 확장 대수에 대해 g(λ)와 ˆg(λ)의 바흐스화가 진정한 λ‑의존성을 유지함을 보이며, q‑determinant가 λ에 의존하는 형태임을 확인한다. 따라서 g(λ), ˆg(λ) 각각에 대해 Δ와 δ를 적용해 R‑연산자를 구하고, 이를 통해 다양한 격자 모델에 대한 L‑행렬을 재구성한다.

특히, 리우비르 모델의 L‑행렬이 ˆg(λ)와 동일함을 보여주어, 해당 모델의 기본 R‑연산자는 Δ(bc)의 거듭제곱 형태가 된다. q‑DST 모델은 g(λ)와 연결되며, 여기서는 δ(ad−qbc) 거듭제곱이 R‑연산자가 된다. q‑진동자 대수와 Weyl 대수에 대한 축소 과정을 통해 볼테라 모델, 자유장 격자, 상대론적 토다 모델 등도 동일한 프레임워크 안에서 기술된다. 각 모델에 대해 로컬 해밀토니안을 로그 형태로 제시하고, 양자 디로그함수 표현을 통해 정규화와 연산자 정의의 수학적 엄밀성을 확보한다.

마지막으로, 양자 디로그함수의 기본 성질과 그 증명을 부록에 정리함으로써, R‑연산자와 해밀토니안의 표현이 복소 평면 전체에 걸쳐 연속적이고 유한한 값을 갖도록 보장한다. 전체적으로 이 논문은 양자군의 코멥리케이션 구조와 바흐스화를 결합해 다양한 격자 양자 모델의 정확한 대수적 기반을 제공한다는 점에서 중요한 기여를 한다.