[論文レビュー] Limited packings of closed neighbourhoods in graphs

Paul Balister, Béla Bollobás+1 more|arXiv (Cornell University)|Jan 8, 2015

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

ひとこと要約

この論文は、立方体グラフにおける2-限界パッキング数 $L_2(G)$ に対してタイトな下界を確立し、$L_2(G) \geq |V(G)|/3$ を証明する。これは以前の $1/4$ の境界を改善するものである。さらに、有限射影平面を用いて極値グラフを構成し、$k$ が固定で最大次数 $\Delta$ が増加する場合、既存の漸近的下界が定数因子までタイトであることを示している。また、Lovász 局所補題を応用して、$k$ と $\Delta$ が急速に増加する場合のほぼ最適な境界を得ている。

ABSTRACT

The k-limited packing number, $L_k(G)$, of a graph $G$, introduced by Gallant, Gunther, Hartnell, and Rall, is the maximum cardinality of a set $X$ of vertices of $G$ such that every vertex of $G$ has at most $k$ elements of $X$ in its closed neighbourhood. The main aim in this paper is to prove the best-possible result that if $G$ is a cubic graph, then $L_2(G) \geq |V (G)|/3$, improving the previous lower bound given by Gallant, \emph{et al.} In addition, we construct an infinite family of graphs to show that lower bounds given by Gagarin and Zverovich are asymptotically best-possible, up to a constant factor, when $k$ is fixed and $Δ(G)$ tends to infinity. For $Δ(G)$ tending to infinity and $k$ tending to infinity sufficiently quickly, we give an asymptotically best-possible lower bound for $L_k(G)$, improving previous bounds.

研究の動機と目的

• 立方体グラフにおける2-限界パッキング数 $L_2(G)$ の最良の下界を確立すること。
• $k$ が固定で $\Delta(G) \to \infty$ のとき、$L_k(G)$ の既存の漸近的下界のタイトさを分析すること。
• $k$ と $\Delta(G)$ が両方とも無限大に近づく場合の $L_k(G)$ の漸近的下界を、確率的技法を用いて改善すること。
• 正則グラフにおける限界パッキング数と支配パラメータの関係を、特に $\ell$-重支配集合との双対性を通じて明らかにすること。

提案手法

• 任意の立方体グラフ $G$ に対して、構造的および極値的議論を用いて $L_2(G) \geq |V(G)|/3$ を証明し、特定の無限族で等号が成立することを示す。
• 有限射影平面に基づく無限族のグラフを構築し、$k$ が固定で $\Delta \to \infty$ のとき、Gagarin-Zverovich の $L_k(G)$ 下界が定数因子までタイトであることを示す。
• 対称的 Lovász 局所補題を適用して、$k > \log \Delta \log \log \Delta$ かつ $\Delta \to \infty$ のとき、$L_k(G)$ の新しい漸近的下界 $L_k(G) \geq \frac{k|V(G)|}{\Delta}(1+o(1))$ を得る。
• Chernoff 確率の下界を用いた確率的サンプリングにより、ランダムに選ばれた頂点集合が $k$-限界パッキングを形成する確率を推定し、独立性条件と尾確率を組み合わせる。
• 正則グラフにおける $k$-限界パッキングと $(\Delta+1-k)$-重支配集合との双対性を活用し、結果を支配理論に翻訳する。
• 射影幾何における点と直線から構成されるグラフ $G_{q,k}$ における $k$-限界パッキングの極値ケースを分析し、$L_k(G_{q,k}) = k$ かつ $|V(G_{q,k})| \sim \frac{q^{k+1}}{q-1}$、$\Delta(G_{q,k}) \sim \frac{q^k}{q-1}$ であることを示し、$L_k(G_{q,k}) \sim \frac{k|V(G_{q,k})|}{\Delta(G_{q,k})^{1+1/k}}$ を得る。これにより、$L_k(G) \geq \frac{k|V(G)|}{\Delta^{1+1/k}}$ の境界が定数因子までタイトであることが示される。

実験結果

リサーチクエスチョン

• RQ1 立方体グラフにおける $L_2(G)$ の最良の下界は何か？ そしてそれはタイトか？
• RQ2 $k$ が固定で $\Delta(G) \to \infty$ のとき、既存の漸近的下界 $L_k(G)$ はどの程度タイトか？
• RQ3 $k$ と $\Delta(G)$ が両方とも無限大に近づく場合、$L_k(G)$ の改善された漸近的下界を確立できるか？
• RQ4 正則グラフにおける $k$-限界パッキングと $\ell$-重支配集合の関係は何か？
• RQ5 既知の $L_k(G)$ の下界は漸近的に最適か？ もしそうなら、どの定数因子まで？

主な発見

• 任意の立方体グラフ $G$ に対して、2-限界パッキング数は $L_2(G) \geq |V(G)|/3$ を満たし、これは明示的な構成によって最良のものであることが示された。
• Gagarin と Zverovich が提示した下界 $L_k(G) \geq n \frac{k}{(k+1)\sqrt[k]{\binom{\Delta}{k}(\Delta+1)}}$ は、$k$ が固定で $\Delta \to \infty$ のとき、定数因子までタイトであることが、極値グラフの無限族の構築によって示された。
• $k > \log \Delta \log \log \Delta$ のとき、Lovász 局所補題により、最大次数 $\Delta$ のグラフに対して漸近的に最適な境界 $L_k(G) \geq \frac{k|V(G)|}{\Delta}(1+o(1))$ が得られ、低次の項までタイトである。
• $\Delta$-正則グラフにおいて、$L_k(G) \geq \frac{k|V(G)|}{\Delta}(1+o(1))$ の境界は漸近的に最良であり、$\ell$-重支配との双対性と既知の上界 $L_k(G) \leq \frac{k|V(G)|}{\delta(G)+1}$ によって確認された。
• 射影幾何から導かれるグラフ $G_{q,k}$ において、$L_k(G_{q,k}) = k$ であり、$|V(G_{q,k})| \sim \frac{q^{k+1}}{q-1}$、$\Delta(G_{q,k}) \sim \frac{q^k}{q-1}$ である。これにより $L_k(G_{q,k}) \sim \frac{k|V(G_{q,k})|}{\Delta(G_{q,k})^{1+1/k}}$ が得られ、$L_k(G) \geq \frac{k|V(G)|}{\Delta^{1+1/k}}$ の境界が定数因子までタイトであることが示された。
• 本論文は、Gallant らによる立方体グラフにおける $L_2(G)$ の $1/4$ の境界のタイトさを解消し、最適な $1/3$ の境界に置き換えた。さらに、双対性を用いて立方体グラフにおける2-重支配集合の新たな上界を導出した。