The conjecture proposed by Gaetz and Gao asserts that the Cayley graph of any Coxeter group possesses the strong hull property. This conjecture has been proved for symmetric groups, hyperoctahedral groups, all right-angled Coxeter groups, and computationally verified for finite Coxeter groups of types D₄, F₄, G₂, and H₃. This paper investigates all affine irreducible Coxeter groups of rank 3, specifically those of affine types A₂, C₂, and G₂. By employing key concepts from building theory, we develop novel techniques: first reducing and classifying the convex hull in their Cayley graphs into finitely many cases, then proving the strong hull conjecture for these cases through combinatorial computations. Notably, for the case of affine type G₂, we streamline the proof strategy by reducing it to a corollary of results established for affine type A₂. The reduction techniques developed in this study demonstrate potential for generalization. Their possible algebraic reformulation may not only provide new perspectives for further investigation of this conjecture but also offer methodological insights for algebraic combinatorics and geometric group theory.
Ziming Liu (Wed,) studied this question.