量子Hedetniemi予想を、χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}を満たす明示的な有限グラフを構成することにより反証しました。反例はLean 4で形式的に検証されています。

#量子グラフ理論 #数理物理 #研究