[论文解读] Counting rises, levels and drops in compositions

Silvia Heubach, Toufik Mansour|ArXiv.org|Oct 14, 2003

Advanced Combinatorial Mathematics参考文献 6被引用 19

一句话总结

本文提出了一套统一的生成函数框架，用于计算部分属于给定集合 $ A ⊆ \mathbb{N} $ 的整数 compositions 与回文 compositions 中的上升、平级和下降次数。通过推导出关于上升、平级和下降统计量的显式有理生成函数，作者推广并扩展了关于 Carlitz compositions、分拆以及特定集合如 $\{1,2\}$、$\{1,k\}$ 和 $\mathbb{N}$ 的先前结果，得到了新的闭式表达式与组合恒等式。

ABSTRACT

A composition of $n\in\NN$ is an ordered collection of one or more positive integers whose sum is $n$. The number of summands is called the number of parts of the composition. A palindromic composition of $n$ is a composition of $n$ in which the summands are the same in the given or in reverse order. In this paper we study the generating function for the number of compositions (respectively palindromic compositions) of $n$ with $m$ parts in a given set $A\subseteq\NN$ with respect to the number of rises, levels, and drops. As a consequence, we derive all the previously known results for this kind of problem, as well as many new results.

研究动机与目标

• 开发一个通用的生成函数框架，用于分析部分属于给定集合 $A \subseteq \mathbb{N}$ 的 compositions 中的上升、平级和下降次数。
• 通过将 $\{1,2\}$、$\{1,k\}$、$\mathbb{N}$ 及其他特殊集合的处理统一于同一形式体系下，推广先前关于这些集合 compositions 的结果。
• 推导出关于回文 compositions 和 Carlitz compositions 的显式生成函数，统计量为上升、平级和下降。
• 为 $\{a,b\}$ 和 $\{1,k\}$ 等小集合提供 compositions 中平级与下降次数的新的闭式表达式。
• 通过恢复已知结果并推导新结果，包括通过高阶矩与 Fibonacci 数列的联系，展示该框架的实用性。

提出的方法

• 推导出一个多元生成函数 $ C_A(x; y; r, \ell, d) $，通过指数生成函数追踪 $ n $ 的 compositions 中部分属于 $ A $ 且具有 $ m $ 个部分的组合数，同时以 $ r $、$ \ell $、$ d $ 分别计数上升、平级和下降次数。
• 利用有序部分 $ a_1 < a_2 < \cdots < a_k $ 的递归结构与乘积公式，将生成函数表示为包含几何型项乘积的有理函数。
• 通过对称递推关系将该框架适配于回文 compositions，导出独立的生成函数 $ P_A(x; y; r, \ell, d) $，其包含 $ x^{2a_i}y^2 $ 项与对称分母。
• 对生成函数应用偏导数，以提取矩：通过在 $ \ell = 1 $、$ d = 1 $ 处求值 $ \partial / \partial \ell $ 与 $ \partial / \partial d $，提取 compositions 中平级与下降次数的统计量。
• 使用符号运算与乘积恒等式简化复杂有理表达式，特别是针对 $ A = \{a,b\} $ 的情形，得到闭式表达如 $ \frac{x^{2a}y^2(1 - x^b y) + x^{2b}y^2(1 - x^a y)}{(1 - x^a y)^2(1 - x^b y)^2} $。
• 证明高阶导数（例如对 $ d $ 的二阶导数）可导出涉及 Fibonacci 数列的卷积恒等式，如 $ \sum_{n \geq 3} \left( \sum_{a+b+c=n} F_a F_b F_c \right) x^n $。

实验结果

研究问题

• RQ1 对于部分属于给定集合 $ A \subseteq \mathbb{N} $ 的 $ n $ 的 compositions，其上升、平级与下降次数的生成函数是什么？
• RQ2 该框架如何被调整以用于计算回文 compositions 中这些统计量？
• RQ3 对于部分属于 $ \{a,b\} $ 的 compositions，特别是 $ \{1,k\} $，其平级与下降次数的显式生成函数是什么？
• RQ4 该框架能否恢复并推广关于 Carlitz compositions 与分拆的已知结果？
• RQ5 从统计量的高阶矩（如下降对的数量）中会涌现出哪些组合恒等式？

主要发现

• 对于部分属于 $ A = \{a,b\} $ 的 compositions，其上升、平级与下降次数的生成函数为一个有理函数，由几何项的乘积构成，其中平级数的生成函数为 $ \frac{x^{2a}y^2(1 - x^b y) + x^{2b}y^2(1 - x^a y)}{(1 - x^a y)^2(1 - x^b y)^2} $。
• 对于部分属于 $ \{1,2\} $ 的 compositions，其平级数的生成函数为 $ \frac{x^2(1 - x^3)}{(1 - x)^4(1 + x)^2} $，由通式推导得出。
• 对于部分属于 $ \{1,k\} $ 的 compositions，其下降数为 $ \lfloor (n-1)/k \rfloor $，且总下降数的生成函数为 $ \frac{x^{k+1}}{(1 - x)(1 - x^k)} $。
• 对于部分属于 $ \{1,2\} $ 的所有 compositions，其下降数的生成函数为 $ \frac{2x^6}{(1 - x - x^2)^3} $，对应于 Fibonacci 数列的三重卷积。
• 对于部分属于 $ \{1,k\} $ 的 compositions，其下降数恰好为 $ \lfloor (n-1)/k \rfloor $，这是由于此类 compositions 的结构导致每个有效划分（非全为 1 或全为 $ k $）中仅有一个下降。
• 该框架可通过限制递推关系以避免连续相等部分或对称结构，从而导出 Carlitz compositions 与回文 compositions 的生成函数。