[論文レビュー] Integer compositions with part sizes not exceeding k

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

Advanced Combinatorial Mathematics参考文献 11被引用数 6

ひとこと要約

本稿は、解析的組合せ論を用いて、部品サイズが最大 $k$ である整数コンポジションに関連する主要な組合せ的量の正確な漸近公式を提供する。部品数、総部品数、平均部品数、および特定部品サイズの頻度について、指数関数的に減少する誤差項を伴う境界を導出しており、従来の結果を改善し、5つの指標を統一的に扱う。

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$ がこれらのコンポジション内で現れる総回数および平均乗数を計算すること。
• 解析的組合せ論の手法を用いて、5つの関連する組合せ的量を統一的に分析すること。
• 特に、与えられた部品サイズの期待乗数について、既存の漸近境界を改善すること。

提案手法

• 初期条件 $F_0=1$, $F_n=0$ ($n<0$) を満たす再帰 $F_n = \sum_{a=1}^k F_{n-a}$ を用いて、$\{1,\dots,k\}$-コンポジションの数を定義する。
• $\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$, および部品サイズ $j$ の出現総数 $C_{n,j}$ のための生成関数および再帰関係を導出する。
• 転送定理および特異性解析を用いて、5つの量すべての正確な漸近展開を抽出する。

実験結果

リサーチクエスチョン

• RQ1 部分サイズが $k$ 以下の整数コンポジション $n$ の数の正確な漸近的成長率は何か？
• RQ2 このようなコンポジション全体における総部品数は $n$ と共にどのように増加するか？
• RQ3 ランダムな $\{1,\dots,k\}$-コンポジションにおける平均部品数は何か？
• RQ4 部分サイズ $j \leq k$ が $n$ のすべてのこのようなコンポジションに現れる回数はいくつか？
• RQ5 部分サイズ $j$ の期待乗数は、部分サイズが $\leq k$ であるランダムなコンポジション $n$ においてどのように漸近的に振る舞うか？

主な発見

• 部品サイズが $\{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)$ と表される。
• 1つのコンポジションあたりの平均部品数 $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$ に対しても非常に良好な近似が得られることを示している。