[論文レビュー] Graph properties, graph limits and entropy

Hamed Hatami, Svante Janson+1 more|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|Dec 19, 2013

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

ひとこと要約

この論文は、有界グラフ性質の成長率とその限界グラフオンのエントロピーの間の深い関係を確立する。著者たちは、有界性性質の彩色数を、そのグラフオン極限の最大エントロピーに関連付けることで、グラフオンのエントロピーが、このような性質の指数的成長率を特徴づけることを示し、性質の構造に応じて、ランダムフリーまたは完全グラフオンで最大エントロピーが達成されることを示している。

ABSTRACT

We study the relation between the growth rate of a graph property and the entropy of the graph limits that arise from graphs with that property. In particular, for hereditary classes we obtain a new description of the colouring number, which by well-known results describes the rate of growth. We study also random graphs and their entropies. We show, for example, that if a hereditary property has a unique limiting graphon with maximal entropy, then a random graph with this property, selected uniformly at random from all such graphs with a given order, converges to this maximizing graphon as the order tends to infinity.

研究の動機と目的

• 有界グラフ性質の成長率とその限界グラフオンのエントロピーの関係を理解すること。
• 与えられた有界グラフ性質を表すグラフオンにおける最大エントロピーを特徴づけること。
• エントロピー最大化を用いて、有界性質の彩色数の新しい記述を確立すること。
• 有界グラフ性質から一様にランダムに選ばれたグラフの極限的挙動を調査すること、特に一意の最大エントロピーを持つグラフオンへの収束を特に注目する。

提案手法

• グラフ極限理論を用いて、グラフ列をグラフオン（$ W: [0,1]^2 \to [0,1] $ である対称的可測関数）で表現する。
• グラフオンのエントロピーを $ \operatorname{Ent}(W) = \iint h(W(x,y)) \, dx\,dy $ として定義する。ここで $ h(p) = -p\log p - (1-p)\log(1-p) $ である。
• エントロピー寄与を分析するために、ランダムネスサポートグラフオン $ W' $ を導入する。ここで $ W'(x,y) = \mathbf{1}_{\{0 < W(x,y) < 1\}} $ である。
• 特にトゥーラン型の結果を用いて、禁止されたクリーク構造に基づいてエントロピーを評価する。
• ランダムネスサポートが $ K_{r+1} $-フリーであれば $ \operatorname{Ent}(W) \leq 1 - \frac{1}{r} $ が成り立ち、等号成立は $ W $ が $ R_r $ に同値なグラフオンである場合に限る。
• グラフオンのカットノルムにおける収束と、部分グラフ密度の連続性を用いて、離散的グラフ列とその極限との関係を結びつける。

実験結果

リサーチクエスチョン

• RQ1 グラフオン極限のエントロピーは、有界グラフ性質の成長率とどのように関係するか？
• RQ2 与えられた有界グラフ性質を表すグラフオンにおける最大エントロピーは何か？
• RQ3 有界グラフ性質から一様にランダムに選ばれたグラフが、一意のグラフオン極限に収束する条件は何か？
• RQ4 有界グラフ性質の彩色数は、そのグラフオン極限のエントロピーとどのように関係するか？
• RQ5 有界グラフ性質からのランダムグラフのグラフオン極限が一意であるのはいつか？また、その極限はどのような特徴を持つのか？

主な発見

• 有界グラフ性質 $ \mathcal{Q} $ の極限におけるグラフオンの最大エントロピーは $ 1 - \frac{1}{r} $ である。ここで $ r $ は $ \mathcal{Q} $ が $ K_{r+1} $-フリーとなる最小の数である。
• この最大エントロピーは、グラフオンが $ R_r $ に同値である（つまり、等密度の $ r $ 塊からなる段階関数である）場合にかつその場合にのみ達成される。
• もし $ r = \infty $ である、つまり $ \mathcal{Q} $ が任意に大きなクリークを含むならば、最大エントロピーは 1 であり、これは定数グラフオン $ \frac{1}{2} $ によって一意に達成される。
• 有界グラフ性質 $ \mathcal{Q} $ から一様にランダムに選ばれたグラフは、その極限が一意である限り、$ \widehat{\mathcal{Q}} $ の最大エントロピーを持つ一意のグラフオンに収束する。
• 性質 $ \mathcal{Q} $ がランダムフリー（つまり、すべての極限が決定的）であるための必要十分条件は、最大エントロピーが 0 であることであり、これは $ r = 1 $ のときにのみ成立する。
• エントロピーの特徴づけにより、$ \mathcal{Q} $ の成長率が $ \exp(\Theta(n^2(1 - \frac{1}{r}))) $ であることが示され、彩色数による既知の結果と一致する。