{"id":"arxiv/2609.22680","url":"https://arxiv.org/abs/2609.22680","tags":["math.CO","math.MG"],"score":0,"title":"Orthogonal Pairs in Maps from the Sphere to the Circle","domain":"math.CO","source":"arxiv","authors":["Jonathan A. Noel"],"reviews":0,"subject":"math.CO","summary":"We prove that, for any $f:S^2\\to S^1$ and any $\\varepsilon>0$, there exist orthogonal vectors $x,y\\in S^2$ such that the length of the shortest arc between $f(x)$ and $f(y)$ is at most $π/2 +\\varepsilon$. This proves a conjecture of Ghebleh from 2007 that the circular chromatic number of the real orthogonality graph is equal to four.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-19","reactions":{}}