[논문 리뷰] Counting Independent Sets and Kernels of Regular Graphs

Adam Yedidia|ArXiv.org|2009. 10. 24.

Limits and Structures in Graph Theory참고 문헌 5인용 수 4

한 줄 요약

이 논문은 이진 결정도(BDDs)를 사용하여 3-정규 그래프에서 독립 집합과 커널의 수가 각각 $ w^n $ 및 $ y^n $으로 증가함을 수치적 증거로 제시한다. 여기서 $ w \approx 1.54563 $ 이고 $ y \approx 1.299 $ 이다. 핵심적으로, 이러한 수의 로그에서의 변동성이 $ O(1) $을 유지한다는 추측을 지지하며, 이는 큰 3-정규 그래프에서 두 양상에 대해 베티 근사의 놀라운 정확성을 시사한다.

ABSTRACT

Chandrasekaran, Chertkov, Gamarnik, Shah, and Shin recently proved that the average number of independent sets of random regular graphs of size n and degree 3 approaches w^n for large n, where w is approximately 1.54563, consistent with the Bethe approximation. They also made the surprising conjecture that the fluctuations of the logarithm of the number of independent sets were only O(1) as n grew large, which would mean that the Bethe approximation is amazingly accurate for all 3-regular graphs. Here, I provide numerical evidence supporting this conjecture obtained from exact counts of independent sets using binary decision diagrams. I also provide numerical evidence that supports the novel conjectures that the number of kernels of 3-regular graphs of size n is given by y^n, where y is approximately 1.299, and that the fluctuations in the logarithm of the number of kernels is also only O(1).

연구 동기 및 목표

• 3-정규 그래프에서 독립 집합 수의 로그에서 변동성이 일반적으로 예상되는 $ O(\sqrt{n}) $ 가 아니라 $ O(1) $임을 수치적으로 증명하는 것.
• 3-정규 그래프에서 커널 수가 $ y^n $으로 지수적으로 증가하며, 그 변동성도 유사하게 유계임을 조사하는 것.
• 통계역학 기반 근사법(Bethe 근사)을 덜 연구된 정규 그래프에서 커널 수 계산 문제로 확장하는 것.
• 이진 결정도(BDDs)가 #P-난이도 문제인 커널 및 독립 집합 수 계산에 대해 정확한 열거에 얼마나 효과적인지 보여주는 것.

제안 방법

• 이진 결정도(BDDs)를 사용하여 3-정규 그래프에서 독립 집합과 커널의 정확한 열거를 $ n = 40 $ 이하의 크기까지 수행한다.
• 각 그래프 크기 $ n $ 에 대해 1000개의 무작위로 샘플된 3-정규 그래프를 기반으로 평균 독립 집합 수와 커널 수를 계산한다.
• 지수적 증가율 $ w $ 와 $ y $ 는 $ w = \exp(\langle \ln Z \rangle / n) $ 를 통해 추정되며, 여기서 $ Z $ 는 독립 집합 또는 커널의 수이다.
• 수의 로그에서의 변동성은 $ f(\epsilon) = |\ln Z - n \ln w| $ 또는 $ |\ln Z - n \ln y| $ 를 사용하여 측정하고, 증가하는 $ n $ 에 대해 분석한다.
• 정규 3-정규 그래프의 결과를 평균 차수 3인 비정규 그래프와 비교하여 정규성의 영향을 분리한다.
• 분석 결과, 정규 그래프에서는 변동성이 유계로 유지되는 반면, 비정규 그래프에서는 변동성이 $ n $ 과 함께 증가함을 확인하여, 3-정규 그래프의 특수한 구조를 강조한다.

실험 결과

연구 질문

• RQ1 3-정규 그래프에서 독립 집합 수의 로그에서 변동성이 $ n \to \infty $ 일 때도 유계로 유지되는가, 일반적으로 예상되는 $ O(\sqrt{n}) $ 스케일링과는 반대되는가?
• RQ2 3-정규 그래프에서 커널 수가 점점 $ y^n $ 으로 수렴하는가, 그리고 그 변동성이 유사하게 $ O(1) $ 인가?
• RQ3 BDDs가 커널 및 독립 집합 수 계산과 같은 #P-난이도 문제에서 지수적 증가 및 유계 변동성에 대한 신뢰할 수 있는 수치적 증거를 제공할 수 있는가?
• RQ4 특히 엔트로피 변동성 측면에서, 3-정규 그래프에서 독립 집합과 커널의 통계적 성질는 어떻게 비교되는가?

주요 결과

• 3-정규 그래프에서 평균 독립 집합 수는 $ w^n $ 으로 증가하며, $ w \approx 1.54563 $ 이고, 이는 베티 근사와 일치한다.
• 3-정규 그래프에서 독립 집합 수의 로그에서 변동성이 $ n $ 이 증가함에 따라 유계로 유지됨을 확인하여, $ O(1) $ 변동성의 추측을 지지한다.
• 3-정규 그래프에서 평균 커널 수는 $ y^n $ 으로 증가하며, $ y \approx 1.299 $ 이고, 이는 새로운 추측으로서 수치적 증거에 의해 지지된다.
• 커널 수의 로그에서 변동성 역시 유계로 유지되어 $ O(1) $ 행동을 보이며, 독립 집합보다는 더 큰 분산을 보이지만 여전히 유계임을 시사한다.
• 평균 차수 3인 비정규 그래프에서는 변동성이 $ n $ 과 함께 증가하므로, 정규성이 $ O(1) $ 변동성 성질을 유지하는 데 필수적임을 나타낸다.
• BDDs를 통해 $ n = 40 $ 까지 정확한 열거가 가능하여, 큰 랜덤 3-정규 그래프에 대한 고정밀도 데이터를 제공한다.