ナッシュ=ウィリアムズの予想を証明:最小次数が3/4nのグラフは三角形で分解できる
主な結論は明快です。頂点数nが十分大きい三角形可除(triangle-divisible)なグラフで、各頂点の最小次数が少なくとも3n/4であれば、そのグラフの辺は辺が重ならない三角形(K3)だけでちょうど覆うことができる、というものです。ここで「三角形可除」とは、総辺数が3で割り切れ、各頂点次数が偶数であるような基本的な割り切り条件を満たすことを指します。これは1970年に提起されたナッシュ=ウィリアムズの予想の完全解決です。
研究は三つの主要な部分で構成されます。第一部では「分数的」な主張を証明しました。これは各三角形に非負の重みを割り当てて、各辺に重みの合計がちょうど1になるようにする分数的三角形分解が、最小次数が3n/4以上なら常に存在する、という結果です。第二部では安定性の定理を示しました。もし最小次数が3n/4に近くても分数的な分解が存在しないなら、そのグラフは「n/2頂点ごとに等次数な二つのグラフの和(ジョイン)」に近い形をしている、という構造的な結論です。第三部ではこれらを合わせて、分数解から整数解(実際の三角形分解)へと導き、元のナッシュ=ウィリアムズの予想を完全に解きました。
手法の核心は新しい「双対でのディスチャージング(discharging in the dual)」という考え方です。分解問題は線形計画法の観点から見れば双対問題を持ちます。論文は分解のためのファルカスの補題(Farkas’ Lemma)に基づく双対的な議論と、そこに適用する新しいディスチャージング規則を組み合わせて、分数的分解を作る道筋を作りました。さらに極端な場合を扱うために「吸収器の安定性」「部分分割設計(partitioned designs)」「性質検査(property testing)」などの補助的な技法も用いています。これらは本文で詳しく分けて論証されています。
なぜ重要かというと、この問題は組合せデザイン理論で最も基本的で長年未解決だった問題の一つだからです。以前の最良の上界は著者らの2021年の仕事などでδ*≈0.82733とされていましたが、本稿はその閾値を厳密に3/4に下げ、予想を確定させました。論文はまたいくつかの即時の系として、十分大きいグラフに対する高い円周長(girth)を持つ三角形分解の存在や、3色可能なグラフに対する分解閾値が3/4でよいこと、最小次数が与えられたグラフでの最大三角形詰め込みに関する結果などを挙げています。
留意点もあります。主張は「nが十分大きい」という条件の下で成り立ちます。さらに対象は三角形可除という割り切り条件を満たすグラフに限られます。3/4という閾値は既知の極端例(例えば頂点を半分に分け、それぞれで等次数のグラフにして両側を完全連結するジョイン)によって最良可能であることが示されています。証明は多くの技法を組み合わせた長く細かい議論を含みますが、論文は分数的結果と安定性、極端な場合の処理を段階的にまとめることで最終的な整数分解の存在を導いています。