Casselman's regularity conjecture for cell languages

Let WW be a Coxeter group with generating set SS, and let CWC\subset W be a cell. Write Red(C)\mathtt{Red}(C) for the language of reduced expressions of elements of CC. Casselman's regularity conjecture. For any Coxeter group WW and any cell CWC\subset W, there exists a finite state automaton accepting the language Red(C)\mathtt{Red}(C). That is, the language Red(C)\mathtt{Red}(C) is regular. This conjecture asks whether the generally infinite combinatorial data of every cell can be encoded by a finite-state automaton. The source gives no resolution in the stated generality; in the paper, regularity is established for cells in the affine Weyl groups studied there.

Sources & referencesView supporting material

Primary source

Paul E. Gunnells, “Automata and cells in affine Weyl groups”, arXiv:0807.2463 (2008).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.