Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper investigates the tableaux monoid through the lens of rewriting theory, constructing a finite quadratic convergent presentation that establishes a biautomatic structure. The authors then extend this to a finite coherent presentation, enabling canonical normal forms and yielding homological and algorithmic consequences. This work culminates in a higher-dimensional presentation suitable for describing actions of the tableaux monoid on categories.
A finite, quadratic convergent presentation for the tableaux monoid unlocks biautomaticity and canonical normal forms, paving the way for new algorithmic and homological insights.
We study the tableaux monoid from the perspective of rewriting theory. We first construct a finite quadratic convergent presentation based on column generators and prove that it yields a biautomatic structure. We then extend this presentation to a finite coherent presentation in the sense of polygraphic rewriting. These results provide canonical normal forms, yield homological and algorithmic consequences, and produce a higher-dimensional presentation that can be used to describe actions of the tableaux monoid on categories.