[論文レビュー] THE CAMBRIAN AND BAXTER-CAMBRIAN HOPF ALGEBRAS

Gr Egory Chatel, Vincent Pilaud|arXiv (Cornell University)|Nov 13, 2014

Advanced Combinatorial Mathematics参考文献 36被引用数 4

ひとこと要約

本稿では、符号付き順列と段階付きカンブリアン木の間の同一視を介して、LodayとRoncoの二分木代数を一般化する、カンブリアンホップ代数を導入する。積と余積の組合せ的公式は木の操作を用いて記述され、Giraudoの枠組みを用いてReadingのバクサーホップ代数とその二重二分木解釈が拡張される。

ABSTRACT

Cambrian trees are oriented and labeled trees which fulll local conditions around each node generalizing the conditions for standard binary search trees. Based on the bijec- tive correspondence between signed permutations and leveled Cambrian trees, we dene the Cambrian Hopf algebra generalizing the algebra of binary trees of J.-L. Loday and M. Ronco. We describe combinatorially the products and coproducts of both the Cambrian algebra and its dual in terms of operations on Cambrian trees. We also dene multiplicative bases of the Cambrian algebra and study structural and combinatorial properties of their indecomposable elements. Finally, we extend the Baxter Hopf algebra of N. Reading and its interpretation with twin binary trees by S. Giraudo.

研究の動機と目的

• カンブリアン木を用いて、Loday-Roncoの二分木ホップ代数をより広い組合せ的対象のクラスへ一般化すること。
• 符号付き順列との同一視を介して、段階付きカンブリアン木にホップ代数構造を確立すること。
• 積と余積の代数的演算を、木の操作に基づいて組合せ的に記述すること。
• 乗法的基底を定義し、カンブリアン代数における分解不能元を分析すること。
• Giraudoの枠組みを用いて、N. Readingのバクサーホップ代数およびその二重二分木解釈を一般化すること。

提案手法

• 符号付き順列と段階付きカンブリアン木の間の同一視を用いて代数的構造を定義する。
• 局所的木変換と接合操作を用いて、カンブリアンホップ代数上の積と余積を定義する。
• 逆転木操作と双対性原理を用いて双対代数を特徴付ける。
• 木の分解から得られる分解不能元を用いて乗法的基底を構成する。
• 組合せ論的技法を用いて、代数における分解不能元の構造を分析する。
• 二重二分木解釈の一般化を用いて、バクサーホップ代数の枠組みを拡張する。

実験結果

リサーチクエスチョン

• RQ1 Loday-Roncoの二分木ホップ代数は、より広い組合せ的木のクラスを用いてどのように一般化可能か？
• RQ2 カンブリアンホップ代数における積と余積の明示的な組合せ的公式は何か？
• RQ3 カンブリアン代数における乗法的基底は、分解不能元の構造とどのように関係するか？
• RQ4 カンブリアンホップ代数は、N. Readingのバクサーホップ代数をどのように拡張するか？
• RQ5 バクサーホップ代数の二重二分木解釈は、どのようにカンブリアン設定に一般化可能か？

主な発見

• カンブリアンホップ代数は、符号付き順列と段階付きカンブリアン木の間の同一視を介して定義され、Loday-Ronco代数を一般化する。
• カンブリアン代数における積と余積は、局所的木操作と接合則を用いて完全に記述される。
• 乗法的基底が構成され、その分解不能元は組合せ論的に特徴付けられる。
• 双対代数は双対木操作を用いて記述され、ホップ代数構造が保存される。
• 二重二分木解釈の一般化を用いて、バクサーホップ代数が拡張される。
• 本枠組みは、木に基づく操作を通じて、カンブリアンおよびバクサーホップ代数の統一された組合せ的モデルを提供する。