Bound on involution length in finite Coxeter groups assuming the Ancestor Conjecture

Let WW be a finite Coxeter group of rank rr, and suppose the Ancestor Conjecture holds, so that every element has a unique ancestor decomposition. For w∈Ww\in W, let ℓinv(w)\ell_{\mathrm{inv}}(w) be the number of involutions in this decomposition, with ℓinv(1)=0\ell_{\mathrm{inv}}(1)=0.

Bound on involution length. For every w∈Ww\in W,

ℓinv(w)≤r.\ell_{\mathrm{inv}}(w)\leq r.

This is a conditional consequence stated after the conjecture rather than an independent conjecture; the source gives no proof or resolution beyond the stated implication.

References

Primary source

Sarah B. Hart and Peter J. Rowley, “A note on involution prefixes in Coxeter groups”, arXiv:2502.00777 (2025).

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.