[论文解读] Effective representations of Hecke-Kiselman monoids of type A

Love Forsberg|arXiv (Cornell University)|May 3, 2012

semigroups and automata theory参考文献 8被引用 6

一句话总结

本文通过在整环上的矩阵代数中构造 Hecke-Kiselman 单群 $A_n$ 的有效线性表示，证明当基环包含 $\mathbb{Z}$ 时，这些单群的有效维数恰好为 $n$。此外，本文识别出奇数斐波那契数 $F_{2n+1}$ 为某些双分图 HK-单群的基数，并计算了 $HK$-单群 $A_n$ 类型中无重数元素的数量。这些结果推广了早期关于 $0$-Hecke 和 Kiselman 单群的研究，并为一类广泛的有向图提供了有效表示的完整描述。

ABSTRACT

We prove effectiveness of certain representations of Hecke-Kiselman monoids of type A constructed by Ganyushkin and Mazorchuk and also construct further classes of effective representations for these monoids. As a consequence the effective dimension of monoids of type A is determined. We also show that odd Fibonacci numbers appear as the cardinality of certain bipartite HK-monoids and count the number of multiplicity free elements in any HK-monoid of type A.

研究动机与目标

• 将有效表示理论扩展至类型 $A_n$ 的 Hecke-Kiselman 单群，推广先前关于 $0$-Hecke 和 Kiselman 单群的研究结果。
• 确定在包含 $\mathbb{Z}$ 的整环上，类型 $A_n$ 的 $HK$-单群的有效维数。
• 刻画双分图 $HK$-单群的结构，并计算类型 $A_n$ 的 $HK$-单群中无重数元素的数量。
• 提供一种基于特定边方向和分量类型的有向图的构造性框架，用于有效表示。

提出的方法

• 通过将矩阵同态构造到 $\mathrm{Mat}_{n\times n}(\mathcal{R})$（其中 $\mathcal{R} \supset \mathbb{Z}$）来实现有效表示，利用标准图结构。
• 定义三步构造过程：(1) 从无向森林开始，(2) 将边定向，使得所有顶点均为源点或汇点，(3) 用 $A_n$、$\kappa_n$ 或 $Z_n$ 分量替换边。
• 使用与已知的 $0$-Hecke 和 Kiselman 单群结果一致的权重分配，以确保表示的单射性。
• 通过比较不同字词在基向量上的作用，证明单射性，表明其矩阵像互不相同。
• 应用有向图中边关系的理论来定义单群的表示，并确保一致性。
• 利用标准排序和顶点标记简化对字词作用和矩阵像的分析。

实验结果

研究问题

• RQ1 在包含 $\mathbb{Z}$ 的整环上，类型 $A_n$ 的 Hecke-Kiselman 单群的有效维数是多少？
• RQ2 哪些类别的有向图能产生其关联 $HK$-单群的有效表示？
• RQ3 奇数斐波那契数 $F_{2n+1}$ 如何作为特定 $HK$-单群的基数出现？
• RQ4 任意类型 $A_n$ 的 $HK$-单群中，无重数元素的数量是多少？
• RQ5 能否为通过组合 $A_n$、$\kappa_n$ 和 $Z_n$ 分量构成的图上的 $HK$-单群构造有效表示？

主要发现

• 在任意包含 $\mathbb{Z}$ 的整环 $\mathcal{R}$ 上，类型 $A_n$ 的 Hecke-Kiselman 单群的有效维数恰好为 $n$，即 $\mathrm{eff}.\.dim_{\mathcal{R}}(HK_{A_n}) = n$。
• 某些双分图 $HK$-单群的基数由奇数斐波那契数 $F_{2n+1}$ 给出，其中 $n$ 为底层路径中的顶点数。
• 任意类型 $A_n$ 的 $HK$-单群中无重数元素的数量等于第 $n$ 个卡塔兰数，$C_n = \frac{1}{n+1}\binom{2n}{n}$。
• 对于通过将森林中的边替换为 $A_n$、$\kappa_n$ 或 $Z_n$ 分量构成的图上的 $HK$-单群，构造了有效表示，且权重分配保持一致。
• 该表示是有效的，因为单群中不同的字词在基向量上诱导出不同的作用，从而确保矩阵同态的单射性。
• 该构造推广了已知的 $0$-Hecke 和 Kiselman 单群的有效表示，将它们的表示理论统一于一个共同的框架之下。