[논문 리뷰] Narayana polynomials and some generalizations

Ricky X. F. Chen, Christian M. Reidys|arXiv (Cornell University)|2014. 11. 10.

Advanced Combinatorial Mathematics참고 문헌 9인용 수 4

한 줄 요약

이 논문은 색상이 부여된 라벨이 부여된 평면 트리의 조합적 프레임워크를 바탕으로, 나라야나 다항식과 그 일반화된 형태를 포함한 이항항등식들을 유도하고 통합한다. 매칭과의 이분법적 대응관계를 설정하고, 부호 반전 인벌루션을 적용함으로써, 스탠리의 이분법적 문제, 하레르-차지에르 공식, 그리고 나라야나 다항식에 대한 새로운 표현식에 관련된 항등식들을 통합적인 조합적 증명으로 제시한다. 또한 슈뢰더 수와 관련된 트리의 한 종류를 규명한다.

ABSTRACT

In this note, by counting some colored plane trees we obtain several binomial identities. These identities can be viewed as specific evaluations of certain generalizations of the Narayana polynomials. As consequences, it provides combinatorial proofs for a bijective problem in Stanley's collection "Bijective Proof Problems", a new formula for the Narayana polynomials as well as a new expression for the Harer-Zagier formula enumerating unicellular maps, in a unified way. Furthermore, we identify a class of plane trees, whose enumeration is closely connected to the Schröder numbers. Many other binomial identities are presented as well.

연구 동기 및 목표

• 나라야나 다항식과 그 일반화된 형태를 포함한 항등식을 증명하기 위한 통합된 조합적 프레임워크를 제공하는 것.
• 색상이 부여된 평면 트리와 부호 반전 인벌루션을 사용하여 스탠리의 수집물 내 문제(15)를 해결하는 것.
• 나이스클러브 맵을 세는 데 사용되는 트리 수세기 기반으로 하레르-차지에르 공식의 새로운 표현식을 도출하는 것.
• 스도르 수와 관련된 새로운 종류의 평면 트리를 규명하는 것.
• 생성함수와 단위근 필터를 사용하여 일반화된 이항항등식을 일반화하는 것.

제안 방법

• 내부 정점에 라벨이 부여되고 잎에 Y/N 색상이 부여된 색상이 부여된 라벨이 부여된 평면 트리를 정의하고, 채른의 알고리즘을 사용하여 매칭 집합과의 이분법적 대응관계를 설정한다.
• 색상이 부여된 잎을 가진 트리에 부호 반전 인벌루션을 적용하여 항을 상쇄시키고 상수항을 분리함으로써 항등식 (3)을 도출한다.
• 생성함수 기법과 단위근 필터를 사용하여 일반화된 이항항등식을 유도하며, 특히 $ \omega_k = e^{2\pi i/k} $ 를 활용한다.
• 주어진 항등식 $ \sum_{i \geq 0} \binom{n}{a+ki} x^{a+ki} = \frac{1}{k} \sum_{l=1}^k \omega_k^{-a} (1 + x \omega_k^l)^n $ 을 사용하여 주기적인 계수를 추출한다.
• 트리와 매칭 사이의 이분법적 대응관계를 활용하여 내부 정점과 색상이 부여된 잎에 대한 제약 조건을 가진 구조를 세며, 이로 인해 다항계수를 도출한다.
• 주요 항등식 (27)에서 $ x, q, z, k, t $ 와 같은 매개변수를 설정하여 일반화된 항등식을 유도하고 특수한 경우를 평가한다.

실험 결과

연구 질문

• RQ1 단일 조합적 모델을 통해 스탠리의 이분법적 문제, 하레르-차지에르 공식, 나라야나 다항식 항등식의 증명을 통합할 수 있는가?
• RQ2 스도르 수와 관련된 평면 트리의 종류는 무엇이며, 그 수세기의 특성은 어떻게 기술할 수 있는가?
• RQ3 주기적인 계수를 포함하는 일반화된 이항항등식 $ \sum_{l} \binom{kn+t}{kl+t} \binom{\cdots}{\cdots} z^{kl} $ 을 조합적으로 유도할 수 있는가?
• RQ4 하레르-차지에르 공식은 트리 수세기와 매칭을 통해 재표현되고 조합적으로 증명될 수 있는가?
• RQ5 단위근은 트리 기반 생성함수에서 주기적인 이항계수 합을 추출하는 데 어떤 역할을 하는가?

주요 결과

• 부호 반전 인벌루션을 색상이 부여된 트리에 적용하여 항등식 $ \sum_{k=0}^n (-1)^{n-k} \binom{n}{k} \binom{k+r}{n+q} = \binom{r}{q} $ 을 조합적으로 증명하였다.
• 나라야나 다항식에 대한 새로운 표현식을 도출하였다: $ \sum_{k=1}^n N_{n,k} y^k = \sum_{k=0}^n \frac{1}{n+1} \binom{n+1}{k} \binom{2n-k}{n} (y-1)^k $, 이는 스탠리의 항등식과 레만-왈쉬 공식을 통합한다.
• 나이스클러브 맵을 세는 데 사용되는 하레르-차지에르 공식이 트리 수세기를 통해 재표현되고 조합적으로 증명되었으며, 레만-왈쉬 공식과의 동치성을 확인하였다.
• 매개변수화된 트리 구성 기반으로 슈뢰더 수와 관련된 새로운 종류의 평면 트리가 규명되었다.
• 단위근 필터를 사용하여 일반화된 항등식 (27)–(36)를 확립하였으며, 생성함수를 활용하여 주기적인 이항계수 합의 닫힌 형태를 도출하였다.
• 특수한 경우 (28)–(30)는 $ \sum_l \binom{n}{l} \binom{n+x+q+l-2}{n+q-1} z^l = \sum_l \binom{n}{l} \binom{x+q+n-2}{q+n-1-l} z^l (1+z)^{n-l} $ 와 같은 기존의 알려진 항등식을 회복한다.