[논문 리뷰] Card deals, lattice paths, abelian words and combinatorial identities

David Callan|ArXiv.org|2008. 12. 28.

semigroups and automata theory참고 문헌 3인용 수 3

한 줄 요약

이 논문은 3개의 알파벳으로 구성된 3-글자 알파벳 위에서 탈취형 카드 배급, 레이블이 부여된 격자 경로, 아벨 행렬을 사용하여 프라넬 수와 아페리 수와 관련된 세 가지만의 항등식에 대해 조합적 해석을 제공한다. 바르카운드 카드 배급과 아벨 행렬 사이의 일대일 대응을 수립하고, 이러한 구조를 활용하여 $\sum_{k=0}^{n}\binom{n}{k}^2\binom{n+k}{k}^2 = \sum_{k=0}^{n}\binom{n}{k}\binom{n+k}{k}\sum_{j=0}^{k}\binom{k}{j}^3$와 같은 항등식에 대해 직접적이고 조합적 증명을 제시하며, 이를 격자 경로와 행렬 통계와 연결한다.

ABSTRACT

We give combinatorial interpretations of several related identities associated with the names Barrucand, Strehl and Franel, including one for the Apery numbers. The combinatorial constructs employed are derangement-type card deals as introduced in a previous paper on Barrucand's identity, labeled lattice paths and, following a comment of Jeffrey Shallit, abelian words over a 3-letter alphabet.

연구 동기 및 목표

• 프라넬 수와 아페리 수와 관련된 항등식에 대해 구성적인 조합 모델을 사용하여 조합적 해석을 제공하는 것.
• Barrucand n-배급 구성과 {1,2,3} 위의 2×n 아벨 행렬 사이의 일대일 대응을 수립하여 아벨 제곱과 연결하는 것.
• 항등식 (3)의 여러 등가 조합 표현을 카드 배급, 격자 경로, 행렬이라는 세 가지 등수의 구조를 통해 통합하는 것.
• 이항계수의 세제곱 합과 가중 경로 수를 포함하는 항등식에 대해 직접적이고 조합적인 증명을 제공하는 것.
• 제퍼슨 쇼리가 제기한 바르카운드 유형 항등식에 대한 아벨 단어 해석에 관한 질문을 해결하는 것.

제안 방법

• Barrucand의 탈취형 카드 배급을 일반화한 '하나 n-배급'을 도입하여, 세 가지 색상의 카드를 배급할 때 각 플레이어가 자신의 색상을 받지 않도록 하는 조건을 설정한다.
• U(상승), D(하강), F(수평) 단계를 가지며 {1,2,3}에서 레이블이 부여된 레이블이 부여된 격자 경로를 정의하고, X(레이블이 1이 아닌 매칭된 UD 쌍의 수)와 Y(레이블이 2 초과인 수평 단계의 수)라는 통계량을 도입한다.
• 카드 분포와 손에 든 손의 소유권을 표현하기 위해 열 유형을 사용하여, 바르카운드 n-배급과 2×n 아벨 행렬 사이의 일대일 대응을 수립한다.
• 변환 규칙 U→UU, D→DD, F₁→UD, F₂→DU를 적용하여 레이블이 부여된 경로를 디크 유사 경로로 매핑하고, 반대로도 동일한 과정을 수행하며, 경로 길이와 단계 수를 유지한다.
• chu–vandermonde 항등식을 적용하여 통계량 X와 Y에 대한 합을 단순화하고, 항등식 (3)의 표현 간 등가성을 증명한다.
• 항등식 (3)의 각 항을 조합적으로 해석한다: $\binom{n}{k}\binom{2k}{k}2^k$는 빨간 손에 k장의 카드가 있는 하나 n-배급의 수를 세며, $2^k$ 요소는 파란 손에 있는 빨간 카드 선택에서 기인한다. $\binom{n}{k}\binom{2n-k}{n}3^k$는 X+Y=k인 하나 n-경로의 수를 세며, 여기서 X는 레이블이 1이 아닌 매칭된 UD 쌍의 수이고 Y는 레이블이 2 초과인 수평 단계의 수이다. $\binom{n}{k}^2 4^k$는 각 행에 n−k개의 1이 있는 2×n 아벨 행렬의 수를 세며, 이는 빨간 손에 n−k종류의 딱지가 있는 하나 n-배급에 해당한다. $\binom{n}{2k}\binom{2k}{k}4^k 5^{n-2k}$는 정확히 k개의 상행 단계를 가진 하나 n-경로의 수를 세며, 수평 단계는 5가지 방식으로 레이블이 부여되고 기울어진 단계는 4가지 방식으로 레이블이 부여된다.

실험 결과

연구 질문

• RQ1 Barrucand의 항등식은 3-글자 알파벳 위에서 아벨 행렬을 통해 직접적인 조합적 해석을 가질 수 있는가?
• RQ2 프라넬 항등식 $\sum_{k=0}^{n}\binom{n}{k}^3 = \sum_{k=0}^{n}\binom{n}{k}^2\binom{2k}{n}$은 카드 배급이나 격자 경로를 통해 어떻게 조합적으로 해석할 수 있는가?
• RQ3 항등식 (3)은 이항계수와 거듭제곱을 포함하는 네 가지 다른 합을 등가로 연결하는 다중 표현 항등식의 조합적 의미는 무엇인가?
• RQ4 Barrucand n-배급, 특정 통계량을 가진 레이블이 부여된 격자 경로, 2×n 아벨 행렬 사이에 자연스러운 일대일 대응이 존재하는가?
• RQ5 Barrucand의 항등식에 나타나는 합 $\sum_{j=0}^{k}\binom{k}{j}^3$은 아벨 행렬의 열 유형을 통해 어떻게 해석할 수 있는가?

주요 결과

• Barrucand n-배급과 {1,2,3} 위의 2×n 아벨 행렬 사이의 일대일 대응이 수립되었으며, 각 행렬의 열 유형은 특정한 카드 분포 패턴에 해당한다.
• 항등식 $\sum_{k=0}^{n}\binom{n}{k}\sum_{j=0}^{k}\binom{k}{j}^3 = \sum_{k=0}^{n}\binom{n}{k}^2\binom{2k}{k}$는 아벨 행렬의 동일한 집합을 두 가지 다른 통계량을 통해 세는 것으로 해석되며, 빨간 손의 총 카드 수와 서로 다른 딱지의 수를 기준으로 한다.
• 합 $\binom{n}{k}\binom{2k}{k}2^k$는 빨간 손에 k장의 카드가 있는 하나 n-배급의 수를 세며, $2^k$ 요소는 파란 손에 있는 빨간 카드 선택에서 기인한다.
• 표현 $\binom{n}{k}\binom{2n-k}{n}3^k$는 X+Y=k인 하나 n-경로의 수를 세며, 여기서 X는 레이블이 1이 아닌 매칭된 UD 쌍의 수이고 Y는 레이블이 2 초과인 수평 단계의 수이다.
• 합 $\binom{n}{k}^2 4^k$는 각 행에 n−k개의 1이 있는 2×n 아벨 행렬의 수를 세며, 이는 빨간 손에 n−k종류의 딱지가 있는 하나 n-배급에 해당한다.
• 합 $\binom{n}{2k}\binom{2k}{k}4^k 5^{n-2k}$는 정확히 k개의 상행 단계를 가진 하나 n-경로의 수를 세며, 수평 단계는 5가지 방식으로 레이블이 부여되고 기울어진 단계는 4가지 방식으로 레이블이 부여된다.