[论文解读] Bell polynomials in combinatorial Hopf algebras

Ammar Aboud, Jean-Paul Bultel+3 more|arXiv (Cornell University)|Feb 12, 2014

Advanced Combinatorial Mathematics被引用 4

一句话总结

本文通过引入彩色集合划分作为统一框架，建立了偏 Bell 多项式与完全 Bell 多项式之间以及组合 Hopf 代数之间的深层联系。它基于这些划分构造了一族 Hopf 代数，并证明了 Bell 多项式可在对称函数、字对称函数（WSym）以及分拆准对称函数（ΠQSym）的对偶代数中自然定义，通过 dendriform 和 Zinbiel 运算等代数结构恢复了经典恒等式。

ABSTRACT

Partial multivariate Bell polynomials have been defined by E.T. Bell in 1934. These polynomials have numerous applications in Combinatorics, Analysis, Algebra, Probabilities, etc. Many of the formulae on Bell polynomials involve combinatorial objects (set partitions, set partitions in lists, permutations, etc.). So it seems natural to investigate analogous formulae in some combinatorial Hopf algebras with bases indexed by these objects. The algebra of symmetric functions is the most famous example of a combinatorial Hopf algebra. In a first time, we show that most of the results on Bell polynomials can be written in terms of symmetric functions and transformations of alphabets. Then, we show that these results are clearer when stated in other Hopf algebras (this means that the combinatorial objects appear explicitly in the formulae). We investigate also the connexion with the Fa{à} di Bruno Hopf algebra and the Lagrange-B{ü}rmann formula.

研究动机与目标

• 将经典 Bell 多项式恒等式推广到以集合划分等组合对象为基的组合 Hopf 代数框架中。
• 定义并研究基于彩色集合划分的一类新型组合 Hopf 代数，其参数由非负整数序列决定。
• 确立字对称函数代数（WSym）在非交换设置中实现 Bell 多项式类比的核心作用。
• 通过 Hopf 代数中的代数结构恢复涉及 Bell 多项式的经典恒等式（如与 Lagrange 反演和 Stirling 数相关的恒等式）。
• 探索通过 Zinbiel 和 dendriform 结构将 Bell 多项式与非交换类比联系起来，尤其在 ΠQSym 和自由代数 ℂ⟨A⟩ 中。

提出的方法

• 引入彩色集合划分为集合划分的推广形式，其中每个块被赋予一个来自序列 a = (a_m) 的颜色，a_m 指定大小为 m 的块的可用颜色数。
• 构造一族组合 Hopf 代数 H_a，其基由彩色集合划分索引，并赋予与组合结构相容的乘法与余乘法。
• 在 WSym、ΠQSym = WSym* 和 ℂ⟨A⟩ 代数中，利用标准化映射和生成函数，定义完全与偏 Bell 多项式的类比。
• 利用 ΠQSym 上的 Zinbiel 代数结构（通过两个非结合乘法 ≺ 和 ≻ 定义，满足特定公理），表达 Bell 型多项式生成函数。
• 通过 Zinbiel 乘积与代数上的上三角矩阵，推导出 ΠQSym 中偏 Bell 多项式生成级数的准行列式型公式。
• 建立基于迭代 ≺-乘积定义的多项式 P(M_n; t) 与 Bell 多项式生成级数之间的联系，证明 [t^k]P(M_n; t) = ℬ_{n,k}(Φ_{‗{1}‗}, Φ_{‗{1,2}‗}, ...），其中 M_n 是 ΠQSym 基元素的矩阵。

实验结果

研究问题

• RQ1 如何在组合 Hopf 代数的框架内推广经典 Bell 多项式恒等式？
• RQ2 彩色集合划分在统一对称函数、字对称函数和 Faà di Bruno 代数的代数结构方面起到什么作用？
• RQ3 ΠQSym 中的 Zinbiel 和 dendriform 结构如何促成 Bell 多项式非交换类比的构造？
• RQ4 矩阵理论中的准行列式公式能否被解释为非交换 Hopf 代数中 Bell 多项式生成函数？
• RQ5 何种精确的代数机制使得 WSym 和 ΠQSym 中的 Hopf 代数恒等式能够恢复组合恒等式（例如涉及 Stirling 数或 Lah 数的恒等式）？

主要发现

• 大小为 n 且有 k 个块的彩色集合划分的数量由偏 Bell 多项式 B_{n,k}(a_1, a_2, ...) 给出，此类划分的总数为 A_n(a_1, a_2, ...)，即完全 Bell 多项式。
• ΠQSym 代数中偏 Bell 多项式生成级数为 ∑_{n} ℬ_{n,k}(Φ_{‗{1}‗}, Φ_{‗{1,2}‗}, ...) t^n = (∑_i Φ_{‗{1,...,i}‗} t^i )^{≺→k}，其中上标表示迭代的 ≺-乘积。
• 通过 ΠQSym 基元素矩阵 M_n 上迭代 Zinbiel 乘积定义的多项式 P(M_n; t)，满足 [t^k]P(M_n; t) = ℬ_{n,k}(Φ_{‗{1}‗}, Φ_{‗{1,2}‗}, ...)，从而提供了 Bell 多项式生成的非交换类比。
• 对矩阵 M_n（其元素为 Φ_{‗{1,...,j-i+1}‗}）的准行列式公式，给出了 Bell 多项式生成函数，推广了 Ebrahimi 等人和 Gelfand 等人的经典结果。
• Hopf 代数 WSym 在非交换设置中实现 Bell 多项式代数结构方面起着核心作用，其对偶 ΠQSym 支持用于定义生成函数的 Zinbiel 结构。
• 该构造恢复了经典恒等式，如涉及 Bell 多项式与 Lagrange 反演、概率中的矩与累积量之间的关系，现被解释为 Hopf 代数中的代数恒等式。