[논문 리뷰] A new way to deal with Izergin-Korepin determinant at root of unity

Yu. G. Stroganov|ArXiv.org|2002. 04. 22.

Polynomial and algebraic computation참고 문헌 10인용 수 46

한 줄 요약

이 논문은 뿌리 단위에서의 이제르긴-코레핀 행렬식을 분석하기 위한 새로운 기능적 방정식 접근법을 제안하며, 특히 η = 2π/3인 경우에 초점을 맞춘다. 이 접근법은 모든 스펙트럴 매개변수 {x} ∪ {y}의 교환에 대해 분할 함수에 놀라운 대칭성을 드러내며, 정밀하게 조정된 대칭행렬(ASM)의 수를 위한 새로운 관계, 특히 상하 이중정밀화 ASM 분포에 대한 닫힌 형태 표현식을 유도하는 데 기여한다.

ABSTRACT

I consider the partition function of the inhomogeneous 6-vertex model defined on the $n$ by $n$ square lattice. This function depends on 2n spectral parameters $x_i$ and $y_i$ attached to the horizontal and vertical lines respectively. In the case of domain wall boundary conditions it is given by Izergin-Korepin determinant. For $q$ being a root of unity the partition function satisfies to a special linear functional equation. This equation is particularly good when the crossing parameter $η=2π/3$. In this case it can be used for solving some of the problems related to the enumeration of alternating sign matrices. In particular, it is possible to reproduce the refined ASM distribution discovered by Mills, Robbins and Rumsey and proved by Zeilberger. Further, it is well known that the partition function is symmetric in the $\{x\}$ and as well in the $\{y\}$ variables. I have found that in the case of $η=2π/3$, the partition function is symmetric in the union $\{x\} \cup \{y\}$! This nice symmetry is used to find some relations between the numbers of such alternating sign matrices of order $n$ whose two '1' are located in fixed positions on the boundary of the matrices. Finally I derive the equation giving `top-bottom double refined' ASM distribution.

연구 동기 및 목표

• 교차 매개변수 η가 단위근일 때, 특히 η = 2π/3일 경우 이젠르긴-코레핀 행렬식을 분석하기 위한 새로운 방법을 개발하는 것.
• 스펙트럴 매개변수 이동으로부터 유도된 기능적 방정식을 활용하여, 도메인 월 끝부분을 가진 6-버전 모델의 분할 함수에 숨겨진 대칭성을 밝혀내는 것.
• 기능적 방정식과 대칭성을 이용하여 정밀 및 이중정밀화 대칭행렬(ASMs)의 정확한 조합 공식을 도출하는 것.
• 이중정밀화 ASM 수 B(n;r,ṙ)와 정밀화 ASM 수 A(n;r) 사이의 비선형 재귀관계를 수립하여 기존의 추측을 확인하고 확장하는 것.

제안 방법

• η = 2π/3일 때, k = 0,1,2에 대해 스펙트럴 매개변수를 kη만큼 이동시킨 이젠르긴-코레핀 행렬식을 합하여 분할 함수에 대한 선형 기능적 방정식을 유도한다.
• 삼각함수 항등식 sin(u+π/3)sin(u−π/3)sin(u) = −(1/4)sin(3u)를 사용하여 기능적 방정식을 더 다룰 수 있는 형태로 단순화한다.
• f(u) = Z(u) × ∏_{i=1}^{2n−1} sin(u − u_i)를 도입하여 기능적 방정식을 삼각함수 다항식 방정식으로 변환한다.
• η = 2π/3일 때 모든 {x}와 {y} 스펙트럴 매개변수의 교환에 대해 분할 함수에 새로운 대칭성이 존재한다는 사실을 활용하여, ASMs의 경계에 위치한 1들을 연결한다.
• Wronskian 유사 조합 f(u)f′(ũ) − f′(u)f(ũ)를 통해 이중정밀화 생성함수를 구성한다. 이는 기능적 방정식을 만족하며 이중정밀화 분포를 코딩한다.
• 생성함수 A(t), G(t), H(t)를 사용하여 이중정밀화 ASM 수 B(n;r,ṙ)와 정밀화 ASM 수 A(n;r) 사이의 비선형 재귀관계를 유도한다.

실험 결과

연구 질문

• RQ1 기능적 방정식 접근법을 사용하여 뿌리 단위에서의 이젠르긴-코레핀 행렬식을 분석할 수 있는가, 특히 η = 2π/3일 경우에 대해?
• RQ2 도메인 월 경계를 가진 6-버전 모델의 분할 함수는 η = 2π/3일 때 모든 스펙트럴 매개변수 {x} ∪ {y}의 교환에 대해 숨겨진 대칭성을 보이는가?
• RQ3 이 대칭성을 이용하여 정밀화 및 이중정밀화 대칭행렬의 수에 대한 새로운 조합 항등식을 도출할 수 있는가?
• RQ4 기능적 방정식과 대칭성을 사용하여 상하 이중정밀화 ASM 분포에 대한 닫힌 형태 표현식을 도출할 수 있는가?
• RQ5 이중정밀화 ASM 수와 정밀화 ASM 수 사이의 정확한 대수적 관계는 무엇인가?

주요 결과

• 도메인 월 경계를 가진 6-버전 모델의 분할 함수는 η = 2π/3일 때 모든 스펙트럴 매개변수 {x} ∪ {y}의 교환에 대해 대칭적이며, 이는 이전에 알려지지 않은 성질이다.
• 2π/3만큼의 스펙트럴 매개변수 이동으로부터 유도된 기능적 방정식을 통해 정밀화 ASM 분포를 정확히 유도할 수 있으며, 밀스, 로빈스, 럼지에 의해 증명된 결과를 재현한다.
• 이중정밀화 ASM 수 B(n;r,ṙ)와 정밀화 ASM 수 A(n;r) 사이에 새로운 비선형 재귀관계가 수립되며, 다음과 같다: B(n;r+1,ṙ+1) − B(n;r,ṙ) = [A(n−1,r)(A(n,ṙ+1)−A(n,ṙ)) + A(n−1,ṙ)(A(n,r+1)−A(n,r))]/A(n,1).
• 이중정밀화 ASM 생성함수는 다음과 같은 유리함수 형태로 표현된다: ∑_{r,ṙ} B(n;r,ṙ)t^{n−r}ṫ^{ṙ−1} = const × (H(t)G(ṫ) − H(ṫ)G(t))/(t − ṫ), 여기서 G(t)와 H(t)는 정밀화 ASM 생성함수 A(t)로 정의된다.
• 기능적 방정식과 대칭성 방법을 통해 정밀화 ASM 추측을 성공적으로 재현하였으며, 대수적 유도를 통해 그 타당성을 확인하였다.
• 이 방법은 정밀화 ASM 수로부터 이중정밀화 ASM 수를 체계적으로 계산할 수 있는 방법을 제공하며, ASM 수의 새로운 대수적 프레임워크를 제공한다.