[论文解读] The product of trees in the Loday-Ronco algebra through Catalan alternative tableaux

Jean-Christophe Aval, Xavier Gérard Viennot|ArXiv.org|Dec 4, 2009

Advanced Topics in Algebra参考文献 10被引用 5

一句话总结

本文引入了卡塔兰替代表（Catalan alternative tableaux）作为组合工具，以提供对二叉树李代数（Loday-Ronco Hopf algebra）中乘积的简单、直观的描述。通过使用带标签单元格和彩色圆点的表，作者推导出一个新的结合性乘积，记为 $ frac{ ext{#}}{}$，该乘积保持内部顶点的数量，并通过表的拼接和圆点放置规则，在二叉树上建立起一种新颖的代数结构。

ABSTRACT

The aim of this note is to show how the introduction of certain tableaux, called Catalan alternative tableaux, provides a very simple and elegant description of the product in the Hopf algebra of binary trees defined by Loday and Ronco. Moreover, we use this description to introduce a new associative product on the space of binary trees.

研究动机与目标

• 通过卡塔兰替代表提供对李代数乘积的组合性、可视化描述。
• 在二叉树与卡塔兰替代表之间建立双射关系，将树的结构与表的形状及圆点配置联系起来。
• 通过表的拼接和有效圆点配置，引入并定义二叉树空间上的新结合性乘积 $\tfrac{\text{\#}}{}$。
• 证明新 $\tfrac{\text{\#}}{}$ 乘积保持内部顶点数量，从而在 $Y_{k+l-1}$ 中产生一个良定义的乘积。
• 通过基于表的算法和排列标准化的视角，统一理解树的乘积。

提出的方法

• 将卡塔兰替代表定义为从 $\{0\} \times \mathbb{N}$ 到 $\mathbb{N} \times \{0\}$ 的路径，其下方包含单元格，并用蓝色和红色圆点标记。
• 通过将树的上-下序列映射为表的路径形状，在二叉树与卡塔兰替代表之间建立双射。
• 利用排列的标准化和 $\Psi$-映射，将排列与树及其原像的表标记联系起来。
• 应用双射算法，将带有标签条目和彩色圆点的表转换为递增二叉树。
• 将 $\tfrac{\text{\#}}{}$ 乘积定义为所有可通过拼接表 $C_1$ 和 $C_2$ 并在所得矩形中任意放置有效圆点而获得的树的和。
• 证明李代数中的乘积恰好对应于通过此类表拼接并保持圆点配置一致而导出的树的和。

实验结果

研究问题

• RQ1 如何使用卡塔兰替代表，以组合方式描述李代数中两个二叉树的乘积？
• RQ2 二叉树的结构与关联的卡塔兰替代表的形状和圆点配置之间的确切对应关系是什么？
• RQ3 能否通过表的拼接和有效圆点配置在二叉树上定义一个新的结合性乘积？其结构特性是什么？
• RQ4 该 $\tfrac{\text{\#}}{}$ 乘积如何保持内部顶点数量？这对空间的代数分级意味着什么？
• RQ5 对圆点放置和标签的何种条件可确保在双射算法下，所得表能生成一棵递增二叉树？

主要发现

• 在李代数中，两棵树 $T_1$ 和 $T_2$ 的乘积由所有与 $T_1$ 和 $T_2$ 的表拼接后在所得矩形中任意放置有效圆点而形成的卡塔兰替代表所关联的树 $T$ 的和给出。
• 与树 $T$ 关联的卡塔兰替代表的形状恰好是 $T$ 的上-下序列（或冠层），这也是任意满足 $\Psi(\sigma) = T$ 的排列 $\sigma$ 的上-下序列。
• 一个带标签的卡塔兰替代表生成一棵递增二叉树，当且仅当其形状与排列的上-下序列匹配，且其圆点配置与该排列关联的表的圆点配置一致。
• 新 $\tfrac{\text{\#}}{}$ 乘积是结合的，且将 $T_1 \in Y_k$ 和 $T_2 \in Y_l$ 映射到 $Y_{k+l-1}$ 中的树的和，保持内部顶点总数不变。
• $\tfrac{\text{\#}}{}$ 乘积被明确图示为 $\text{S1} \,#\, \text{S2} = \text{S3} + \text{S4} + \text{S5}$，证实了通过表拼接和有效圆点放置的组合构造。
• 证明依赖于以下事实：在乘积 $\Psi^*(T_1) * \Psi^*(T_2)$ 中，任意排列 $\sigma$ 必须可分解为两部分，其标准化结果分别为 $T_1$ 和 $T_2$，且其表结构与 $C_1$ 和 $C_2$ 的拼接及一致的圆点放置相匹配。