[논문 리뷰] The structure of rainbow-free colorings for linear equations on three variables in Zp

Mario Huicochea, Amanda Montejano|arXiv (Cornell University)|2015. 02. 16.

Limits and Structures in Graph Theory참고 문헌 6인용 수 4

한 줄 요약

이 논문은 세 변수 선형방정식에 대해 ℤₚ의 레인보우-해가 없는 3색 칠하기를 완전히 특성화하며, 이러한 색칠이 존재하는 것은 최소 색 클래스의 크기가 1일 때에만 가능하다는 것을 증명한다. 이 색칠의 구조적 분류를 제공하고, 모든 3색 칠하기가 레인보우 해를 포함하는 방정식들을 식별하여 유한체 위에서 산술 반-람세이 이론의 핵심 질문을 해결한다.

ABSTRACT

Let p be a prime number and Zp be the cyclic group of order p. A coloring of Zp is called rainbow-free with respect to a certain equation, if it contains no rainbow solution of the same, that is, a solution whose elements have pairwise distinct colors. In this paper we describe the structure of rainbow-free 3-colorings of Zp with respect to all linear equations on three variables. Consequently, we determine those linear equations on three variables for which every 3-coloring (with nonempty color classes) of Zp contains a rainbow solution of it.

연구 동기 및 목표

• 세 변수 선형방정식에 대해 ℤₚ의 레인보우-해가 없는 3색 칠하기의 구조를 완전히 특성화하는 것.
• 모든 ℤₚ의 3색 칠하기가 레인보우 해를 포함하는 방정식을 특정하는 것.
• 최소 색 클래스의 크기가 1, 2, 또는 3인 '소규모 사례'를 해결하며, 특히 레인보우-해가 없는 색칠이 가능한 것은 크기가 1인 경우에만임을 보여주는 것.
• 주어진 세 변수 선형방정식이 ℤₚ에서 레인보우-해가 없는 3색 칠하기를 허용하는지 여부를 판단할 수 있는 기준을 제공하는 것.
• 최소 색 클래스의 크기가 크다는 조건만 고려했던 Jungić 등 이전 결과를 확장하는 것.

제안 방법

• 선형방정식에 대한 색 클래스의 불변성과 주기성 성질을 분석하기 위해 $ T_{d,t}(S) = dS + t $ 형태의 변환을 사용한다.
• 덧셈수학 이론의 역정리들을 적용하여 합집합 $ a_1A + a_2B $, $ a_1B + a_2A $ 및 그 교차집합을 분석한다.
• 확대와 이동에 따른 집합의 구조적 분석을 수행하며, 특히 $ \texttt{\langle d\rangle} $-주기적 집합과 애핀 변환의 고정점을 중심으로 분석한다.
• 최소 색 클래스의 크기에 기반한 경우의 수 분석과 모순을 이용한 증명으로 문제를 축소한다.
• 색 클래스의 크기가 $ |A| = |B| = 3 $일 때 레인보우-해가 없는 색칠을 배제하기 위해 $ |a_1A + a_2B| > 6 $ 및 $ |a_1B + a_2A| > 6 $ 조건을 사용하며, 이러한 집합들이 레인보우 해를 피할 수 없음을 보여준다.
• 레퍼런스 29를 적용하여 변환 $ B = \lambda^2 B + \mu $ 하에서 $ B $ 의 구조를 분석하고, $ \lambda^3 = \pm 1 $ 조건을 유도하며, $ \lambda^3 = 1 $ 또는 $ \lambda^3 = -1 $ 일 때 모순을 도출한다.

실험 결과

연구 질문

• RQ1 ℤₚ 위에서 선형방정식 $ a_1x + a_2y + a_3z = b $ 에 대해 모든 3색 칠하기가 레인보우 해를 포함하는 경우는 언제인가?
• RQ2 일부 $ i,j $ 에 대해 $ a_i \neq a_j $ 를 만족하는 방정식에 대해, ℤₚ의 레인보우-해가 없는 3색 칠하기의 구조적 형태는 무엇인가?
• RQ3 최소 색 클래스의 크기가 2 또는 3일 때 레인보우-해가 없는 3색 칠하기가 존재할 수 있는가?
• RQ4 $ a_1, a_2, a_3, b $, 및 $ p $ 에 대한 어떤 조건이 레인보우-해가 없는 3색 칠하기의 존재 또는 비존재를 보장하는가?
• RQ5 애핀 변환 $ T_{d,t} $ 와 $ \langle d \rangle $-확대에 따른 주기성은 레인보우-해가 없는 색칠의 구조를 분류하는 데 어떻게 기여하는가?

주요 결과

• ℤₚ의 레인보우-해가 없는 3색 칠하기는 최소 색 클래스의 크기가 1일 때에만 존재하며, 2 또는 3일 땐 존재하지 않는다.
• 일부 $ i,j $ 에 대해 $ a_i \neq a_j $ 를 만족하는 방정식 $ a_1x + a_2y + a_3z = b $ 에 대해 유일한 가능한 레인보우-해가 없는 색칠은 하나의 색 클래스가 크기가 1인 경우이다.
• 이러한 레인보우-해가 없는 색칠의 구조는 완전히 특성화되어 있다: 크기가 1인 클래스는 특정 애핀 변환 $ T_{d,t} $ 에 대해 불변이며, 나머지 두 색 클래스는 확대와 이동을 통해 관련되어 있다.
• 방정식 $ x + y + z = b $ 는 더 큰 색 클래스를 가진 레인보우-해가 없는 색칠을 허용하는 유일한 방정식이며, 그 구조는 기존 결과에서 유도된다.
• 그 외 모든 방정식에 대해서는 최소 색 클래스의 크기가 2 또는 3일 때 레인보우-해가 없는 3색 칠하기가 존재하지 않음을 합집합 분석과 모순을 통해 보여준다.
• 이 논문은 완전한 분류를 제공한다: $ a_i \neq a_j $ 를 만족하는 모든 방정식 $ a_1x + a_2y + a_3z = b $ 에 대해, ℤₚ의 3색 칠하기는 최소 색 클래스의 크기가 1이면서 정리 7에서 유도된 구조적 조건을 만족할 경우를 제외하고는 항상 레인보우 해를 포함한다.