3 균일 초그래프에서 별의 안티레인베이 수

초록

이 논문은 3-균일 초그래프에서 중심 정점 하나에 k+1개의 변이 모인 별 (Fₖ₊₁)의 안티‑레인베이 수 ar₃(n,Fₖ₊₁)를 연구한다. 기존에 k=2,3에 대해 알려진 결과를 확장하여, 충분히 큰 정점 수 n에 대해
ar₃(n,Fₖ₊₁)=f(n,k)+2
를 증명한다. 여기서 f(n,k) 는 k‑별을 포함하지 않는 3‑그래프의 최대 변 개수이며, Chung‑Frankl의 정밀한 극값을 이용한다.

상세 분석

논문은 먼저 안티‑레인베이 수와 Turán 수 사이의 일반적인 하한 arᵣ(n,𝔽)≥exᵣ(n,{𝔽−e:e∈E(𝔽)})+2 를 인용한다. 3‑균일 초그래프에서 𝔽=Fₖ₊₁(=k+1‑별)인 경우, {Fₖ₊₁−e}는 k‑별이 되므로 하한은 바로 f(n,k)+2 가 된다. 핵심은 이 하한이 실제로 정확함을 보이는 상한 증명이다.

상한 증명은 크게 두 단계로 나뉜다. 첫째, 색칠된 완전 3‑그래프 Kₙ³를 정확히 c(n,k)=f(n,k)+2 색으로 색칠하고, 무레인베이 Fₖ₊₁가 존재하지 않는다고 가정한다. 여기서 ‘좋은 쌍’(z_c(u,v)≤3k)를 정의하고, Lemma 9를 이용해 서로 독립인 2k+6개의 좋은 쌍을 확보한다. 이 쌍들에 포함된 색을 제외한 나머지 변들로 이루어진 부분 그래프 G는 색이 겹치지 않으며, Fₖ를 포함하지 않음이 증명된다(Claim 1).

둘째, Chung‑Frankl이 도입한 가중치 함수 ω를 G에 적용한다. 각 정점 v에 대해 W_v=∑_{p∈N_G(v)}ω(v∪p,p) 를 정의하고, Lemma 8을 통해 W_v≤k(k−1)임을 얻는다. 만약 어떤 정점에서 등호가 성립하면, 그 정점의 이웃 그래프 N_G(v)는 두 개의 완전 2‑그래프 K_k가 결합된 형태여야 한다. 그러나 이러한 구조는 좋은 쌍의 존재와 모순된다. 따라서 모든 정점에서 W_v<k(k−1)이며, 실제로 W_v≤k(k−1)−2/3 가 된다. 이를 전체 변 수에 합산하면 e(G)≤nk(k−1)−2n/3 가 되고, 이는 (2)식에서 얻은 하한과 충돌한다.

이 모순을 피하기 위해서는 초기 가정이 틀려야 하므로, 색칠이 c(n,k) 이하이면 반드시 레인베이 Fₖ₊₁가 존재한다. 따라서 ar₃(n,Fₖ₊₁)=f(n,k)+2 가 증명된다. 증명 과정에서 사용된 Lemma 10, Lemma 11 은 작은 그래프(정점 ≤2k−1)에서의 factor‑critical 성질을 보장하여, N_G(v) 가 요구하는 구조를 만족하도록 돕는다. 전체 논리는 기존의 extremal 결과와 정밀한 가중치 분석을 결합해, 큰 n 에 대해 정확한 안티‑레인베이 수를 도출한다는 점에서 의미가 크다.