[论文解读] Base-$b$ analogues of classic combinatorial objects

Tanay Wakhare, Christophe Vignat|arXiv (Cornell University)|Jul 9, 2016

Advanced Combinatorial Mathematics参考文献 5被引用 5

一句话总结

本文通过一种基于数位乘积定义的新颖的基-$b$二项式系数，引入了经典组合对象（如第二类斯特林数、斐波那契数和指数函数）的基-$b$类比。它建立了一个关于无进位索引的通用求和公式，从而推导出新的恒等式和类比，推广了经典结果，包括具有渐近性质和卷积性质的基-$b$指数函数。

ABSTRACT

We study the properties of the base-$b$ binomial coefficient defined by Jiu and the second author, introduced in the context of a digital binomial theorem. After introducing a general summation formula, we derive base-$b$ analogues of the Stirling numbers of the second kind, the Fibonacci numbers and the classical exponential function.

研究动机与目标

• 开发经典组合对象（如斯特林数、斐波那契数和指数函数）的基-$b$类比。
• 通过基于数位的二项式系数 $\binom{n}{k}_b$，将数字二项式定理推广至任意基 $b$。
• 建立一个关于无进位索引 $k \leq_b n$ 的通用求和公式，统一并扩展先前关于 $\binom{n}{k}_b$ 求和的研究结果。
• 定义并分析一个具有卷积恒等式和渐近逼近性质的基-$b$指数函数 $e_b(x,w)$。

提出的方法

• 将基-$b$二项式系数定义为 $\binom{n}{k}_b = \prod_{i=0}^{N-1} \binom{n_i}{k_i}$，其中 $n_i, k_i$ 分别为 $n, k$ 在基 $b$ 下的数位。
• 引入一个通用求和公式：$\prod_{i=0}^{N-1} S(n_i) = \sum_{0 \leq k \leq_b n} \prod_{i=0}^{N-1} f(n_i, k_i)$，该公式在无进位的 $k$ 下成立。
• 应用该求和公式，通过生成函数推导出第二类斯特林数的基-$b$类比。
• 通过将公式应用于涉及数位运算的递推关系，构建一个基-$b$斐波那契类比。
• 将基-$b$指数函数定义为 $e_b(x,w) = \prod_{i=0}^\infty \sum_{k=0}^{b-1} \frac{(x w^{b^i})^k}{k!}$，并利用不完全伽马函数给出其精确形式。
• 证明卷积恒等式 $e_b(x,w) \star e_b(y,w) = e_b(x+y,w)$，其中 $\star$ 强制执行数位支配关系 $k \leq_b n$。

实验结果

研究问题

• RQ1 如何将经典组合对象（如斯特林数和斐波那契数）推广为基于基-$b$数位结构的类比？
• RQ2 基-$b$二项式定理的结构是什么？它如何扩展经典二项式定理和数字二项式定理？
• RQ3 能否定义一个基-$b$指数函数的类比？其解析和代数性质是什么？
• RQ4 关于无进位索引的求和公式如何统一并推广数位组合数学中的先前结果？
• RQ5 当 $w$ 较小时，基-$b$指数函数的渐近行为如何？

主要发现

• 基-$b$二项式系数 $\binom{n}{k}_b = \prod_{i=0}^{N-1} \binom{n_i}{k_i}$ 满足广义二项式定理：$(X+Y)^{s_b(n)} = \sum_{k=0}^n \binom{n}{k}_b X^{s_b(k)} Y^{s_b(n-k)}$。
• 通过通用求和公式推导出第二类斯特林数的基-$b$类比，推广了经典生成函数恒等式。
• 通过求和公式定义基-$b$斐波那契数列，其在数位运算下保持类似递推的性质。
• 基-$b$指数函数表示为 $e_b(x,w) = \exp\left(x \sum_{i=0}^\infty w^{b^i}\right) \prod_{i=0}^\infty \frac{\Gamma(b, x w^{b^i})}{(b-1)!}$，其渐近逼近为 $e_b(x,w) \simeq e^{xw + xw^b}$（当 $w$ 较小时）。
• 卷积恒等式 $e_b(x,w) \star e_b(y,w) = e_b(x+y,w)$ 成立，其中 $\star$ 强制执行数位支配关系 $k \leq_b n$，推广了 $e^x e^y = e^{x+y}$。
• 确认了恒等式 $\binom{n}{k}_b \neq \frac{(n!)_b}{(k!)_b (n-k)!_b}$，表明由于无进位约束，基-$b$阶乘不满足经典二项式恒等式。