{"id":"arxiv/2610.07968","url":"https://arxiv.org/abs/2610.07968","tags":["math.CO"],"score":0,"title":"An independent computer-assisted proof of the Chen-Raspaud conjecture for k=4","domain":"math.CO","source":"arxiv","authors":["Marysia Nazarczuk"],"reviews":0,"subject":"math.CO","summary":"We give an independent computer-assisted proof of the k=4 case of the Chen-Raspaud conjecture. We prove that every graph G with odd-girth(G) >= 9 and mad(G) < 9/4 admits a homomorphism to the Kneser graph K(9,4). The proof combines a minimal-counterexample argument with a rooted star replacement, exact finite computations in K(9,4), and a final charging argument. After all reducible local types are removed, the unique positive local type is (3,3,4). Its unit excess is transferred through its 4-thread to a relative with sufficient negative capacity. The computer-assisted statements used in…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-06","reactions":{}}