[논문 리뷰] A Summary of Problems and Results related to the Caccetta-Haggkvist Conjecture

Blair D. Sullivan|ArXiv.org|2006. 05. 24.

Advanced Combinatorial Mathematics참고 문헌 24인용 수 20

한 줄 요약

이 논문은 방향 그래프 이론에서 Caccetta-H"{a}ggkvist 추측 및 관련 문제에 대한 종합적인 서베이를 제공하며, 부분 결과, 근사 경계, 열려 있는 추측들을 통합한다. 최소 출도 조건에 의해 짧은 방향 순환을 유도하는 데 관한 진전을 요약하며, 소수 r에 대한 정확한 결과, 작은 가감 상수를 가진 근사 경계, 그리고 Seymour의 두 번째 이웃 추측 및 r-정규 방향 그래프와의 연결 고리를 포함한다.

ABSTRACT

This paper is an attempt to survey the current state of our knowledge on the Caccetta-Haggkvist conjecture and related questions. In January 2006 there was a workshop hosted by the American Institute of Mathematics in Palo Alto, on the Caccetta-Haggkvist conjecture, and this paper partly originated there, as a summary of the open problems and partial results presented at the workshop. This summary includes results and open problems related to Caccetta-Haggkvist, Seymour's Second Neighborhood Conjecture, the k/2 Conjecture (for nonedges), and connections with algebraic number theory through Cayley graphs, along with a number of other related topics.

연구 동기 및 목표

• 2006년 1월 기준 Caccetta-H"{a}ggkvist 추측에 관한 지식의 상태를 요약하기 위해, 미국 수학연구소에서 개최된 워크숍 이후의 내용을 반영한다.
• 이 추측과 관련된 부분 결과, 근사 경계, 관련 추측들을 수집하고 체계화한다.
• Caccetta-H"{a}ggkvist 추측과 방향 그래프 이론의 다른 핵심 문제들, 예를 들어 Seymour의 두 번째 이웃 추측 및 Behzad-Chartrand-Wall 추측 사이의 연결 고리를 명확히 한다.
• 극한 방향 그래프 이론 분야의 향후 연구를 이끌기 위해 열려 있는 문제들과 추측들을 체계적으로 제시한다.
• 이 추측의 현재 상태와 다양한 그래프 계열, 차수 조건에 따른 영향을 종합적으로 정리한 연구자용 통합 참고 자료를 제공한다.

제안 방법

• Caccetta-H"{a}ggkvist 추측에 관한 알려진 결과를 서베이하고 정리하며, 소수 r(r=2,3,4,5)에 대한 증명과 r ≤ √(n/2)에 대한 渐近 경계를 포함한다.
• 작은 상수 c(예: Shen의 경우 c=73)에 대해 girth를 n/r + c로 근사적으로 bound하는 결과를 분석하며, 조합적 및 확률적 기법을 사용한다.
• r = n/3인 특수 케이스를 고려하여, δ⁺ ≥ cn이 길이가 3 이하인 방향 순환을 유도하도록 하는 상수 c를 최소화하는 것을 목표로 한다.
• Seymour의 두 번째 이웃 추측과의 연결 고리를 조사하며, 확률적 및 대수적 방법을 사용해 두 번째 이웃의 크기를 bound한다.
• 피드백 아크 세트에 관한 Lichiardopol의 추측과 girth와 관련된 경로 길이에 관한 Thomassé의 추측과 같은 구조적 추측을 제시한다.
• 극한 예시로 가능한 후보로 3/4-다이그래프와 다수의 다이그래프를 도입하고, 그들의 구조적 성질에 대한 추측을 분석한다.

실험 결과

연구 질문

• RQ1 최소 출도가 r인 단순 n-정점 다이그래프에서 방향 순환의 최소 길이는 무엇이며, 이는 ⌈n/r⌉에 어떻게 관련되어 있는가?
• RQ2 Caccetta-H"{a}ggkvist 추측은 모든 r에 대해 증명될 수 있는가, 아니면 각 r에 대해 유한 개의 반례만 존재하는가?
• RQ3 δ⁺ ≥ r이면 길이가 최대 n/r + c인 방향 순환을 유도하는 데 있어 가능한 최적의 가감 상수 c는 무엇인가?
• RQ4 최소 출도가 적어도 n/3인 모든 다이그래프는 방향 삼각형을 포함하는가? 그리고 그러한 상수의 최소값은 무엇인가?
• RQ5 다수의 순열을 통해 정의된 3/4-다이그래프는 Caccetta-H"{a}ggkvist 추측을 만족하는가? 그리고 그들은 어떤 구조적 성질을 갖는가?

주요 결과

• Caccetta와 H"{a}ggkvist, Hamidoune, Ho{à}ng 및 Reed의 각각의 증명으로, Caccetta-H"{a}ggkvist 추측은 r=2, r=3, r=4, r=5일 때 참임이 입증되었다.
• Shen은 n ≥ 2r² − 3r + 1일 때, 최소 출도가 r인 모든 다이그래프가 길이가 최대 ⌈n/r⌉인 순환을 가짐을 증명하여, 각 r에 대해 유한한 반례 집합이 존재함을 보였다.
• r = n/3의 경우, δ⁺ ≥ cn이 길이가 3 이하인 방향 순환을 유도하도록 하는 상수 c에 대한 최고의 알려진 상한은 c ≤ 3 − √7 ≈ 0.3542이다.
• Shen의 근사 girth 결과는 g ≤ 3⌈n/r ln((2+√7)/3)⌉ ≈ 1.312n/r로, 이는 이전의 경계를 향상시킨다.
• Seymour의 두 번째 이웃 추측은 토너먼트(Dean의 추측), 출도 ≤ 6인 다이그래프, 첫 번째 이웃 크기의 비율 γ ≈ 0.657에 대해 알려져 있다.
• Lichiardopol의 추측은 Caccetta-H"{a}ggkvist 추측을 함의하며, 모든 다이그래프가 최소 피드백 아크 세트에 길이 δ⁺인 경로를 포함한다고 주장한다.