[논문 리뷰] An Enumerative Function

Milan Janjić|ArXiv.org|2008. 01. 13.

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

한 줄 요약

이 논문은 이항계수, 팩토리얼, 오르내림/내림 패딩 패턴을 일반화하는 열거 함수 $F(n,k,P,m)$를 제안한다. 이 함수는 크기가 $p_1,\dots,p_n$인 $n$개의 메인 블록과 추가로 $m$-블록을 가진 집합의 $n+k$-인셋(모든 $n$개의 메인 블록과 교차하는 부분집합)을 세는 데 사용된다. 주요 기여는 바르반데 콘볼루션을 확장하는 통합된 조합론적 프레임워크를 제공하고, 재귀 관계를 통해 체비셰프 다항식을 순수 조합론적으로 정의하는 것이다.

ABSTRACT

We define an enumerative function F(n,k,P,m) which is a generalization of binomial coefficients. Special cases of this function are also power function, factorials, rising factorials and falling factorials. The first section of the paper is an introduction. In the second section we derive an explicit formula for F. From the expression for the power function we obtain a number theory result. Then we derive a formula which shows that the case of arbitrary m may be reduced to the case m=0. This formula extends Vandermonde convolution. In the second section we describe F by the series of recurrence relations with respect to each of arguments k, n, and P. As a special case of the first recurrence relation we state a binomial identity. As a consequence of the second recurrence relation we obtain relation for coefficients of Chebyshev polynomial of both kind. This means that these polynomials might be defined in pure combinatorial way.

연구 동기 및 목표

• 이항계수, 팩토리얼, 오르내림/내림 패딩 패턴을 통합하는 일반화된 열거 함수 $F(n,k,P,m)$를 정의하는 것.
• 포함배제의 원리(PIE)를 사용하여 $F(n,k,P,m)$의 명시적 공식을 유도하고, 이가 이항계수의 교대합으로 표현됨을 보이는 것.
• $m > 0$의 일반적인 경우가 $m=0$의 경우로 감소됨을 증명하고, 바르반데 콘볼루션을 일반화하는 것.
• $n$, $k$, $P$에 대한 $F(n,k,P,m)$의 재귀 관계를 수립하여 체비셰프 다항식과의 연결 고리를 드러내는 것.
• 첫 번째 및 두 번째 종류의 체비셰프 다항식이 $F(n,k,P,m)$의 계수를 통해 순수 조합론적으로 정의될 수 있음을 보이는 것.

제안 방법

• 포함배제의 원리(PIE)를 적용하여 명시적 공식 유도: $F(n,k,P,m) = \sum_{I \subseteq [n]} (-1)^{|I|} \binom{N - \sum_{i \in I} p_i}{n+k}$, 여기서 $N = \sum p_i + m$.
• 감소 공식 유도: $F(n,k,P,m) = \sum_{i=0}^{\min(m,k)} \binom{m}{i} F(n,k-i,P,0)$, 이는 $m > 0$의 경우가 $m = 0$의 경우로 감소됨을 보여준다.
• 블록 수에 대한 재귀 관계 수립: 각 $j \in [n]$에 대해 $F(n,k,P,m) = \sum_{i=1}^{p_j} \binom{p_j}{i} F(n-1,k-i+1,P\setminus\{p_j\},m)$.
• 모든 $p_i = 2$일 때, 재귀식 $c(n,k,m) = 2c(n-1,k,m) + c(n-1,k-1,m)$이 체비셰프 다항식 계수의 재귀식과 일치함을 증명하는 것.
• 변수 치환 $a(r,s) = (-1)^k c(n,k,m)$을 통해 $F$-계수를 체비셰프 계수로 매핑하고, 표준 재귀식 $a(r,s) = 2a(r-1,s-1) - a(r-2,s)$를 만족함을 보이는 것.
• 일반적인 변환 공식 유도: $F(n,k,P,m) = F(n-r,k,Q,m) + \sum_{i=1}^{|I_0|} \sum_{j=0}^i \binom{n}{i} \binom{i}{j} F(n-j,k-i+j,Q,m)$, 여기서 $Q$는 $i \in I_0$인 경우에 블록 크기를 조정한다.

실험 결과

연구 질문

• RQ1 단일 열거 함수가 이항계수, 팩토리얼, 오르내림/내림 패딩 패턴을 일반화할 수 있는가?
• RQ2 함수 $F(n,k,P,m)$가 포함배제의 원리를 통해 닫힌 표현식을 가질 수 있는가?
• RQ3 $m > 0$의 경우가 $m = 0$의 경우로 감소할 수 있으며, 이는 바르반데 콘볼루션을 일반화하는가?
• RQ4 $F(n,k,P,m)$의 $n$, $k$, $P$에 대한 재귀 관계가 알려진 조합론적 수열을 유도하는가?
• RQ5 첫 번째 및 두 번째 종류의 체비셰프 다항식이 $F(n,k,P,m)$의 계수를 통해 순수 조합론적으로 정의될 수 있는가?

주요 결과

• 명시적 공식 $F(n,k,P,m) = \sum_{I \subseteq [n]} (-1)^{|I|} \binom{N - \sum_{i \in I} p_i}{n+k}$는 이항계수를 일반화하고, $p^n = \sum_{i=0}^n (-1)^i \binom{n}{i} \binom{pn + m - pi}{n}$와 같은 항등식을 유도한다.
• 소수 $q$에 대해 정수 $r > 1$, $m \geq 0$에 대해 항등식 $q \mid r^q - \binom{rq + m}{q} + \binom{m}{q}$ 가 성립함을 $p^n$ 항등식에서 유도한다.
• 감소 공식 $F(n,k,P,m) = \sum_{i=0}^{\min(m,k)} \binom{m}{i} F(n,k-i,P,0)$는 $n=1$일 때 바르반데 콘볼루션을 일반화하며, $\binom{p+m}{k+1} = \sum_{i=0}^{\min(m,k+1)} \binom{m}{i} \binom{p}{k-i+1}$을 복원한다.
• 모든 $p_i = 2$일 때, 재귀식 $c(n,k,m) = 2c(n-1,k,m) + c(n-1,k-1,m)$이 체비셰프 다항식 계수의 재귀식과 일치한다.
• $p_i = 2$인 경우 계수 $(-1)^k F(n,k,P,m)$는 표준 체비셰프 재귀식 $a(r,s) = 2a(r-1,s-1) - a(r-2,s)$를 만족하며, 두 종류의 체비셰프 다항식에 대한 순수 조합론적 정의를 증명한다.
• 일반적인 변환 공식은 $F(n,k,P,m)$를 $F(n-j,k-i+j,Q,m)$의 형태로 표현하며, $Q$는 일부 인덱스에 대해 블록 크기를 줄임으로써 재귀적 계산을 가능하게 한다.