[논문 리뷰] On the Anti-Ramsey Threshold for Non-Balanced Graphs

Pedro Araújo, Táısa Martins외 4명|arXiv (Cornell University)|2022. 01. 13.

Limits and Structures in Graph Theory인용 수 1

한 줄 요약

이 논문은 2-라벨링된 그래프의 병합을 통한 비균형 그래프의 클래스를 구성함으로써 고전적 $ n^{-1/m_2(H)} $ 기준보다 엄밀히 낮은 반-람지 임계값을 갖는 그래프를 식별하는 새로운 프레임워크를 제안한다. $ 1 < m_2(H) < 2 $ 인 그래프 $ H $ 에 대해 $ G(n,p) \to F \oplus H $ 의 임계값은 $ o(n^{-1/m_2(F\oplus H)}) $ 임을 증명하며, 반-람지 임계값이 항상 $ m_2 $-밀도에 의해 결정되지 않음을 보여주며, 특히 책 그래프와 같은 비균형 그래프 구성에서 이와 같은 현상이 발생함을 시사한다.

ABSTRACT

For graphs G,H, we write Grb⟶H if for every proper edge-coloring of G there is a rainbow copy of H, i.e., a copy where no color appears more than once. Kohayakawa, Konstadinidis and the last author proved that the threshold for G(n,p)rb⟶H is at most n−1/m2(H). Previous results have matched the lower bound for this anti-Ramsey threshold for cycles and complete graphs with at least 5 vertices. Kohayakawa, Konstadinidis and the last author also presented an infinite family of graphs H for which the anti-Ramsey threshold is asymptotically smaller than n−1/m2(H). In this paper, we devise a framework that provides a richer family of such graphs.

연구 동기 및 목표

• 비클리크, 비사이클 그래프에 대한 반-람지 임계값에 대한 이해 부족을 메우며, $ m_2 $-밀도 기준을 초월한 그래프에 대해 연구한다.
• 반-람지 임계값이 $ n^{-1/m_2(H)} $ 보다 점근적으로 작은 더 넓은 그래프 계열을 규명함으로써, $ m_2 $-밀도 추측의 일반성에 도전한다.
• 그래프 병합과 2-라벨링된 그래프를 활용한 일반적 프레임워크를 수립하여 이러한 그래프를 체계적으로 구성한다.
• 책 그래프 $ B_t $ 와 $ m_2(H) \in (1,2) $ 인 $ H $ 와의 병합이 $ m_2 $-임계값 이하의 행동을 보임을 증명한다.
• 구조적 및 확률적 방법을 통해 이전의 $ m_2 $-밀도 기반 임계값 결과를 비균형, 비균형 그래프로 확장한다.

제안 방법

• 2-라벨링된 그래프에 대해 정점 1과 2를 식별함으로써 정의된 그래프 병합 연산 $ \oplus $ 를 도입하며, 이로써 $ F \oplus H $ 를 형성한다.
• 반-람지 성질의 임계 밀도를 지배하는 매개변수 $ \beta(H,S) = \frac{1}{e(S)} \left( v(S) - 2 + \frac{1}{m_2(H)} \right) $ 를 도입한다.
• 규칙성 방법과 임bedding 보조정리(예: 정리 4.1)를 사용하여 의사난수성과 무작위 그래프 내 전이 복사본의 존재를 보장한다.
• 확률적 수세기와 농도 집중 추론을 적용하여, 무작위 그래프 $ G(n,p) $ 가 $ F \oplus H $ 의 무채색 복사본을 피하는 확률을 근사한다.
• $ S \to F $ 를 반-람지 의미에서 만족시키는 그래프의 가족 $ S $ 를 구성하고, $ S $ 의 다수의 복제본을 사용하여 $ F $ 를 무채색 방식으로 임베딩한다.
• 색상 분할 전략을 활용하여 $ F \oplus H $ 의 각 변에 대해 별개의 색상 집합을 할당하고, 극한 그래프 이론을 활용하여 전체 무채색 복사본으로의 확장을 보장한다.

실험 결과

연구 질문

• RQ1 2-라벨링된 그래프 $ F $ 와 다른 그래프 $ H $ 를 병합한 그래프의 반-람지 임계값은 $ m_2(H) < m_2(F) $ 이고 $ F $ 가 2-균형일 때 어떻게 되는가?
• RQ2 $ m_2(H) \in (1,2) $ 일 때조차도 $ F \oplus H $ 의 반-람지 임계값이 $ n^{-1/m_2(F\oplus H)} $ 보다 엄밀히 낮을 수 있는가?
• RQ3 책 그래프 $ B_t $ 와 그들의 $ H $ 와의 병합에 대해 반-람지 임계값이 $ m_2 $-밀도 기준 이하로 떨어지는가?
• RQ4 $ F \oplus H $ 의 비균형성은 균형 그래프와 비교해 임계값 행동에 어떤 영향을 미치는가?
• RQ5 반-람지 임계값이 $ m_2 $-기반 상한보다 점근적으로 작은 무한한 그래프 계열을 생성할 수 있는 일반적 프레임워크를 구축할 수 있는가?

주요 결과

• 논문은 임의의 2-라벨링된 그래프 $ F $ 와 $ H $ 에 대해 $ 1 < m_2(H) < m_2(F) $ 이고, 임의의 2-균형 그래프 $ S $ 가 $ S \to F $ 를 만족할 때, $ G(n,p) \to F \oplus H $ 의 임계값이 $ o(n^{-\beta(H,S)}) $ 임을 증명한다. 여기서 $ \beta(H,S) = \frac{1}{e(S)} \left( v(S) - 2 + \frac{1}{m_2(H)} \right) $ 이다.
• 무한한 그래프 계열 $ B_t \oplus H $ 를 구성하였으며, $ m_2(H) \in (1,2) $ 이고, $ \text{prb}_{B_t \oplus H} = o(n^{-1/m_2(B_t \oplus H)}) $ 임을 보여, 엄밀히 $ m_2 $-임계값 이하의 행동임을 입증한다.
• 책 그래프 $ B_t $ 에 대해 논문은 $ B_{3t-2} \to B_t $ 가 반-람지 의미에서 성립함을 증명하며, 이는 정리 1.1의 가정을 충족시키는 데 필수적이다.
• $ B_t \oplus H $ 의 임계값 $ \beta(H, B_{3t-2}) $ 는 $ \beta(H, B_{3t-2}) > 1/2 $ 를 만족하지만, $ 1/m_2(B_t \oplus H) \leq 1/2 $ 이므로, 실제 임계값이 $ m_2 $-기반 상한보다 점근적으로 작다는 것을 증명한다.
• 확률적 및 극한 기법을 통해 저자들은 $ p \geq C n^{-\beta(H,S)} $ 일 때 확률 $ G(n,p) \to F \oplus H $ 가 1로 수렴함을 보이며, 이는 임계값 행동을 확인한다. 여기서 $ C $ 는 $ \gamma $ 에만 의존한다.
• 이 프레임워크는 이전의 사이클과 클리크에 대한 결과를 일반화하며, 반-람지 임계값이 항상 $ m_2 $-밀도에 의해 결정되지 않음을 보여주며, 특히 비균형 그래프 구성에서 이와 같은 현상이 발생함을 시사한다.