{"id":"arxiv/2609.19038","url":"https://arxiv.org/abs/2609.19038","tags":["math.LO"],"score":0,"title":"The measure half of the $2n+1$ problem","domain":"math.LO","source":"arxiv","authors":["José de Jesús Pelayo Gómez"],"reviews":0,"subject":"math.LO","summary":"Let $F_0,\\dots,F_{n-1}$ be Borel functions on a standard Borel space $X$ and let $G_F$ be the graph they generate. We prove that for every Borel probability measure $μ$ on $X$ there are a forward-invariant $μ$-conull Borel set $A \\subseteq X$ and a proper Borel $(2n+1)$-coloring of the restriction of $G_F$ to $A$; consequently $χ_M(G_F) \\le 2n+1$ in the total sense of Kechris and Marks. This answers positively, for every $n$ and with the optimal constant, the measure half of Problem 5.14 of the survey \"Descriptive graph combinatorics\" of Kechris and Marks -- the measurable version of a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-20","reactions":{}}