[論文レビュー] Presentation of the Motzkin Monoid

Eliezer Posner, Kris Hatch+1 more|arXiv (Cornell University)|Jan 18, 2013

Geometric and Algebraic Topology参考文献 9被引用数 5

ひとこと要約

この論文は、生成元と関係式を用いたモツキンモノイドの有限提示を提示し、ロウクモノイドの部分モノイドとしての平面的ルックモノイドに焦点を当てる。平面的ルックモノイド $ P_n $ の位数が $ \sum_{k=0}^n \binom{n}{k}^2 $ で与えられることを確立し、非交叉エッジを含む平面的図形を数えることで導出され、上部および下部の頂点集合と図形の乗法を用いた体系的な代数的枠組みによってその構造を理解する。

ABSTRACT

In 2010, Tom Halverson and Georgia Benkart introduced the Motzkin algebra, a generalization of the Temperley-Lieb algebra, whose elements are diagrams that can be multiplied by stacking one on top of the other. Halverson and Benkart gave a diagrammatic algorithm for decomposing any Motzkin diagram into diagrams of three subalgebras: the Right Planar Rook algebra, the Temperley-Lieb algebra, and the Left Planar Rook algebra. We first explore the Right and Left Planar Rook monoids, by finding presentations for these monoids by generators and relations, using a counting argument to prove that our relations suffice. We then turn to the newly-developed Motzkin monoid, where we describe Halverson's decomposition algorithm algebraically, find a presentation by generators and relations, and use a counting argument but with a much more sophisticated algorithm.

研究の動機と目的

• 生成元と定義関係式を用いたモツキンモノイドの有限代数的提示を提供すること。
• ロウクモノイド $ R_n $ の部分モノイドとしての平面的ルックモノイド $ P_n $ の構造を特徴づけること。
• 非交叉図形配置を用いた $ P_n $ の位数の組合せ的公式を確立すること。
• 上部集合から単一の頂点を除去するが平面性を保つ生成元 $ l_i $ の定義と分析を行うこと。
• 図形乗法を用いた平面的ルック図形の閉じた演算としてのモノイド演算の形式化を行うこと。

提案手法

• 上部に $ n $ 個、下部に $ n $ 個の頂点を持つすべての平面的図形の集合として平面的ルックモノイド $ P_n $ を定義する。
• 各図形 $ d $ を一意に決定する上部および下部の頂点集合 $ \tau(d) $ と $ \beta(d) $ を用いる。
• 二つの平面的ルック図形の積が常に平面的であることを確立し、$ P_n $ が乗法に関して閉じていることを保証する。
• 非交叉配置を含むすべての可能な組合せを数えることにより、$ P_n $ の位数を $ \sum_{k=0}^n \binom{n}{k}^2 $ として導出する。
• 生成元 $ l_i $ を導入し、$ \tau(l_i) = [n] \setminus \{i+1\} $ を満たすように定義し、上部の頂点 $ i+1 $ の除去を表す。
• 図形乗法を用いてモノイド演算をモデル化し、平面性とエッジの非交叉性を保つ。

実験結果

リサーチクエスチョン

• RQ1 モツキンモノイドの有限提示は、生成元と関係式の観点からどのように記述できるか？
• RQ2 平面的ルックモノイド $ P_n $ は、$ R_n $ の部分モノイドとして代数的にどのように特徴づけられるか？
• RQ3 位数 $ n $ の平面的ルック図形の総数は何か？ そしてそれはどのように組合せ的に導出されるか？
• RQ4 生成元 $ l_i $ は頂点集合にどのように作用し、有効な平面的図形を生成するか？
• RQ5 平面的ルックモノイドの文脈において、図形乗法の閉じた性質は何か？

主な発見

• 平面的ルックモノイド $ P_n $ の位数は $ \sum_{k=0}^n \binom{n}{k}^2 $ であり、$ k $ 個の非交叉エッジを含むすべての配置を数えることによって導出される。
• 各平面的ルック図形は、それぞれ $ [n] $ および $ [n]' $ の部分集合である上部および下部の頂点集合 $ \tau(d) $ と $ \beta(d) $ によって一意に決定される。
• 二つの平面的ルック図形の積は常に平面的であるため、$ P_n $ がロウクモノイド $ R_n $ の部分モノイドであることが確認される。
• 生成元 $ l_i $ は $ \tau(l_i) = [n] \setminus \{i+1\} $ を満たすように定義され、上段の頂点 $ i+1 $ の除去を表す。
• モノイド演算は図形乗法に関して閉じており、結合的であり、平面性と非交叉エッジ配置を保つ。
• $ P_n $ の構造は、非交叉マッチングの組合せ論と頂点部分集合のペアに完全に依存する。