グラフの量子彩色数に関するヘデトニエミ予想を反証
A counterexample to the quantum Hedetniemi conjecture
この論文をやさしく読む
ひとことで言うと
グラフの積の量子彩色数について知られていた予想を、具体的な有限グラフの反例で否定します。
何に役立つ？
量子版グラフ彩色で成り立つ関係の限界を明確にする、組合せ論と作用素代数の基礎結果です。
この研究の面白いところ
積は1538色以下で古典彩色できる一方、各因子の量子彩色数は少なくとも1539という隔たりを構成します。
どこまで分かった？
複数の量子彩色の変種にも反例が及び、射影による定式化の構成・証明書・反例の主張をLean 4で形式化したと報告しています。実験的な量子優位の測定ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
Godsil、Roberson、Šámal、Severiniは、2つのグラフの圏論的積の量子彩色数が、各因子の量子彩色数の最小値に等しいと予想した。本研究はこの予想を反証する。具体的な有限グラフG,Hを構成し、χ(G×H)≤1538＜1539＝min(χ_q(G),χ_q(H))を満たすことを示す。 これらのグラフは、ヘデトニエミ予想に対するZhuの反例から得られる。その際、分数彩色数だけでなく、補グラフのLovászのシータ数も大きい基礎グラフを使う。第1因子の下界はシータ境界である。第2因子には、非可換な射影にも対応するようZhuの議論を改める。クリークの色を固定する段階を、演算子間の恒等式に置き換える。 どちらの下界も、任意の非零の単位的C*代数における射影による彩色について成り立つ。したがって、この予想は、量子彩色数の空間的、近似的、可換演算子的、C*代数的な各変種についても成立しない。さらに、厳密な整数データで検証できる、より小さな反例も与える。グラフの構成、検証証明書、射影による定式化での反例の命題は、Lean 4で形式化されている。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Godsil, Roberson, Šámal and Severini conjectured that the quantum chromatic number of the categorical product of two graphs equals the minimum of the quantum chromatic numbers of the factors. We disprove this conjecture: we construct explicit finite graphs $G,H$ with \[ \chi(G\times H) \leq 1538 < 1539 = \min(\chi_q(G),\chi_q(H)).\]The graphs are obtained from Zhu's counterexample to Hedetniemi's conjecture by using a base graph for which the Lovász theta number of the complement, and not only the fractional chromatic number, is large. The lower bound for the first factor is the theta bound. For the second factor we adapt Zhu's argument to projections that do not commute: the step that fixes the colors of a clique is replaced by identities between operators. Both lower bounds hold for colorings by projections in an arbitrary nonzero unital $C^*$-algebra. Hence the conjecture also fails for the spatial, approximate, commuting-operator and $C^*$-algebraic variants of the quantum chromatic number. We also give smaller counterexamples certified by exact integer data. The graph constructions, the certificates and the counterexample statements in the projective formulation are formalized in Lean~4.
著者のコメント
18 pages + 3 pages appendix, 3 figures
arXiv ID: 2609.20690 ／ 要約の誤りについて