[論文レビュー] On a conjecture of Erd\H{o}s on locally sparse Steiner triple systems

Stefan Glock, Daniela Kühn+2 more|arXiv (Cornell University)|Feb 12, 2018

Limits and Structures in Graph Theory参考文献 29被引用数 8

ひとこと要約

この論文は、パシュ型やミットル型の禁止構成を積極的に避けるランダムプロセスを分析することで、Erdősの局所的にスパースなスティーナー三元系に関する予想を証明している。任意の固定された k に対して、n 階の k-スパースな部分スティーナー三元系が存在し、その三元組数は (1/6 - o(1))n² に漸近的に達する。これは、j ≤ k+2 であるすべての (j, j-2)-構成を回避しつつ、最大密度に近づく。

ABSTRACT

A famous theorem of Kirkman says that there exists a Steiner triple system of order $n$ if and only if $n\\equiv 1,3\\mod{6}$. In 1973, Erd\\H{o}s conjectured that one can find so-called `sparse' Steiner triple systems. Roughly speaking, the aim is to have at most $j-3$ triples on every set of $j$ points, which would be best possible. (Triple systems with this sparseness property are also referred to as having high girth.) We prove this conjecture asymptotically by analysing a natural generalization of the triangle removal process. Our result also solves a problem posed by Lefmann, Phelps and R\\"odl as well as Ellis and Linial in a strong form, and answers a question of Krivelevich, Kwan, Loh, and Sudakov. Moreover, we pose a conjecture which would generalize the Erd\\H{o}s conjecture to Steiner systems with arbitrary parameters and provide some evidence for this.

研究の動機と目的

• Erdősが提起した、高径路長の局所的にスパースなスティーナー三元系の存在に関する長年の予想を解決すること。
• 任意の固定された k に対して、十分に大きな適切な n に対して k-スパースなスティーナー三元系が存在することを確立すること。
• Lefmann, Phelps, Rödl が提起した、有界密度下限を満たす部分スティーナー三元系の存在に関する問題に対する強力な解決策を提供すること。
• パシュ型やミットル型の禁止部分構造を分析することで、3-一様超グラフにおける極値的構成の理解を拡張すること。
• 径路長条件とスパarsityに基づいて、任意パラメータを持つスティーナー系の一般化予想を提示すること。

提案手法

• 禁止された (j, j-2)-構成を避けるように三元組を逐次追加する、三角形除去プロセスに類似したランダムプロセスを用いる。
• 依存関係グラフを巧みに構築することで、Lovászの局所的補題を適用し、スパarsity制約に違反する確率を制御する。
• 過剰な三元組数（j-集合上）、不規則な次数（r-集合上）、および高い共通次数（r-集合のペア上）の違反を追跡するための臨界事象 B_S、B_e、B_ee' を定義する。
• Chernoff 型の不等式を用いて、次数および構成違反の確率を推定し、期待値の周囲に集中することを保証する。
• 補助的な超グラフを導入し、定理 7.4 を適用して大きなマッチングを抽出することで、ほとんどすべての r-集合をカバーする部分スティーナー系を得る。
• スパarsity と密度のトレードオフを調整するパラメータ θ を導入し、悪影響事象の確率が指数的に減少することを保証する。

実験結果

リサーチクエスチョン

• RQ1 Erdős の予想、すなわちすべての固定された k に対して k-スパースなスティーナー三元系が漸近的に成立することを確認できるか？
• RQ2 k が増加しても、k-スパースな部分スティーナー三元系で密度が 1/6 に近づくことは可能か？
• RQ3 すべての j ≤ k+2 に対して (j, j-2)-構成を回避する部分スティーナー三元系の最大密度は何か？
• RQ4 禁止構成を避けるように三元組を貪欲に追加するランダムプロセスは、近似的に最適なサイズの系を生成できるか？
• RQ5 n → ∞ かつ k を固定したとき、最大の k-スパースな部分スティーナー三元系の漸近的挙動は何か？

主な発見

• 任意の固定された k に対して、n 頂点上に (1/6 - o(1))n² 個の三元組を持つ k-スパースな部分スティーナー三元系が存在し、Erdős の予想が漸近的に確認された。
• このような系の密度は 1/6 に近づき、Lefmann, Phelps, Rödl が提起した問いを解決し、k の増加に伴い c_k → 1/6 となることが示された。
• この結果は、j ≤ k+2 に対してすべての (j, j-2)-構成を回避する部分スティーナー三元系の最大密度が漸近的に最適であることを示唆する。
• 証明により、三角形除去型プロセスを拡張し、径路長が高く、ほぼ最大サイズの系を生成できることを示した。
• この方法により、すべての Erdős-構成（k+2 頂点以内）を回避する系の存在が確認された。これにはパシュ型やミットル型の構成が含まれる。
• 著者らは、任意パラメータを持つスティーナー系の一般化予想を提示し、すべての適切なパラメータに対して高径路長の系が存在すると示唆している。