Reinis Cirpons,James East,James D. Mitchell
Abstract:We obtain formulae for the minimum transformation degrees of the most well-studied families of finite diagram monoids, including the partition, Brauer, Temperley--Lieb and Motzkin monoids. For example, the partition monoid $\mathcal P_n$ has degree $1 + \frac{B(n+2)-B(n+1)+B(n)}2$ for $n\geq2$, where these are Bell numbers. The proofs involve constructing explicit faithful representations of the minimum degree, many of which can be realised as (partial) actions on projections.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to calculate the minimum transformation degree of some specific diagram monoids. Specifically, the authors focus on several common families of finite diagram monoids, including the partition monoid, the partial Brauer monoid, the planar partition monoid, the Motzkin monoid, etc. For these monoids, they derive specific formulas for their minimum transformation degrees and prove these results by constructing explicit faithful representations.
For example, for the partition monoid \(P_n\), its minimum transformation degree is given by the following formula:
\[
\text{deg}(P_n) = 1+\frac{B(n + 2)-B(n + 1)+B(n)}{2}
\]
where \(B(n)\) is the \(n\)th Bell number. In addition, they also provide similar formulas for other monoids, such as the Brauer monoid, the Temperley - Lieb monoid, etc., and express these results using sequences of natural numbers (such as Catalan numbers and Motzkin numbers).
In summary, the main objective of this paper is to accurately determine the minimum transformation degrees of these diagram monoids by providing specific formulas and construction methods, thereby providing a deeper understanding of these mathematical structures.