Isometric dimension conjecture for braid graphs of reduced expressions
Reduced-expression isometric-dimension conjecture.