[论文解读] Integer compositions with part sizes not exceeding k

Martin E. Malandro|arXiv (Cornell University)|Aug 1, 2011

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$ 在这些组合中的总出现次数和平均多重性。
• 使用解析组合学技术，统一分析五种相关的组合量。
• 改进现有渐近界，特别是针对给定部分大小的期望多重性。

提出的方法

• 使用递推关系 $F_n = \sum_{a=1}^k F_{n-a}$，其中 $F_0=1$，$F_n=0$ 当 $n<0$，定义 $\{1,\dots,k\}$-组合的数量。
• 定义 $\phi$ 为方程 $\sum_{i=1}^k \phi^{-i} = 1$ 的唯一正实数解，其决定指数增长速率。
• 应用生成函数 $G(x) = \sum_{a=1}^k x^a$，并分析 $G'(\sigma)$ 和 $G''(\sigma)$，其中 $\sigma = 1/\phi$，以推导渐近系数。
• 采用解析组合学方法，推导出绝对误差呈指数衰减的渐近展开式。
• 推导 $F_n$、$T_n$ 和 $C_{n,j}$（部分大小 $j$ 的总出现次数）的生成函数与递推关系。
• 使用转移定理与奇点分析，提取所有五项量的精确渐近展开式。

实验结果

研究问题

• RQ1 部分大小不超过 $k$ 的整数 $n$ 的组合数的精确渐近增长速率是什么？
• RQ2 所有此类组合中总部分数随 $n$ 的增长如何变化？
• RQ3 随机 $\{1,\dots,k\}$-组合中每种组合的平均部分数是多少？
• RQ4 在所有部分大小不超过 $k$ 的 $n$ 的组合中，特定部分大小 $j \leq k$ 出现的总次数是多少？
• RQ5 在部分大小 $\leq k$ 的随机组合中，给定部分大小 $j$ 的期望多重性是多少？

主要发现

• 部分大小不超过 $k$ 的 $\{1,\dots,k\}$-组合数 $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$ 较小时也能提供极佳的近似，数值表格已验证此结论。