[논문 리뷰] Heights in Finite Projective Space, and a Problem on Directed Graphs

Melvyn B. Nathanson, Blair D. Sullivan|arXiv (Cornell University)|2007. 03. 14.

Graph theory and applications참고 문헌 2인용 수 6

한 줄 요약

이 논문은 𝔽ₚ 위의 유한 사영 공간에서 점들에 대한 새로운 높이 함수를 도입하며, 차원 d=2인 경우에 대해 높이에 대한 명시적 공식과 경계를 확립한다. 이러한 결과를 이용해 방향성 있는 카일리 그래프에서 사이클을 제거하기 위해 삭제해야 할 최소 간선 수를 경계함으로써, β(G) ≤ hₚ(⟨a₁,…,aₙ⟩) ≤ dp/2 를 증명하고, 삼각형이 없는 그래프의 경우 이 경계가 성립함을 확인하여, 𝔽ₚ 위에서 Caccetta-Haggkvist 추측을 지지한다.

ABSTRACT

Let $\F_p = \Z/p\Z$. The \emph{height} of a point $\mathbf{a}=(a_1,..., a_d) \in \F_p^d$ is $h_p(\mathbf{a}) = \min \left\{\sum_{i=1}^d (ka_i \mod p) : k=1,...,p-1 ight\}.$ Explicit formulas and estimates are obtained for the values of the height function in the case $d=2,$ and these results are applied to the problem of determining the minimum number of edges the must be deleted from a finite directed graph so that the resulting subgraph is acyclic.

연구 동기 및 목표

• 𝔽ₚ 위의 유한 사영 공간에서 점들에 대한 높이 함수를 정의하고 분석한다.
• d=2 인 경우에 대해 높이 함수에 대한 명시적 공식과 경계를 유도한다.
• 높이 이론을 이용해 방향성 있는 그래프를 무사이클로 만들기 위해 최소한의 간선을 삭제하는 문제에 적용한다.
• 𝔽ₚ 위의 카일리 그래프에서 삭제되어야 할 최소 간선 수에 대한 경계를 제공하며, Caccetta-Haggkvist 추측을 지지한다.

제안 방법

• 𝔽ₚ 위의 ℙ^{d−1}에서 점 ⟨a₁,…,aₙ⟩의 높이를 hp(𝐚) = minₖ₌₁^{p−1} ∑ᵢ (kaᵢ mod p) 로 정의한다.
• 평균화를 이용해 상한을 확립한다: hp(𝐚) ≤ ⌊d*𝐩/2⌋, 여기서 d* 는 비영인 성분의 수이다.
• ℤ/pℤ 위에서 순열 기반 구성법을 사용하여, 순환 이동에 따라 σ(k) + aⱼ < σ(k) 를 만족하는 인덱스에 해당하는 간선을 제거함으로써 무사이클 부분그래프를 정의한다.
• 𝔽ₚ^* 의 부분집합 A ⊆ 𝔽ₚ^* 로부터 카일리 그래프 G = (𝔽ₚ, E_A) 를 구성하고, β(G) — 즉, 최소 간선 삭제 수 — 를 높이 함수 hp(⟨a₁,…,aₙ⟩) 와 관련지운다.
• 순열에 의해 유도된 순서를 사용하여, β(G) ≤ minₖ₌₁^{p−1} ∑ⱼ (kaⱼ mod p) = hp(⟨a₁,…,aₙ⟩) 를 증명한다.
• 이 경계를 𝔽ₚ 위의 삼각형이 없는 카일리 그래프에 적용하여, p ≥ 7 인 경우 β(G) ≤ (p−1)/2 ≤ γ(G)/2 를 보인다.

실험 결과

연구 질문

• RQ1 d=2 인 경우 ℙ¹(𝔽ₚ) 에서 높이 함수 hp(𝐚) 의 정확한 값과 경계는 무엇인가?
• RQ2 높이 함수 hp(𝐚) 는 방향성 있는 카일리 그래프를 무사이클로 만들기 위해 삭제되어야 할 최소 간선 수와 어떻게 관련이 있는가?
• RQ3 높이 함수를 이용해 𝔽ₚ 의 덧셈군 위에서 카일리 그래프에 대해 Caccetta-Haggkvist 추측을 증명하거나 지지할 수 있는가?
• RQ4 ℙ^{d−1}(𝔽ₚ) 에서 점의 최대 높이는 얼마이며, 이는 d 와 p 에 따라 어떻게 달라지는가?
• RQ5 𝔽ₚ^* 의 어떤 값 a 에 대해 hp(⟨1,a⟩) 가 최소 또는 최대가 되며, 그 정확한 값은 무엇인가?

주요 결과

• d=2 이고 a ∈ 𝔽ₚ^* 일 때, 높이 hp(⟨1,a⟩) 는 hp(⟨1,a⟩) ≤ 1 + (a mod p) 를 만족하며, a mod p < √p 이면 등호가 성립한다.
• 높이 hp(⟨1,a⟩) 가 2임과 동시에 a ≡ 1 mod p 이고, 3임과 동시에 a ≡ 2 또는 (p+1)/2 mod p 이다.
• ℙ^{d−1}(𝔽ₚ) 에서 최대 높이는 d 가 짝수일 때 dp/2 이며, d 가 홀수일 때는 (d−1)p/2 + 1 과 (dp−1)/2 사이에 존재한다.
• 모든 부분집합 A = {a₁,…,aₙ} ⊆ 𝔽ₚ^* 에 대해, 카일리 그래프를 무사이클로 만들기 위해 삭제되어야 할 최소 간선 수 β(G) 는 β(G) ≤ hp(⟨a₁,…,aₙ⟩) ≤ dp/2 를 만족한다.
• p ≥ 7 인 삼각형이 없는 카일리 그래프에서 β(G) ≤ (p−1)/2 이며, 이는 그래프의 총 간선 수의 최대 절반 이하이다.
• 경계 β(G) ≤ hp(⟨a₁,…,aₙ⟩) 는 날카롭고, 순열 기반 간선 제거 전략을 통해 유도되며, 이 전략은 무사이클 부분그래프를 유도한다.