Disproved the quantum Hedetniemi conjecture by constructing explicit finite graphs where χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}, with counterexamples formally verified in Lean 4.
@informaq.bsky.social
@informaq.bsky.socialDisproved the quantum Hedetniemi conjecture by constructing explicit finite graphs where χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}, with counterexamples formally verified in Lean 4.