[論文レビュー] On P-unique hypergraphs

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

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

ひとこと要約

本稿では、超グラフがその彩色多項式、独立集合多項式、マッチング多項式によって一意に決定されるか否かを調査する。r ≥ 3 における r-一様超グラフに対して、これらの多項式が弱く区別可能であることを証明する。つまり、すべての r-一様超グラフの中での P-一意超グラフの割合は n が増加するにつれて 0 に収束する。この結果は、彩色多項式に関する 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-一様超グラフの文脈において有効かどうかを調査すること。
• n 階のすべての超グラフに対して、P-一意超グラフの漸近的密度を分析すること。
• 彩色多項式、独立集合多項式、マッチング多項式が、r-一様超グラフにおいてほとんど完全であるか、弱く区別可能であるかどうかを評価すること。

提案手法

• P-一意性の定義：超グラフ H が P-一意であるとは、H と同型でない別の超グラフが P(H;X) を共有しないこと。
• 漸近的数え上げの手法：異なる多項式の数 𝒪_P(n) を、非同型超グラフの総数 ℋ(n) または ℋ^r(n) と比較する。
• 組合せ的推定（例えば、独立集合の数、マッチングの数など）による多項式係数の上限を確立する。
• 対数的漸近論を用いて、n → ∞ のとき log(𝒪_P(n)) / log(ℋ(n)) → 0 を示し、これにより 𝒪_P(n)/ℋ(n) → 0 を導く。
• r-一様超グラフの数に関する既知の上限（ℋ^r(n) ≤ 2^(n choose r)）と多項式係数の成長を活用する。
• スターリング型近似と対数的比較を用いて、一意な超グラフと総数の比が漸近的に消えることを証明する。

実験結果

リサーチクエスチョン

• RQ1 r ≥ 3 における r-一様超グラフは、その彩色多項式によって一意に決定されるか？
• RQ2 r-一様超グラフに対して彩色多項式は弱く区別可能か（すなわち、P-一意超グラフの割合が 0 に収束するか）？
• RQ3 独立集合多項式およびマッチング多項式も、r ≥ 3 に対して r-一様超グラフを一意に決定できないか？
• RQ4 「ほとんどすべてのグラフがその彩色多項式に対して P-一意である」という BPR 猜測は、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。