[논문 리뷰] Counting Independent Sets and Colorings on Random Regular Bipartite Graphs

Chao Liao, Jiabao Lin외 2명|arXiv (Cornell University)|2019. 01. 01.

Limits and Structures in Graph Theory참고 문헌 37인용 수 12

한 줄 요약

이 논문은 지배 클러스터를 기반으로 한 새로운 폴리머 모델 프레임워크를 활용하여, 무작위 ∆-정규 이분 그래프에서 독립 집합과 적절한 q-색칠을 세는 데 대해 전체 다항식 시간 근사계량법(FPTAS)을 제시한다. ∆ ≥ 53 이고 퇴적도 λ ≥ 1 이거나, ∆ 가 충분히 크며 λ = e^Ω(1/∆) 이면, 높은 확률로 FPTAS를 달성한다. 이 방법은 이전 하드코어 모델 연구를 확장하여 겹치는 구성 상태를 다루고, 비지배 상태에서 기인하는 기여의 지수 감소를 증명한다.

ABSTRACT

We give a fully polynomial-time approximation scheme (FPTAS) to count the number of independent sets on almost every $Δ$-regular bipartite graph if $Δ\ge 53$. In the weighted case, for all sufficiently large integers $Δ$ and weight parameters $λ= ildeΩ\left(\frac{1}Δ ight)$, we also obtain an FPTAS on almost every $Δ$-regular bipartite graph. Our technique is based on the recent work of Jenssen, Keevash and Perkins (SODA, 2019) and we also apply it to confirm an open question raised there: For all $q\ge 3$ and sufficiently large integers $Δ=Δ(q)$, there is an FPTAS to count the number of $q$-colorings on almost every $Δ$-regular bipartite graph.

연구 동기 및 목표

• ∆ ≥ 53 이고 λ ≥ 1 일 때, 무작위 ∆-정규 이분 그래프에서 독립 집합을 세는 데 대해 FPTAS를 개발하는 것.
• 큰 ∆ 과 λ = e^Ω(1/∆) 일 때, 하드코어 모델의 가중 독립 집합 문제에 대해 FPTAS를 확장하는 것.
• q ≥ 3 과 충분히 큰 ∆ 에 대해, 무작위 ∆-정규 이분 그래프에서 적절한 q-색칠을 세는 데 대해 FPTAS의 존재를 해결하는 것.
• 지배적인 '지배 클러스터' 근처의 구성 상태에 집중하여 분할 함수를 효율적으로 근사할 수 있음을 확립하는 것.
• 모든 지배 클러스터에서 멀리 떨어진 구성 상태에서 기인하는 기여가 지수적으로 작다는 것을 증명하여, 폴리머 모델을 통한 효율적 근사가 가능함을 보이는 것.

제안 방법

• 지배 상태의 개념을 일반화하기 위해, 구성 상태의 가족(예: 독립 집합의 경우 한 쪽의 모든 정점, 색칠의 경우 색상 부분집합으로 제한된 경우)을 지니는 '지배 클러스터'의 개념을 도입한다.
• 각 지배 클러스터에서의 이탈을 표현하는 폴리머 모델을 정의하고, 구성 수에서 유도된 가중치를 갖는 폴리머의 합으로 분할 함수를 재작성한다.
• 무작위 ∆-정규 이분 그래프의 확장 성질((α, β)-확장, β = ∆^{1/2}/3)을 사용하여 인접 정점의 수를 제한하고 폴리머 가중치를 제어한다.
• 폴리머 모델이 수렴을 보장하는 Kotecký–Preiss 조건을 증명하여, 원점 주변의 원판 내에서 분할 함수가 0이 아니라는 것을 보장하고, 이는 효율적 근사를 가능하게 한다.
• 이전 연구에서 유도된 폴리머 모델에 대한 FPTAS를 적용하여 각 지배 클러스터의 분할 함수를 근사하고, 겹치는 클러스터를 다루기 위해 대칭성과 포함-배제 원리를 활용해 추정치를 통합한다.
• 작은 그래프 또는 매우 작은 ε 에 대해서는 브루트 포스 계산을 사용하고, 더 큰 인스턴스에는 FPTAS를 적용하여 전체 알고리즘이 n 과 1/ε 에 대해 다항식 시간 내에 실행되도록 보장한다.

실험 결과

연구 질문

• RQ1 ∆ ≥ 53 이고 λ ≥ 1 일 때, 무작위 ∆-정규 이분 그래프에서 독립 집합을 세는 데 대해 FPTAS를 설계할 수 있는가?
• RQ2 큰 ∆ 과 λ = e^Ω(1/∆) 일 때, 이러한 그래프에서 가중 독립 집합 문제(하드코어 모델)에 대해 FPTAS가 존재하는가?
• RQ3 q ≥ 3 과 충분히 큰 ∆ 에 대해, 무작위 ∆-정규 이분 그래프에서 적절한 q-색칠을 세는 데 대해 FPTAS가 존재하는가?
• RQ4 비지배 클러스터에서 멀리 떨어진 구성 상태에서 기인하는 기여가 비가중치 설정에서 엄밀하게 지수 감소함을 증명할 수 있는가?
• RQ5 색칠과 같은 경우에서 겹치는 지배 클러스터를 어떻게 다루어 두 번 세는 것을 방지하면서도 근사 정확도를 유지할 수 있는가?

주요 결과

• n → ∞ 일 때, ∆ ≥ 53 이고 λ ≥ 1 이면, 무작위 ∆-정규 이분 그래프에서 독립 집합을 세는 데 대해 FPTAS가 존재하며, 높은 확률로 성립한다.
• 충분히 큰 ∆ 과 퇴적도 λ = e^Ω(1/∆) 에 대해, 무작위 ∆-정규 이분 그래프에서 가중 독립 집합 문제(하드코어 모델)에 대해 FPTAS가 확립된다.
• q ≥ 3 과 ∆ ≥ 100q^10 이면, 무작위 ∆-정규 이분 그래프에서 적절한 q-색칠을 세는 데 대해 FPTAS가 존재하며, 높은 확률로 성립한다.
• 이 방법은 Jenssen, Keevash, 그리고 Perkins(SODA 2019)의 추측을 확인하여, 이러한 그래프에서 q-색칠에 대한 FPTAS의 존재를 입증한다.
• 폴리머 모델 접근법은 겹치는 지배 클러스터를 효과적으로 다루며, 모든 클러스터에서 멀리 떨어진 구성 상태가 총 개수에 기여하는 비중이 지수적으로 작다는 것을 증명한다.
• Kotecký–Preiss 조건을 통해 폴리머 모델의 수렴이 보장되며, 수렴 반경이 R = 2 이하로 제한되어 있어 효율적 근사 알고리즘 존재를 보장한다.