[論文レビュー] Generalized Tur\'an problems for small graphs

Dániel Gerbner|arXiv (Cornell University)|Jun 29, 2020

Limits and Structures in Graph Theory参考文献 23被引用数 7

ひとこと要約

本稿は、4頂点以下のすべてのグラフの組 H と F について一般化されたトーラン問題を解決し、n 頂点の F-自由グラフにおける H のコピーの最大数を特定する。段階的帰納法と構造的極値グラフ理論を用いて、ほぼすべてのケースについて正確な漸近的結果を確立する。主な貢献として、トーラングラフ、フレンドシップグラフ、完全二部グラフなどの極値グラフの同定と、ルツァ＝ツェメレーディの定理のような未解決問題との関連が挙げられる。

ABSTRACT

For graphs $H$ and $F$, the generalized Tur\\'an number $ex(n,H,F)$ is the largest number of copies of $H$ in an $F$-free graph on $n$ vertices. We consider this problem when both $H$ and $F$ have at most four vertices. We give sharp results in almost all cases, and connect the remaining cases to well-known unsolved problems. Our main new contribution is applying the progressive induction method of Simonovits for generalized Tur\\'an problems.

研究の動機と目的

• 4 頂点以下のすべてのグラフの組 H と F について、一般化されたトーラン数 ex(n, H, F) を体系的に特定すること。
• F が禁止されている場合に、H を数える ex(n, H, F) の正確な漸近的結果を、n が十分に大きい場合に確立すること。
• F-自由グラフにおいて H のコピー数を最大にする極値グラフを特定すること。これには、トーラングラフ、フレンドシップグラフ、完全二部グラフが含まれる。
• 未解決のケースを、ルツァ＝ツェメレーディ問題のような極値組合せ論における主要な未解決問題と結びつけること。
• シモノヴィツの段階的帰納法を一般化されたトーラン問題に応用・拡張すること。

提案手法

• シモノヴィツの段階的帰納法を応用し、エッジの数だけでなく部分グラフの数を数えることへの極値グラフ理論の一般化を図ること。
• F を回避し、H のコピー数を最大化する極値グラフを分析するために、構造的グラフ分解を用いること。
• 既知の結果、特にトーラングラフ T_{r}(n)、フレンドシップグラフ F(n)、完全 k-部グラフを活用して極値構成を構築すること。
• 二重数え上げと辺-近傍の議論を用いて境界を確立し、特に C₄-自由グラフにおける H = P₄, K₃, M₂, S₄ の場合に有効である。
• 孤立頂点が存在する場合、それらを H や F から取り除くことで問題を簡略化できることを活用し、一般化されたトーラン数に影響しないことを利用すること。
• H' が H から孤立頂点を除いたものであるとき、ex(n, H, F) = ex(n, H', F) が成り立つことを利用し、孤立頂点のないグラフに限定して分析を簡素化すること。

実験結果

リサーチクエスチョン

• RQ1 4 頂点以下のすべての組 H, F について、n 頂点の F-自由グラフにおける小さなグラフ H のコピー数の最大値は何か？
• RQ2 どの極値グラフが F-自由グラフにおける H のコピー数を最大にし、それは H と F にどのように依存するか？
• RQ3 どの組 (H, F) に対して極値グラフがトーラングラフ、フレンドシップグラフ、または完全二部グラフになるか？
• RQ4 ex(n, H, F) の漸近的挙動は、古典的トーラン関数 ex(n, F) とどのように関係するか？
• RQ5 ex(n, H, F) のどのケースが未解決であり、それらは極値組合せ論における深い未解決問題とどのように関連しているか？

主な発見

• 2 組を除き、すべての (H, F) 組に対して、n が十分に大きい場合の ex(n, H, F) の正確な漸近的挙動が同定され、10×10 の表に要約されている。
• F = K₄ のとき、ex(n, H, F) の極値グラフはしばしばトーラングラフ T₃(n) である。F が三角形または星形のとき、完全二部グラフであることが多い。
• K₃-自由グラフにおいて S₄ を数える場合、極値グラフは星形 Sₙ であり、これはフレンドシップグラフ F(n) の部分グラフである。
• C₄-自由グラフにおいて、P₄, K₃, M₂ のコピー数は ex(n, C₄) によって漸近的に特定され、これらの部分グラフを数えることは、C₄ に対する古典的トーラン問題を解くのと同程度の難易度を持つことを示している。
• フレンドシップグラフ F(n) は、ex(n, S₄, C₄) の極値構成を提供し、また ex(n, P₄, C₄) および ex(n, M₂, C₄) の下界の構築にも用いられる。
• 2 つのケースが未解決のまま残っている：H = T₁ かつ F = B₂ の場合、および H = C₄ かつ F = T₁ の場合。両者ともルツァ＝ツェメレーディの定理と深く関連しており、主要な未解決問題のままである。