[논문 리뷰] Ramanujan circulant graphs and the conjecture of Hardy-Littlewood and Bateman-Horn

Miki Hirano, Kohei Katata외 1명|arXiv (Cornell University)|2013. 10. 08.

Graph theory and applications참고 문헌 18인용 수 4

한 줄 요약

이 논문은 기약 그래프에서 Ramanujan 성질을 유지하면서 제거할 수 있는 간선의 최대 수를 결정하며, 이 경우의 경계가 일반적인 추정치보다 두 개 뿐만 초과되는 경우는 예외적인 경우에만 발생함을 보여준다. 이러한 예외는 정점 수가 특정 이차다항식으로 표현되는 소수 또는 두 개의 서로 다른 소수의 곱인 경우에 정확히 발생하며, Hardy-Littlewood 및 Bateman-Horn 추측에 따르면 이러한 경우는 무한히 많이 발생한다.

ABSTRACT

In this paper, we determine the bound of the valency of the odd circulant graph which guarantees to be a Ramanujan graph for each fixed number of vertices. In almost of the cases, the bound coincides with the trivial bound, which comes from the trivial estimate of the largest non-trivial eigenvalue of the circulant graph. As exceptional cases, the bound in fact exceeds the trivial one by two. We then prove that such exceptionals occur only in the cases where the number of vertices has at most two prime factors and is represented by a quadratic polynomial in a finite family and, moreover, under the conjecture of Hardy-Littlewood and Bateman-Horn, exist infinitely many.

연구 동기 및 목표

• 기본 그래프 Kₘ에서 Ramanujan 성질을 유지하면서 제거할 수 있는 간선의 최대 수를 결정하는 것.
• valency 경계가 일반적인 추정치보다 두 개 초과하는 예외적 경우를 식별하는 것.
• 이러한 예외적 그래프의 존재를 해석적 수론의 깊은 추측, 특히 Hardy-Littlewood 및 Bateman-Horn 추측과 연결하는 것.
• 순환군에서 일반적인 기약 아벨 군으로의 분석을 확장하여, 비순환군이 예외적 Ramanujan 순환 그래프를 지원할 수 있는 조건을 규명하는 것.

제안 방법

• 정수군 ℤₘ의 특성 함수를 사용하여 기약 순환 그래프의 집합을 정의하고, 그 고유값을 분석하는 것.
• Ramanujan 경계 2√(k−1)를 사용하여 가장 큰 비자명 고유값의 임계값을 결정하는 것.
• 스펙트럼 추정에서 유도된, 최대 제거 가능한 간선 수에 대한 일반적인 하한 l₀,m = 2⌊√m − 3/2⌋ + 1 을 수립하는 것.
• εₘ = 2인 예외적 경우를 식별하며, 이 경우는 m이 k² + 5k + c 형태의 이차다항식으로 표현될 때에만 발생한다. 여기서 c ∈ {±1, ±3, ±5}이다.
• 비자명 특성 χ₀를 사용하여 가장 큰 비자명 고유값을 근사하는 특성 합 추정을 적용하고, Ramanujan 조건을 검증하는 것.
• 중국인의 나머지 정리와 군 분해를 사용하여 비순환 아벨 군을 분석하고, 유일하게 예외적일 수 있는 것은 작은 p-군 ℤₚ ⊕ ℤₚ 뿐임을 증명하는 것.

실험 결과

연구 질문

• RQ1 Ramanujan 기약 순환 그래프의 valency 경계가 일반적인 스펙트럼 추정치를 초과하는 조건은 무엇인가?
• RQ2 기본 그래프 Kₘ에서 l개의 간선을 제거한 후에도 기약 순환 그래프가 여전히 Ramanujan 성질을 유지하는 조건은 무엇인가?
• RQ3 예외적 Ramanujan 순환 그래프의 존재와 Hardy-Littlewood 및 Bateman-Horn 추측 사이의 연결 고리는 무엇인가?
• RQ4 기약 아벨 군 중에서 홀수 차수를 가지며 비순환인 군 중에서 예외적 Ramanujan 순환 그래프를 지지할 수 있는 것은 무엇인가?
• RQ5 군의 구조(순환 대비 비순환)가 Ramanujan 성질을 유지하면서 제거 가능한 간선 수의 최대치에 미치는 영향은 무엇인가?

주요 결과

• Kₘ에서 Ramanujan 성질을 유지하면서 제거할 수 있는 간선의 최대 수는  l̂ₘ = l₀,ₘ + εₘ 으로 주어지며, 여기서 l₀,ₘ = 2⌊√m − 3/2⌋ + 1 이고 εₘ ∈ {0, 2} 이다.
• εₘ = 2인 예외적 경우는 m이 소수이거나 두 개의 서로 다른 소수 p < q < 4p의 곱이며, m이 c ∈ {±1, ±3, ±5}에 대해 k² + 5k + c 형태의 이차다항식으로 표현될 때에만 발생한다.
• Hardy-Littlewood 및 Bateman-Horn 추측에 따르면 이러한 예외적 m은 무한히 많으며, 이는 무한히 많은 예외적 Ramanujan 순환 그래프가 존재함을 의미한다.
• 비순환 아벨 군의 경우, ℤₚ ⊕ ℤₚ 이며 p ≤ 17 인 경우에만 예외적일 수 있으며, p = 7, 11, 13, 17일 경우 l₀보다 2 초과하고, p = 5일 경우 4 초과한다.
• 이러한 예외적 그래프의 존재는 스펙트럼 간격과 특성 합 추정에 의해 결정되며, 가장 큰 비자명 고유값이 Ramanujan 경계에 도달하는 것은 군의 구조와 m의 산술적 성질이 정확히 일치할 때에만 가능하다.
• 기타 모든 기약 아벨 군, 즉 두 개 이상의 순환 인자 또는 높은 p-군의 구조를 가진 군의 경우, 그래프들은 일반적이다. 즉, εₘ = 0이다.