[논문 리뷰] Proof of the Refined Alternating Sign Matrix Conjecture

Doron Zeilberger|ArXiv.org|1996. 06. 03.

graph theory and CDMA systems참고 문헌 12인용 수 83

한 줄 요약

이 논문은 정련된 교대 부호 행렬(ASM) 추측을 증명하며, 첫 번째 행의 1이 열 $r$에 위치한 $n \times n$ ASMs의 수에 대한 닫힌 형태 공식을 수립한다. $q$-미적분과 직교 다항식—특히 $q$-구간 위의 $q$-레지온드르 다항식—을 사용하여 이제르긴-코레핀 공식에서 유도된 행렬식을 평가함으로써, 수는 $A(n,r) = A(n) \cdot \frac{\binom{n+r-2}{n-1} \binom{2n-1-r}{n-1}}{\binom{3n-2}{n-1}}$임을 확인한다. 여기서 $A(n)$은 총 ASM 수이다.

ABSTRACT

Mills, Robbins, and Rumsey conjectured, and Zeilberger proved, that the number of alternating sign matrices of order $n$ equals $A(n):={{1!4!7! ... (3n-2)!} \over {n!(n+1)! ... (2n-1)!}}$. Mills, Robbins, and Rumsey also made the stronger conjecture that the number of such matrices whose (unique) `1' of the first row is at the $r^{th}$ column, equals $A(n) {{n+r-2} \choose {n-1}}{{2n-1-r} \choose {n-1}}/ {{3n-2} \choose {n-1}}$. Standing on the shoulders of A.G. Izergin, V. E. Korepin, and G. Kuperberg, and using in addition orthogonal polynomials and $q$-calculus, this stronger conjecture is proved.

연구 동기 및 목표

• 첫 번째 행의 1이 열 $r$에 위치한 $n \times n$ ASMs의 수를 특정하는 정련된 교대 부호 행렬 추측을 증명하는 것.
• 쿠퍼버그의 ASM 수를 세는 행렬식 기반 방법을 $q$-미적분과 직교 다항식을 활용하여 정련된 경우로 확장하는 것.
• 밀스, 로빈스, 럼지의 원래 ASM 수세기 공식을 일반화하는 정련된 수의 닫힌 형태 표현을 수립하는 것.
• 문제를 행렬식 항등식으로 환원하고 $q$-적분 및 $q$-레지온드르 다항식을 통해 이를 평가함으로써 추측된 공식을 검증하는 것.

제안 방법

• 증명은 첫 번째 행의 1 위치에 따라 가중치가 부여된 ASMs의 가중 수를 행렬식 $Z(n; \dots)$로 표현하는 이제르긴-코레핀 공식을 사용한다.
• 첫 번째 행의 1 위치 $r$를 표현하기 위해 매개변수 $a$를 도입하여 정련된 수를 캡처하는 $a$에 대한 생성함수를 유도한다.
• 비율 $Z(n; \dots; 2+a)/Z(n; \dots; 2)$는 $s = q^{1/3}$인 구간 $[s,1]$ 위에서의 $q$-레지온드르 다항식을 포함하는 $q$-적분으로 표현된다.
• 행렬식 비율을 다항식의 $q$-적분으로 줄이기 위해 $n$번의 $q$-적분 법칙을 적용하며, 이는 $q$-바이너미얼 항등식과 $q$-하이퍼지오메트릭 항등식을 통해 평가된다.
• 변수 스케일링 후 $q \to 1$의 극한을 취함으로써 $q$-적분이 Pochhammer 기호와 하이퍼지오메트릭 유사 급수를 포함하는 고전적 표현으로 전환된다.
• 컴퓨터 대수 시스템(EKHAD)을 사용하여 결과 표현식이 추측된 공식과 일치하는지 확인하며, 이는 두 번째 차수의 재귀관계와 초기 조건을 검증함으로써 이루어진다.

실험 결과

연구 질문

• RQ1 첫 번째 행의 1이 열 $r$에 위치한 $n \times n$ 교대 부호 행렬의 정확한 수는 얼마인가?
• RQ2 이제르긴-코레핀 행렬식 공식을 $q$-미적분 기법을 사용하여 정련된 ASMs 수를 유도할 수 있는가?
• RQ3 추측된 공식 $A(n,r) = A(n) \cdot \frac{\binom{n+r-2}{n-1} \binom{2n-1-r}{n-1}}{\binom{3n-2}{n-1}}$이 모든 $n$과 $r$에 대해 성립하는가?
• RQ4 어떻게 $q$-직교 다항식을 사용하여 ASM 수를 세는 데 나타나는 행렬식을 평가할 수 있는가?

주요 결과

• 첫 번째 행의 1이 열 $r$에 위치한 $n \times n$ 교대 부호 행렬의 정련된 수는 정확히 $A(n,r) = A(n) \cdot \frac{\binom{n+r-2}{n-1} \binom{2n-1-r}{n-1}}{\binom{3n-2}{n-1}}$이며, 여기서 $A(n) = \frac{1! \cdot 4! \cdot 7! \cdots (3n-2)!}{n! \cdot (n+1)! \cdots (2n-1)!}$이다.
• 증명은 행렬식 $Z(n; \dots; 2+a)$가 정련된 가중치를 캡처하며, 이는 $q$-적분으로 평가되며, $q \to 1$의 극한에서 추측된 $a$에 대한 다항식을 유도한다.
• 평가 과정은 $[q^{1/3}, 1]$ 구간 위에서의 $q$-레지온드르 다항식에 기반하며, $n$차 다항식의 $q$-적분은 $q$-적분 법칙을 반복 적용하여 계산된다.
• 최종 항등식은 EKHAD 패키지를 사용하여 검증되었으며, 핵심 행렬식 비율 항등식의 양변이 동일한 두 번째 차수 선형 재귀관계를 만족하고 $n=0$ 및 $n=1$에서 일치함을 확인한다.
• 결과로, 리처드 스탠리의 '베이커스 데인드' 추측 중 세 번째 추측이 확인되었으며, 정련된 수의 문제에 대한 완전한 해결책을 제공한다.