[論文レビュー] Recent techniques and results on the Erd\H{o}s-P\'osa property

Jean‐Florent Raymond, Dimitrios M. Thilikos|arXiv (Cornell University)|Mar 15, 2016

Advanced Graph Theory Research参考文献 72被引用数 8

ひとこと要約

本稿は、木構造的グラフ分解とgirthに基づく解析に焦点を当てた最近のErdős–Pósa性質に関する進展を包括的に調査している。さまざまなグラフクラスや組合せ的対象において統一的な結果を提示し、特にサイクル、奇サイクル、トポロジカルマイナーに関して、パッキングおよびカバー問題のタイトまたはほぼタイトな境界を確立している。同時に、包含関係に基づくグラフクラスにおける否定的結果を通じて、その限界も特定している。

ABSTRACT

Several min-max relations in graph theory can be expressed in the framework of the Erd\\H{o}s-P\\'osa property. Typically, this property reveals a connection between packing and covering problems on graphs. We describe some recent techniques for proving this property that are related to tree-like decompositions. We also provide an unified presentation of the current state of the art on this topic.

研究の動機と目的

• Erdős–Pósa型定理を証明するための最近の手法的進展を体系化し、提示すること。
• 多様なグラフクラスや組合せ的対象にわたるErdős–Pósa性質に関する現在の知識を統合・更新すること。
• 包含関係（例：マイナー、インマージョン）によって定義されるグラフクラスにおける否定的結果を通じて、この性質の限界を調査すること。
• 特に対数因子に関連して、パッキング・カバー双対性におけるギャップ関数の最適性を調査すること。
• 本調査で提示された新技術を用いて、未解決の予想や問題（例：Tuzaの予想、Jonesの予想）を解明すること。

提案手法

• 特にマイナー閉じたおよびトポロジカルマイナー閉じた族に対して、Erdős–Pósa型結果を分析・証明するために、木構造的分解を中心的手法として用いる。
• グラフのgirthを構造的パラメータとして用い、特にサイクルおよび関連構造に対してErdős–Pósaギャップの改善された境界を導出する。
• 木分割やグラフマイナーなどの構造的グラフ理論的手法を適用し、複雑なパッキング問題をより単純で分解可能な成分に還元する。
• 平面グラフ、3辺連結グラフ、有向グラフなどのさまざまなグラフクラスに対して、特化した分解および双対性の議論を通じてErdős–Pósa性質を分析する。
• 非平面的または高構造的なマイナーに対して、Erdős–Pósa性質が成立しない、または非定数ギャップを要するようなグラフ族を構成することで否定的結果を確立する。
• ハイパーグラフ、マトロイド、ラベル付きグラフなどの複数の研究分野からの結果を調査・統合し、共通の原則と未解決問題を特定する。

実験結果

リサーチクエスチョン

• RQ1 木構造的分解を、幅広いグラフ構造に対してErdős–Pósa型定理を体系的に証明するのに使用できるか？
• RQ2 平面的または3辺連結グラフなどの異なるグラフクラスにおいて、Erdős–Pósa性質の最適ギャップ関数は何か？
• RQ3 グラフのgirthが、特にサイクルや奇サイクルのErdős–Pósa境界のタイトさにどの程度影響を与えるか？
• RQ4 トポロジカルマイナーまたはマイナー包含によって定義されるグラフクラスにおいて、Erdős–Pósa性質に本質的な限界は存在するか？
• RQ5 本調査で提示された新技術を用いて、Tuzaの予想やJonesの予想といった未解決の予想を解消できるか？

主な発見

• すべてのグラフにおけるサイクルに関して、Erdős–PósaギャップはΩ(k log k)であり、これはErdősとPósaが1965年に示したように最適である。
• すべてのグラフにおける奇サイクルに関して、頂点被覆ギャップは有界でないが、平面グラフでは2k−2で有界である。これはKralとVossによって示された。
• 長さがp mod t（p ∈ {1,…,t−1}）に等しいサイクル（p ∈ {1,…,t−1}）に関して、Erdős–Pósa性質は任意のギャップで成立する。これはThomasonによって証明された。
• すべてのグラフのクラスにおいて、Hがサイズtのマッチングを持たないとき、H-有効パスに関してErdős–Pósa性質は成立するが、ギャップは避けられずtに依存する。
• 最大次数が4である無限個の木Hに対して、平面グラフにおけるインマージョンクラスI(H)に関してErdős–Pósa性質は任意のギャップで成立する。これは補題5.1で示された。
• 本稿は、Erdős–Pósa性質が特定の非平面的グラフHに対してマイナーおよびインマージョンクラスで成立しないことを確認しており、Hが3連結であっても、構造的限界が本質的であることを示している。