English

Braid graphs in simply-laced triangle-free Coxeter systems are median

Combinatorics 2024-09-02 v1

Abstract

Any two reduced expressions for the same Coxeter group element are related by a sequence of commutation and braid moves. Two reduced expressions are said to be braid equivalent if they are related via a sequence of braid moves. Braid equivalence is an equivalence relation and the corresponding equivalence classes are called braid classes. Each braid class can be encoded in terms of a braid graph in a natural way. In a recent paper, Awik et al.~proved that when a Coxeter system is simply laced and triangle free (i.e., the corresponding Coxeter graph has no three-cycles), the braid graph for a reduced expression is a partial cube (i.e., isometric to a subgraph of a hypercube). In this paper, we will provide an alternate proof of this fact, as well as determine the minimal dimension hypercube into which a braid graph can be isometrically embedded, which addresses an open question posed by Awik et al. For our main result, we prove that braid graphs in simply-laced triangle-free Coxeter systems are median, which is a strengthening of previous results.

Keywords

Cite

@article{arxiv.2408.16839,
  title  = {Braid graphs in simply-laced triangle-free Coxeter systems are median},
  author = {Jillian Barnes and Jadyn V. Breland and Dana C. Ernst and Ruth Perry},
  journal= {arXiv preprint arXiv:2408.16839},
  year   = {2024}
}

Comments

24 pages, 19 figures