[論文レビュー] Answer to a question of Alon and Lubetzky about the ultimate categorical independence ratio

Ágnes Tóth|arXiv (Cornell University)|Dec 28, 2011

History and advancements in chemistry参考文献 3被引用数 3

ひとこと要約

この論文は、任意のグラフ $ G $ に対して、究極的カテゴリカル独立性比 $ A(G) $ が $ a^*(G) $ に等しいことを証明することで、長年の未解決問題を解決した。ここで $ a^*(G) = \max\{a(G), \frac{1}{2}\} $ が $ a(G) \leq \frac{1}{2} $ のときであり、それ以外の場合は $ 1 $ である。証明は、カテゴリカル積における独立集合に関する Zhu の補題を活用し、$ i(G \times H) \leq \max\{a(G), a(H)\} $ を示した。これにより、すべてのグラフに対して $ A(G) = a^*(G) $ が成り立ち、Alon と Lubetzky が提起した両方の問いに肯定的に答えることになった。

ABSTRACT

Brown, Nowakowski and Rall defined the ultimate categorical independence ratio of a graph G as A(G)=\lim_{k o \infty} i(G^{ imes k}), where i(G)=\frac{α(G)}{|V(G)|} denotes the independence ratio of a graph G, and G^{ imes k} is the k-th categorical power of G. Let a(G)=\max{\frac{|U|}{|U|+|N_G(U)|}: U is an independent set of G}}, where N_G(U) is the neighborhood of U in G. In this paper we answer a question of Alon and Lubetzky, namely we prove that if a(G)\le 1/2 then A(G)=a(G), and if a(G)>1/2 then A(G)=1. We also discuss some other open problems related to A(G) which are immediately settled by this result.

研究の動機と目的

• Alon と Lubetzky の質問 1 を解決すること。すなわち、すべてのグラフ $ G $ に対して $ A(G) = a^*(G) $ が成り立つかどうかを確認すること。
• カテゴリカル二乗に関する $ a^*(G^{\times 2}) = a^*(G) $ の不変性を証明すること。
• 不等式 $ i(G \times H) \leq \max\{a^*(G), a^*(H)\} $ に対する質問 2 を肯定的に回答すること。これは $ i(G \times H) \leq \max\{a(G), a(H)\} $ を示すことによって達成される。
• Brown, Nowakowski, および Rall の予想を解決すること。すなわち、互いに頂点を共有しないグラフの直和について $ A(G \cup H) = \max\{A(G), A(H)\} $ が成り立つかどうかを検証すること。
• すべてのグラフについて $ A(G) $ が有理数であることを示すこと。これにより、$ A(G) $ が取り得る値に関する疑問が解決される。

提案手法

• Zhu の補題を、$ G \times H $ の独立集合を成分 $ A $, $ B $, $ C $ に分解する形に適応し、それらの近傍構造を分析すること。
• $ b(G) = \frac{1 - a(G)}{a(G)} $ を定義し、独立集合に対する近傍サイズの下界を定量化すること。
• 条件 $ a(G) \leq \frac{1}{2} $ または $ a(H) \leq \frac{1}{2} $ を満たす任意の独立集合 $ U \subseteq G \times H $ に対して、不等式 $ |N_{G \times H}(U)| \geq \min\{b(G), b(H)\} \cdot |U| $ を確立すること。
• 分解と近傍の下界を用いて、$ \frac{|U|}{|U| + |N_{G \times H}(U)|} \leq \max\{a(G), a(H)\} $ を導出し、これにより $ i(G \times H) \leq \max\{a(G), a(H)\} $ が成立することを示すこと。
• $ a(G) \leq \frac{1}{2} $ のとき $ a(G^{\times 2}) \leq a(G) $ を証明し、逆の不等式と組み合わせることで $ a^*(G^{\times 2}) = a^*(G) $ を示すこと。
• $ \{a^*(G^{\times \ell})\} $ の単調性と $ a^*(G^{\times 2}) = a^*(G) $ の等式を用いて、$ A(G) = a^*(G) $ を結論づけること。

実験結果

リサーチクエスチョン

• RQ1 すべての有限グラフ $ G $ に対して $ A(G) = a^*(G) $ が成り立つか？
• RQ2 質問 1 が示唆するように、すべてのグラフ $ G $ に対して $ a^*(G^{\times 2}) = a^*(G) $ が成り立つか？
• RQ3 すべてのグラフ $ G $ と $ H $ に対して不等式 $ i(G \times H) \leq \max\{a^*(G), a^*(H)\} $ が成り立つか？
• RQ4 究極的カテゴリカル独立性比 $ A(G) $ は常に有理数か？
• RQ5 グラフの頂点が互いに不交な直和について、$ A(G \cup H) = \max\{A(G), A(H)\} $ が成り立つか？

主な発見

• この論文は、すべての有限グラフ $ G $ に対して $ A(G) = a^*(G) $ が成り立つことを証明し、Alon と Lubetzky の質問 1 に対して肯定的に答えることを達成した。
• すべてのグラフ $ G $ と $ H $ に対して $ i(G \times H) \leq \max\{a(G), a(H)\} $ が成り立つことが示され、これにより質問 2 に対する肯定的解答が得られた。
• この結果により、すべてのグラフ $ G $ に対して $ a^*(G^{\times 2}) = a^*(G) $ が成り立つことが示され、$ a^* $ がカテゴリカル二乗に関して不変であることが確認された。
• 論文は、$ A(G \cup H) = \max\{A(G), A(H)\} $ が頂点が不交なグラフの直和について成り立つという予想を確認した。
• すべてのグラフについて $ A(G) $ が有理数であることが示され、$ A(G) $ が取り得る値に関する疑問が解決された。
• また、$ A(G) > t $ かどうかを判定することは NP 困難であることが示され、$ a(G) $ に関する複雑性結果が $ A(G) $ へと拡張された。