Monochromatic Sums and Products over $\mathbb{Q}$

기술 요약: $\mathbb{Q}$ 상에서의 단색 합과 곱

문제 정의
본 논문은 혼합 가법 및 승법 패턴의 분할 정규성(partition regularity)에 관한 램지 이론의 핵심적인 미해결 문제를 다룬다. 힌드만 정리(Hindman's Theorem, 1974)는 자연수 $\mathbb{N}$의 임의의 유한 채색에 대해 유한 부분 집합의 합이 단색인 무한 수열이 존재함을 보장하며, 승법에 대해서도 유사한 결과가 성립한다. 그러나 합과 곱을 동시에 만족해야 하는 요구 조건은 훨씬 더 엄격하다.

힌드만(Hindman, 1979)은 모든 쌍의 합과 쌍의 곱이 단색인 $\mathbb{N}$ 내의 무한 수열은 존재할 수 없음을 입증했다. 결과적으로, 이에 대한 자연스러운 유한 일반화인 힌드만 추측(Conjecture 1.1)은, $n \ge 2$인 모든 경우에 대해 $\mathbb{N}$의 임의의 유한 채색에 대하여 모든 비공집합 부분 집합의 합 $\sum_{i \in S} x_i$와 부분 곱 $\prod_{i \in S} x_i$가 단색인 $n$개의 수 $\{x_1, \dots, x_n\}$가 존재한다고 가정한다. 이 추측은 가장 단순한 사례인 $n=2$ (패턴 $\{x, y, x+y, xy\}$)에 대해서도 $\mathbb{N}$에서는 여전히 미해결 상태로 남아 있다.

본 논문은 유리수 $\mathbb{Q}$ 상에서의 더 약한 버전인 이 추측(Conjecture 1.2)에 초점을 맞추고 있으며, 이는 이전에 Bowen과 Sabok(2023)에 의해 $n=2$인 경우에 대해서만 해결된 바 있다. 저자들은 $\mathbb{Q}$ 상에서 임의의 $n$에 대해 이 명제를 증명하는 것을 목표로 한다.

방법론
증명은 점점 더 복잡해지는 단색 조건을 만족시키기 위해 변수를 반복적으로 업데이트하는 구성적, 알고리즘적 접근 방식에 의존한다. 핵심적인 기술적 메커니리는 다음과 같다:

1. 다항식 반 더 라en(van der Waerden) 정리: 저자들은 다차원 다항식 반 더 라엔 정리(Bergelson 및 Leibman)를 집중적으로 활용한다. 구체적으로, 저자들은 $\mathbb{Q}^\ell$ 상의 버전(Theorem 2.4)을 적용하여, $p_i(0)=0$이고 $c_i$가 유계된 "크기"를 갖는 정수 값을 가지는 다항식 $p_i$에 대해, 벡터 $u$와 정수 $n$이 존재하여 $u + \sum c_i p_i(n) v_i$가 단색임을 보장한다.
2. 보조 곱 채색(Auxiliary Product Colorings): 합과 곱 사이의 상호작용을 관리하기 위해, 저자들은 변수의 스케일링 및 이동된 버전의 색을 인코딩하는 보조 채색 $\chi_M$을 정의한다. 이를 통해 반 더 라엔 유형의 결과를 적용하여 복잡한 다항식 표현식의 색을 제어할 수 있다.
3. 반복적 업데이트 (이동 및 스케일링): 증명은 변수 수열 $x_n, \dots, x_1$을 유지하는 알고리즘으로 구조화된다. 저자들은 두 가지 특정 유형의 연산을 정의한다:
   • 이동(Shifts): $x_i \leftarrow x_i + f(x_{i-1}, \dots, x_1)$ 형태의 연산.
   • 스케일링(Scalings): $x_i \leftarrow k x_i$ 형태의 연산.
     이러한 업데이트는 특정 다항식 조합(예: $P(x_i \prod_{j \in T} x_j; \prod_{j \in S} x_j)$)이 그 기초 항들과 상대적으로 단색을 유지하도록 수행된다.
4. 크기 매개변수: 계수와 분모의 최대 크기를 나타내는 기술적 매개변수 $M$이 도입된다. 증명은 충분히 큰 초기 $M_0$를 선택하고, 업데이트가 수행됨에 따라 이를 $M_1, M_2, \dots$로 반복적으로 줄여나감으로써, 최종적으로 요구되는 크기에 대해 조건이 충족되도록 진행된다.

주요 기여 및 결과
주요 결과는 정리 1.3이며, 내용은 다음과 같다:

$n \ge 2$에 대하여, $\mathbb{Q}$가 유한 개의 색으로 채색될 때, 모든 $\sum_{i \in S} x_i$와 $\prod_{i \in S} x_i$ ($S \subseteq [n]$인 비공집합에 대하여)가 동일한 색을 갖는 0이 아닌 $x_1, \dots, x_n$이 존재한다.

저자들은 이 핵심 보조 정리(명제 4.1)를 통해 이 결과를 확립한다. 이 명제는 $i$와 $[i-1]$의 임의의 부분 집합 $T$에 대하여, 유계된 크기를 갖는 모든 "좋은" 다항식 $P$에 대해 $P(x_i \prod_{j \in T} x_j; \prod_{j \in S} x_j)$의 색이 $P(x_i \prod_{j \in T} x_j)$의 색과 일치하는 변수 $x_n, \dots, x_1$이 존재함을 입증한다. 여기서 $S$는 $T$를 포함하는 $[i-1]$의 부분 집합이다.

본 논문의 주요 정리(섹션 5)는 이 명제를 다음 요소들과 결합하여 종합한다:

• 램지 정리(Ramsey's Theorem): 곱의 색이 오직 차수(인수의 개수)에만 의존하는 부분 수열을 추출하기 위해 사용된다.
• 폴크만 정리(Folkman's Theorem): 인덱스의 보조 채색에 적용되어, 요구되는 차수에 대응하는 인덱스의 집합을 찾는다.
• 최종 구성: 위 단계들을 결합하여 합과 곱이 모두 단색인 최종 집합 $\{X_1, \dots, X_r\}$을 구성한다.

의의 및 차별점
저자들은 자신들의 연구와 최근 Bowen 및 Sabok의 $n=2$ 결과 사이의 몇 가지 차이점을 강조한다:

• 일반성: 본 연구는 임의의 $n$에 대해 문제를 해결하는 반면, 이전 결과는 $n=2$로 제한되었다.
• 방법론: Bowen 및 Sabok과 달리, 이 증명은 Moreira의 결과를 "블랙박스"로 사용하지 않는다. 대신, 다항식 반 더 라엔 정리를 직접 사용하는 저자의 이전 연구 방식과 맥을 같이 한다.
• 명시적 경계: 본 증명은 해의 크기에 대한 명시적인 경계를 제공하며, 이는 Bowen-Sabok 증명에는 없는 특징이다.
• $\mathbb{N}$에 대한 한계: 저자들은 자신의 증명 기법이 나눗셈(예: $b/c$)을 포함하는 "이동"에 의존한다는 점을 명시적으로 언급하며, 이는 $\mathbb{N}$에서는 일반적으로 불가능하다. 이것이 왜 이 결과가 $\mathbb{N}$이 아닌 $\mathbb{Q}$ 상에서 확립되었는지를 설명한다. 저자들은 $\mathbb{N}$의 경우를 해결하려면 고차 다항식이나 다른 구조적 제약과 같은 새로운 아이디어가 필요할 것이라고 시사하며, $\mathbb{N}$에 대한 추측이 여전히 열려 있음을 밝힌다.

논문은 잠재적인 확장(예: 제곱 또는 서로 다른 곱을 포함하는 패턴)에 대해 논의하고, 다항식 반-환(semi-rings) 상의 분할 정규성 및 음수 지수를 포함하는 패턴에 관한 열린 질문을 던지며 마무리된다.