[論文レビュー] Hypergraphs with few Berge paths of fixed length between vertices

Zhiyang He, Michael Tait|arXiv (Cornell University)|Jul 26, 2018

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

ひとこと要約

この論文は、極値的グラフ理論における古典的な偶数サイクル問題をハイパーグラフへ拡張し、固定長 $k$ のBergetパスが頂点対に対して $t$ 個を超えないような $r$-一様ハイパーグラフにおけるハイパーエッジの最大数を考察する。確率論的および代数幾何学的手法を用いて、$t$ が十分に大きいとき、極値的辺数が $ olimits\Theta(n^{1+1/k})$ であることを確立し、グラフに対する既知の結果をハイパーグラフへ一般化し、Berge-$ olimits\Theta_{k,t}$-自由ハイパーグラフのオーダーの大きさを確認する。

ABSTRACT

In this paper we study the maximum number of hyperedges which may be in an $r$-uniform hypergraph under the restriction that no pair of vertices has more than $t$ Berge paths of length $k$ between them. When $r=t=2$, this is the even-cycle problem asking for $\mathrm{ex}(n, C_{2k})$. We extend results of Füredi and Simonovits and of Conlon, who studied the problem when $r=2$. In particular, we show that for fixed $k$ and $r$, there is a constant $t$ such that the maximum number of edges can be determined in order of magnitude.

研究の動機と目的

• 頂点対間で固定長 $k$ の複数のBergetパスを禁じることにより、グラフにおける偶数サイクル ($C_{2k}$) のTurán型問題を $r$-一様ハイパーグラフへ一般化すること。
• 任意の頂点対が長さ $k$ のBergetパスを $t$ 個未満もつような $r$-一様ハイパーグラフにおける極値的ハイパーエッジ数を特定すること。
• 固定された $k$ および $r$ に対して、極値関数 $\mathrm{ex}_r(n, \Theta_{k,t}^B)$ のオーダーの大きさを確立し、$t$ が十分に大きいときそのオーダーがタイトであることを示すこと。

提案手法

• 有限体上のランダム多項式を用いた確率的構成法により、頂点対間のパス数を制御するハイパーグラフを生成する。
• 代数幾何学的手法（多様体および多項式系）を用いて、有効なBergetパスを模倣する可能性のある退化および非単純ウォークの数を制限する。
• Schwartz-Zippelの補題とMarkovの不等式を適用し、高確率で構成されたハイパーグラフが $\Omega_{k,r}(n^{1+1/k})$ 個の辺を持ち、$\Theta_{k,t}^B$ の部分ハイパーグラフを避けることを示す。
• GyőriとLemonsにインspされた還元補題を用いて、$r$-一様ハイパーグラフを $2$-一様グラフへ関連づけ、既知のグラフ理論的境界をハイパーグラフへ移す。
• 固定されたハイパーエッジ番号の列 $ olimits\sigma$ に対して、$S_\sigma$ を長さ $k$ の有効なBergetパスの集合と定義し、関連する代数的多様体の複雑さの境界を用いてパス数を制御する。
• Chebyshevの不等式を適用し、辺数が期待値の周囲に集中することを示し、望ましい極値的性質を持つハイパーグラフの存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 任意の頂点対が長さ $k$ のBergetパスを $t$ 個未満もつような $r$-一様ハイパーグラフにおけるハイパーエッジの最大数は何か？
• RQ2 固定された $k$ および $r$ に対して、$t$ が十分に大きいとき、極値関数 $\mathrm{ex}_r(n, \Theta_{k,t}^B)$ は $ olimits\Theta(n^{1+1/k})$ のオーダーで増大するか？
• RQ3 極値的辺数は、一様性 $r$ および許容されるパス数 $t$ にどのように依存するか？
• RQ4 複数のBergetパスが頂点対間で禁じられたハイパーグラフに対して、極値関数のオーダーの大きさを特定できるか。これは偶数サイクル問題の一般化である。
• RQ5 $t$ が大きいとき、極値関数の依存関係は何か。これはグラフの場合と比較してどうなるか？

主な発見

• 固定された $k$ および $r$ に対して、定数 $c_{r,k,t}$ が存在し、$\mathrm{ex}_r(n, \Theta_{k,t}^B) \leq c_{r,k,t} n^{1+1/k}$ が成り立つ。これはFüredi–Simonovitsの境界をハイパーグラフへ一般化する。
• $t$ が $k$ および $r$ に対して十分に大きいとき、極値関数は $\mathrm{ex}_r(n, \Theta_{k,t}^B) = \Omega_{k,r}(n^{1+1/k})$ を満たし、オーダーの大きさがタイトであることを示す。
• 構成法では、$\mathbb{F}_q$ 上のランダム多項式を用い、$n = rN$ 頂点の $r$-一様ハイパーグラフを生成し、$\Omega(N^{1+1/k})$ 個の辺を持ち、$\Theta_{k,C_{k,r}+1}^B$ の部分ハイパーグラフを含まない。
• ランダム構成において、任意の頂点対間の長さ $k$ のBergetパス数は $C_{k,r}$ で抑えられ、この境界を用いて高確率でどの頂点対に対してもこの数を超えないことを示す。
• この手法は、退化ウォークを制御し、Schwartz-Zippelの補題を適用する代数幾何学的根拠に依存しており、有効なパス数が常に有界に保たれることを保証する。
• 辺数の分散が $O(\mathbb{E}[X])$ であることが示され、Chebyshevの不等式により、辺数が期待値の周囲に集中することが保証され、$\Omega(n^{1+1/k})$ 個の辺と所望の禁止部分構造を持つハイパーグラフの存在が保証される。