[논문 리뷰] Integer compositions with part sizes not exceeding k

Martin E. Malandro|arXiv (Cornell University)|2011. 08. 01.

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

한 줄 요약

이 논문은 해석적 조합론을 사용하여 부분 크기가 최대 $k$인 정수 분할과 관련된 핵심 조합량에 대해 정확한 점근적 공식을 제공한다. 이러한 분할의 수, 총 부분 수, 평균 부분 수, 특정 부분 크기의 빈도에 대해 지수 감소하는 오차 한계를 도출하였으며, 이는 이전 결과를 개선하고 다섯 가지 지표를 통합적으로 다루는 데서 나아가 정확도를 향상시켰다.

ABSTRACT

We study the compositions of an integer n whose part sizes do not exceed a fixed integer k. We use the methods of analytic combinatorics to obtain precise asymptotic formulas for the number of such compositions, the total number of parts among all such compositions, the expected number of parts in such a composition, the total number of times a particular part size appears among all such compositions, and the expected multiplicity of a given part size in such a composition. Along the way we also obtain recurrences and generating functions for calculating several of these quantities. Our results also apply to questions about certain kinds of tilings and rhythm patterns.

연구 동기 및 목표

• 부분 크기가 $k$ 이하인 $n$의 정수 분할 수에 대한 정확한 점근적 공식을 유도하는 것.
• 모든 이러한 분할에서의 총 부분 수와 평균 부분 수를 분석하는 것.
• 각 부분 크기 $j \leq k$의 총 및 평균 복수도를 계산하는 것.
• 해석적 조합론 기법을 사용하여 다섯 가지 관련 조합량을 통합적으로 분석하는 것.
• 특정 부분 크기의 기대 복수도에 대해 기존 점근적 한계를 개선하는 것.

제안 방법

• 부분 크기가 $\{1,\dots,k\}$인 분할의 수를 정의하기 위해 $F_n = \sum_{a=1}^k F_{n-a}$, $F_0=1$, $F_n=0$ ($n<0$) 인 재귀식을 사용한다.
• $\sum_{i=1}^k \phi^{-i} = 1$ 를 만족하는 유일한 양의 실수 해 $\phi$ 를 정의하며, 이는 지수 성장률을 결정한다.
• $G(x) = \sum_{a=1}^k x^a$ 인 생성함수를 적용하고 $\sigma = 1/\phi$ 를 사용하여 $G'(\sigma)$ 및 $G''(\sigma)$ 를 분석함으로써 점근적 계수를 도출한다.
• 해석적 조합론 기법을 활용하여 절대 오차가 지수적으로 감소하는 점근 전개를 유도한다.
• $F_n$, $T_n$, $C_{n,j}$ (부분 크기 $j$ 의 총 발생 수) 에 대한 생성함수와 재귀 관계를 유도한다.
• 전이 정리와 특이점 분석을 사용하여 다섯 가지 양에 대한 정확한 점근 전개를 추출한다.

실험 결과

연구 질문

• RQ1 부분 크기가 최대 $k$인 $n$의 정수 분할 수의 정확한 점근적 성장률은 무엇인가요?
• RQ2 모든 이러한 분할에서의 총 부분 수는 $n$에 따라 어떻게 증가합니까?
• RQ3 임의의 $\{1,\dots,k\}$-분할에서의 평균 부분 수는 얼마입니까?
• RQ4 특정 부분 크기 $j \leq k$ 는 $n$의 모든 이러한 분할에서 총 몇 번 나타납니까?
• RQ5 부분 크기가 $\leq k$인 임의의 분할에서 주어진 부분 크기 $j$ 의 기대 복수도는 얼마입니까?

주요 결과

• 부분 크기가 $\{1,\dots,k\}$인 $n$의 분할 수인 $F_n$ 은 $F_n = \frac{\phi^{n+1}}{G'(\sigma)} + O(A^n)$ ($0 < A < 1$) 를 만족하며, 지수 감소 오차를 갖는다.
• 총 부분 수인 $T_n$ 은 점근적으로 $T_n = \frac{\phi^{n+2}}{G'(\sigma)^2}(n+1) + \frac{\phi^{n+1}G''(\sigma)}{G'(\sigma)^3} - \frac{\phi^{n+1}}{G'(\sigma)} + O(A^n)$ 로 표현된다.
• 분할당 평균 부분 수인 $A_n$ 은 $A_n = \frac{\phi}{G'(\sigma)}(n+1) - 1 + \frac{G''(\sigma)}{G'(\sigma)^2} + O(A^n)$ 를 만족한다.
• 부분 크기 $j$ 가 나타나는 총 횟수인 $C_{n,j}$ 는 점근적으로 $C_{n,j} = \frac{\phi^{n+2-j}}{G'(\sigma)^2}(n+1-j) + \frac{\phi^{n+1-j}G''(\sigma)}{G'(\sigma)^3} + O(A^n)$ 로 표현된다.
• 부분 크기 $j$ 의 기대 복수도인 $A_{n,j}$ 는 점근적으로 $A_{n,j} = \frac{\phi^{1-j}}{G'(\sigma)}(n+1-j) + \frac{\phi^{-j}G''(\sigma)}{G'(\sigma)^2} + O(A^n)$ 로 표현된다.
• 모든 점근적 공식은 절대 오차가 $n$에 대해 지수적으로 감소하므로, 작은 $n$ 에서도 뛰어난 근사치를 제공하며, 수치 표를 통해 확인되었다.