[논문 리뷰] Combinatorial interpretations of binomial coefficient analogues related to Lucas sequences

Bruce E. Sagan, Carla D. Savage|ArXiv.org|2009. 11. 16.

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

한 줄 요약

이 논문은 루카스 수열에서 유도된 이항계수의 다항식 버전인 루카스노미얼 계수에 대해 두 가지 새로운 조합적 해석을 제시한다. 이는 $k\times(n-k)$ 직사각형 내의 정수 분할에 대한 타일링을 통해 이루어지며, 첫 번째 해석은 분할과 그 여집합의 선형 타일링을 사용하고, 두 번째 해석은 원형 타일링을 사용한다. 두 모델 모두 생성함수의 형태로 루카스노미얼 계수와 정확히 일치하며, 특히 $s=t=1$일 때 피보노미얼 계수에 대해 이전 연구보다 더 단순하고 대칭적인 조합적 모델을 제공한다. 주요 기여는 이러한 일반화된 이항계수에 대해 다중성 없이 대칭적인 타일링 기반의 해석을 제공한 것이다.

ABSTRACT

Let s and t be variables. Define polynomials {n} in s, t by {0}=0, {1}=1, and {n}=s{n-1}+t{n-2} for n >= 2. If s, t are integers then the corresponding sequence of integers is called a Lucas sequence. Define an analogue of the binomial coefficients by C{n,k}={n}!/({k}!{n-k}!) where {n}!={1}{2}...{n}. It is easy to see that C{n,k} is a polynomial in s and t. The purpose of this note is to give two combinatorial interpretations for this polynomial in terms of statistics on integer partitions inside a k by n-k rectangle. When s=t=1 we obtain combinatorial interpretations of the fibonomial coefficients which are simpler than any that have previously appeared in the literature.

연구 동기 및 목표

• 루카스 수열에 기반한 이항계수의 다항식 버전인 루카스노미얼 계수 $\left\{n\atop k\right\}$에 대한 조합적 해석을 제공하는 것.
• 특히 $s=t=1$일 때 피보노미얼 계수에 대한 더 단순한 조합적 모델을 제공함으로써 오랫동안 요청되어 온 문제를 해결하는 것.
• 직사각형 격자 내의 정수 분할을 기반으로 하여 선형 및 원형 타일링 모델을 도입함으로써 기존의 해석을 통합하고 일반화하는 것.
• 루카스노미얼 계수 $\left\{m+n\atop m\right\}$의 대칭성을 자연스럽게 반영하고 다중성 없이 작동하는 대칭적이고 다중성 없는 조합적 프레임워크를 수립하는 것.

제안 방법

• 루카스 다항식 $\{n\}$을 재귀식 $\{n\} = s\{n-1\} + t\{n-2\}$로 정의하며, 초기 조건 $\{0\}=0$, $\{1\}=1$을 설정하고, 이를 루카스노미얼 $\left\{n\atop k\right\} = \frac{\{n\}!}{\{k\}!\{n-k\}!}$로 확장한다.
• 정수 분할 $\lambda \subseteq k \times (n-k)$의 페로어 다이어그램 위에 타일링 모델을 도입하며, 단위 타일(모노미노)과 이중 타일(도미노)을 사용하고, $m$개의 모노미노와 $d$개의 도미노에 대해 무게 $s^m t^d$를 부여한다.
• $\mathcal{L}_\lambda$를 분할 $\lambda$의 행에 대한 선형 타일링 집합으로, $\mathcal{L}'_{\lambda^*}$를 켤레 분할 $\lambda^*$의 열에 대한 선형 타일링 집합으로 정의하며, 이때 첫 번째 타일이 모노미노가 아닌 경우에 한한다.
• 원형 타일링 $\mathcal{C}_\lambda$와 $\mathcal{C}_{\lambda^*}$를 도입하여 행과 열의 끝에서 도미노가 둘러싸일 수 있도록 하며, 빈 행에 기본 무게 2를 부여한다.
• $\left\{m+n\atop m\right\}$이 모든 $\lambda \subseteq m\times n$에 대해 $\mathcal{L}_\lambda \times \mathcal{L}'_{\lambda^*}$에 속하는 모든 쌍 $T$의 무게 합과 정확히 일치함을 증명하고, $2^{m+n}\left\{m+n\atop m\right\}$이 $\mathcal{C}_\lambda \times \mathcal{C}_{\lambda^*}$에 속하는 모든 쌍의 무게 합과 정확히 일치함을 보인다.
• 루카스다항식 $\{n\}$과 관련 다항식열 $\langle n\rangle$의 재귀적 구조를 이용하여 생성함수가 루카스노미얼과 동일한 재귀식을 만족함을 검증한다.

실험 결과

연구 질문

• RQ1 정수 분할에 대한 타일링 통계를 이용해 루카스노미얼 계수 $\left\{n\atop k\right\}$에 대해 다중성 없이 조합적 해석을 줄 수 있는가?
• RQ2 루카스노미얼 계수 $\left\{m+n\atop m\right\}$에 대해 그 본질적 대칭성을 반영하고 다중성 없이 작동하는 대칭적 타일링 모델이 존재하는가?
• RQ3 기존의 교차하지 않는 격자 경로나 타일링 모델보다 피보노미얼 계수(특히 $s=t=1$일 때)를 더 단순하게 해석할 수 있는가?
• RQ4 $\ell$-노미얼 계수(특히 $s=\ell, t=-1$)와 $q$-이항계수(특히 $s=q+1, t=-q$)가 동일한 타일링 프레임워크를 통해 자연스럽게 해석될 수 있는가?
• RQ5 켤레 분할 $\lambda^*$와 $\mathcal{L}'$ 조건이 깔끔하고 재귀적인 조합적 모델을 달성하는 데 어떤 역할을 하는가?

주요 결과

• 루카스노미얼 계수 $\left\{m+n\atop m\right\}$는 모든 분할 $\lambda \subseteq m \times n$에 대해 $\mathcal{L}_\lambda \times \mathcal{L}'_{\lambda^*}$에 속하는 모든 쌍 $T$의 무게 $w(T)$의 합과 정확히 일치한다. 여기서 무게는 모노미노와 도미노의 수에 의해 정의된다.
• 대칭적 형태의 항등식은 $2^{m+n}\left\{m+n\atop m\right\} = \sum_{\lambda \subseteq m\times n} \sum_{T \in \mathcal{C}_\lambda \times \mathcal{C}_{\lambda^*}} w(T)$이며, 이는 빈 행/열에 기본 무게 2를 부여한 원형 타일링을 사용한다.
• $s=t=1$일 때, 루카스노미얼 계수는 피보노미얼 계수로 간소화되며, 첫 번째 해석은 벤자민과 플롯트가 이전에 제시한 것보다 더 단순하고 다중성 없는 타일링 모델을 제공한다.
• $s=\ell, t=-1$일 때, 이 모델은 $\ell$-노미얼 계수에 대한 새로운 해석을 제공하며, 레크쳐 할 파티션 정리와 연결된다.
• $s=q+1, t=-q$일 때, 이 모델은 고전적인 $q$-이항계수에 대해 새로운 조합적 해석을 제공한다.
• 증명은 생성함수가 루카스노미얼과 동일한 재귀식을 만족함을 보임에 기반하며, 이는 $\{n\}$과 $\langle n\rangle$의 초기 조건과 재귀 관계를 이용하여 검증된다.