[論文レビュー] Self-Similarity of Graphs

Choongbum Lee, Po‐Shen Loh+1 more|arXiv (Cornell University)|Jan 4, 2012

Limits and Structures in Graph Theory参考文献 6被引用数 1

ひとこと要約

この論文は、任意のm本の辺を持つグラフ内で、辺が互いに素な同型部分グラフのペアが持つ最大辺数として定義される自己相似関数ι(m)の漸近的成長率を解明した。稀な大偏差を利用する構成的アルゴリズムと、p = √(log n / n)の辺確率をもつランダムグラフの解析を組み合わせることで、ι(m) = Θ((m log m)^{2/3})を証明し、定数因子の違いを除いてタイトな境界を確立した。これは、Erd̈os らが示した対数因子の差異を改善したものである。

ABSTRACT

An old problem raised independently by Jacobson and Schönheim asks to determine the maximum $s$ for which every graph with $m$ edges contains a pair of edge-disjoint isomorphic subgraphs with $s$ edges. In this paper we determine this maximum up to a constant factor. We show that every $m$-edge graph contains a pair of edge-disjoint isomorphic subgraphs with at least $c (m\log m)^{2/3}$ edges for some absolute constant $c$, and find graphs where this estimate is off only by a multiplicative constant. Our results improve bounds of Erdős, Pach, and Pyber from 1987.

研究の動機と目的

• この論文の目的は、すべてのm本の辺を持つグラフが、それぞれs本の辺を持つ辺が互いに素な同型部分グラフのペアを含むようなsの最大値を特定する長年の未解決問題を解明することである。
• Erd̈os, Pach, Pyber (1987) が示した境界には log m 要素の差異があったが、その対数因子のギャップをグラフの場合（r=2）に解消することを目的としている。
• 自己相似関数ι(m)のタイトな漸近的境界を確立し、成長率がΘ((m log m)^{2/3})であることを示すことが目的である。
• もう一つの目的は、特にランダムグラフに関連して、この境界に達するか、それに近い構造的性質を持つグラフを同定することである。

提案手法

• 著者らは、各ステップで、2つの大きな辺が互いに素な同型部分グラフを特定するか、特定のサイズおよび密度条件を満たすより小さな誘導部分グラフにグラフを縮小する、構成的で反復的なアルゴリズムを設計した。
• 重要なパラメータとして、at = log2(nt / (mt^{2/3} (log mt)^{1/3})) があり、これは反復処理中の頂点数と辺密度のバランスを追跡する。
• 度数の閾値dt = mt / (2^{at} nt) を用いて高頻度頂点を特定し、低頻度頂点を削除することで構造的性質を維持する。
• 2つの主要な補題が適用される：スパースグラフ（頂点数が辺数に対して大きい場合）には命題2.3が、スパースでないグラフ（頂点数が小さい場合）には補題2.7が用いられ、両者ともι(G) = Ω((m log m)^{2/3})を導出する。
• 上界は、p = √(log n / n) におけるErd̈os-ŔnyiのランダムグラフGn,pの解析から得られ、このようなグラフが漸近的境界に達することを示した。
• 反復的縮小プロセスにより、アルゴリズムは、ι(G) = Ω((m log m)^{2/3}) を満たす部分グラフが見つかるまで終了しない。この際、at は各ステップで少なくとも1/3減少することが利用されている。

実験結果

リサーチクエスチョン

• RQ1 自己相似関数ι(m)の漸近的成長率は何か？ ここでι(m)は、すべてのm本の辺を持つグラフが、辺が互いに素な同型部分グラフをそれぞれs本の辺で含むような最大のsとして定義される。
• RQ2 Erd̈os, Pach, Pyber が示した境界における対数因子のギャップは、グラフの場合（r=2）に解消可能か？
• RQ3 ランダムグラフは自己相似性を最大化する点で漸近的に最適であり、そのようなグラフが示す構造的特徴は何か？
• RQ4 s-可除部分グラフ（つまり、ιs(m) for s > 2）における自己相似関数のスケーリングはどのように変化するか？ また、同様の手法を拡張可能か？

主な発見

• この論文は、グラフにおける自己相似関数がι(m) = Θ((m log m)^{2/3})を満たすことを確立した。これは、定数因子の違いを除いて成長率が解明されたことを意味する。
• すべてのm本の辺を持つグラフが、少なくともc(m log m)^{2/3}本の辺を持つ辺が互いに素な同型部分グラフのペアを含むような絶対定数cが存在する。
• 上界として、ある絶対定数Cに対して、m本の辺を持ついかなるグラフも自己相似性がC(m log m)^{2/3}を超えることはない、ということが証明された。
• 辺確率p = √(log n / n) のランダムグラフは漸近的境界に達し、このようなグラフが自己相似性において極値的であることを示した。
• 境界に達するグラフは、Θ(m^{2/3} / (log m)^{1/3})個の頂点を含み、そのうちの大部分の頂点がΩ((m log m)^{1/3})の次数を持つ部分グラフを含む必要がある。
• 極値的グラフの構造的性質には、大きな二部グラフに類似したカットを含まない均等な辺の分布と、(m log m)^{2/3}スケーリングに一致するバランスの取れた頂点-辺比が含まれる。