[논문 리뷰] Alternating sign trapezoids and a constant term approach

Ilse Fischer|arXiv (Cornell University)|2018. 04. 23.

Advanced Combinatorial Mathematics참고 문헌 18인용 수 3

한 줄 요약

이 논문은 단조삼각형에 대한 연산자 공식을 기반으로 한 상수항 접근법을 사용하여, Behrend와 Aigner의 추측을 증명한다. 즉, $(n,l)$-교대 부호 트라페조이드의 수는 $l-1$ 차수의 열 엄격 이민형 평면 분할 중 상단 행에 최대 $n$개의 부분을 가진 것의 수와 같음을 보이며, 이는 또한 두 가족 간에 $\operatorname{r}(T)$, $\operatorname{p}(T)$, $\operatorname{q}(T)$ 세 통계의 동일한 연합 분포를 갖는다는 것을 확인한다. 이는 잠재적인 이분형 사상의 존재를 시사한다.

ABSTRACT

We show that there is the same number of (n,l)-alternating sign trapezoids as there is of column strict shifted plane partitions of class l-1 with at most n parts in the top row, thereby proving a result that was conjectured independently by Behrend and Aigner. The first objects generalize alternating sign triangles, which have recently been introduced by Ayyer, Behrend and the author who showed that they are counted by the same formula as alternating sign matrices. Column strict shifted plane partitions of a fixed class were introduced in a slightly different form by Andrews, and they essentially generalize descending plane partitions. They also correspond to cyclically symmetric lozenge tilings of a hexagon with a triangular hole in the center. In addition, we also provide three statistics on each class of objects and show that their joint distribution is the same. We prove our result by employing a constant term approach that is based on the author's operator formula for monotone triangles. This paper complements a forthcoming paper of Behrend and the author, where the six-vertex model approach is used to show equinumeracy as well as generalizations involving statistics that are different from those considered in the present paper.

연구 동기 및 목표

• Behrend와 Aigner의 추측, 즉 $(n,l)$-교대 부호 트라페조이드와 상단 행에 최대 $n$개의 부분을 가진 $l-1$ 차수의 열 엄격 이민형 평면 분할 간의 등수성에 대한 증명.
• 두 유형의 객체에서 세 통계 $\operatorname{r}(T)$, $\operatorname{p}(T)$, $\operatorname{q}(T)$의 연합 분포 동일성을 확립하여 더 깊은 구조적 연결성을 암시.
• 단조삼각형에 대한 연산자 공식을 바탕으로 한 상수항 접근법을 활용하여, 두 조합적 가족의 생성 함수 유도.
• Behrend와 저자의 향후 6-정점 모델 기반 증명을 보완하기 위해, 이분형이 아닌 다른 통계를 사용하는 등수성에 대한 대체적 접근 제공.

제안 방법

• 단조삼각형에 대한 연산자 공식에서 유도된 행렬 행렬식에 상수항 접근법을 적용하여, 수세기 문제를 생성 함수 계산 문제로 변환.
• 행렬식을 대수적 항등식, 특히 Chu-Vandermonde 합공식과 $\binom{n}{k} = (-1)^k \binom{k-n-1}{k}$를 통한 이항계수의 쌍대성으로 다루기.
• 행렬 원소들을 격자 경로의 생성 함수로 재표현하며, 수평 이동(높이 0에서의 수평 단계)과 대각선 교차 수와 같은 경로 특징에 해당하는 가중치 포함.
• Lindström-Gessel-Viennot 정리를 사용하여 행렬식을 비교접하는 격자 경로의 생성 함수로 해석하고, 이를 열 엄격 이민형 평면 분할과 이분형적으로 연결.
• 가중치 함수는 교대 부호 트라페조이드의 $10$-열과 $1$-열에서의 통계를 표현하기 위해 $P$, $Q$, $R$ 매개변수를 포함하며, $d=0$일 경우 중심 열에 특수 처리를 적용.
• $d \geq 1$일 경우, 가중치는 대각선 $y = x + d$를 횡단하는 단계가 북쪽인지 서쪽인지에 따라 결정되며, $d = 0$일 경우, 원점을 횡단하는 경로에 대해 삼항식 $(P+Q-1)$을 포함하여 가중치를 구성한다.

실험 결과

연구 질문

• RQ1 $(n,l)$-교대 부호 트라페조이드의 수와 상단 행에 최대 $n$개의 부분을 가진 $l-1$ 차수의 열 엄격 이민형 평면 분할의 수는 같은가?
• RQ2 교대 부호 트라페조이드에서의 세 통계 $\operatorname{r}(T)$, $\operatorname{p}(T)$, $\operatorname{q}(T)$는 열 엄격 이민형 평면 분할에서의 대응 통계와 동일한 연합 분포를 갖는가?
• RQ3 단조삼각형에 대한 연산자 공식을 기반으로 한 상수항 방법을 사용하여, 두 유형의 객체를 수세기하는 생성 함수를 도출할 수 있는가?
• RQ4 격자 경로 해석에서의 가중치는 교대 부호 트라페조이드의 통계를 어떻게 표현하는가? 특히 $d=0$의 경우는 어떻게 되는가?

주요 결과

• $(n,l)$-교대 부호 트라페조이드의 수는 $l-1$ 차수의 열 엄격 이민형 평면 분할 중 상단 행에 최대 $n$개의 부분을 가진 것의 수와 같으며, 이는 Behrend와 Aigner의 추측을 확인한다.
• 통계 $\operatorname{r}(T)$, $\operatorname{p}(T)$, $\operatorname{q}(T)$의 연합 분포는 두 유형의 객체에서 동일하며, 이는 잠재적인 이분형 사상의 존재를 암시한다.
• 교대 부호 트라페조이드의 생성 함수는 $P$, $Q$, $R$로 가중된 이항계수를 포함하는 행렬식으로 표현되며, 이는 열 엄격 이민형 평면 분할의 생성 함수와 정확히 일치한다.
• $P=Q=R=1$일 경우, 행렬식은 기존에 알려진 $l-1$ 차수의 열 엄격 이민형 평면 분할을 수세기하는 형태로 간소화되며, 기존 결과와 일관성을 확인한다.
• Lindström-Gessel-Viennot 정리를 통한 격자 경로 해석은 경로 특징이 트라페조이드의 통계와 직접적으로 대응하는 조합적 모델을 제공하며, 특히 $d \geq 1$의 경우에 유용하다.
• $d=0$의 경우, 가중치 함수는 원점을 횡단하는 경로에 대해 삼항식 $(P+Q-1)$을 포함하여 중심 열의 기여를 정확히 표현한다.