[논문 리뷰] On the Concentration of the Domination Number of the Random Graph

Roman Glebov, Anita Liebenau외 1명|arXiv (Cornell University)|2012. 09. 14.

Limits and Structures in Graph Theory참고 문헌 13인용 수 6

한 줄 요약

이 논문은 간선 확률 p ≫ ln²n/√n 인 에르되시-레니 랜덤 그래프 𝒢(n,p) 에서 도메인 수가 점점 거의 확실히 두 개의 연속된 정수에 집중됨을 입증한다. 구체적으로, r̂는 도메인 집합의 첫 번째 모멘트 임계값에서 유도된 값이며, ⌊r̂⌋+1과 ⌊r̂⌋+2에 집중된다. 이 결과는 위엘랜드와 고브올의 이전 연구를 확장하며, 집중이 발생하는 정확한 임계값을 규명하고, 더 작은 p에 대해서는 집중이 일어나지 않음을 보여, p의 하한이 필수적임을 강조한다.

ABSTRACT

In this paper we study the behaviour of the domination number of the Erdős-Rényi random graph $\mathcal{G}(n,p)$. Extending a result of Wieland and Godbole we show that the domination number of $\mathcal{G}(n,p)$ is equal to one of two values asymptotically almost surely whenever $p \gg \frac{\ln^2n}{\sqrt{n}}$. The explicit values are exactly at the first moment threshold, that is where the expected number of dominating sets starts to tend to infinity. For small $p$ we also provide various non-concentration results which indicate why some sort of lower bound on the probability $p$ is necessary in our first theorem. Concentration, though not on a constant length interval, is proven for every $p\gg 1/n$. These results show that unlike in the case of $p \gg \frac{\ln^2n}{\sqrt{n}}$ where concentration of the domination number happens around the first moment threshold, for $p = O(\ln n/n)$ it does so around the median. In particular, in this range the two are far apart from each other.

연구 동기 및 목표

• 에르되시-레니 그래프 𝒢(n,p) 의 도메인 수에 대한 위엘랜드와 고브올의 이점 집중 결과를 더 넓은 간선 확률 p 범위로 확장하기.
• 도메인 수가 점점 거의 확실히 두 개의 연속된 값에 집중되는 정확한 임계값 p 를 규명하기.
• 이러한 집중을 위해 p 에 하한이 필요한 이유를 분석하고, 특히 작은 p 의 경우의 영향을 조사하기.
• p = O(ln n / n) 인 경우 도메인 수의 행동을 분석하여, 첫 번째 모멘트 임계값이 아닌 중앙값 주위에 집중됨을 보여주기.
• p ≪ ln²n/√n 인 경우 비집중 결과를 증명하여, 이러한 하한이 다항로그 요소까지 정확하게 타이트함을 밝혀내기.

제안 방법

• r̂(n,p) 을 도메인 집합 크기 r̂ 에 대한 기대 수가 0으로 수렴하다가 무한대로 갈 때의 첫 번째 모멘트 임계값으로 유도한다.
• 첫 번째 및 두 번째 모멘트 방법을 사용하여 크기 r̂ 의 도메인 집합이 존재할 확률를 근사하여, 두 값에 집중됨을 보인다.
• 이항 계수에 대한 엔트로피 기반의 경계와 로그 근사값을 사용하여 도메인 집합의 기대 수를 제어한다.
• 이진 엔트로피 함수 H(x) 와 생존 확률 (1 - (1-p)^k) 의 상호작용을 분석하여 크기 k 의 도메인 집합의 기대 수를 근사한다.
• 점근적 전개와 o(1) 오차 항을 사용하여, 특히 p ≫ ln ln n / √n 인 경우 집중 간격 길이를 정밀하게 조정한다.
• 작은 p 에서의 비집중을 증명하기 위해, 기대 수가 넓은 간격 동안 여전히 크기 때문에 어떤 일정 길이 간격에도 집중되지 않음을 보인다.

실험 결과

연구 질문

• RQ1 p 가 어떤 범위일 때 𝒢(n,p) 의 도메인 수가 점점 거의 확실히 두 개의 연속된 정수에 집중되는가?
• RQ2 크기 r̂ 의 도메인 집합의 기대 수가 처음으로 무한대로 갈 때의 정확한 임계값 p 는 무엇이며, 이는 집중과 어떻게 관련되는가?
• RQ3 왜 도메인 수의 이점 집중을 위해 p 에 하한이 필요한가? p 가 너무 작을 경우 어떤 일이 발생하는가?
• RQ4 p = O(ln n / n) 인 경우 도메인 수의 집중 행동은 어떻게 달라지며, 특히 중앙값과 첫 번째 모멘트 임계값과의 관계는 어떠한가?
• RQ5 p ≪ ln²n/√n 인 경우 비집중을 증명할 수 있으며, p ≫ ln²n/√n 의 하한이 다항로그 요소까지 정확한가?

주요 결과

• p ≫ ln²n/√n 일 경우, 도메인 수 D(G) 는 점점 거의 확실히 ⌊r̂⌋+1 또는 ⌊r̂⌋+2 에 해당하며, 여기서 r̂ = log_q(n ln q / ln²d (1+o(1))) 이다.
• 값 r̂ 는 첫 번째 모멘트 임계값이며, 크기 r̂ 의 도메인 집합의 기대 수가 무한대로 갈 때 시작되는 지점이다.
• p = Θ(1/n) 일 경우, 도메인 수는 어떤 일정 길이 간격에도 집중되지 않지만, 임의의 f(n) → ∞ 인 경우 √n f(n) 크기의 간격에 집중된다.
• p ≪ ln²n/√n 일 경우, 도메인 수는 r̂ 주위의 어떤 일정 길이 간격에도 집중되지 않으며, 이는 하한이 다항로그 요소까지 정확함을 시사한다.
• p = O(ln n / n) 일 경우, 집중은 첫 번째 모멘트 임계값이 아닌 중앙값 주위에 발생하며, 두 값 사이의 거리는 멀리 떨어져 있다.
• 논문은 p ≥ c/n 이고 c > 0 이면, 크기 k 의 도메인 집합의 기대 수가 2^{f(c_k)n} 으로 유계임을 증명하며, f(x) 는 유일한 양의 최댓값을 가지는 함수임을 보여, f(x) 가 날카롭게 피크가 아니면 비집중임을 의미한다.