combinatorics / Spectral graph theory, graph coloring

The Colin de Verdiere Chromatic Conjecture

Theorem 1.1: there are graphs of arbitrarily large order with α(G)≤2\alpha(G)\le2 and μ(G)+1<∣V(G)∣/2≤χ(G)\mu(G)+1<|V(G)|/2\le\chi(G); the fractional chromatic number also exceeds μ(G)+1\mu(G)+1. The proof shows every well-signed matrix on the graph with one negative eigenvalue has rank above ∣V(G)∣/2+1|V(G)|/2+1, without using the Strong Arnold Property, so the Lovasz-Schrijver parameter κ\kappa also satisfies κ(G)+1<∣V(G)∣/2\kappa(G)+1<|V(G)|/2. Since h≤μ+1h\le\mu+1, these graphs also violate Hadwiger's inequality, by a route independent of the connected-matching companion. Nothing is claimed for small μ\mu.

30Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

combinatoricsSep 23, 2026Significance 30/100Registry: unreviewed

The Colin de Verdiere Chromatic Conjecture

Prior state unknown→disproved

Theorem 1.1: there are graphs of arbitrarily large order with α(G)≤2\alpha(G)\le2 and μ(G)+1<∣V(G)∣/2≤χ(G)\mu(G)+1<|V(G)|/2\le\chi(G); the fractional chromatic number also exceeds μ(G)+1\mu(G)+1. The proof shows every well-signed matrix on the graph with one negative eigenvalue has rank above ∣V(G)∣/2+1|V(G)|/2+1, without using the Strong Arnold Property, so the Lovasz-Schrijver parameter κ\kappa also satisfies κ(G)+1<∣V(G)∣/2\kappa(G)+1<|V(G)|/2. Since…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: there are graphs of arbitrarily large order with α(G)≤2\alpha(G)\le2 and μ(G)+1<∣V(G)∣/2≤χ(G)\mu(G)+1<|V(G)|/2\le\chi(G); the fractional chromatic number also exceeds μ(G)+1\mu(G)+1. The proof shows every well-signed matrix on the graph with one negative eigenvalue has rank above ∣V(G)∣/2+1|V(G)|/2+1, without using the Strong Arnold Property, so the Lovasz-Schrijver parameter κ\kappa also satisfies κ(G)+1<∣V(G)∣/2\kappa(G)+1<|V(G)|/2. Since h≤μ+1h\le\mu+1, these graphs also violate Hadwiger's inequality, by a route independent of the connected-matching companion. Nothing is claimed for small μ\mu.

Theorem 1.1: there are graphs of arbitrarily large order with α(G)≤2\alpha(G)\le2 and μ(G)+1<∣V(G)∣/2≤χ(G)\mu(G)+1<|V(G)|/2\le\chi(G); the fractional chromatic number also exceeds μ(G)+1\mu(G)+1. The proof shows every well-signed matrix on the graph with one negative eigenvalue has rank above ∣V(G)∣/2+1|V(G)|/2+1, without using the Strong Arnold Property, so the Lovasz-Schrijver parameter κ\kappa also satisfies κ(G)+1<∣V(G)∣/2\kappa(G)+1<|V(G)|/2. Since h≤μ+1h\le\mu+1, these graphs also violate Hadwiger's inequality, by a route independent of the connected-matching companion. Nothing is claimed for small μ\mu.

Recorded attempts

Evidence graph

Connected research record

The Colin de Verdiere Chromatic Conjecture — Mathematical Frontier Network