Conjecture on cycles in the expression graph of a Coxeter group
Conjecture on cycles in the expression graph of a Coxeter group
Let be a Coxeter system, let , and let an expression for be a tuple of elements of such that . Let be the directed graph whose vertices are all expressions for , with directed edges given by braid moves. The graph is the corresponding graph on reduced expressions.
Expression-graph conjecture. For every , the theorem of Bergeron, Ceballos and Labbé concerning cycles in remains valid when is replaced by .
This proposes extending the result from reduced to arbitrary, generally non-reduced, expressions. Unlike , the graph is generally infinite and has several connected components, so the conjecture concerns cycles in a substantially larger graph.
Sources & referencesView supporting material
Primary source
Darij Grinberg and Alexander Postnikov, “Proof of a conjecture of Bergeron, Ceballos and Labbé”, arXiv:1603.03138 (2026).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.