[논문 리뷰] 3-enumerated alternating sign matrices

Yu. G. Stroganov|ArXiv.org|2003. 04. 01.

Advanced Combinatorial Mathematics참고 문헌 8인용 수 7

한 줄 요약

이 논문은 첫 번째 행의 '1'이 열 r에 있는 n×n 대칭행렬행렬(ASMs)의 3-수량 가중치 $ A(n,r;3) $에 대한 생성함수 $ G_n(t) = \sum_{r=1}^n A(n,r;3) t^{r-1} $에 대한 명시적 공식을 유도한다. 영역 벽 경계 조건과 스펙트럴 매개변수를 갖는 6-버전 모델을 사용하여, 저자는 짝수 차수 ASMs에 대해 두 번째 차수 재귀관계를 수립한다(정리 1)와 홀수 및 짝수 차수 생성함수 사이의 함수관계를 밝혀낸다(정리 2), 이는 쿠퍼버그의 3-수량 결과를 특수한 경우로 포함한다.

ABSTRACT

Let $A(n,r;3)$ be the total weight of the alternating sign matrices of order $n$ whose sole `1' of the first row is at the $r^{th}$ column and the weight of an individual matrix is $3^k$ if it has $k$ entries equal to -1. Define the sequence of the generating functions $G_n(t)=\sum_{r=1}^n A(n,r;3)t^{r-1}$. Results of two different kind are obtained. On the one hand I made the explicit expression for the even subsequence $G_{2ν}(t)$ in terms of two linear homogeneous second order recurrence in $ν$ (Theorem 1). On the other hand I brought to light the nice connection between the neighbouring functions $G_{2ν+1}(t)$ and $G_{2ν}(t)$ (Theorem 2). The 3-enumeration $A(n;3) \equiv G_n(1)$ which was found by Kuperberg is reproduced as well.

연구 동기 및 목표

• 첫 번째 행의 '1'의 위치에 따라 3-수량 ASMs를 세는 생성함수 $ G_n(t) $에 대한 명시적 표현을 유도하는 것.
• 짝수 차수 ASMs의 정규화된 생성함수 $ \tilde{G}_{2\nu+2}(t) $에 대한 두 번째 차수 재귀관계를 수립하는 것.
• 홀수 및 짝수 차수 생성함수 사이의 함수관계 $ \tilde{G}_{2\nu+1}(t) $ 및 $ \tilde{G}_{2\nu}(t) $를 밝혀내어 두 경우를 연결하는 것.
• 유도된 구조의 일관성을 점검하기 위해 쿠퍼버그의 3-수량 공식 $ A(n;3) = G_n(1) $을 재현하는 것.

제안 방법

• 이 방법은 영역 벽 경계 조건과 특정 스펙트럴 매개변수 $ x_1 = u $, $ x_i = \pi/2 $ ($ i \geq 2 $), $ y_i = 0 $를 갖는 비균일 6-버전 모델을 활용한다.
• 3-수량은 보르츠만 가중치 $ a(u) = 2\sin(u + \pi/3) $, $ b(u) = 2\sin(u - \pi/3) $, $ c(u) = \sqrt{3} $에 대응하며, 삼각함수적 분할함수 $ Z(u) $를 유도한다.
• 함수 $ f(u) = Z(u) \sin^n u \cos^{n-1} u $ 는 함수방정식 $ f(u) + f(u + 2\pi/3) + f(u + 4\pi/3) = 0 $ 를 만족하며, 이는 $ Z(u) $ 의 형태를 제약한다.
• 짝수 $ n = 2\nu+2 $ 인 경우, 해는 계수 변수를 갖는 두 개의 다항식 시퀀스 $ g^{(j)}_\nu(t) $ 를 통해 표현되며, 이는 두 번째 차수 선형 재귀관계를 만족한다.
• 홀수 $ n = 2\nu+1 $ 인 경우, 생성함수는 대칭성과 기능적 제약 조건으로부터 유도된 $ \tilde{G}_{2\nu+1}(t) = \tilde{G}_{2\nu}(t) \cdot \frac{2(1+2t)(2+t)}{9(t+1)} $ 를 만족한다.
• 정규화 및 특수점 $ u = \pi/3 $ 및 $ u = \pi/2 $ 에서의 평가를 통해 $ A(n;3) $ 에 대한 닫힌 형태를 도출하였으며, 이는 기존 결과를 재현한다.

실험 결과

연구 질문

• RQ1 첫 번째 행의 '1'의 열 위치에 따라 매개변수화된 3-수량 ASMs에 대한 생성함수 $ G_n(t) $ 의 명시적 구조는 무엇인가요?
• RQ2 3-수량 가중치 하에서 짝수 및 홀수 차수 ASMs의 생성함수는 어떻게 상호 연관되어 있나요?
• RQ3 6-버전 모델 분할함수의 기능 방정식으로부터 3-수량 공식 $ A(n;3) $ 이 일관되게 유도될 수 있나요?
• RQ4 짝수 차수 생성함수 $ G_{2\nu+2}(t) $ 를 뒷받침하는 다항식을 지배하는 재귀관계는 무엇인가요?
• RQ5 스펙트럴 매개변수 $ u $ 의 특수 값은 $ A(n;3) $ 의 알려진 수량 공식과 어떻게 연결되나요?

주요 결과

• 짝수 차수 ASMs의 정규화된 생성함수는 $ \tilde{G}_{2\nu+2}(t) = \frac{(2\nu+1)!}{(3\nu+2)!} \cdot \frac{(3\nu+2)g^{(1)}_\nu(t) - (3\nu+1)g^{(2)}_\nu(t)}{t+1} $ 로 주어지며, 여기서 $ g^{(j)}_\nu(t) $ 는 두 번째 차수 재귀관계를 만족한다.
• 다항식 $ g^{(j)}_\nu(t) $ 는 재귀관계 $ 3(1-t^2)^2 g^{(j)}_{\nu+1} - (2\nu+1)(1+4t+t^2)[3(1+t+t^2)^2 - (1+4t+t^2)^2] g^{(j)}_\nu - (9\nu^2 - j^2)t^2(1+2t)^2(2+t)^2 g^{(j)}_{\nu-1} = 0 $ 으로 정의되며, 명시적인 초기 조건을 갖는다.
• 홀수 $ n = 2\nu+1 $ 인 경우, 생성함수는 $ \tilde{G}_{2\nu+1}(t) = \tilde{G}_{2\nu}(t) \cdot \frac{2(1+2t)(2+t)}{9(t+1)} $ 를 만족하여 홀수 및 짝수 경우 사이의 직접적인 연결을 확립한다.
• $ u = \pi/2 $ 에서 평가하면, 방법은 $ A(2\nu+2;3) = \left(\frac{16}{3}\right)^\nu \frac{4c_\nu (3\nu+2)!}{\sqrt{3} \, \nu! \, (2\nu+1)!} $ 를 재현하며, 쿠퍼버그의 공식과 일치한다.
• $ u = \pi/3 $ 에서 정규화하면 $ A(2\nu+1;3) = \left(\frac{4}{3}\right)^{2\nu+1} \frac{c_\nu \sqrt{3} (2\nu+1)!}{(\nu!)^2} $ 를 도출하며, 재귀적 구조와 일관된다.
• 전체 해는 삼각함수 다항식 항등식과 기능 방정식을 통해 구성되며, 기존의 알려진 수량 결과와 일관된 생성함수 프레임워크의 타당성을 확인한다.