ロヴァス予想に接近:頂点推移グラフでほぼ線形の長さの閉路を構成
この論文は、対称性の高いグラフ(頂点推移グラフ)に関する長い閉路の存在を示します。具体的には、任意の小さな正数εについて、十分大きな頂点推移グラフの頂点数をnとすると、そのグラフには長さが少なくとも n^{1-ε} である閉路が常に存在することを示しています。これは、これまでの最良の一般下界 n^{2/3-o(1)} を大きく上回る、ほぼ線形の下界です。背景には1969年にロヴァスが提起した「すべての連結な頂点推移グラフにハミルトン路(全頂点を通る道)があるか」という有名な問題があります。今回の結果はその主張を完全には解決しませんが、大きく前進するものです。
研究者らはまず、Tessera と Tointon の構造定理を使って、元のグラフの頂点集合を「直径が小さい部分」に分割しました。この分割はグラフの対称性(任意の自己同型写像が部分を置換する)を保ちます。分割後に各部分を1つの頂点として扱った商(クォシエント)グラフQを作ると、このQも頂点推移性を持ち、最大次数が3以下の被覆木(各頂点の次数が高くならない木)をもつことがわかります。分割のサイズや性質に応じて、扱いを二つに分けて議論を進めます。
部分が大きい場合は、被覆木を何度も往復するような経路を選びます。各往復である辺を両方向に一度ずつ使うため、ある部分は多くても4回しか訪れません。この往復に沿って、部分間の短い経路をランダムに選び、それらをつなぎ合わせて元のグラフにおける長い単純路(同じ頂点を2回通らない道)を作ります。ここで、頂点推移性により「ある頂点を通る短い経路の期待数」が一様に制御できる点と、確率的な衝突(選んだ経路同士が望ましくない形で交差すること)を避けるために Lovász の局所標準補題(Lovász local lemma)を使う点が重要です。
部分が小さい場合は、部分の数が多くなるため、商グラフQでほぼ線形の長さの道を見つければ元のグラフでも同じ数の頂点を含む道に持ち上げ(lift)られます。さらに、Tessera--Tointon の定理が与える群論的な構造を利用して、Babai の収縮補題で問題を「有限群の Cayley(ケイリー)グラフ」に還元します。そこで扱う群は可換性や階層(ニルポテント性)が制限されており、生成元の個数やニルポテント階数が有界です。そのような Cayley グラフ上で、頂点数 m に対して長さ m^{1-o(1)} の道が存在することを示すことで、元の問題に近線形の下界をもたらします。
この結果の意義は明確です。長さの下界が従来の n^{2/3-o(1)} から n^{1-o(1)} に改善されたことで、ロヴァス予想(ハミルトン路の存在)へまた一歩近づきました。一方で重要な留意点もあります。本結果は「十分大きな n に対して」成り立つ漸近的な主張です。ハミルトン路そのものの存在はまだ示されておらず、定数や具体的な閾値はこの要約からは示されていません。また証明は構造定理、確率的手法、群論的な還元といった複数の高度な道具に依存しており、実際の有限サイズのグラフに対する具体的な評価や例外の扱いは元論文での詳細な議論を参照する必要があります。