{"id":"arxiv/2607.10125","url":"https://arxiv.org/abs/2607.10125","tags":["math.CO"],"score":0,"title":"Finite Three-Colourable (0,2)-Graphs Are Bipartite","domain":"math.CO","source":"arxiv","authors":["Christopher Williamson"],"reviews":0,"subject":"math.CO","summary":"A theorem of Payan says that a cubelike graph cannot have chromatic number exactly three. A nearby question, usually discussed as Payan's finite $(0,2)$-graph question, asks whether a finite graph in which every two distinct vertices have either zero or two common neighbours can have chromatic number exactly three. The finite hypothesis is meaningful: infinite three-chromatic $(0,2)$-graphs can be constructed \\cite{Payan1992}. We prove that every finite three-colourable $(0,2)$-graph is bipartite. Thus, no finite $(0,2)$-graph has chromatic number exactly three.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-11","reactions":{}}