[논문 리뷰] On P-unique hypergraphs

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

Advanced Combinatorial Mathematics참고 문헌 14인용 수 4

한 줄 요약

이 논문은 초그래프가 그들의 색칠 다항식, 독립 다항식, 매칭 다항식에 의해 유일하게 결정되는지 조사한다. r ≥ 3 인 r-균일 초그래프에 대해 이러한 다항식이 약하게 구별 가능하다는 것을 증명한다—즉, n 이 증가함에 따라 모든 r-균일 초그래프 중에서 P-유일 초그래프의 비율이 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가 비이sov레인 초그래프와 동일한 다항식 P(H;X)를 공유하지 않는 한, H는 P-유일하다고 한다.
• 점점 증가하는 수량 비교: 서로 다른 다항식의 수 𝒪_P(n)을 비이sov레인 초그래프의 총 수 ℋ(n) 또는 ℋ^r(n)과 비교한다.
• 계수에 대한 조합적 추정(예: 독립 집합의 수, 매칭의 수)을 사용하여 서로 다른 다항식의 수에 상한을 설정한다.
• 로그 기반 점점 증가하는 수식을 적용하여 log(𝒪_P(n)) / log(ℋ(n)) → 0 이 되도록 보이며, 이는 𝒪_P(n)/ℋ(n) → 0 을 의미한다.
• r-균일 초그래프의 수에 대한 알려진 상한(ℋ^r(n) ≤ 2^(n choose r))과 다항식 계수의 성장률을 활용한다.
• 스티르링 유사 근사와 로그 비교를 사용하여, 유일한 초그래프 수와 총 초그래프 수의 비율이 점점 증가함에 따라 0으로 수렴함을 증명한다.

실험 결과

연구 질문

• 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.