Folkman's theorem and the primes

논문 요약: Folkman 의 정리를 이용한 소수의 무한성 증명

1. 연구 배경 및 문제 제기 (Problem)

• 배경: 최근 Ramsey 이론 (특히 조합론적 정리) 을 활용하여 정수론의 고전적인 문제, 특히 '소수의 무한성'을 증명하는 새로운 시도가 활발히 이루어지고 있습니다. 기존에는 van der Waerden 정리, Schur 정리, Roth 정리, Hindman 정리 등을 사용하여 소수의 무한성을 증명하는 연구들이 존재했습니다.
• 문제: Elsholtz 는 Folkman 의 정리를 소수 무한성 증명에 적용할 수 있을 것이라고 추측했으나, 그의 증명 시도는 Hindman 정리를 사용하거나 Fermat 의 마지막 정리의 특정 경우와 같은 복잡한 수론적 결과를 필요로 했습니다.
• 목표: 본 논문은 Folkman 의 정리 (또는 Hindman 정리의 유한 버전) 를 직접적으로 활용하여, 어떤 복잡한 수론적 결과 (예: Fermat 의 마지막 정리 등) 도 사용하지 않고 오직 조합론적 도구만으로 소수의 무한성을 증명하는 두 가지 새로운 증명을 제시하는 것입니다.

2. 방법론 (Methodology)

저자는 소수의 집합 $P$가 유한하다고 가정하고 모순을 이끌어내는 귀류법을 사용합니다. 핵심 도구는 Folkman 의 정리입니다.

• Folkman 의 정리: 자연수 집합 $\mathbb{N}$을 유한한 개수의 색으로 칠할 때, 임의의 크기 $M$을 가진 집합 $X \subseteq \mathbb{N}$이 존재하여, $X$의 원소들로 만들 수 있는 모든 유한 합 (중복 없이) 의 집합 $FS(X)$가 단색 (monochromatic) 이 됩니다.
• 주요 도구:
  • $p$-진 차수 ($\nu_p(n)$): 정수 $n$을 소인수분해했을 때 소수 $p$의 지수.
  • $p$-진 부분 ($\xi_p(n)$): $n$에서 $p$의 모든 인자를 제거한 나머지 부분.
  • 비둘기집 원리 (Pigeonhole Principle): 두 번째 증명에서 핵심적으로 사용됩니다.
  • 색칠 함수 (Coloring): 각 정수 $n$에 대해 $\nu_p(n)$의 패리티 (짝수/홀수) 나 $\xi_p(n)$의 모듈로 값을 기반으로 색을 부여합니다.

3. 주요 증명 (Key Proofs)

저자는 두 가지 다른 접근 방식을 통해 동일한 결론을 도출합니다.

첫 번째 증명 (First Proof):

• 가정: 소수의 집합 $P$가 유한하며 크기가 $N$이라고 가정합니다.
• 색칠 정의: $c(n) = (\nu_2(n) \pmod 2, \xi_2(n) \pmod 4) \frown (\xi_p(n) \pmod p)_{p \in P \setminus \{2\}}$로 정의합니다. 이는 $P$의 크기에 비례하는 유한한 색을 사용합니다.
• Folkman 적용: 크기 $M = N+1$인 집합 $X$를 찾아 $FS(X)$가 단색이 되도록 합니다.
• 핵심 논리:
  1. Claim 1 & 2: $X$ 내의 서로 다른 두 원소 $a, b$에 대해, 모든 소수 $p$에 대해 $\nu_p(a) \neq \nu_p(b)$임을 증명합니다. 만약 같다면, 합 $a+b$를 취했을 때 $\nu_p$의 값이 변하거나 (예: $\nu_p(a+b) = \nu_p(a)+1$), $\xi_p$의 값이 모듈로 조건을 위반하게 되어 단색성 (monochromaticity) 에 모순이 발생합니다.
  2. 모순 유도: $X$에서 각 소수 $p$에 대해 $\nu_p$가 최소인 원소들을 선별하여 $a_1, \dots, a_t$ ($t \le N$) 를 만듭니다. $X$의 크기가 $N+1$이므로, 이 목록에 포함되지 않은 원소 $a \in X$가 반드시 존재합니다.
  3. 최종 모순: $a_1 + \dots + a_t + a$를 계산하면, 모든 소수 $p$에 대해 $\nu_p$ 값이 $a_1 + \dots + a_t$와 동일하게 유지됩니다. 이는 $a=0$이어야 함을 의미하지만, $X$는 0 이 아닌 정수로 구성되었으므로 모순입니다.

