[논문 리뷰] A refinement of Cayley's formula for trees

Ira M. Gessel, Seunghyun Seo|arXiv (Cornell University)|2005. 07. 24.

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

한 줄 요약

이 논문은 레이블이 부여된 루트 있는 트리에 대한 Cayley의 공식을 다듬기 위해 다항식 $ P_n(a,b,c) = c\prod_{i=1}^{n-1}(ia + (n-i)b + c) $를 도입한다. 이는 산림과 트리를 적절한 정점의 수에 따라 세는 데 사용되며, 적절한 정점은 자신보다 모든 진부분 서브트리의 정점보다 작은 정점이다. 주요 기여는 다양한 트리 유형에 대한 후크 길이 공식과 이 다항식을 연결하는 통합된 프레임워크를 제공하고, 특히 $c$-주차 함수에서 운이 좋은 차량의 수를 통해 새로운 해석을 제공하는 데 있다.

ABSTRACT

A proper vertex of a rooted tree with totally ordered vertices is a vertex that is less than all its proper descendants. We count several kinds of labeled rooted trees and forests by the number of proper vertices. Our results are all expressed in terms of the polynomials P_n(a,b,c)= c(a+(n-1)b+c)(2a+(n-2)b+c)...((n-1)a+b+c) which reduce to (n+1)^{n-1} for a=b=c=1. Our study of proper vertices was motivated by A. Postnikov's hook length formula for binary trees (arXiv:math.CO/0507163), which was also proved by W. Y. C. Chen and L. L. M. Yang (arXiv:math.CO/0507163) and generalized by R. R. X. Du and F. Liu (arXiv:math.CO/0501147). Our approach gives a new proof of Du and Liu's results and gives new hook length formulas. We also find an interpretation of the polynomials P_n(a,b,c) in terms of parking functions: we count parking functions according to the number of cars that park in their preferred parking spaces.

연구 동기 및 목표

• 레이블이 부여된 루트 있는 산림과 트리를 적절한 정점의 수에 따라 세는 방식으로 Cayley의 공식을 다듬는 것—적절한 정점은 자신보다 모든 진부분 서브트리의 정점보다 작은 정점이다.
• 이분 트리에 대한 Postnikov의 후크 길이 공식을 $k$-진 트리와 순서가 있는 산림과 같은 다른 트리 유형으로 일반화하는 것.
• 다항식 $P_n(a,b,c)$와 주차 함수 사이의 연결 고리를 확립하는 것—특히 $c$-주차 함수에서 운이 좋은 차량의 수를 통해.
• 생성 함수와 미분 방정식을 통해 다양한 조합 구조를 하나의 다항식 프레임워크로 통합하는 것.

제안 방법

• 다항식 $ P_n(a,b,c) = c\\prod_{i=1}^{n-1}(ia + (n-i)b + c) $를 도입하여, $ a=b=c=1 $일 때 $ (n+1)^{n-1} $으로 줄어들며, 이는 산림의 수와 적절한 정점의 수에 따라 산림을 세는 데 사용된다.
• 레퍼런스 2.1과 레퍼런스 2.2를 적용하여 레이블링을 통해 후크 길이와 적절한 정점 수를 연결하며, 집합 $ S $에 적절한 정점이 포함된 레이블링의 수가 $ \\frac{n!}{\prod_{v\in S} h(v)} $임을 보인다.
• 지수 생성함수와 미분 방정식을 사용하여 운이 좋은 차량에 가중치를 부여한 주차 함수의 생성함수 $ Q $를 유도하며, $ Q' = uQ^2 + xQ'Q $를 만족한다.
• $c$-주차 함수와 $c$개의 일반 주차 함수로의 분해 사이의 전단사 관계를 설정하여, $c$-주차 함수의 생성함수는 $ Q^c $가 된다.
• 소수 주차 함수의 개념을 적용하여 생성함수 $ R = 1 - Q^{-1} $를 유도하며, 이는 $ P_n(1,u,-u) $와 연결된다.
• 미분 방정식과 생성함수 기법을 사용하여 일반 주차 함수에 대해 $ \sum_f u^{\\text{lucky}(f)} = P_n(1,u,u) $임을 증명한다.

실험 결과

연구 질문

• RQ1 Cayley의 공식은 크기 외에도 적절한 정점의 수에 따라 레이블이 부여된 루트 있는 산림을 세는 방식으로 어떻게 다듬을 수 있는가?
• RQ2 Postnikov의 항등식과 유사한 후크 길이 공식은 $k$-진 트리와 순서가 있는 산림에 대해 유도될 수 있는가?
• RQ3 다항식 $ P_n(a,b,c) $는 주차 함수와 운이 좋은 차량의 관점에서 어떻게 조합론적으로 해석할 수 있는가?
• RQ4 유사한 정의를 가짐에도 불구하고 트리에서 적절한 정점과 적절한 간선의 분포는 어떻게 다를 수 있는가?
• RQ5 지수 생성함수와 미분 방정식은 운이 좋은 차량에 따라 주차 함수의 생성함수를 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 다항식 $ P_n(a,b,c) $는 산림의 수와 적절한 정점의 수에 따라 레이블이 부여된 루트 있는 트리의 산림을 세는 데 사용되며, Cayley의 공식을 일반화한다.
• $ a=b=c=1 $일 때 $ P_n(1,1,1) = (n+1)^{n-1} $이며, 이는 $ n $개 정점에서 루트가 있는 레이블이 부여된 트리의 산림의 수를 회복한다.
• 운이 좋은 차량에 가중치를 부여한 주차 함수의 생성함수 $ Q $는 $ Q' = uQ^2 + xQ'Q $를 만족하며, 일반 주차 함수에 대해 $ \sum_f u^{\\text{lucky}(f)} = P_n(1,u,u) $를 이끈다.
• $c$-주차 함수의 경우, 운이 좋은 차량에 대한 생성함수는 $ Q^c $이며, 이에 따라 $ \sum_f u^{\\text{lucky}(f)} = P_n(1,u,cu) $를 얻는다.
• 분해할 수 없는 소수 주차 함수—더 작은 주차 함수로 분해할 수 없는 주차 함수—는 $ \sum_f u^{\\text{lucky}(f)} = -P_n(1,u,-u) $를 만족하며, 이는 생성함수의 역과 연결된다.
• 다항식 $ P_n(a,b,c) $는 단일 매개변수 가족을 통해 $k$-진 트리와 순서가 있는 산림를 포함한 다양한 트리 유형에 대한 후크 길이 공식을 통합하는 프레임워크를 제공한다.