[논문 리뷰] Self-Similarity of Graphs

Choongbum Lee, Po‐Shen Loh외 1명|arXiv (Cornell University)|2012. 01. 04.

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

한 줄 요약

이 논문은 임의의 m-edge 그래프 내에서 간선이 서로 겹치지 않는 동형 부분그래프 쌍이 가질 수 있는 최대 간선 수로 정의된 자기유사성 함수 ι(m)의 渐近적 성장률을 해결한다. 희박한 큰 이격 현상의 특성을 활용하는 구조적 알고리즘과 간선 확률 p = √(log n / n)인 무작위 그래프 분석을 조합함으로써, 저자들은 ι(m) = Θ((m log m)^{2/3})임을 증명하여 상수 인자까지 날카로운 경계를 확립하고, 이전에 에르되시(Erdős), 패치(Pach), 피버(Pyber, 1987)가 제시한 로그 인자 오차를 개선한다.

ABSTRACT

An old problem raised independently by Jacobson and Schönheim asks to determine the maximum $s$ for which every graph with $m$ edges contains a pair of edge-disjoint isomorphic subgraphs with $s$ edges. In this paper we determine this maximum up to a constant factor. We show that every $m$-edge graph contains a pair of edge-disjoint isomorphic subgraphs with at least $c (m\log m)^{2/3}$ edges for some absolute constant $c$, and find graphs where this estimate is off only by a multiplicative constant. Our results improve bounds of Erdős, Pach, and Pyber from 1987.

연구 동기 및 목표

• 논문은 모든 m-edge 그래프가 서로 간선이 겹치지 않는 동형 부분그래프 쌍을 각각 s개 간선으로 포함할 수 있는 최대 간선 수 s를 결정하는 오랜 동안 남아있던 문제를 해결하고자 한다.
• 에르되시(Erdős), 패치(Pach), 피버(Pyber, 1987)가 제시한 경계에서 로그 m 인자 오차가 존재하는 점을 해결하고자 한다.
• 그래프에서 자기유사성 함수 ι(m)에 대한 날카로운 渐진적 경계를 확립하여 성장률이 Θ((m log m)^{2/3})임을 보이고자 한다.
• 특히 무작위 그래프와의 관련성에서 이 경계에 도달하거나 근접하는 그래프의 구조적 특성을 규명하고자 한다.

제안 방법

• 저자들은 각 단계에서 두 개의 큰 간선이 서로 겹치지 않는 동형 부분그래프를 식별하거나, 특정 크기 및 밀도 조건을 만족하는 더 작은 유도 부분그래프로 그래프를 축소시키는 구조적 반복 알고리즘을 설계한다.
• 핵심 매개변수로는 at = log2(nt / (mt^{2/3} (log mt)^{1/3}))가 있으며, 이는 반복 과정에서 정점 수와 간선 밀도 간의 균형을 추적한다.
• dt = mt / (2^{at} nt)로 정의되는 차수 임계값을 사용하여 고차수 정점을 식별하고, 저차수 정점을 제거하여 구조적 성질을 유지한다.
• 두 가지 주요 보조정리가 적용된다: 밀도가 낮은 그래프에 대해선 Proposition 2.3를, 밀도가 높은 그래프에 대해선 Corollary 2.7를 사용하며, 둘 다 ι(G) = Ω((m log m)^{2/3})를 도출한다.
• 상한은 에르되시-레니(Erdős-Rényi) 무작위 그래프 Gn,p에서 p = √(log n / n)로 분석함으로써 도출되며, 이러한 그래프가 渐진적 경계에 도달함을 보여준다.
• 반복적 감소 과정을 통해 알고리즘이 ι(G) = Ω((m log m)^{2/3})를 만족하는 부분그래프에 도달할 때까지 종료되지 않으며, 이는 매 단계에서 at가 최소 1/3 감소함을 이용한다.

실험 결과

연구 질문

• RQ1 자기유사성 함수 ι(m)의 渐진적 성장률은 무엇인가? 여기서 ι(m)은 모든 m-edge 그래프가 간선이 서로 겹치지 않는 동형 부분그래프 쌍을 각각 s개 간선으로 포함할 수 있는 최대 s로 정의된다.
• RQ2 에르되시(Erdős), 패치(Pach), 피버(Pyber)의 이전 경계에서 존재하는 로그 인자 오차는 그래프의 경우(r=2)에 대해 해결될 수 있는가?
• RQ3 무작위 그래프는 자기유사성을 최대화하는 데 渐진적으로 최적인가? 이러한 그래프는 어떤 구조적 특성을 지닌다?
• RQ4 s-나누어떨어지는 부분그래프의 경우(즉, s > 2에 대해 ιs(m)) 자기유사성 함수는 어떻게 스케일링되는가? 그리고 동일한 기법을 확장할 수 있는가?

주요 결과

• 논문은 그래프의 자기유사성 함수가 ι(m) = Θ((m log m)^{2/3})임을 규명하여 상수 인자까지의 渐진적 성장률을 해결한다.
• 모든 m-edge 그래프가 적어도 c(m log m)^{2/3}개의 간선을 가진 두 개의 간선이 서로 겹치지 않는 동형 부분그래프 쌍을 포함하는 절대 상수 c가 존재한다.
• 상한으로서 어떤 절대 상수 C에 대해 어떤 m-edge 그래프도 자기유사성이 C(m log m)^{2/3}를 초과할 수 없음을 증명한다.
• 간선 확률 p = √(log n / n)인 무작위 그래프는 渐진적 경계에 도달하며, 이러한 그래프가 자기유사성에서 최극적임을 보여준다.
• 경계에 도달하는 그래프는 Θ(m^{2/3} / (log m)^{1/3})개의 정점과 최소 (1−ε)m개의 간선을 포함하는 부분그래프를 가져야 하며, 대부분의 정점은 차수 Ω((m log m)^{1/3})를 가져야 한다.
• 최극적 그래프의 구조적 특성으로는 간선이 잘 분포되어 있음(큰 이분형 컷이 없음)과 (m log m)^{2/3} 스케일링과 일치하는 균형 잡힌 정점-간선 비율이 있다.