[論文レビュー] A Short Proof of Gowers' Lower Bound for the Regularity Lemma

Guy Moshkovitz, A. Shapira|arXiv (Cornell University)|Aug 24, 2013

Limits and Structures in Graph Theory参考文献 3被引用数 4

ひとこと要約

この論文は、Gowersの正則性補題の下界に関する簡略化された、より短い証明を提示している。最小の部分集合数が ε-正則な等分割において、1/ε の多項式の高さを持つ累乗の塔として成長することを示している。著者たちは、より良い構造的制約を用いた帰納的構成を精緻化することで、t wr(1/ε^{1/6}) の境界を達成した。これは、従来の複雑な証明を著しく簡略化しつつ、漸近的にタイトな下界を維持している。

ABSTRACT

A celebrated result of Gowers states that for every ε> 0 there is a graph G so that every ε-regular partition of G (in the sense of Szemeredi's regularity lemma) has order given by a tower of exponents of height polynomial in 1/ε. In this note we give a new proof of this result that uses a construction and proof of correctness that are significantly simpler and shorter.

研究の動機と目的

• Gowersの正則性補題の下界に対する著しく簡潔で短い証明を提供すること。これは、かつては極めて複雑な構成と証明を必要としていた。
• ε-正則な等分割の最小の次数 M(ε) が 1/ε における多項式の高さを持つ累乗の塔として成長することを確立し、Szemerédiの元々の境界のタイトさを確認すること。
• Gowersの最初の証明で用いられた帰納的アプローチを拡張することで、『t wr(c log(1/ε))』よりもはるかに強い下界 t wr(1/ε^c) を得られるように、構成における構造的制約を変更すること。
• 弱い正則性補題のバージョンに対しても同様の下界を導出できる可能性がある、新たなアクセス可能な証明を提供すること。

提案手法

• 辺の重みが [0,1] に属する重み付き完全グラフを構成し、任意の ε-よい等分割が少なくとも t wr(1/ε^c) のサイズを持つように設計する。ただし c=1/6 とする。
• サイズ M の集合上での二部分割の帰納的構成を用い、各段階が 1/16-バランスの取れたものとなるようにし、精錬における正則性の制御を維持する。
• Chernoffの不等式（補題 2.1）を適用して、重み付きグラフのランダム部分グラフが高確率で正則性の性質を保つことを示し、したがって境界を真のグラフに移すことができる。
• β-精錬を定義し、平均化の議論を用いて、無用な頂点および集合の数を抑え、帰納的段階において十分な数の有用な集合が存在することを保証する。
• 密度差に基づく背理法を用いる：もし多すぎるペアが ε-正則であれば、バランスの取れた二部分割における密度差が ε を超え、正則性を破ることになる。
• ネストされた精錬の構造と層 G_r から G_s への密度シフトの性質を活用して、十分多くのペアが不規則になるように強制し、分割サイズに対する必要な下界を確保する。

実験結果

リサーチクエスチョン

• RQ1 Gowersの正則性補題の分割サイズに関する下界に対して、より簡潔な証明を構築することは可能か？
• RQ2 Gowersの最初の証明で用いられた帰納的アプローチを拡張することで、『t wr(c log(1/ε))』ではなく『t wr(1/ε^c)』の累乗高さの下界を達成することは可能か？
• RQ3 構成におけるどのような構造的修正が、帰納的議論を 1/ε^c 回の反復に成功させるのか？
• RQ4 同じ技術を、ε-よい分割のような正則性補題の弱いバージョンの下界を証明するために適応できるか？
• RQ5 ε-よい分割に対して M'(ε) ≥ t wr(c/ε^{1/2}) が成り立つような最適な定数 c は何か？また、この定数は M(ε) を評価するために利用可能か？

主な発見

• 論文は、c=1/6 を用いて、ε-よい分割に対して M'(ε) ≥ t wr(c/ε^{1/2}) の下界を確立した。これは、このような分割が 1/ε における多項式の高さを持つ累乗の塔として成長することを示している。
• この境界は、Gowersの元々の第二証明（「見事な業績」と評された）よりも著しく簡潔で短い構成と帰納的議論によって達成された。
• 著者たちは、無用な頂点の分布と密度シフトの制御を細かく行うことで、帰納的ステップを O(1/ε^{1/6}) 回反復可能であることを示した。これは、Gowersの最初の証明で可能だった O(log(1/ε)) 回の反復よりもはるかに多い。
• Chernoffの不等式（補題 2.1）を用いることで、著者たちは重み付きグラフからの下界を高確率で真のグラフに移し、標準的な設定でも境界が成り立つことを保証した。
• もし多すぎるペアが ε-正則であれば、バランスの取れた二部分割における制御不能な密度差が生じ、正則性が破れる。この背理により、不規則なペアが十分に存在することが強制される。
• 構成により、任意の ε-よい分割に対して、(Z_0, Z) が ε-不規則となるような異なる集合 Z が少なくとも εk 個存在することが保証され、これが帰納的下界の鍵となっている。