두 번째 증명 (Second Proof):

• 차이점: Alpoge 의 van der Waerden 정리 증명과 유사한 정신을 가지며, 더 적은 수의 색을 사용하지만 훨씬 더 큰 집합 $X$를 요구합니다.
• 색칠 정의: $c(n) = (\nu_p(n) \pmod 2)_{p \in P}$로 정의합니다 (총 $2^N$개의 색).
• 집합 크기 설정: $M = (N+1) \prod_{p \in P} p^4$로 설정하여 Folkman 정리를 적용합니다.
• 핵심 논리:
  1. Claim 3: 특정 소수 $p$와 지수 $\alpha$에 대해, $\nu_p(a)=\alpha$인 $X$의 원소가 $p^4$개보다 많을 수 없음을 비둘기집 원리로 증명합니다. (만약 많다면, $\xi_p$ 값이 같은 원소들을 모아 합을 만들었을 때 $\nu_p$의 패리티가 바뀌어 단색성 모순이 발생함).
  2. 집합 정제 (Thinning): 각 소수 $p$와 지수 $\alpha$에 대해 하나만 남기고 나머지를 제거하여 부분집합 $Z$를 만듭니다. Claim 3 에 의해 $Z$의 크기는 여전히 $N+1$ 이상임이 보장됩니다.
  3. 최종 모순: 첫 번째 증명과 동일한 논리 (최소 $\nu_p$ 원소들의 합과 남은 원소의 비교) 를 적용하여 $a=0$이라는 모순을 도출합니다.

4. 주요 기여 및 결과 (Key Contributions & Results)

• 새로운 증명 제시: Folkman 의 정리를 사용하여 소수의 무한성을 증명하는 두 가지 새로운 방법을 제시했습니다. 이는 Elsholtz 의 추측을 확인하는 결과입니다.
• 수론적 단순화: 기존 관련 증명들 (Granville, Gasarch 등) 이 Fermat 의 마지막 정리나 제곱합 정리와 같은 심오한 수론적 정리를 필요로 했던 것과 달리, 본 논문의 증명은 조합론 (비둘기집 원리) 만으로 완결됩니다.
• 정리 간 관계 명확화: Folkman 의 정리가 Schur 정리 (유한 버전) 와 Hindman 정리 (무한 버전) 의 중간에 위치하며, 이를 통해 소수 무한성 증명에 어떻게 적용될 수 있는지를 구체화했습니다.

5. 의의 및 중요성 (Significance)

• Ramsey 이론과 정수론의 융합: Ramsey 이론이 고전적인 정수론 문제 해결에 얼마나 강력한 도구가 될 수 있는지를 다시 한번 입증했습니다.
• 증명의 복잡도 균형:
  • Folkman 의 정리 자체는 소수의 무한성을 가정하지 않고 증명 가능하므로 (예: 초필터 이론이나 컴팩트성 논증), 이 증명은 논리적 순환이 없습니다.
  • van der Waerden 정리나 Szemerédi 정리의 증명에 비해 Folkman/Hindman 정리의 증명 (초필터 접근 시) 이 상대적으로 단순할 수 있다는 점을 지적하며, Alpoge 나 Granville 의 증명보다 Ramsey 이론의 관점에서는 더 단순할 수 있음을 시사합니다.
  • 반면, Euclid 의 고전적인 증명보다는 복잡하지만, 복잡한 수론적 배경 지식을 요구하지 않는다는 점에서 조합론적 우아함을 가집니다.

결론적으로, 이 논문은 소수의 무한성이라는 고전적 정리를 Ramsey 이론의 강력한 도구인 Folkman 정리를 통해, 복잡한 수론적 가정 없이 순수하게 조합론적으로 증명할 수 있음을 보여주었습니다.