[논문 리뷰] On the edge metric dimension for the random graph

Nina Zubrilina|arXiv (Cornell University)|2016. 12. 21.

Graph Labeling and Dimension Problems참고 문헌 7인용 수 3

한 줄 요약

이 논문은 에르되시-레니 무작위 그래프 $G(n,p)$의 점 游도 차원을 점 済도로 규명하여, $\operatorname{edim}(G(n,p)) = (1+o(1))\frac{4\log n}{\log(1/q)}$임을 보이며, 여기서 $q = 1 - 2p(1-p)^2(2-p)$이다. 무작위 정점 집합이 간선 쌍을 구별하지 못할 확률을 분석하고, 무작위 정점 집합의 간선 구별 성질을 활용하여 확률적 방법을 적용함으로써 이 결과를 도출하였으며, 기존의 점 차원 이론을 간선 차원 설정으로 확장하였다.

ABSTRACT

Let $G(V, E)$ be a connected simple undirected graph. In this paper we prove that the edge metric dimension (introduced by Kelenc, Tratnik and Yero) of the Erdős-Rényi random graph $G(n, p)$ is given by: $$ extrm{edim}(G(n, p)) = (1 + o(1))\frac{4\log(n)}{\log(1/q)},$$ where $q = 1 - 2p(1-p)^2(2-p)$.

연구 동기 및 목표

• 고정된 $p \in (0,1)$에 대해 에르되시-레니 무작위 그래프 $G(n,p)$의 점 済도 차원의 점 済도를 규명하는 것.
• 기존의 점 차원 이론에 사용된 확률적 방법을 점 済도 차원 설정으로 확장하는 것.
• 크기가 $r$인 무작위 정점 집합이 $G(n,p)$에서 모든 간선 쌍을 점근적으로 거의 확실히 구별하는 임계값을 규명하는 것.
• 클래식한 점 차원과의 비교를 통해, 모든 고정된 $p$에 대해 $\dim(G(n,p)) < \operatorname{edim}(G(n,p))$가 점근적으로 거의 확실히 성립함을 보이는 것.

제안 방법

• 크기 $r = (1+o(1))\frac{4\log n}{\log(1/q)}$인 무작위 정점 집합이 점근적으로 거의 확실히 간선 기반을 이룬다는 것을 보이기 위해 확률적 방법을 적용하는 것.
• 모든 간선 쌍 중 서로소인 간선 쌍을 대상으로, 무작위로 선택된 정점이 이를 구별하지 못할 확률을 $q = 1 - 2p(1-p)^2(2-p)$로 정의하는 것.
• 간선 쌍을 겹치는 유형과 서로소 유형으로 분류하고, 점근적으로 분석에서 서로소 쌍이 지배적임을 보이는 것.
• 독립성과 $q^r$에 의한 지수 감소를 활용하여, 무작위 정점 집합이 어떤 간선 쌍도 구별하지 못할 확률을 경계하는 것.
• 1차 및 2차 모멘트 방법을 사용하여 미구별된 간선 쌍의 기대 수를 추정하고, $n \to \infty$일 때 이 값이 0으로 수렴함을 보이는 것.
• 2차 모멘트 방법을 적용하여 간선 생성 집합의 수의 집중성을 보이며, 양의 확률로 존재함을 증명하는 것.

실험 결과

연구 질문

• RQ1 고정된 간선 확률 $p$에 대해 에르되시-레니 무작위 그래프 $G(n,p)$의 점 済도 차원은 무엇인가?
• RQ2 에르되시-레니 무작위 그래프 $G(n,p)$의 점 済도 차원은 그 고전적 점 차원과 어떻게 비교되는가?
• RQ3 클래식한 점 차원 이론에서 사용된 것과 유사하게, 확률적 방법을 점 済도 차원에 대한 점 済도 경계를 도출하기 위해 적응시킬 수 있는가?
• RQ4 어떤 $p$ 값에 대해 $\operatorname{edim}(G(n,p)) > \dim(G(n,p))$가 점근적으로 거의 확실히 성립하는가?

주요 결과

• 에르되시-레니 무작위 그래프 $G(n,p)$의 점 済도 차원은 점근적으로 $\operatorname{edim}(G(n,p)) = (1+o(1))\frac{4\log n}{\log(1/q)}$이며, 여기서 $q = 1 - 2p(1-p)^2(2-p)$이다.
• 고정된 $p \in (0,1)$에 대해 점 済도 차원은 고전적 점 차원보다 점근적으로 더 크며, $\frac{4}{\log(1/q)} > \frac{2}{\log(1/Q)}$이므로 $Q = p^2 + (1-p)^2$이다.
• 무작위로 선택된 정점이 무작위로 선택된 서로소 간선 쌍을 구별하지 못할 확률은 점근적으로 $q = 1 - 2p(1-p)^2(2-p)$이다.
• 크기 $r = (1+o(1))\frac{4\log n}{\log(1/q)}$인 무작위 정점 집합은 점근적으로 거의 확실히 $G(n,p)$의 모든 간선 쌍을 구별한다.
• 크기 $r$인 간선 생성 집합의 기대 수는 $n \to \infty$일 때 0으로 수렴하며, 이는 경계의 날카로움을 확인한다.
• 분석 결과, 모든 고정된 $p \in (0,1)$에 대해 $\operatorname{edim}(G(n,p))$는 점근적으로 거의 확실히 $\dim(G(n,p))$보다 엄밀히 크다는 것이 확인된다.