[논문 리뷰] Colourings without monochromatic disjoint pairs

Dennis Clemens, Shagnik Das외 1명|arXiv (Cornell University)|2016. 12. 14.

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

한 줄 요약

이 논문은 교차 구조에서의 에르되시–로스티셔드 문제를 위한 통합 프레임워크를 수립하여, 집합 가족, 벡터 공간, 그리고 순열에서 단색으로 분리된 쌍이 없는 r-색칠을 최대화하는 데 있어 t-별이 점근적으로 최적임을 증명한다. 최적성에 대한 날카운 임계값을 제공하고, 에르되시–코–라도 조건 하에서 극한 가족을 특성화하며, 히펜, 레프만, 오데르만이 제기한 벡터 공간에 대한 추측을 해결한다.

ABSTRACT

The typical extremal problem asks how large a structure can be without containing a forbidden substructure. The Erdős-Rothschild problem, introduced in 1974 by Erdős and Rothschild in the context of extremal graph theory, is a coloured extension, asking for the maximum number of colourings a structure can have that avoid monochromatic copies of the forbidden substructure. The celebrated Erdős-Ko-Rado theorem is a fundamental result in extremal set theory, bounding the size of set families without a pair of disjoint sets, and has since been extended to several other discrete settings. The Erdős-Rothschild extensions of these theorems have also been studied in recent years, most notably by Hoppen, Koyakayawa and Lefmann for set families, and Hoppen, Lefmann and Odermann for vector spaces. In this paper we present a unified approach to the Erdős-Rothschild problem for intersecting structures, which allows us to extend the previous results, often with sharp bounds on the size of the ground set in terms of the other parameters. In many cases we also characterise which families of vector spaces asymptotically maximise the number of Erdős-Rothschild colourings, thus addressing a conjecture of Hoppen, Lefmann and Odermann.

연구 동기 및 목표

• 집합, 벡터 공간, 순열의 교차 가족으로 에르되시–로스티셔드 문제를 확장하여 기존 결과를 일반화한다.
• t-교차 가족에서 단색으로 분리된 쌍이 없는 r-색칠의 최대 수를 결정한다.
• 특히 벡터 공간에서 이러한 색칠의 수를 점근적으로 최대화하는 가족을 특성화한다.
• t-별이 최적임이 되는 기초 집합 크기의 날카운 임계값을 수립하여, 히펜, 레프만, 오데르만의 추측을 해결한다.
• 기존의 에르되시–로스티셔드 확장 결과를 통합하고 강화한다.

제안 방법

• 단색으로 분리된 쌍이 없는 t-교차 가족의 r-색칠 수를 분석하기 위해 안정성 기반의 일반적 방법을 개발한다.
• 극한 집합 이론과 벡터 공간 교차 정리들을 적용하여 가족의 크기와 그 색칠 수를 근사한다.
• 유일한 최적화 추론을 사용하여, 중심이 상호로 자명하게 교차하는 t-별의 합집합이 벡터 공간에서 색칠 수를 최대화함을 보여준다.
• 합집합 상한과 안정성 분석을 활용하여, 에르되시–코–라도 임계값을 초월한 비별 가족이 최적일 수 없음을 배제한다.
• 기존의 최대 교차 가족 결과를 활용하고, 조합적 수세기와 대칭성 추론을 통해 색칠 문제에 적용한다.
• 기초 집합 크기에 대한 조건(예: t=1일 때 n ≥ 3k + 10 ln k)을 도입하여, r=3 색칠에서 t-별이 유일한 최대화자임을 보장한다.

실험 결과

연구 질문

• RQ1 기초 집합 크기 n이 어떤 조건을 만족할 때, k-균일 가족에서 단색으로 분리된 쌍이 없는 r-색칠의 수를 최대화하는 t-별이 유일한 최대화자인가?
• RQ2 유한 체 위의 벡터 공간에서, t-교차 부분공간의 어떤 가족이 (r,t)-색칠의 수를 최대화하는가?
• RQ3 t ≥ 2일 때, 집합 가족에서 r=3 색칠에 대해 에르되시–코–라도 임계값(n ≥ (t+1)(k−t+1))이 여전히 날카로운가?
• RQ4 r ≥ 4 색칠에 대해 집합 가족에서 최적의 가족을 특성화할 수 있는가, 특히 n이 2k에 가까울 때는?
• RQ5 조합론에서, 최적의 구조가 동시에 단색 금지 부분구조가 없는 r-색칠 수를 최대화하는 문제는 존재하는가?

주요 결과

• k-균일 집합 가족에서 t ≥ 2 이고 n ≥ (t+1)(k−t+1)+1 이면, t-별이 (3,t)-색칠의 수를 유일하게 최대화한다.
• t=1 이고 n ≥ 3k + 10 ln k 이면, t-별은 (3,1)-색칠에서 점근적으로 최적이며, 이는 임계값이 2k+1일 수 있음을 시사한다.
• 벡터 공간 설정에서 최적의 (r,t)-색칠 가족은 중심이 상호로 자명하게 교차하고 2t차원 부분공간에 포함된 t-별의 합집합이다.
• r=6 이고 t=1 이면, 모든 최적의 가족은 서로 동형이며, 이러한 구성들 사이에서 (6,1)-색칠 수는 동일하다.
• r=9 이고 t=1 이면, F_q^2의 자기동형군이 직선들 위에서 3-추이적으로 작용하므로, 모든 이러한 가족의 (9,1)-색칠 수는 동일하다.
• 논문은 히펜, 레프만, 오데르만의 추측을 해결하여, r=6 이고 t=1일 때 벡터 공간에서 (r,t)-색칠을 최대화하는 정확한 가족을 특성화한다.