[논문 리뷰] On the Hilton-Spencer intersection theorems for unions of cycles

Peter Borg, Carl Feghali|arXiv (Cornell University)|2019. 08. 23.

Limits and Structures in Graph Theory참고 문헌 22인용 수 5

한 줄 요약

이 논문은 주어진 사이클의 거듭제곱과 여러 다른 사이클의 거듭제곱들의 병합이 엄격한 클리크 수 조건 하에서 r-EKR임을 증명한다 (즉, r원소 독립집합의 최대 교차 가족은 자명하다). 캣나의 샤도 인터섹션 정리와 귀납적 압축 기법을 사용하여, 구성 요소 사이클들의 최소 클리크 수가 주요 사이클의 거듭제곱보다 큰 경우에 대해 간결한 증명을 제공하며, 이는 이전의 힐튼-스펜서 결과를 경로와 사이클 병합으로 확장한 것이다.

ABSTRACT

A family $\mathcal{A}$ of sets is said to be intersecting if every two sets in $\mathcal{A}$ intersect. An intersecting family is said to be \emph{trivial} it its sets have a common element. A graph $G$ is said to be $r$-EKR if at least one of the largest intersecting families of independent $r$-element sets of $G$ is trivial. Let $α(G)$ and $ω(G)$ denote the independence number and the clique number of $G$, respectively. Hilton and Spencer recently showed that if $G$ is the vertex-disjoint union of a cycle ${_*C}$ raised to the power $k^*$ and $s$ cycles ${_1C}, \dots, {_sC}$ raised to the powers $k_1, \dots, k_s$, respectively, $1 \leq r \leq α(G)$, and $$\min\big(ω(_1C^{k_1}), \dots, ω(_sC^{k_s})\big) \geq 2k^* + 1,$$ then $G$ is $r$-EKR. They had shown that the same holds if ${_*C}$ is replaced by a path and the condition on the clique numbers is relaxed to $$\min\big(ω(_1C^{k_1}), \dots, ω(_sC^{k_s})\big) \geq k^* + 1.$$ We use the classical Shadow Intersection Theorem of Katona to obtain a short proof of each result for the case where the inequality for the minimum clique number is strict.

연구 동기 및 목표

• 경로와 사이클 병합에 대한 힐튼-스펜서 교차 정리의 결과를 사이클 병합으로 확장하여, 엄격한 클리크 수 조건 하에서 r-EKR 성질을 증명하는 것.
• 구성 요소 사이클들의 최소 클리크 수가 주요 사이클의 거듭제곱보다 엄격히 클 경우, 캣나의 샤도 인터섹션 정리를 사용하여 짧고 자가 포함된 증명을 제공하는 것.
• 이전의 경로 및 사이클 병합 결과를 더 엄격한 구조적 제약 조건 하에 있는 사이클 병합으로 일반화하는 것.
• 이러한 그래프에서 r원소 독립집합의 최대 교차 가족이 자명한지 여부를 밝혀내는 극대 집합 이론 문제를 해결하는 것.

제안 방법

• 그래프 병합에서 독립 r원소 집합의 교차 가족을 분석하기 위해 캣나의 샤도 인터섹션 정리를 적용한다.
• 주요 사이클의 길이에 대해 귀납법을 사용하여 정점 제거와 압축을 통해 문제를 더 작은 그래프로 축소한다.
• 가족의 구조 복잡도를 줄이고 교차 성질을 유지하기 위해 톨벗의 압축 사상(압축 지도)을 활용한다.
• 원래의 교차 가족을 분할하기 위해 보조 가족(B, C, D_i, F)을 정의하고, 이들의 압축에 의한 상(images)을 분석한다.
• 작은 사이클과 거듭제곱들의 병합인 그래프 F와 H에 대해 귀납적 가정을 적용하여 압축된 가족의 크기에 대한 경계를 설정한다.
• 압축된 가족과 샤도 가족의 경계를 결합하여 원래 가족의 크기가 정점 1을 중심으로 한 스타의 크기 이하임을 보인다.

실험 결과

연구 질문

• RQ1 모든 r ≤ α(G)에 대해 사이클의 거듭제곱과 여러 다른 사이클들의 병합이 r-EKR가 되는 조건은 무엇인가?
• RQ2 클리크 수 조건이 엄격할 경우, 캣나의 샤도 인터섹션 정리를 사용하여 힐튼-스펜서 결과에 대한 짧은 증명을 얻을 수 있는가?
• RQ3 사이클 거듭제곱의 독립집합의 구조는 교차 가족에서 스타의 최대성에 어떤 영향을 미치는가?
• RQ4 구성 요소 사이클들 중 최소 클리크 수가 그래프 병합의 r-EKR 성질을 결정하는 데 어떤 역할을 하는가?

주요 결과

• C*^{k*}와 s개의 사이클 Ci^{ki}의 정점 분리 병합으로 구성된 그래프 G는 min(ω(C1^{k1}), ..., ω(Cs^{ks})) > ω(C*^{k*})일 경우 r-EKR이다.
• 특히 엄격한 부등식의 경우, 캣나의 샤도 인터섹션 정리를 사용함으로써 증명이 크게 단순화된다.
• 모든 r에 대해 1 ≤ r ≤ α(G)를 만족할 때 결과가 성립하며, 이는 힐튼-스펜서 정리를 사이클 병합으로 확장한 것이다.
• 정점 제거와 톨벗 압축에 기반한 귀납적 증명은 임의의 교차 가족의 크기가 정점 1을 중심으로 한 스타의 크기 이하임을 보여준다.
• 핵심 부등식 min(ω(Ci^{ki})) > ω(C*^{k*})는 더 작은 그래프로의 귀납적 축소가 유효함을 보장한다.
• 이전에 알려진 바보다 더 넓은 범위의 사이클 병합에 대해 더 엄격한 클리크 수 조건 하에서 r-EKR 성질이 확인된다.