[논문 리뷰] Counting of paths and the multiplicity of determinantal rings

Hsin-Ju Wang|ArXiv.org|2002. 10. 24.

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

한 줄 요약

이 논문은 두쪽 끝이 둥근 사다리 모양 영역에서 교차하지 않는 격자 경로를 세는 조합적 공식을 유도하며, Lindström–Gessel–Viennot 보조정리에 의해 사다리 행렬과 관련된 행렬식 링의 다중도를 계산한다. 주요 기여는 사다리 행렬식 링의 다중도에 대한 새로운 행렬식 공식을 제시하는 것으로, 경로 수세기와 부호를 반전시키는 치환을 통해 고전적인 행렬식 아이디얼 결과를 확장한다.

ABSTRACT

In this paper, we derive several formulas of counting families of non-intersecting paths for two-sided ladder-shaped regions. As an application, we give a new proof to a combinatorial interpretation of Fibonacci numbers obtained by G. Andrews in 1974.

연구 동기 및 목표

• 두쪽 끝이 둥근 사다리 모양 영역에서 부분행렬의 소수에 의해 유도되는 사다리 행렬식 링의 다중도를 계산하는 것.
• 직사각형이 아닌 사다리 모양 행렬의 경우에 고전적인 다중도 공식을 일반화하는 것.
• 비상호작용 격자 경로의 가족을 통해 다중도의 조합적 해석을 제공하는 것.
• 경로 수세기 기법을 사용하여 비대칭 행렬과 관련된 파프얀 링의 다중도에 대한 새로운 공식을 수립하는 것.

제안 방법

• 두쪽 끝이 둥근 사다리 모양 영역에서 비상호작용 격자 경로의 가족을 세기 위해 Lindström–Gessel–Viennot 보조정리를 사용하는 것.
• 격자 점들 위에 부분 순서를 정의하여 제약 조건이 있는 격자에서 원천에서 목적지로 가는 경로를 모델링하는 것.
• 부호가 번갈아가는 합을 단순화하기 위해 부호를 반전시키는 치환을 적용하는 것.
• 비상호작용 경로 시스템의 수를 계산하기 위해 경로 수의 행렬의 행렬식을 사용하는 것.
• 그로버 기저 이론을 통해 원래의 링을 단항식 아이디얼로 변환하여 다중도를 단순형 복합체의 면 수와 연결하는 것.
• 기하학적 변환을 통해 여유로운 경로 성분을 제거하여 문제를 부분 영역에서 비상호작용 경로 수의 세기로 환원하는 것.

실험 결과

연구 질문

• RQ1 사다리 행렬식 링의 다중도는 조합적 경로 수세기로 어떻게 계산할 수 있는가?
• RQ2 정수 격자에서 두쪽 끝이 둥근 사다리 모양 영역 내의 비상호작용 격자 경로의 구조는 어떠한가?
• RQ3 비대칭 행렬과 관련된 파프얀 링의 다중도는 경로 수의 행렬식으로 표현될 수 있는가?
• RQ4 부호를 반전시키는 치환은 부호가 번갈아가는 격자 경로 합을 어떻게 단순화하는가?
• RQ5 비직사각형 지원을 가진 사다리 행렬식 링의 다중도 공식의 정확한 형태는 무엇인가?

주요 결과

• 사다리 모양 부분행렬의 $(r+1)$-소수로 정의된 사다리 행렬식 링의 다중도는 경로 수의 행렬식으로 주어지며, 그 항목들은 격자 경로를 따라 부호가 붙은 이항계수의 합이다.
• 다음과 같이 정의된 사다리 $Y$에 대해, $\{x_{ij} \mid 1 \leq i \leq m, \max\{1,l-i+2\} \leq j \leq \min\{n,n+m-k-i\}\}$, 다중도는 $\det\left[\sum_{(a,b)\in T}(-1)^{a+b}\binom{m+n-i-j}{m-1+(a-b-1)(i-1)+a(k-m)+b(l-n)}\right]_{i,j=1}^r$ 이다. 여기서 $T = \{(a,b) \mid a-b=0 \text{ 또는 } 1\}$.
• 비대칭 행렬 내 대각선 사다리의 경우, 파프얀 링 $K[Y]/Q_r$의 다중도는 $\det\left[\sum_{(a,b)\in T}(-1)^{a+b}\binom{2n-2r-i-j}{n-r-i+a(-r+i-1)+b(r-l-i)}\right]_{i,j=1}^{r-1}$ 이다.
• 특수한 경우 $l = n-1$ 에서 파프얀 다중도는 $\det\left[\binom{2n-2r-i-j}{n-r-i} - \binom{2n-2r-i-j}{n-2r-1}\right]_{i,j=1}^{r-1}$ 으로 단순화된다.
• 경로 시스템 $P_i = (i,r+1)$ 에서 $Q_i' = (n-r,n-i+1)$ 로의 비상호작용 경로 수는 여유로운 경로 세그먼트를 제거한 후 파프얀 링의 다중도와 같다.
• 이 방법은 관련 단순형 복합체의 면과 비상호작용 경로 시스템 사이의 전단사 관계를 수립하여, 경로 수세기에서 유래한 행렬식 공식의 사용을 가능하게 한다.