[论文解读] Hopf-algebraic structures of families of trees

Robert L. Grossman, Richard G. Larson|ArXiv.org|Nov 25, 2007

Advanced Topics in Algebra参考文献 3被引用 13

一句话总结

本文通过将子树连接的方式组合树并以分割根节点子节点的方式定义余乘法，从根树族构建余交换的分次连通霍普夫代数。关键贡献是利用米尔斯-莫尔定理与庞加莱-伯克霍夫-维尔定理，给出卡莱公式关于根树的全新代数证明，表明根树的数量满足一个生成函数恒等式，该恒等式涉及由原胞元导出的二项式系数乘积。

ABSTRACT

Description of cocommutative Hopf algebras associated with families of trees. Applications include Cayley's theorem on the number of rooted trees with n nodes, and Catalan's theorem on the number of rooted ordered trees with n nodes.

研究动机与目标

• 建立由有限根树同构类张成的向量空间上的霍普夫代数结构。
• 证明该霍普夫代数结构可为经典组合计数结果（如根树的卡莱公式）提供新的代数证明。
• 探讨标记、有序及堆有序树相关霍普夫代数的代数性质。
• 刻画这些霍普夫代数的原胞元，并将其与不可约树关联。
• 证明具有唯一分解性质的某些树族生成自由代数，其生成元为不可约元素。

提出的方法

• 通过将一棵树的子节点以所有可能方式连接到另一棵树的节点上，定义由根树张成的向量空间上的乘法。
• 定义余乘法，对根节点子节点的所有不相交划分求和，形成两个子树的张量积。
• 利用米尔斯-莫尔定理，将霍普夫代数表征为原胞元生成的普遍包络代数。
• 应用庞加莱-伯克霍夫-维尔定理，推导齐次分量维数的乘法公式。
• 基于根节点子节点数定义滤子，以比较霍普夫代数与由不可约树生成的自由代数。
• 通过证明在相应齐次分量上诱导映射的单射性与满射性，证明霍普夫代数与不可约元素生成的自由代数同构。

实验结果

研究问题

• RQ1 如何在根树族上自然地定义霍普夫代数结构？哪些公理可保证该结构的存在？
• RQ2 根树上的霍普夫代数结构能否导出经典计数公式（如卡莱公式）的新代数证明？
• RQ3 霍普夫代数的原胞元与族中不可约树之间存在何种关系？
• RQ4 在何种条件下，霍普夫代数同构于其不可约元素生成的自由代数？
• RQ5 标记、有序与堆有序树的代数结构在它们的霍普夫代数实现中如何不同？

主要发现

• 根树的霍普夫代数同构于其原胞元的普遍包络代数，其中原胞元为根节点恰好有一个子节点的树。
• 具有 $ n+1 $ 个节点的根树数量满足 $ t_{n+1} = \sum_{m_1 + 2m_2 + \cdots + r m_r = n} \binom{m_1 + t_1 - 1}{m_1} \cdots \binom{m_r + t_r - 1}{m_r} $，从而导出卡莱公式的生成函数恒等式 $ T(z) = z \prod_{n=1}^\infty (1 - z^n)^{-t_n} $。
• 对于堆有序树，具有 $ n+1 $ 个节点的树的数量为 $ n! $，且不可约树的数量满足 $ g_n = n! - \sum_{k=1}^{n-1} k! \cdot g_k $。
• 堆有序树的霍普夫代数同构于其不可约元素生成的自由代数，这是由于其具有唯一分解性质。
• 具有唯一分解性质的族的霍普夫代数的相应齐次霍普夫代数同构于不可约元素生成的自由代数。
• 在霍普夫代数上定义的余乘法与乘法结构与树的分解相容，使得可通过代数结构实现递归计数。