[논문 리뷰] A Cauchy-Davenport type result for arbitrary regular graphs

Peter Hegarty|ArXiv.org|2009. 10. 12.

Limits and Structures in Graph Theory인용 수 4

한 줄 요약

이 논문은 임의의 정규적이고 연결된 그래프에 대해 코시-다베르시안 유형 부등식을 수립한다: 모든 $n$-정점 정규적 연결 그래프에 대해, 어떤 상수 $\epsilon > 0$ (약 0.087) 가 존재하여, 모든 정점 쌍이 길이 3 이내의 경로로 연결되어 있거나, 3중합그래프의 간선 수가 원래 간선 수를 $1 + \epsilon$ 배 이상 초과한다. 이 결과는 아벨 군의 고전적 코시-다베르시안 정리가 정규성과 연결성 조건을 이용해 그래프 이론적 환경으로 일반화된 것이다.

ABSTRACT

Motivated by the Cauchy-Davenport theorem for sumsets, and its interpretation in terms of Cayley graphs, we prove the following main result : There is a universal constant e > 0 such that, if G is a connected, regular graph on n vertices, then either every pair of vertices can be connected by a path of length at most 3, or the number of pairs of such vertices is at least 1+e times the number of edges in G. We discuss a range of further questions to which this result gives rise.

연구 동기 및 목표

• 아벨 군의 합집합에 대한 고전적 코시-다베르시안 정리를 정규적이고 연결된 그래프의 맥락으로 일반화하기.
• 특수한 정규 그래프인 카일리 그래프에서 관찰된 합집합의 선형 성장이 임의의 정규 그래프로 확장되는지 조사하기.
• 특히 $h=3$일 때, 정규 그래프에서 $h$-중합그래프의 간선 수가 $h$에 대해 선형 함수로 아래에서 유계임을 증명할 수 있는지 확인하기.
• 합그래프 성장이 느린 정규 그래프의 구조적 제약 조건을 탐색하여, 역유형 문제를 도출하기.

제안 방법

• 정점 집합이 동일한 그래프에서, 두 정점 사이에 길이 $h$ 이내의 경로가 존재하면 간선이 존재하는 $h$-중합그래프 $h\mathscr{G}$를 정의한다.
• 정규적이고 연결된 그래프에서 $|3\mathscr{E}|$ 와 $|\mathscr{E}|$ 의 상대적 성장을 분석하기 위해 극단적 그래프 이론적 접근을 사용한다.
• 특정 이웃 집합 내의 정점 쌍 사이의 길이 3 경로에 대해 이중 세기 기법을 적용하여, $\mathscr{G}$ 에 포함되지 않은 $3\mathscr{G}$ 의 새로운 간선 수의 하한을 유도한다.
• 느린 성장(즉, $|3\mathscr{E}| < (1+\epsilon)|\mathscr{E}|$)을 가정하고 모순을 이끌어내어 정규성 또는 연결성 조건을 위반하는 구조적 제약 조건을 유도한다.
• 직경 bound $\text{diam}(\mathscr{G}) \leq \frac{3n - (d+3)}{d+1}$ 를 사용하여 극한 케이스를 분석하고, 최적 bound 를 달성하는 예시를 구성한다.
• 최적의 보편 상수 $\epsilon \approx 0.087$ 를 도출하기 위해 방정정식 $\epsilon = \frac{1}{4}(1 - \sqrt{\epsilon})^3$ 를 풀이한다.

실험 결과

연구 질문

• RQ1 고전적 아벨 군에서의 결과와 유사하게, 임의의 정규적이고 연결된 그래프에 대해 합그래프의 간선 수 성장에 대해 코시-다베르시안 유형 하한이 성립하는가?
• RQ2 정규 그래프에서 $h \geq 3$ 일 때, $h$-중합그래프의 성장이 $h$ 에 대해 일관된 선형 함수로 아래에서 유계임이 보장되는가? 이는 $n$ 에 무관하게 성립해야 한다.
• RQ3 모든 정규적이고 연결된 그래프에 대해, 직경이 3 이하일 경우를 제외하고는 $|3\mathscr{E}| \geq (1 + \epsilon)|\mathscr{E}|$ 를 만족하는 보편적 $\epsilon > 0$ 이 존재하는가?
• RQ4 합그래프 성장이 비선형일 경우를 보이는 정규 그래프의 구조적 특성은 무엇이며, 이는 역유형 문제로 이어지는가?
• RQ5 극한 경로 수 계산을 통해 최소 차수에 대한 그래프의 직경에 대한 유계를 향상 또는 강화할 수 있는가?

주요 결과

• 모든 $n$-정점 정규적 연결 그래프 $\mathscr{G}$ 에 대해, 직경이 3 이하거나, $|3\mathscr{E}| \geq (1 + \epsilon)|\mathscr{E}|$ 를 만족하는 보편 상수 $\epsilon > 0$ 이 존재한다.
• 최적의 $\epsilon$ 값은 방정정식 $\epsilon = \frac{1}{4}(1 - \sqrt{\epsilon})^3$ 의 유일한 양의 근이며, 이로 인해 $\epsilon \approx 0.087$ 이 된다.
• 이 결과는 날카롭다는 의미에서, $h=2$ 에 대해서는 그러한 $\epsilon > 0$ 이 존재하지 않음을 보여주는 명시적 반례를 통해 입증된다. 이 경우 $|2\mathscr{E}|$ 는 $|\mathscr{E}|$ 에 매우 가까워질 수 있다.
• 최소 차수 $d$ 를 가진 연결 그래프의 직경은 $\frac{3n - (d+3)}{d+1}$ 이하이다. 이 유계는 특정 구성에서 渐近적으로 날카롭다.
• 명시적인 $d$-정규 그래프 구성은 $\delta = \left\lfloor \frac{3n - (d+3)}{d+1} \right\rfloor$ 의 직경 유계를 달성하여, 직경 추정의 날카로움을 입증한다.
• 증명은 이웃 집합 내 정점 쌍 사이의 길이 3 경로에 대한 이중 세기 기법에 기반하며, $3\mathscr{G}$ 의 성장이 느릴 경우 정규성과 연결성 조건을 위반하는 모순을 이끌어낸다.