[論文レビュー] The Tur\'an number of Berge-K_4 in triple systems

András Gyárfás|arXiv (Cornell University)|Jul 30, 2018

Limits and Structures in Graph Theory参考文献 9被引用数 5

ひとこと要約

本稿は、3-一様超グラフ（三重系）におけるBerge-$K_4$の正確なツーラン数を決定し、$n \geq 6$ 頂点のBerge-$K_4$-自由三重系において、最大の三重数はバランスの取れた完全3部三重系によって達成されることを証明している。証明は帰納法と頂点部分集合上のトレース解析を用い、この上限を超える任意の超グラフはBerge-$K_4$構成を含むことから、すべての$n \geq 6$に対して extremal 関数を正確に特定している。

ABSTRACT

A Berge-$K_4$ in a triple system is a configuration with four vertices $v_1,v_2,v_3,v_4$ and six distinct triples $\\{e_{ij}: 1\\le i< j \\le 4\\}$ such that $\\{v_i,v_j\\}\\subset e_{ij}$ for every $1\\le i<j\\le 4$. We denote by $\\cal{B}$ the set of Berge-$K_4$ configurations. A triple system is $\\cal{B}$-free if it does not contain any member of $\\cal{B}$. We prove that the maximum number of triples in a $\\cal{B}$-free triple system on $n\\ge 6$ points is obtained by the balanced complete $3$-partite triple system: all triples $\\{abc: a\\in A, b\\in B, c\\in C\\}$ where $A,B,C$ is a partition of $n$ points with $$\\left\\lfloor{n\\over 3}\ ight\ floor=|A|\\le |B|\\le |C|=\\left\\lceil{n\\over 3}\ ight\ ceil.$$

研究の動機と目的

• Berge-$K_4$-自由な3-一様超グラフについて、$n$ 頂点における正確なツーラン数 $\mathrm{ex}_3(n, \mathcal{B}(K_4))$ を特定すること。
• バランスの取れた完全3部三重系が $n \geq 6$ において最大の三重数を達成することを証明すること。
• 最大のBerge-$K_4$（$K_4$の拡張）のみを禁じた場合でも、極値的構成が依然として最適であることを示すこと。
• Berge-$K_4$構成の正確な極値関数を解明し、先行の漸近的結果を正確な値に拡張すること。
• トレース多重グラフと次数制約を用いた自己完結的な帰納的証明により、Berge-$K_4$構成を除外すること。

提案手法

• 証明は $n$ についての帰納法に基づき、$n-1$ に対して結果が成り立つと仮定し、$n$ 頂点の $\mathcal{B}$-自由三重系が $f(n)$ を超える三重数を持つと仮定して矛盾を導く。
• 超グラフ $H_n$ の部分集合 $A \subset V(H_n)$ におけるトレース多重グラフ $G(A)$ を分析し、辺とループが $A$ と1つまたは2つの頂点で交わる三重を表す。
• トレースグラフにおけるツーラン定理を用い、部分グラフの辺数を抑え、トレースの部分グラフに $\mathrm{ex}(m, K_4) = \lfloor m^2/3 \rfloor$ を適用する。
• 次数制約を用いる：最小次数が $f(n) - f(n-1)$ を超える場合、構造はBerge-$K_4$を含むことになり、矛盾が生じる。
• 2頂点のトレースにおけるマッチングのサイズに基づく場合分けを行い、Berge-$K_4$を埋め込む可能性のある構成を除外する。
• 特に $n=6$ を含む小規模な $n$ における場合分けにより基本ケースを検証し、$f(6)+1 = 10$ 個の三重がBerge-$K_4$構成を強制することを示す。

実験結果

リサーチクエスチョン

• RQ1 Berge-$K_4$-自由な3-一様超グラフにおいて、$n$ 頂点における三重数の正確な最大値は何か？
• RQ2 バランスの取れた完全3部三重系は、$n \geq 6$ においてすべてのBerge-$K_4$-自由超グラフの中で最大の三重数を達成するか？
• RQ3 最大のBerge-$K_4$（$K_4$の拡張）のみを禁じた場合でも、極値関数を正確に特定できるか？
• RQ4 極値的構成は一意的か、それとも最大値を達成する非同型なBerge-$K_4$-自由超グラフが複数存在するか？
• RQ5 漸近的境界に依存せずに、帰納法とトレース解析によってBerge-$K_4$のツーラン数を確立できるか？

主な発見

• すべての $n \geq 6$ に対して、ツーラン数 $\mathrm{ex}_3(n, \mathcal{B}(K_4))$ は正確に $f(n) = \left\lfloor \frac{n}{3} \right\rfloor \left\lfloor \frac{n+1}{3} \right\rfloor \left\lfloor \frac{n+2}{3} \right\rfloor$ に等しい。
• バランスの取れた完全3部三重系は、この最大値を達成し、$n \geq 6$ において唯一の極値的構成である。
• 最大のBerge-$K_4$（10頂点の$K_4$の拡張）のみを禁じた場合でも、$n \geq 6$ に対して極値数は $f(n)$ のまま維持される。
• 基本ケース $n=6$ は全通りのケース分析により検証され、10個の三重がBerge-$K_4$構成を強制することが示された。
• 証明は、すべてのBerge-$K_4$構成を禁じる必要はなく、最大のもののみを禁じれば十分であるため、最小禁止族が一意でないことが示された。
• ピクフールコとムバイの先行の漸近的境界を補い、正確な等式を確立することで、より鋭い結果が得られた。