[论文解读] Two interacting Hopf algebras of trees

Damien Calaque, Kurusch Ebrahimi‐Fard+1 more|arXiv (Cornell University)|Jun 13, 2008

Advanced Topics in Algebra参考文献 39被引用 33

一句话总结

本文引入了一种新的交换但非余交换的霍普夫代数 H，其对象为有根森林，按边数进行分次，其中余乘积通过将每棵树视为无环费曼图并进行树的插入操作来定义。该研究在康奈斯–克雷默霍普夫代数 H_CK 上建立了出人意料的 H-双模结构，从而通过 H* 的本原部分上的预李积以及左余作用算子的双导子性质，恢复了数值分析中的关键结果——特别是 B-级数中复合与代入运算的相容性，以及后向误差分析特征 ω。

ABSTRACT

Hopf algebra structures on rooted trees are by now a well-studied object, especially in the context of combinatorics. In this work we consider a Hopf algebra H by introducing a coproduct on a (commutative) algebra of rooted forests, considering each tree of the forest (which must contain at least one edge) as a Feynman-like graph without loops. The primitive part of the graded dual is endowed with a pre-Lie product defined in terms of insertion of a tree inside another. We establish a surprising link between the Hopf algebra H obtained this way and the well-known Connes-Kreimer Hopf algebra of rooted trees by means of a natural H-bicomodule structure on the latter. This enables us to recover recent results in the field of numerical methods for differential equations due to Chartier, Hairer and Vilmart as well as Murua.

研究动机与目标

• 构建一种新的交换霍普夫代数 H，其对象为按边数分次的有根森林，余乘积通过将每棵树视为无环费曼图来定义。
• 在 H* 的分次对偶的本原部分上定义一个预李积，其基于树的插入操作。
• 在康奈斯–克雷默霍普夫代数 H_CK 上建立一个出人意料的 H-双模结构，从而将两个不同的有根树霍普夫代数联系起来。
• 恢复并统一近期在数值分析中关于 B-级数复合与代入运算的结果，特别是夏蒂埃、黑勒与维尔马特以及穆鲁的研究成果。
• 通过夏波顿引入的对偶特征 log* 的对数，将后向误差分析特征 ω 与预李麦格纳斯展开联系起来。

提出的方法

• 通过将每棵树分解为无环费曼图，并对图的所有子图划分方式求和，来定义有根森林上多项式代数的余乘积。
• 按边数 e(t) 对霍普夫代数 H 进行分次，这与 H_CK 的基于顶点的分次方式不同。
• 构造分次对偶 H* 的本原部分，并通过将一棵树插入另一棵树来定义其上的预李积。
• 对 H 上的余乘积进行自然延拓，以在 H_CK 上定义 H-双模结构，从而引入 H_CK 上的余作用算子。
• 证明：对于 H 的任意无穷小特征 a，其关联的左余作用算子 tL_a: H_CK → H_CK 是一个双导子。
• 利用双导子性质，为 H 的任意特征 φ 构造一个霍普夫代数自同态 tL_φ，从而将代数结构与数值方法联系起来。

实验结果

研究问题

• RQ1 如何基于无环费曼图分解构造一种新的有根森林霍普夫代数 H，其余乘积基于此定义？它与康奈斯–克雷默霍普夫代数 H_CK 有何不同？
• RQ2 在分次对偶 H* 的本原部分上会形成何种代数结构？它与树的插入操作有何关联？
• RQ3 新定义的霍普夫代数 H 与康奈斯–克雷默霍普夫代数 H_CK 之间的关系本质是什么？如何通过双模结构形式化表达？
• RQ4 H_CK 上的 H-双模结构如何实现对 B-级数中复合与代入运算已知结果的恢复，特别是夏蒂埃、黑勒与维尔马特的研究成果？
• RQ5 后向误差分析特征 ω 如何与预李麦格纳斯展开以及夏波顿引入的特征 log* 的对数相关联？

主要发现

• 霍普夫代数 H 在按边数分次的有根森林上构造，其余乘积通过将每棵树视为无环费曼图来定义，这与基于顶点的康奈斯–克雷默霍普夫代数 H_CK 不同。
• 分次对偶 H* 的本原部分自然地携带一个由树插入操作定义的预李积，从而在树的插入操作上赋予了非平凡的代数结构。
• 通过在 H 上对余乘积进行延拓，成功在 H_CK 上建立了 H-双模结构，揭示了两个霍普夫代数之间深刻的代数联系。
• 对于 H 的任意无穷小特征 a，H_CK 上的左余作用算子 tL_a 是一个双导子，这是实现进一步代数构造的关键结构性质。
• 双导子性质导致为 H 的任意特征 φ 构造出一个霍普夫代数自同态 tL_φ，该自同态恢复了夏蒂埃、黑勒与维尔马特所证明的 B-级数中复合与代入运算的相容性。
• 后向误差分析特征 ω 被识别为夏波顿引入的特征 log* 的对数，其递推公式与预李麦格纳斯展开一致，从而确认了与数值分析结果的一致性。