Graphs with convex balls
J\'er\'emie Chalopin, Victor Chepoi, Ugo Giocanti

TL;DR
This paper studies graphs where all balls are convex, providing characterizations, properties, and showing that associated groups are biautomatic, thus extending understanding of geometric and algebraic properties of these graphs.
Contribution
It introduces metric and local-to-global characterizations of CB-graphs, proves dismantlability of their squares, and shows CB-groups are biautomatic, extending prior work on systolic and Helly groups.
Findings
CB-graphs are characterized by simply connected triangle-pentagonal complexes and convex balls of radius up to 3.
Squares of CB-graphs are dismantlable, implying their Rips complexes are contractible.
CB-groups are biautomatic, extending properties known for systolic and Helly groups.
Abstract
In this paper, we investigate the graphs in which all balls are convex and the groups acting on them geometrically (which we call CB-graphs and CB-groups). These graphs have been introduced and characterized by Soltan and Chepoi (1983) and Farber and Jamison (1987). CB-graphs and CB-groups generalize systolic (alias bridged) and weakly systolic graphs and groups, which play an important role in geometric group theory. We present metric and local-to-global characterizations of CB-graphs. Namely, we characterize CB-graphs as graphs whose triangle-pentagonal complexes are simply connected and balls of radius at most are convex. Similarly to systolic and weakly systolic graphs, we prove a dismantlability result for CB-graphs : we show that their squares are dismantlable. This implies that the Rips complexes of CB-graphs are contractible. Finally, we adapt and…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
