[論文レビュー] Problems and memories

András Gyárfás|arXiv (Cornell University)|Jul 6, 2013

Philippine History and Culture参考文献 26被引用数 3

ひとこと要約

この論文は、パウル・エルデシュとの数十年にわたる数学的共同研究を振り返り、極値的グラフ理論における主要な結果と未解決問題を提示している。具体的には、スパースグラフにおけるサイクル構造、弦的部分グラフ、単色支配、およびエッジ彩色された完全グラフにおけるサイクル分割が取り上げられている。中心的な貢献として、サイクルカバレッジと彩色数のエッジ彩色に関する予想が提示されており、ラマセイ型問題における部分的な結果と改善された境界が得られている。

ABSTRACT

I state some open problems coming from joint work with Paul Erdős

研究の動機と目的

• パウル・エルデシュにインspiredされた極値的グラフ理論における未解決問題を調査・解決すること、特にスパースグラフとサイクル構造に焦点を当てる。
• 密度の高いグラフにおける弦的部分グラフの存在とサイズを調査すること、特に $ n^2/3 $ エッジの閾値付近での問題に焦点を当てる。
• 2色および3色に彩色された完全グラフにおける単色支配を検討し、ある色において頂点集合の大部分を支配するのに必要な頂点数の境界を求める。
• r-彩色された完全グラフの頂点集合を被覆するのに必要な単色サイクルの最小個数を調査すること。
• ほぼ二部グラフの構造を分析し、少数の頂点を削除することで二部グラフにできる条件を同定すること。

提案手法

• 最小次数3の真部分グラフを持たない $ 2n-2 $ エッジの $ n $ 頂点グラフからなる $ G(n) $ のような極値的グラフ族を分析し、サイクルの存在パターンを研究する。
• クロス交差族とツーラン型の議論を用いて、$ K_{k+1} $-自由グラフに $ K_{k+1} $ を含ませるためのエッジ追加の最小エッジ数の境界を導出する。
• 確率的および極値的組合せ論的技法を用いて、$ rac{n^2}{3} $ エッジ以上を持つグラフにおける弦的部分グラフのサイズの境界を求める。
• ラマセイ理論的アプローチと色を避ける支配の議論を用いて、2色および3色に彩色された完全グラフにおける単色部分構造を分析する。
• 正則性補題と構造的グラフ分解を用いて、r-彩色された完全グラフにおけるサイクル分割に関する結果を証明する。
• $ K_p $ が少なくとも $ q $ 種類の色を含むような完全グラフの $ (p,q) $-彩色の概念を導入・分析し、最小の色数 $ f(n,p,q) $ の境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 すべての $ G(n) $ に属するグラフ（$ n $ 頂点、$ 2n-2 $ エッジ、最小次数3の真部分グラフを持たない）は、$ n \to \infty $ のとき $ k \to \infty $ となるような $ k $ まで、長さ3から $ k $ までのすべての長さのサイクルを含むか？
• RQ2 すべての $ n $ 頂点と $ n^2/3 $ エッジ以上のグラフは、少なくとも $ 8n/3 - 4 $ エッジを持つ弦的部分グラフを含むか？
• RQ3 3エッジ彩色された完全グラフ $ K_n $ において、常にある色において高々3つの頂点が $ 2n/3 $ 個以上の頂点を支配するか？
• RQ4 r-彩色された完全グラフのサイクル分割数は最大で $ r $ か？
• RQ5 $ f(n,5,9) $ は $ n $ に対して線形か、すなわちある定数 $ c $ が存在して $ K_n $ が $ cn $ 色で適切にエッジ彩色され、任意の2色クラスの和集合に4エッジのパスまたはサイクルが含まれないか？

主な発見

• 予想1は、$ n \to \infty $ のとき $ k \to \infty $ となるような $ k $ まで、$ G(n) $ のすべてのグラフが長さ3から $ k $ までのすべてのサイクルを含むと述べているが、これは未解決のままである。
• $ n $ 頂点と $ n^2/3 $ エッジ以上のグラフが、少なくとも $ 2n - 3 $ エッジを持つ弦的部分グラフを含むことが示されており、完全3部グラフではこの境界が達成可能である。
• $ n^2/3 $ エッジを超過するグラフにおいて、弦的部分グラフのサイズについて $ 7n/3 - 6 $ エッジの弱い境界が証明され、以前の結果を改善している。
• 2色に彩色された $ K_n $ において、同じ色の単色パスで頂点集合を高々 $ 2\big\rfloor\big\rfloor $ 個で被覆できることを証明しており、$ \big\rfloor\big\rfloor $ 個で十分であるという予想は未解決のままである。
• 3色に彩色された $ K_n $ において、$ 2n/3 $ 個以上の頂点をある色で支配するには高々22個の頂点で十分であり、Kral らによってこの境界は4に改善された。これは予想される境界3に非常に近い。
• $ f(n,4,5) $ については $ 5(n-1)/6 \to f(n,4,5) \to n $ の境界が確立されており、より鋭い推定が求められている。一方、$ f(n,5,9) $ については下界が $ 2n - 6 $、上界が $ 2n^{1 + c/\big\rfloor\big\rfloor} $ であり、線形性の問題は未解決のままである。