[논문 리뷰] Symmetry Classes of Alternating Sign Matrices

David P. Robbins|ArXiv.org|2000. 08. 05.

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

한 줄 요약

이 논문은 정사각형의 딜레하드 군에 의해 유도되는 8개의 대칭 클래스에 따라 교대 부호 행렬(ASMs)의 수를 조사한다. 논문은 이들 클래스 중 6개에 대해 제품 공식을 제안하며, $Z_n(x,y,\mu)$, $T_n(x,\mu)$, $R_n(x,\mu)$를 포함하는 생성함수를 통해 순환 대칭 평면 분할과 깊은 연관성을 드러낸다. 클래스 1, 2, 3, 4, 6, 7에 대해 명시적인 공식이 제시되고, 생성함수 항등식을 통해 조합적 동치 관계가 제안된다.

ABSTRACT

An alternating sign matrix is a square matrix satisfying (i) all entries are equal to 1, -1 or 0; (ii) every row and column has sum 1; (iii) in every row and column the non-zero entries alternate in sign. The 8-element group of symmetries of the square acts in an obvious way on square matrices. For any subgroup of the group of symmetries of the square we may consider the subset of matrices invariant under elements of this subgroup. There are 8 conjugacy classes of these subgroups giving rise to 8 symmetry classes of matrices. R. P. Stanley suggested the study of those alternating sign matrices in each of these symmetry classes. We have found evidence suggesting that for six of the symmetry classes there exist simple product formulas for the number of alternating sign matrices in the class. Moreover the factorizations of certain of their generating functions point to rather startling connections between several of the symmetry classes and cyclically symmetric plane partitions.

연구 동기 및 목표

• 정사각형의 딜레하드 군에 의해 유도되는 8개의 대칭 클래스에 대해 교대 부호 행렬(ASMs)을 체계적으로 연구하기.
• 특히 8개 클래스 중 6개에 대해 각 대칭 클래스 내 ASMs의 수에 대한 폐쇄형 곱공식을 제안하기.
• 생성함수를 통해 ASMs의 대칭 클래스와 순환 대칭 평면 분할 간의 관계를 탐구하기.
• 조합적 자료를 캡슐화하고 구조적 유사성을 드러내는 $Z_n(x,y,\mu)$, $T_n(x,\mu)$, $R_n(x,\mu)$의 명시적 생성함수 제공하기.

제안 방법

• 정사각형의 딜레하드 군 $D_4$의 부분군에 대한 불변성에 의해 ASMs의 대칭 클래스를 정의하며, 반사, 회전, 대각선 전치 등의 대칭을 포함한다.
• 생성함수 $Z_n(x,y,\mu)$, $T_n(x,\mu)$, $R_n(x,\mu)$를 사용하여 각 대칭 클래스 내 ASMs의 수를 표현하며, $\mu$는 경계 조건을 제어한다.
• 작은 $n$에 대한 수치적 증거를 바탕으로, 특히 클래스 1, 2, 3, 4, 6, 7에 대해 각 클래스 내 ASMs의 수를 이항계수의 곱으로 표현한다.
• 생성함수를 알려진 조합적 대상과 연관지린다: $Z_n(x,y,0)$는 $n \times n \times n$ 상자 내 순환 대칭 평면 분할을 나타내고, $Z_n(x,y,1)$는 내림차순 평면 분할을 나타낸다.
• $Z_n(x,y,\mu)$의 계수의 팰린드롬 구조를 분석하고 다항식 항등식을 사용하여 더 깊은 대수적 또는 표현 이론적 연결 고리를 제안한다.
• 각 대칭 클래스에 대해 추측되는 재귀 관계와 연속 항 간의 비율을 제시한다. 예를 들어 $A_n$, $F_n$, $H_n$, $Q_n$, $P_n$, $X_n$ 등.

실험 결과

연구 질문

• RQ1 정사각형의 8개 대칭 클래스 각각에 대해 불변인 교대 부호 행렬의 수에 대한 단순한 곱공식이 존재하는가?
• RQ2 생성함수 인수분해를 통해 제안된 바와 같이, ASMs의 대칭 클래스와 순환 대칭 평면 분할 간의 관계는 무엇인가?
• RQ3 생성함수 $Z_n(x,y,\mu)$, $T_n(x,\mu)$, $R_n(x,\mu)$는 각 대칭 클래스 내 ASMs의 수를 어떻게 캡슐화하는가?
• RQ4 대칭 클래스의 생성함수는 평면 분할이나 셔르 함수와 같은 알려진 조합적 대상으로 표현될 수 있는가?
• RQ5 추측된 바와 같이, $A_n$, $F_n$, $H_n$, $P_n$, $X_n$의 연속 항 간 비율이 이항계수의 유리함수로 표현될 수 있는가?

주요 결과

• 전체 대칭 클래스(클래스 1) 내 ASMs의 수는 공식 $A_{n+1}/A_n = \binom{3n+1}{n}/\binom{2n}{n}$로 주어지며, 알려진 ASM 수의 공식과 일치한다.
• 수직 대칭 클래스(클래스 2)에 대해 비율 $F_{2n+1}/F_{2n-1} = \binom{6n-2}{2n}/(2\binom{4n-1}{2n})$가 추측된다.
• 반전 대칭 클래스(클래스 3)에 대해 비율 $H_{2n+1}/H_{2n} = \binom{3n}{n}/\binom{2n}{n}$ 및 $H_{2n}/H_{2n-1} = 4\binom{3n}{n}/(3\binom{2n}{n})$가 제안된다.
• 대각선 대칭 클래스(클래스 4)는 $Q_{4n} = H_{2n} A_n^2$를 만족하며, $Q_{4n+1}$ 및 $Q_{4n-1}$에 대해서도 유사한 공식이 존재하여 다른 대칭 클래스의 곱과 연결된다.
• 모든 대칭 클래스(클래스 8)에 대해 비율 $X_{2n+1}/X_{2n-1} = \binom{3n}{n}/\binom{2n-1}{n}$가 추측된다.
• 생성함수 $Z_n(x,y,0)$는 $n \times n \times n$ 상자 내 순환 대칭 평면 분할을 나타내며, 계수들이 팰린드롬 수열을 이룬다.