[論文レビュー] A Model Theoretic Proof of Szemerédi's Theorem

Henry Towsner|arXiv (Cornell University)|Feb 24, 2010

Limits and Structures in Graph Theory参考文献 13被引用数 6

ひとこと要約

この論文は、超積とローブ測度を用いて、ハルシュォフスキーの安定的理論的手法と無限大の正則性議論のアイデアを活用し、モデル理論的証明を提示する。主な貢献は、有限正則性補題を避けるために定義可能集合と非標準解析を用いることで、整数の稠密部分集合に等差数列が存在することを概念的で簡潔に示す証明である。

ABSTRACT

We present a short proof of Szemerédi's Theorem using a dynamical system enriched by ideas from model theory. The resulting proof contains features reminiscent of proofs based on both ergodic theory and on hypergraph regularity.

研究の動機と目的

• モデル理論的技法を用いて、シュレーディングの定理の新しい短い証明を提供すること。
• 遍歴的理論、ハイパーグラフ正則性、およびハルシュォフスキーの安定的理論的手法からの知見を統合すること。
• 有限正則性補題の代わりに、非標準モデルにおける広義の型と定義可能集合が機能することを示すこと。
• 無限大測度論的議論を用いて、整数の稠密部分集合に長い等差数列が存在することを確立すること。
• 最近の遍歴的証明における「快適な拡張」の技術とモデル理論的手法との関係を明確にすること。

提案手法

• 稠密部分集合 An を持つ有限群 [1, 2n+1] の超積を構成し、非標準モデル (G, +, A) を得る。
• ローブ測度を用いて、内部測度を定義可能集合のボレル集合へのファイニットリー加法的測度に拡張する。
• 転送原理を適用し、標準的測度不等式と非標準的測度不等式を関連づけ、m(ϕ) > γ ならば μ(ϕ) ≥ γ が成り立つようにする。
• k 項の等差数列に対応する定義可能集合 A*I を定義し、それらの共通部分集合を用いて組合せ的構成を符号化する。
• k に関する帰納法を用い、測度差を制御する近似集合 B*I,J を構築し、等差数列の不在を仮定した場合の矛盾を導出する。
• ローブ測度のフビニーの定理を用いて、タプル上の反復積分を扱い、成分間での測度制御を維持する。

実験結果

リサーチクエスチョン

• RQ1 広義の型と定義可能集合に基づくモデル理論的枠組みは、シュレーディングの定理の証明において有限正則性補題を置き換えることができるか？
• RQ2 ハルシュォフスキーの安定的理論的手法と加法的組合せ論における無限大正則性議論との関係は何か？
• RQ3 遍歴的理論における対応原理は、非標準モデルとローブ測度を用いて再定式化可能か？
• RQ4 正則性補題を明示的に用いずに、稠密集合に等差数列が存在することを示すことは可能か？
• RQ5 定義可能同型写像と測度論的転送は、非標準モデルにおける組合せ的構成を構築する上で果たす役割は何か？

主な発見

• シュレーディングの定理が成立しないと仮定すると、超積モデル (G, +, A) において A に k 項の等差数列が存在しない。
• ローブ測度 μ は μ(⋂I A*I) > 0 を満たし、これは等差数列に対応する定義可能集合の共通部分集合が正の測度を持つことを示す。
• 等差数列を形成するタプルの集合の測度は、近似集合の共通部分集合の測度の 1/(n choose k + 1) 倍以上に下から抑えられる。
• 背理法により、μ(⋂I A*I) = 0 であると仮定すると、μ(A*I Δ B*I) < δ を満たす集合 B*I の構成が可能となり、共通部分集合が空でないことに矛盾する。
• 証明により μ(⋂I A*I) > 0 が示され、転送により、十分大きな N に対して、[1,N] の δ-稠密部分集合が k 項の等差数列を含むことが示される。
• この手法はシュレーディング正則性補題の明示的使用を避け、代わりに定義可能集合と測度論的転送を用いて同様の制御を達成する。