Garside shadows and biautomatic structures in Coxeter groups

Fabricio Dos Santos

In 2022, Osajda and Przytycki showed that any Coxeter group $W$ is biautomatic. Key to their proof is the notion of voracious projection of an element $g\in W$, which is used iter…