論文「Minimum transformation representations of diagram monoids」の技術的要約

1. 研究の背景と問題設定

群論の歴史において、有限群が対称群 $S_n$ に埋め込まれること（ケイリーの定理）は古くから知られています。このとき、最小の $n$ をその群の「最小置換次数（minimum permutation degree）」と呼びます。同様に、任意の有限モノイド $M$ は、有限な全変換モノイド $T_n$（集合 $\{1, \dots, n\}$ のすべての自己写像からなるモノイド）に埋め込むことができます。このとき、最小の $n$ を $M$ の最小変換次数（minimum transformation degree） $\deg(M)$ と呼びます。

しかし、一般の半群やモノイドに対してこの次数を計算することは非常に困難であり、特に単純な構造を持つ場合でも直感的ではない結果になることが知られています。本論文は、数学および物理学の多くの分野で重要な役割を果たす**図式モノイド（diagram monoids）**のクラスに焦点を当て、その最小変換次数を決定することを目的としています。

対象とする主要な図式モノイドは以下の通りです：

• 分割モノイド（Partition monoid）$P_n$
• 部分ブローワーモノイド（Partial Brauer monoid）$PB_n$
• ブローワーモノイド（Brauer monoid）$B_n$
• 平面分割モノイド（Planar partition monoid）$PP_n$
• モーツキンモノイド（Motzkin monoid）$M_n$
• テンペルリー・リーブモノイド（Temperley–Lieb monoid）$TL_n$

特に、$P_n$ については、既存の文献では上限が $|P_n|$（ケイリーの定理による自明な上限）程度しか知られておらず、正確な値は不明でした。

2. 手法と理論的枠組み

本論文は、以下の理論的構成要素を組み合わせて、最小次数の明示的な公式を導出しています。

2.1 右合同と作用（Right Congruences and Actions）

半群 $S$ の変換表現は、$S$ の右合同（right congruence）$\sigma$ による商 $S/\sigma$ への作用と密接に関連しています。忠実な右合同作用の次数 $\deg_{rc}(M)$ は、$\deg(M)$ の上限となります。

• 最小右合同次数の計算: 既存のアルゴリズム（GAP などの計算機代数系を用いた実験）を用いて、小規模な $n$ に対する最小右合同を探索し、その構造を理解しました。
• Green の関係と射影: 図式モノイドは「正則 $*$-半群（regular $*$-semigroups）」のクラスに属します。これらの半群には「射影（projections）」と呼ばれる特別な幂等元の集合 $P(S)$ が存在し、これが Green の $L$ 類と 1 対 1 に対応します。

2.2 射影への部分作用（Partial Actions on Projections）

主要な手法として、正則 $*$-半群の射影集合 $P$ に対する**部分作用（partial action）**を構成しました。

• 射影 $p \in P$ と要素 $a \in S$ に対して、$pa = (pa)^*pa$ と定義される作用を考えます。
• この作用を、特定の条件（例えば、ランクが低い射影の集合 $Q$ 上）に制限し、さらに「固定点」を追加することで、忠実な変換表現を構築します。
• 特に、$P_n$ などのモノイドでは、ランクが 2 以下の射影の集合 $Q = \{ \varepsilon \in P(M) : \text{rank}(\varepsilon) \le 2 \}$ に対する作用が、最小次数を与えることが示されました。

2.3 上下界の証明

• 上限（Upper Bound）: 上記の構成法により、具体的な忠実な作用（右合同作用）を明示的に構築し、その次数を計算することで上限を示しました。
• 下限（Lower Bound）: 任意の忠実な作用に対して、特定の対（例えば、最小合同を生成する対）を分離する必要があるという性質を利用します。これにより、作用の定義域が特定の射影の集合を含み、かつそれらが互いに素であることを示し、次数の下限を導出しました。

3. 主要な結果

本論文は、対象とするすべての図式モノイドについて、最小変換次数 $\deg(M)$ および最小部分変換次数 $\deg'(M)$（固定点を除いた次数）の明示的な公式を確立しました。

3.1 一般公式

多くの図式モノイド（$P_n, PB_n, PP_n, M_n$）および $TL_n$（偶数 $n$ の場合）において、最小変換次数は以下の形をとります：
$$\deg(M) = 1 + |Q|$$
ここで、$Q$ はランクが低い（通常は 2 以下）射影の集合です。最小部分変換次数は $\deg'(M) = \deg(M) - 1 = |Q|$ となります。

3.2 具体的な公式と数列

得られた $|Q|$ の値は、ベル数（Bell numbers）、カタラン数（Catalan numbers）、モーツキン数（Motzkin numbers）、双対階乗（double factorials）などの有名な数列を用いて表現されます。

注：$B(n)$ はベル数、$I(n)$ は対合数、$C(n)$ はカタラン数、$M(n)$ はモーツキン数、$m!!$ は双対階乗を表します。

3.3 ブローワーモノイド $B_n$ の特殊性

$B_n$ の場合、特に偶数 $n$ において、最小変換次数 $\deg(B_n)$ と最小右合同次数 $\deg_{rc}(B_n)$ が一致しない（$\deg(B_n) < \deg_{rc}(B_n)$）ことが示されました。これは、単一の右合同作用では最小次数を達成できず、複数の作用を「プッシュアウト（push-out）」して構成する必要があるためです。この発見は、図式モノイドの構造の複雑さを示唆しています。

4. 意義と貢献

1. 長年の未解決問題の解決: 分割モノイド $P_n$ の最小変換次数について、ケイリーの定理による自明な上限から大幅に改善された正確な値を初めて提供しました。
2. 統一的なアプローチ: 正則 $*$-半群の射影への部分作用という新しい枠組みを提案し、これにより複数の図式モノイドに対して統一的に最小次数を導出する手法を確立しました。
3. 組合せ論との深い結びつき: 代数的な不変量（変換次数）が、ベル数やカタラン数などの古典的な組合せ論的数列と直接的に関係していることを明らかにしました。
4. 計算機科学への貢献: 半群の表現論における計算手法（GAP 等を用いた実験と理論的証明の融合）の成功例を示し、今後の研究における指針となりました。

総じて、本論文は図式モノイドの表現論における基礎的なパラメータを完全に決定し、代数的構造と組合せ論的構造の間の新たな橋渡しを行った点で極めて重要です。