[논문 리뷰] Cycles Of Given Length In Oriented Graphs

Luke Kelly, Daniela Kühn외 1명|ArXiv.org|2008. 06. 05.

Advanced Graph Theory Research참고 문헌 18인용 수 7

한 줄 요약

이 논문은 최소 반방향도가 $\lfloor n/3\rfloor + 1$ 이상인 모든 충분히 큰 방향 그래프가 $3$으로 나누어떨어지지 않는 모든 $\ell \geq 4$에 대해 $\ell$-사이클을 포함함을 증명하며, 이 조건이 날카로운 상한임을 보이고, $\ell$가 $3$의 배수일 경우, 이 조건의 최적 경계는 $\ell$를 나누지 않는 최소 정수 $k \geq 3$에 의해 결정될 것이라는 추측을 제기한다. 이 추측은 정규성 기반 방법과 밀도가 높은 방향 그래프의 전순환성 결과를 통해 뒷받질린다.

ABSTRACT

We show that for each \ell\geq 4 every sufficiently large oriented graph G with δ^+(G), δ^-(G) \geq \lfloor |G|/3 floor +1 contains an \ell-cycle. This is best possible for all those \ell\geq 4 which are not divisible by 3. Surprisingly, for some other values of \ell, an \ell-cycle is forced by a much weaker minimum degree condition. We propose and discuss a conjecture regarding the precise minimum degree which forces an \ell-cycle (with \ell \geq 4 divisible by 3) in an oriented graph. We also give an application of our results to pancyclicity and consider \ell-cycles in general digraphs.

연구 동기 및 목표

• 모든 $\ell \geq 4$에 대해 방향 그래프에서 $\ell$-사이클을 유도하는 최소 반방향도 조건을 규명하는 것.
• 특히 $\ell \not\equiv 0 \pmod{3}$일 때, 3-사이클의 블로우업을 통해 최적의 경계를 달성하는 극한 구조를 규명하는 것.
• $\ell$가 $3$의 배수일 경우, $\ell$를 나누지 않는 최소 정수 $k \geq 3$에 기반해 $\ell$-사이클에 대한 정확한 최소 반방향도 경계를 제안하는 추측을 내세우는 것.
• 최소 반방향도가 차수의 $3/8$를 초과하는 방향 그래프에 대해 일반적인 전순환성 결과를 확립하는 것.
• 정규성 보조정리와 최소도 조건이 특정 방향 사이클과 부분그래프를 유도하는 데서 수행하는 역할을 탐색하는 것.

제안 방법

• 방향 그래프의 정규성 보조정리를 사용하여 최소 출발도 조건 하에서 $\ell$-사이클 존재에 대한 경계를 유도한다.
• 특정 방향 걷기(예: 전순서 삼각형 또는 4-사이클을 포함한 경로)를 탐욕적으로 통합하여 더 긴 사이클을 구성하는 전략을 적용한다.
• 초기 기댓값의 꼬리 근사 및 초기 기댓값의 꼬리 근사 기반 확률적 방법을 사용하여 랜덤 부분집합에서 높은 최소 반방향도를 갖는 부분그래프를 찾는다.
• 극한 구조의 구조—특히 $k$-사이클의 블로우업—을 활용하여 주요 추측의 형식화를 이끈다.
• 적절한 걷기 구조를 구성한 후 Lemma 22(iv)를 적용하여 사이클 통합을 완료한다.
• 랜덤 부분집합 선택 보조정리를 반복 적용하여 그래프 크기를 줄이되, 높은 최소 반방향도를 유지함으로써 귀납법을 적용한다.

실험 결과

연구 질문

• RQ1 3으로 나누어떨어지지 않는 모든 $\ell \geq 4$에 대해, 방향 그래프에서 $\ell$-사이클을 유도하는 최소 반방향도 조건은 무엇인가요?
• RQ2 $\ell$가 $3$의 배수일 경우, $\ell$-사이클에 대한 경계 $\lfloor n/3\rfloor + 1$을 향상시킬 수 있으며, 만약 가능하면 최적 경계는 무엇에 의해 결정되는가요?
• RQ3 모든 $\ell$-사이클을 유도하는 최소 반방향도를 결정하는 일반적인 극한 구조(예: $k$-사이클의 블로우업)가 존재하는가, 여기서 $k$는 $\ell$를 나누지 않는 최소 정수 $\geq 3$인가요?
• RQ4 최소 반방향도가 차수의 $3/8$를 초과하면, 방향 그래프가 전순환성을 띠는가요?
• RQ5 최소 반방향도 조건 하에서 $\ell$-사이클 존재성을 증명할 때 정규성 보조정리를 피할 수 있는가요?

주요 결과

• 모든 $\ell \geq 4$가 $3$으로 나누어떨어지지 않는 경우, $n \geq 10^{10}\ell$ 개의 정점과 $\delta^0(G) \geq \lfloor n/3\rfloor + 1$을 갖는 방향 그래프는 $\ell$-사이클을 포함하며, 이 조건은 날카로운 상한이다.
• 이 경계에 도달하는 극한 구조는 3-사이클의 블로우업이며, 이는 $\ell \not\equiv 0 \pmod{3}$인 경우 어떤 $\ell$-사이클도 포함하지 않으며, 최소 반방향도는 $\lfloor n/3\rfloor$이다.
• $\ell \equiv 0 \pmod{3}$인 경우, $\delta^0(G) \geq \lfloor n/3\rfloor + 1$ 조건은 주어진 정점을 포함하는 $\ell$-사이클 존재에 대해 최적이다.
• 논문은 $k \geq 150$일 때, 최소 출발도 $n/k + 150n/k^2$가 $\ell$-사이클을 유도함을 증명하며, 이는 주요 추측을 뒷받질린다.
• $k=4$이고 $\ell \geq 42$일 때, 임의의 $\varepsilon > 0$에 대해 $\delta^0(G) \geq n/k + \varepsilon n$ 조건이 큰 $n$에 대해 $\ell$-사이클을 유도함을 보이며, 이 경우 추측이 점 渐진적으로 확인된다.
• 최소 반방향도가 차수의 $3/8$를 초과하면, 모든 방향 그래프가 전순환성을 띠며, 즉 $3 \leq \ell \leq n$ 범위의 모든 방향 사이클을 포함한다.