[논문 리뷰] New developments of an old identity

Rui Duarte, António Guedes de Oliveira|arXiv (Cornell University)|2012. 03. 24.

Limits and Structures in Graph Theory참고 문헌 1인용 수 5

한 줄 요약

이 논문은 중심 이항계수를 2i-집합의 i-부분집합 수로 해석함으로써 고전적 항등식 $\sum_{i+j=n}\binom{2i}{i}\binom{2j}{j} = 4^n$에 대한 새로운 조합적 증명을 제시한다. 이를 위해 두 직사각형의 색칠된 슬롯을 가진 순서된 구성과 2×n 격자에서의 타워 없는 구성 사이의 전단사 사상이 사용된다. 주요 기여는 이 항등식에 대한 새로운 직접적인 조합적 해석이며, 실수 매개변수를 포함한 일반화와 $\binom{2n+\ell}{n}$에 대한 명시적 생성함수도 함께 제시된다.

ABSTRACT

We give a direct combinatorial proof of a famous identity, $$ \sum_{i+j=n} m{2i}{i} \binom{2j}{j} = 4^n $$ by actually counting pairs of $k$-subsets of $2k$-sets. Then we discuss two different generalizations of the identity, and end the paper by presenting in explicit form the ordinary generating function of the sequence $(\strut\binom{2n+k}{n})_{n\in\mathds{N}_0}$, where $k\in\mathds{R}$.

연구 동기 및 목표

• 2i-집합의 i-부분집합 수로 $\binom{2i}{i}$를 해석함으로써 항등식 $\sum_{i+j=n}\binom{2i}{i}\binom{2j}{j} = 4^n$에 대한 직접적인 조합적 증명을 제공한다.
• 기존 결과를 확장하여 실수 $\ell$에 대해 $\sum_{i+j=n}\binom{2i-\ell}{i}\binom{2j+\ell}{j} = 4^n$로 일반화된 항등식을 제시한다.
• 실수 $\ell$에 대해 수열 $\left(\binom{2n+\ell}{n}\right)_{n\in\mathbb{N}_0}$의 일반 생성함수를 명시적으로 유도한다.
• 순서된 $n$-구성(색칠된 슬롯이 있는)과 타워 없는 $n$-구성 사이의 전단사 사상 $\varphi$를 확립하며, 타워가 없는 구성도 유지한다.
• $\ell_1 + \cdots + \ell_t = 0$인 실수 매개변수 $\ell_1,\dots,\ell_t$를 포함한 $t$-중합으로 일반화하여 매개변수에 대해 대칭적인 항등식을 도출한다.

제안 방법

• 2×n 직사각형 $R$를 왼쪽 2×i와 오른쪽 2×j 부분직사각형으로 나누며, $i+j=n$이다. 왼쪽에는 $i$개의 슬롯을, 오른쪽에는 $j$개의 슬롯을 서로 다른 색으로 색칠하여 구성한다.
• 왼쪽 부분직사각형의 $i$개 색칠된 슬롯과 오른쪽 부분직사각형의 $j$개 색칠된 슬롯이 각각 연속적으로 배열되어 있을 때, 이를 순서된 $n$-구성으로 정의하며, 이는 부분집합 쌍 $(A,B)$를 나타낸다.
• 타워(두 개의 색칠된 슬롯이 있는 열)와 빈 열(색칠된 슬롯이 없는 열)의 개념을 도입하고, 순서된 구성에서 $k$개의 타워를 가진 구성이 $k$개의 인접한 색 전환을 가진 구성으로 전단사 사상 $\varphi$를 정의한다.
• 양의 $\ell$에 대해 포함-배제 원리를 사용하여, 생성함수 $\sum \binom{2n}{n}x^n = (1-4x)^{-1/2}$를 사용하지 않고도 일반화된 항등식 $\sum_{i+j=n}\binom{2i-\ell}{i}\binom{2j+\ell}{j} = 4^n$을 증명한다.
• 기존의 중심 이항계수 생성함수 $g(x) = (1-4x)^{-1/2}$와 카탈란 수 생성함수 $C(x)$를 조합하여 $\binom{2n+\ell}{n}$의 생성함수를 유도하고, 미분 항등식과 제일버거의 알고리즘을 사용해 계수 항등식을 검증한다.
• 다항식 차수 분석과 유한 차분을 사용하여 $\sum \ell_k = 0$일 때 $\sum_{i_1+\cdots+i_t=n}\binom{2i_1+\ell_1}{i_1}\cdots\binom{2i_t+\ell_t}{i_t} = \frac{4^n}{n!}\frac{\Gamma(n+\frac{t}{2})}{\Gamma(\frac{t}{2})}$로 일반화된 항등식을 확립한다.

실험 결과

연구 질문

• RQ1 2i-집합의 i-부분집합 수로 $\binom{2i}{i}$를 해석함으로써, 라티스 경로나 기타 간접적 해석이 아닌 직접적인 조합적 증명을 제공할 수 있는가?
• RQ2 실수 $\ell$에 대해 일반화된 항등식 $\sum_{i+j=n}\binom{2i-\ell}{i}\binom{2j+\ell}{j} = 4^n$의 조합적 해석은 무엇인가?
• RQ3 실수 $\ell$에 대해 $\binom{2n+\ell}{n}$의 일반 생성함수를 어떻게 명시적으로 도출할 수 있는가?
• RQ4 $\ell_1 + \cdots + \ell_t = 0$일 때 항등식의 $t$-중합 일반화의 구조는 어떠한가? 이는 초함수 항등식과 어떻게 관련이 있는가?
• RQ5 $\binom{2n+\ell}{n}$의 생성함수를 $g(x) = (1-4x)^{-1/2}$와 카탈란 생성함수 $C(x)$를 이용해 미분 및代수 항등식을 통해 표현할 수 있는가?

주요 결과

• 2×n 격자에서 색칠된 부분집합의 순서된 구성으로 해석함으로써, $\sum_{i+j=n}\binom{2i}{i}\binom{2j}{j} = 4^n$에 대한 새로운 직접적인 조합적 증명이 제시된다.
• 전단사 사상 $\varphi$는 순서된 $n$-구성에서 $k$개의 타워를 가진 구성이 $k$개의 인접한 색 전환을 가진 구성으로 매핑되며, 생성함수에 의존하지 않는 조합적 증명을 가능하게 한다.
• 모든 실수 $\ell$에 대해 일반화된 항등식 $\sum_{i+j=n}\binom{2i-\ell}{i}\binom{2j+\ell}{j} = 4^n$이 성립하며, 포함-배제 원리와 다항식 차수 분석을 통해 증명된다.
• 일반 생성함수 $g(x)C(x)^\ell = \sum_{n\geq 0}\binom{2n+\ell}{n}x^n$로 명시적으로 주어지며, 여기서 $g(x) = (1-4x)^{-1/2}$이고 $C(x)$는 카탈란 생성함수이다.
• $\sum \ell_k = 0$일 때 $\sum_{i_1+\cdots+i_t=n}\binom{2i_1+\ell_1}{i_1}\cdots\binom{2i_t+\ell_t}{i_t} = \frac{4^n}{n!}\frac{\Gamma(n+\frac{t}{2})}{\Gamma(\frac{t}{2})}$로 일반화된 항등식이 성립하며, 유한 차분과 다항식 항등식을 통해 유도된다.
• 제일버거의 알고리즘과 증명 함수 $G(n,i)$를 사용하여 계수 항등식 $\sum_{i=0}^n \binom{2n-i}{n-i}\binom{\ell+i-1}{i} = \binom{2n+\ell}{n}$을 검증함으로써 생성함수 유도가 확인된다.