[论文解读] On P-unique hypergraphs

Johann A. Makowsky, R.X. Zhang|arXiv (Cornell University)|Dec 20, 2017

Advanced Combinatorial Mathematics参考文献 14被引用 4

一句话总结

本文研究超图是否由其色多项式、独立集多项式和匹配多项式唯一确定。研究证明，对于 r-均匀超图（r ≥ 3），这些多项式是弱区分性的——即在所有 r-均匀超图中，P-唯一超图的比例随着 n 增大而趋于零——从而否定了色多项式情形下超图的 BPR-猜想的超图类比。

ABSTRACT

We study hypergraphs which are uniquely determined by their chromatic, independence and matching polynomials. B. Bollobás, L. Pebody and O. Riordan (2000) conjectured (BPR-conjecture) that almost all graphs are uniquely determined by their chromatic polynomials. We show that for $r$-uniform hypergraphs with $r \geq 3$ this is almost never the case. This disproves the analolgue of the BPR-conjecture for $3$-uniform hypergraphs. For $r =2$ this also holds for the independence polynomial, as shown by J.A. Makowsky and V. Rakita (2017), whereas for the chromatic and matching polynomial this remains open.

研究动机与目标

• 确定超图是否由其色多项式、独立集多项式和匹配多项式唯一确定。
• 研究原本针对图提出的 BPR-猜想在 r-均匀超图背景下的有效性。
• 分析 P-唯一超图相对于所有 n 阶超图的渐近密度。
• 评估色多项式、独立集多项式和匹配多项式对于 r-均匀超图是否近乎完备或弱区分性。

提出的方法

• 定义 P-唯一性：若不存在非同构的超图与 H 具有相同的多项式 P(H;X)，则称超图 H 为 P-唯一。
• 使用渐近计数：将不同多项式的数量 𝒪_P(n) 与所有非同构超图 ℋ(n) 或 ℋ^r(n) 的总数进行比较。
• 通过组合估计（如独立集数量、匹配数）对多项式不同系数的数量建立上界。
• 应用对数渐近分析，证明当 n → ∞ 时，log(𝒪_P(n)) / log(ℋ(n)) → 0，从而推出 𝒪_P(n)/ℋ(n) → 0。
• 利用已知的 r-均匀超图数量上界（ℋ^r(n) ≤ 2^(n choose r)）及多项式系数的增长性。
• 使用 Stirling 型近似和对数比较，证明唯一超图与总超图之比在渐近意义上趋于零。

实验结果

研究问题

• RQ1 r-均匀超图（r ≥ 3）是否由其色多项式唯一确定？
• RQ2 色多项式对 r-均匀超图是否为弱区分性（即 P-唯一超图的比例是否趋于零）？
• RQ3 独立集多项式和匹配多项式对 r ≥ 3 的 r-均匀超图是否也无法唯一确定？
• RQ4 BPR-猜想（即几乎所有图对色多项式都是 P-唯一）是否可推广至 r-均匀超图？
• RQ5 是否存在 r ≥ 3 的 r-均匀超图，使其对色多项式、独立集多项式或匹配多项式为 P-唯一？

主要发现

• 对于 r ≥ 3，色多项式 χ(H;X) 在 r-均匀超图上是弱区分性的：lim_{n→∞} 𝒰_χ^r(n)/ℋ^r(n) = 0。
• 独立集多项式 Ind(H;X) 在所有 r ≥ 2 的 r-均匀超图上是弱区分性的：lim_{n→∞} 𝒰_Ind^r(n)/ℋ^r(n) = 0。
• 匹配多项式 M(H;X) 在所有 r ≥ 3 的 r-均匀超图上是弱区分性的：lim_{n→∞} 𝒰_M^r(n)/ℋ^r(n) = 0。
• 对于 r ≥ 3，色多项式在一般超图上是弱区分性的：lim_{n→∞} 𝒰_χ(n)/ℋ(n) = 0。
• 独立集多项式在一般超图上是弱区分性的：lim_{n→∞} 𝒰_Ind(n)/ℋ(n) = 0。
• 匹配多项式在一般超图上是弱区分性的：lim_{n→∞} 𝒰_M(n)/ℋ(n) = 0。