[论文解读] 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) \leq \frac{1}{2} $ 时 $ a^*(G) = \max\{a(G), \frac{1}{2}\} $，否则为 $ 1 $。证明利用了朱氏关于范畴积中独立集的引理，并建立了 $ i(G \times H) \leq \max\{a(G), a(H)\} $，从而得出对所有图均有 $ A(G) = a^*(G) $，进而肯定回答了阿隆与卢贝茨基提出的问题。

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.

研究动机与目标

• 解决阿隆与卢贝茨基的问题1，即验证对所有图 $ G $ 是否成立 $ A(G) = a^*(G) $。
• 证明 $ a^*(G^{\times 2}) = a^*(G) $，确立 $ a^* $ 在范畴平方下的不变性。
• 通过证明 $ i(G \times H) \leq \max\{a(G), a(H)\} $，正面回答问题2，即不等式 $ i(G \times H) \leq \max\{a^*(G), a^*(H)\} $ 是否对所有图 $ G $ 和 $ H $ 成立。
• 解决布朗、诺瓦科夫斯基与拉尔的猜想，即对不相交并集有 $ A(G \cup H) = \max\{A(G), A(H)\} $。
• 证明 $ A(G) $ 总是为有理数，从而解决了关于 $ A(G) $ 可能取值的问题。

提出的方法

• 将朱氏关于范畴积中独立集的引理适配，用于将 $ 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 不等式 $ i(G \times H) \leq \max\{a^*(G), a^*(H)\} $ 是否对所有图 $ G $ 和 $ H $ 成立？
• RQ4 最终范畴独立比 $ A(G) $ 是否总是有理数？
• RQ5 对图的不相交并集是否成立 $ A(G \cup H) = \max\{A(G), A(H)\} $？

主要发现

• 本文证明了对所有有限图 $ G $，均有 $ A(G) = a^*(G) $，从而正面回答了阿隆与卢贝茨基的问题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) $。