적분가능 사변식의 라그랑지 구조와 플립 불변성

본 논문은 적분가능 사변식(quad‑equations)의 라그랑지 구조와 다차원 격자에서의 액션 함수 플립 불변성을 포괄적으로 다룬다. 먼저, 사변식 Q(x,u,y,v;α,β)=0 의 정의와 기본 가정(다중선형, D₄ 대칭, 3차원 일관성, 테트라헤드라 속성)을 소개하고, ABS 리스트에 포함된 9개의 표준형(Q1–Q4, H1–H3, A1–A2)으로 분류한다. 각 사변식에 대해 biquadratic 다항식 h와 g를 도입하고, 식 (2) 로 표현되는 h·h=g·g 관계를 제시한다. 이는 이후 라그랑지 함수들의 상호작용을 분석하는 핵심 도구가 된다. 다음으로, 모든 사변식이 “세‑다리 형태”(three‑leg form) ψ(x,u;α)−ψ(x,v;β)=φ(x,y;α−β) 로 변환될 수 있음을 보인다. ψ와 φ는 각각 변수에 대한 대칭적 원시함수 L, Λ 로 적분될 수 있으며, L(X,U;α)=L(U,X;α), Λ(X,Y;α−β)=Λ(Y,X;α−β) 로 정의된다(Lemma 2). 이 단계에서 변수 변환 x=f(X) 등을 통해 라그랑지 함수가 파라미터에만 의존하도록 정규화한다. 핵심 정리인 Theorem 1은 단일 사변형 내부에서 라그랑지 함수들이 만족하는 식 (11)을 제시한다. 이는 L과 Λ의 조합이 사변식의 해 위에서 상수값을 갖는다는 것을 의미한다. 증명은 Θ= L+L−L−L−Λ−Λ 의 전미분이 세‑다리 방정식에 의해 소멸함을 이용하고, 식 (2) 와 Lemma 3 로부터 파라미터 미분 형태를 도출한다. 결과적으로 Θ는 파라미터 전용 함수 ρ(α)−ρ(β)−σ(α−β) 로 표현되는 상수임을 확인한다. 이후 플립 불변성에 대한 두 가지 주요 결과를 제시한다. 첫 번째는 “라플라스형” 시스템에 대한 별‑삼각 변환이다. Theorem 2는 Λ가 식 (16) 을 만족하면, 네 개의 검은 점(x, x₁₂, x₂₃, x₁₃) 으로 이루어진 별‑삼각 구조에서 액션이 변환 전후 동일함을 보인다. 여기서 사용되는 다변수 방정식 bQ는 Q‑형( Q1–Q4) 사변식에 속한다. 두 번째는 다차원 격자 Z^m 상에서의 3‑점 라그랑지 L을 2‑형식으로 해석한 것이다. Theorem 3은 Δ₁L+Δ₂L+Δ₃L=0 이 성립함을 증명한다. 이는 각 면에 할당된 L이 3‑차원 큐브 내부에서 경계항 없이 소거되어, 전체 액션이 플립(큐브 내부의 3‑면 교환) 아래 불변임을 의미한다. 논문은 기존에 Bazhanov‑Mangazeev‑Sergeev, Lobb‑Nijhoff 등이 개별 사변식에 대해 복잡한 dilogarithm 계산을 통해 증명한 플립 불변성을, 라그랑지 함수들의 대칭성과 세‑다리 형태만을 이용한 보편적이고 간결한 증명으로 일반화한다. 이는 모든 ABS 사변식에 대해 동일한 구조적 원리를 제공함으로써, 향후 양자화(양자 Y‑Baxter 관계와의 연계)나 더 복잡한 다변량 격자 시스템에 대한 연구에 중요한 토대를 제공한다.