{"id":"arxiv/2601.04417","url":"https://arxiv.org/abs/2601.04417","tags":["math.LO"],"score":0,"title":"A Borel graphable equivalence relation with no Borel graphing of diameter two","domain":"math.LO","source":"arxiv","authors":["Patrick Lutz"],"reviews":0,"subject":"math.LO","summary":"We answer a question of Arant, Kechris and Lutz by showing that there is a Borel graphable equivalence relation with no Borel graphing of diameter less than 3. More specifically, we prove that there is an equivalence relation with a Borel graphing of diameter at most 4 but no Borel graphing of diameter less than 3. Our proof relies on a technical lemma about computability-theoretic genericity, which may have other applications.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-07","reactions":{}}