Word posets, complexity, and Coxeter groups
Matthew J. Samuel

TL;DR
This paper introduces word posets to analyze the structure of commutation classes in monoids and Coxeter groups, demonstrating that counting words in these classes is #P-complete and providing recursive formulas for enumeration.
Contribution
It defines word posets as a new tool to study commutation classes, establishes their correspondence with these classes, and applies this framework to Coxeter groups, including complexity results and enumeration methods.
Findings
Counting words in commutation classes is #P-complete.
Enumerating reduced words in Coxeter groups is #P-complete.
A recursive formula for the number of commutation classes of reduced words is derived.
Abstract
A monoid generated by a set of symbols can be described as the set of equivalence classes of finite words in under some relations that specify when some contiguous sequence of symbols can be replaced by another. If , a relation of the form is said to be a \emph{commutation relation}. Words that are equivalent using only a sequence of commutation relations are said to be in the same \emph{commutation class}. We introduce certain partially ordered sets that we call \emph{word posets} that capture the structure of commutation classes in monoids. The isomorphism classes of word posets are seen to be in bijective correspondence with the commutation classes, and we show that the linear extensions of the word poset correspond bijectively to the words in the commutation class, using which we demonstrate that enumerating the words in commutation classes of monoids…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
Topicssemigroups and automata theory · Advanced Combinatorial Mathematics · Coding theory and cryptography
