주기적 솔리톤 셀룰러 자동화의 페르미온 분할함수

초록

본 논문은 박스볼 시스템(보통 BBS)에서 솔리톤 구성을 고정한 경우의 분할함수를 기술하는 페르미온 공식들을 주기적 경계조건으로 확장한다. 기존의 합을 포함한 페르미온 공식에서 합을 없애고 q-이항계수를 직접 곱하는 형태로 정제된 식을 도입함으로써, 무한대 이방향성(Δ=∞) XXZ 체인의 베트루트 카운팅 공식의 q-아날로그를 얻는다. 결과적으로 주기적 박스볼 시스템의 상태수와 솔리톤 내용 사이의 정확한 일대일 대응을 수학적으로 증명한다.

상세 분석

이 연구는 두 가지 주요 흐름을 결합한다. 첫 번째는 ‘조합적 베트루 해석(combinatorial Bethe ansatz)’에서 유도된 페르미온 공식이다. 전통적으로 이러한 공식은 q-이항계수들의 곱에 대한 합 형태로 표현되며, 각 항은 특정 양자수(예: 파티션의 길이, 박스 수 등)에 대응한다. 두 번째 흐름은 박스볼 시스템(Box‑Ball System, BBS)이라는 이산적 완전통합 모델에서 나타나는 솔리톤(양자 입자와 유사한 파동 패킷)의 구성을 고정했을 때의 분할함수이다. 기존 연구에서는 ‘정제된(Refined)’ 페르미온 공식이 제시되었는데, 이는 합을 없애고 직접적인 곱 형태로 전개함으로써 솔리톤 내용과 정확히 일치하는 q-계수를 산출한다.

본 논문은 이러한 정제된 공식의 적용 범위를 ‘주기적’ BBS, 즉 경계가 원형으로 연결된 경우로 확장한다. 주기성은 비주기적 경우와 달리 전체 시스템의 총 입자 수와 솔리톤 길이의 보존 법칙이 복잡하게 얽히게 만든다. 저자들은 먼저 주기적 BBS의 상태공간을 ‘솔리톤 내용(솔리톤 길이와 개수)’에 따라 분류하고, 각 구역을 ‘경로(path)’와 ‘라벨(label)’이라는 두 개의 정수 배열로 기술한다. 이때 라벨은 각 솔리톤이 차지하는 박스 수를, 경로는 솔리톤 사이의 간격을 나타낸다.

핵심적인 수학적 도구는 q-이항계수 (\begin{bmatrix}n\k\end{bmatrix}_q)와 ‘카파(Kappa) 함수’라 불리는 정수 배열의 합성이다. 저자들은 ‘카파 함수’를 이용해 주기적 경계조건 하에서 발생하는 중복성을 정량화하고, 이를 통해 합을 제거한 형태의 페르미온 공식
\