[論文レビュー] Tur\'an Numbers for Forests of Paths in Hypergraphs

Neal Bushaw, Nathan Kettle|arXiv (Cornell University)|Mar 20, 2013

Limits and Structures in Graph Theory参考文献 9被引用数 5

ひとこと要約

本稿は、十分に大きな n に対して、r-一様超グラフにおける緩いパスの森および線形パスの森の正確なターラン数を決定する。個々のパスに関する先行研究を拡張することで、構造的な極値超グラフと二重数え上げの手法を用いて、極値構成が最適であり、指定された長さの k 個の素性のないパスを含まない最大辺数を同定する。

ABSTRACT

The Tur\\'an number of an r-uniform hypergraph H is the maximum number of edges in any r-graph on n vertices which does not contain H as a subgraph. Let P_l^(r) denote the family of r-uniform loose paths on l edges, F(k,l) denote the family of hypergraphs consisting of k disjoint paths from P_l^(r), and P'_l^(r) denote an r-uniform linear path on l edges. We determine precisely ex_r(n;F(k,l)) and ex_r(n;k*P'_l^(r)), as well as the Tur\\'an numbers for forests of paths of differing lengths (whether these paths are loose or linear) when n is appropriately large dependent on k,l,r, for r>=3. Our results build on recent results of F\\"uredi, Jiang, and Seiver who determined the extremal numbers for individual paths, and provide more hypergraphs whose Turan numbers are exactly determined.

研究の動機と目的

• 個々のパスに関する Füredi, Jiang, および Seiver の結果を、r-一様超グラフにおける複数の素性のないパスの森へと拡張すること。
• 十分に大きな n に対して、r-一様超グラフにおける k 個の素性のない緩いパスおよび k 個の素性のない線形パスの正確なターラン数を同定すること。
• k 個の素性のない指定されたパスの森を含まない最大辺数を達成する極値超グラフを同定すること。
• 単一のパスからの極値グラフ理論の結果を、超グラフにおけるパスの森の族へと一般化すること。

提案手法

• すべての辺が共通の t 個の頂点集合を共有する極値超グラフを構築し、それに加えてこの集合とは素性のない辺を追加することで、k 個の素性のないパスを避ける一方で辺数を最大化する。
• 二重数え上げの手法を用い、パスの構成可能性を評価する。特に、パスの開始または完了が可能な頂点に注目する。
• 共通の近傍やパス形成を可能にする共有された辺構造を追跡するため、集合 A_R、B、U を定義・分析する。
• インジケータ関数と漸近的数え上げを用いて、辺数が多すぎると k 個の素性のないパスが形成されると示し、極値性を証明する。
• 固定頂点集合と辺の分布を調整することで、長さが異なるパスを含む森へと極値構成を一般化する。
• 既知の線形パスおよびサイクルの極値構造を活用し、構造的類似性を特定し、結果をパスの森へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 十分に大きな n に対して、r-一様超グラフにおける k 個の素性のない緩いパスの族の正確なターラン数は何か？
• RQ2 禁止される部分グラフが緩いパスではなく、k 個の素性のない線形パスの森である場合、極値数はどのように変化するか？
• RQ3 個々のパスの極値超グラフ構造は、長さが異なるパスの森へと拡張可能か？
• RQ4 k 個の与えられたパス族の素性のないコピーを含まない極値超グラフが持つ構造的性質は何か？
• RQ5 類似の構成を用いて正確に決定可能なターラン数を持つ一般の超グラフ族は存在するか？

主な発見

• 十分に大きな n に対して、各々 ℓ 条の辺を持つ k 個の素性のない緩いパスの族 F(k,l) に対するターラン数 ex_r(n; F(k,l)) は正確に同定され、極値超グラフは固定された t 個の頂点集合を含むすべての辺と、それに加えて素性のない辺からなる。
• k 個の素性のない線形パス（各々 ℓ 条の辺）の族 k·L_ℓ^(r) に対する極値数 ex_r(n; k·L_ℓ^(r)) は正確に同定され、極値構成は固定された t 頂点集合に接続するすべての辺と、それに加えてその集合とは素性のない辺からなる。
• 長さが混合された（緩いまたは線形の）パスの森に対しても、n が十分に大きい場合には極値数が正確に同定され、共有頂点集合に基づく一般化された極値構成が用いられる。
• 最大辺数を達成する極値超グラフは、同型を除いて一意であり、すべての辺が共通の t 個の頂点からなるコア集合を持つことが特徴づけられる。
• 結果から、パスの森に対する極値関数は漸近的にタイトであり、二重数え上げと共通近傍解析によって導かれた上界と一致することが示された。
• 本稿は、パスの森の極値構造が個々のパスのそれと一致することを確立し、禁止部分グラフの族全体にわたる構造的一致性を確認した。