[論文レビュー] Perfect matchings in random sparsifications of Dirac hypergraphs

Dong Yeap Kang, Tom Kelly+3 more|arXiv (Cornell University)|Nov 2, 2022

Limits and Structures in Graph Theory被引用数 4

ひとこと要約

本稿は、$k$-一様超グラフのランダムスパarsificationにおける完全マッチングに関する、強力なディラック型定理を確立する。$n \in k\mathbb{N}$ および $p = \Omega(n^{-k+1}\log n)$ に対して、超グラフ $\mathcal{H}$ が最小 $(k-1)$-次数条件 $\delta_{k-1}(\mathcal{H}) \geq m_{k-1}(k,n)$ を満たすならば、その $p$-ランダム部分超グラフ $\mathcal{H}_p$ は概ね確実に完全マッチングを含む。この結果は、加法的項 $\gamma\binom{n-d}{k-d}$ を含むより低い次数条件へと拡張可能であり、完全マッチングの数が $\exp((1-1/k)n\log n - \Theta(n))$ 以上であることが示され、$\exp(\Theta(n))$ 要因を除いて最適である。

ABSTRACT

For all integers $n \geq k > d \geq 1$, let $m_{d}(k,n)$ be the minimum integer $D \geq 0$ such that every $k$-uniform $n$-vertex hypergraph $\mathcal H$ with minimum $d$-degree $δ_{d}(\mathcal H)$ at least $D$ has an optimal matching. For every fixed integer $k \geq 3$, we show that for $n \in k \mathbb{N}$ and $p = Ω(n^{-k+1} \log n)$, if $\mathcal H$ is an $n$-vertex $k$-uniform hypergraph with $δ_{k-1}(\mathcal H) \geq m_{k-1}(k,n)$, then a.a.s.\ its $p$-random subhypergraph $\mathcal H_p$ contains a perfect matching. Moreover, for every fixed integer $d < k$ and $γ> 0$, we show that the same conclusion holds if $\mathcal H$ is an $n$-vertex $k$-uniform hypergraph with $δ_d(\mathcal H) \geq m_{d}(k,n) + γ\binom{n - d}{k - d}$. Both of these results strengthen Johansson, Kahn, and Vu's seminal solution to Shamir's problem and can be viewed as ``robust'' versions of hypergraph Dirac-type results. In addition, we also show that in both cases above, $\mathcal H$ has at least $\exp((1-1/k)n \log n - Θ(n))$ many perfect matchings, which is best possible up to an $\exp(Θ(n))$ factor.

研究の動機と目的

• ランダムスパarsificationにおける完全マッチングを含む条件を確立することで、シャミルの問題の強力なバージョンを解決すること。
• 最小 $d$-次数条件に加法的項 $\gamma\binom{n-d}{k-d}$ を加えた場合に、概ね確実に完全マッチングが存在することを示すことで、ディラック型定理をランダム部分超グラフへと拡張すること。
• このような超グラフにおける完全マッチングの漸近的数を特定し、それが $\exp((1-1/k)n\log n - \Theta(n))$ 以上であることを示し、$\exp(\Theta(n))$ 要因を除いて最良の境界に一致すること。
• extremal および確率的超グラフ理論を統合するために、ディラック型最小次数条件を満たす超グラフのランダムスパarsificationが、高確率で完全マッチングを保持することを証明すること。

提案手法

• ほぼ完全マッチングを構成し、残りの頂点を吸収することで完全マッチングを構成する吸収法の使用。
• 擬似ランダム性の性質を用いてランダム部分超グラフの構造を制御するスプレッドネスおよび典型性フレームワークの適用。
• チェルノフの不等式および集中不等式を用いて、ランダムな頂点部分集合が最小次数条件を高確率で保つことを示すこと。
• $\alpha$-典型性条件および次数分布解析を用いて、ランダム部分超グラフを標準的超グラフ $\mathcal{K}_{r^*}$ と比較すること。
• サイズと次数分布を制御した頂点集合のランダム分割 $U_\ell$ を構成し、高確率で典型性を確保すること。
• 反復的吸収および確率的埋め込み技術を用いて、超グラフ構造の複数レベルにわたる次数条件の階層を確立すること。

実験結果

リサーチクエスチョン

• RQ1 $k$-一様超グラフにおける最小 $d$-次数条件がどのようなものであれば、その $p$-ランダム部分超グラフが概ね確実に完全マッチングを含むか？
• RQ2 元の超グラフがディラック型最小共次数条件を満たす場合、そのスパarsificationにおいて完全マッチングの閾値がどのようにして強力に保たれるか？
• RQ3 $m_{k-1}(k,n)$ 共次数閾値を満たす $k$-一様超グラフに存在する完全マッチングの最小数は何か？ そしてこの数は $n$ と共にどのように変化するか？
• RQ4 最小 $d$-次数条件に $\gamma\binom{n-d}{k-d}$ 項を加えると、ランダム部分超グラフにおける完全マッチングの存在にどのような影響を与えるか？

主な発見

• $n \in k\mathbb{N}$ および $p = \Omega(n^{-k+1}\log n)$ に対して、$\delta_{k-1}(\mathcal{H}) \geq m_{k-1}(k,n)$ ならば、$\mathcal{H}_p$ は高確率で完全マッチングを含む。
• 任意の固定された $d < k$ および $\gamma > 0$ に対して、$\delta_d(\mathcal{H}) \geq m_d(k,n) + \gamma\binom{n-d}{k-d}$ ならば、$\mathcal{H}_p$ は概ね確実に完全マッチングを含む。
• このような超グラフにおける完全マッチングの数は、少なくとも $\exp((1-1/k)n\log n - \Theta(n))$ 以上であり、$\exp(\Theta(n))$ 要因を除いて最適である。
• 本結果は、超グラフにおけるディラック型定理の強力なバージョンを提供し、シャミルの問題の解決をランダムスパarsificationの文脈へと拡張している。
• 証明は、吸収法、擬似ランダム性、集中不等式の組み合わせに依拠しており、ランダム部分超グラフの構造を制御している。