[論文レビュー] The size of bipartite graphs with girth eight

Stefan Neuwirth|ArXiv.org|Feb 27, 2001

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

ひとこと要約

本稿は、girth 6 の二部グラフにおけるReimanの不等式をgirth 8 に一般化し、そのようなグラフにおける最大辺数を制限する立方不等式を導出する。主な結果として、バランスの取れた二部グラフでは $ e \sim v^{4/3} $ の最適な境界が得られ、非バランスな場合についてもタイトな推定が可能である。等号は一般化 quadrangle の構成および明示的な極値グラフによって達成される。

ABSTRACT

Reiman produced a quadratic inequality for the size of bipartite graphs of girth six. We get its counterpart for girth eight, a cubic inequality. It is optimal in as far as it admits the algebraic structure of generalized quadrangles as case of equality. This enables us to obtain the optimal estimate e ~ v^(4/3) for balanced bipartite graphs. We also get an optimal estimate for very unbalanced graphs.

研究の動機と目的

• girth 6 の二部グラフにおけるReimanの不等式をgirth 8 に拡張すること。
• 4-サイクルおよび6-サイクルを含まない二部グラフにおける辺数のタイトな上界を導出すること。
• 等号を達成する極値グラフを同定すること、特に有限幾何学的構成を含むこと。
• スパarsなgirthが大きな二部グラフにおける辺密度を推定する統一的な枠組みを提供すること。
• 特に非バランスな場合に、そのような極値グラフの漸近的サイズに関する未解決の問題を解消すること。

提案手法

• 4-サイクルおよび6-サイクルの存在を特徴付ける、辺数 $ e $、頂点数 $ v $ および $ w $ の立方不等式を導出する。
• Atkinson らの不等式を適応し、二部グラフにおける長さ3のパス数を評価する。
• De Caen および Székely の結果の証明における最後のステップを回避するために、パス数の評価を用いる。
• 成長補題を適用し、グラフサイズにわたる立方不等式の正当性を帰納的に検証する。
• 非彩色グラフの二部拡張を用いて極値グラフを構成し、等号成立ケースを検証する。
• 行列に基づくアプローチを用いて辺配置を分析し、代数的変形により不等式を証明する。

実験結果

リサーチクエスチョン

• RQ1 girth 8 の二部グラフにおける辺数の最適な上界は何か？
• RQ2 バランスの取れたおよび非バランスの取れたgirth 8 の二部グラフにおいて、最大辺数は頂点数に対してどのようにスケーリングするか？
• RQ3 どの既知の組合せ的構造が導出された境界で等号を達成するか？
• RQ4 既知の極値構成を超えて、境界をさらに厳しくできるか、一般化できるか？
• RQ5 一方の頂点集合が他方よりもはるかに大きい場合、辺数の漸近的挙動はいかなるものか？

主な発見

• すべてのgirthが8以上の二部グラフにおいて、立方不等式 $ e^3 - (v+w)e^2 + 2vwe - v^2w^2 \leq 0 $ が成り立つ。
• バランスの取れたグラフ（$ v = w $）では、最大辺数が $ e < v^{4/3} + \frac{2}{3}v - \frac{2}{9}v^{2/3} - \frac{20}{81}v^{1/3} $ を満たし、これは鋭い漸近的境界を提供する。
• 非バランスな場合、$ v \geq \lfloor w^2/4 \rfloor $ ならば、$ e \leq v + \lfloor w^2/4 \rfloor $ が最適であり、構成された極値グラフによって等号が達成される。
• 等号は一般化 quadrangle のインシデントグラフおよび他の有限幾何学的構成によって達成される。
• $ \max(v,w) \leq \lfloor \min(v,w)^2/4 \rfloor $ のとき、$ e \leq 2^{1/3}(vw)^{2/3} $ が成り立ち、既知の極値推定と一致する。
• 本稿は、De Caen および Székely が提起した $ (vw)^{2/3} $ スケーリングに関する予想を解消し、$ v \ll w^2 $ だが $ v \gg w^{5/4} $ のときにはそのスケーリングが成り立たないことを示している。