[論文レビュー] Hopf-algebraic structures of families of trees

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

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

ひとこと要約

この論文は、根付き木の族から、部分木を接続する積と根の子を分割する余積を用いて、余代数的・可換的・階数付き・連結なホップ代数を構成する。主な貢献は、ミルナー＝ムーアおよびポincare＝バーキホフ＝ウィットの定理を用いた、根付き木のケーリーの公式の新しい代数的証明であり、原始的要素から導かれる二項係数の積を含む母関数の恒等式が、根付き木の個数が満たすことを示している。

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.

研究の動機と目的

• 有限の根付き木の同型類が張るベクトル空間にホップ代数構造を定義すること。
• このホップ代数構造が、ケーリーの公式のような古典的な組合せ的数え上げ結果の新しい代数的証明を可能にすることを示すこと。
• ラベル付き、順序付き、ヒープ順序付き木に関連するホップ代数の代数的性質を調査すること。
• これらのホップ代数の原始的要素を特徴付け、それらを分解不能木に関連付けること。
• 一意的な分解性を持つ特定の木の族が、その分解不能要素によって生成される自由代数をもたらすことを示すこと。

提案手法

• ある木の子を別の木のノードに接続するすべての方法の和として、根付き木が張るベクトル空間上の積を定義する。
• 根の子を2つの互いに素な集合に分割するすべての方法の和として、余積を定義し、2つの部分木のテンソル積を形成する。
• ミルナー＝ムーアの定理を用いて、ホップ代数をその原始的要素の普遍包あらわし代数として特徴付ける。
• ポincare＝バーキホフ＝ウィットの定理を適用し、同次成分の次元に対する乗法的公式を導出する。
• 根の子の数に基づくフィルトレーションを導入し、分解不能木によって生成される自由代数とホップ代数を比較する。
• 関連する次数付き成分への誘導写像の単射性と全射性を示すことにより、ホップ代数と分解不能要素による自由代数との同型を証明する。

実験結果

リサーチクエスチョン

• RQ1 ホップ代数構造は根付き木の族に自然に定義可能であり、その構造を保証する公理は何か？
• RQ2 根付き木上のホップ代数構造は、ケーリーの公式のような古典的数え上げ公式の新しい代数的証明を可能にするか？
• RQ3 ホップ代数の原始的要素と族内の分解不能木との関係は何か？
• RQ4 どのような条件下でホップ代数はその分解不能要素によって生成される自由代数と同型になるか？
• RQ5 ラベル付き、順序付き、ヒープ順序付き木の代数的構造は、ホップ代数実現においてどのように異なるか？

主な発見

• 根付き木のホップ代数は、その原始的要素の普遍包あらわし代数と同型であり、その原始的要素は根がちょうど1つの子を持つ木である。
• ノード数 $ 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 $ を満たす。
• ヒープ順序付き木のホップ代数は、一意的分解性のため、その分解不能要素によって生成される自由代数と同型である。
• 一意的分解性を持つ族のホップ代数の関連する次数付き代数は、その分解不能要素によって生成される自由代数と同型である。
• ホップ代数に定義された余積と積の構造は、木の分解と整合し、代数的構造を用いた再帰的数え上げを可能にする。