기술 요약: 피타고라스 쌍의 분할 정규성 (Partition Regularity of Pythagorean Pairs)

1. 문제 정의 및 배경

본 논문은 피타고라스 방정식 $x^2 + y^2 = z^2$의 분할 정규성(partition regularity)에 관한 램지 이론(Ramsey theory)의 근본적인 미해결 문제를 다룬다. 슈르의 정리(Schur's theorem, 1916)가 $x+y=z$가 분할 정규적임을 확립했고, 라도의 정리(Rado's theorem, 1933)가 선형 체계의 분할 정규성을 특징지었으나, 비선형 다항 방정식의 상태는 오랫동안 규명되지 않은 채 남아 있었다. 특히, 모든 양의 정수 $\mathbb{N}$의 유한 색칠(finite coloring)이 단색 피타고라스 삼조(monochromatic Pythagorean triple) $(x, y, z)$를 포함하는가 하는 문제는 에르되시와 그레이엄(Erdős and Graham)이 제기한 난제로 알려져 왔다.

본 연구 이전의 유일한 결과는 2-색칠(2-colorings)의 경우에 대한 컴퓨터 보조 증명(2016)뿐이었다. 저자의 선행 연구 및 Host [21]와 같은 이전의 이론적 시도들은 곱셈 함수(multiplicative functions)의 가우저 균일성(Gowers uniformity) 성질을 활용했으나, 관련 대수적 표현들이 $n=0$일 때 필요한 "양의 성질(positivity)"을 결여하고 있었기 때문에 피타고라스 사례를 해결하는 데 실패했다.

저자들은 **피타고라스 쌍(Pythagorean pair)**을 $x^2 + y^2 = z^2$ 또는 $x^2 + z^2 = y^2$를 만족하는 $z \in \mathbb{N}$가 존재하는 $(x, y) \in \mathbb{N}^2$로 정의한다. 본 연구의 주된 목표는 이러한 쌍들이 분할 정규적임을 증명하고, 이를 밀도 정규성(density regularity) 및 곱셈 함수의 레벨 셋(level sets)으로 확장하는 것이다.

2. 방법론

증명 전략은 에르고딕 이론(ergodic theory), 곱셈 함수의 이론, 그리고 새로운 농축 추정치(concentration estimates)를 결합한다. 접근 방식은 다음 단계들을 거쳐 진행된다.

2.1. 에르고딕 재정식화 (Ergodic Reformulation)

푸르스텐베르크 대응 원리(Furstenberg correspondence principle)를 사용하여, 조합론적 문제를 에르고딕 설정으로 재정식화한다. 단색 해의 존재 여부는 곱셈 반군 $(\mathbb{N}, \times)$의 측도 보존 작용(measure-preserving actions)을 포함하는 특정 다중 재귀 적분(multiple recurrence integrals)의 양의 값을 증명하는 문제로 환원된다. 구체적으로, 양의 측도를 가진 집합 $A$에 대해, 서로 다른 $m, n$에 대하여 다음을 보여야 한다:
$$\mu(T^{-1}_{\ell(m^2-n^2)}A \cap T^{-1}_{\ell' mn}A) > 0$$

2.2. 곱셈 함수의 분해 (Decomposition of Multiplicative Functions)

핵심 논거는 완전 곱셈 함수(completely multiplicative functions)의 공간 $\mathcal{M}$을 두 가지 클래스로 분해하는 것에 기초한다:

1. 비주기적 함수 (Aperiodic functions): 디리클레 문자의 섭동(twisted Dirichlet character)이나 아르키메데스 문자($n^{it}$)와 상관관계를 갖지 않는 함수.
2. 가장스러운 함수 (Pretentious functions): 섭동된 디리클레 문자 $\chi \cdot n^{it}$를 "가장하는" 함수.

저자들은 비주기적 함수의 경우 관련 평균값이 소멸한다는 사실을 활용한다 (Proposition 2.4, 2.10). 과제는 평균이 자동으로 소멸하지 않아 세밀한 분석이 필요한 '가장스러운 경우'에 있다.

2.3. 새로운 농축 추정치 (Novel Concentration Estimates)

이 논문의 핵심적인 혁신은 이차 형식(quadratic forms)에서 평가된 곱셈 함수에 대한 비선형 농축 추정치를 개발한 것이다.

• Type I (제곱의 차): 저자들은 기존의 선형 농축 추정치([21, 35])를 수정하여 $f((Qm+1)^2 - (Qn)^2)$와 같은 표현식을 처리한다.
• Type II (제곱의 합): 저자들은 $f((Qm+1)^2 + (Qn)^2)$ 형태의 표현식에 대해 새로운 비자명한 농축 추정치(Proposition 2.11, 5.1)를 증명한다. 이 추정치는 소수 $p \equiv 1 \pmod 4$가 체 $\mathbb{Q}(i)$에서 분리(split)된다는 사실에 의존하며, 이를 통해 저자들은 이 소수들에 제한된 "가장스러운 거리(pretentious distance)"를 사용하여 제곱의 합에 대한 $f$의 거동을 제어할 수 있다.

2.4. 가중 평균 및 양의 성질 (Weighted Averages and Positivity)

적분 함수의 양의 성질 결여(이전 접근법의 실패 지점)를 극복하기 위해, 저자들은 특정 가중 함수 $w_\delta$와 $\tilde{w}_{\delta, c}$를 도입한다. 이 가중치들은 로그 비율이 특정 상수와 가까운 영역에 지지(support)되도록 설계되었으며, 이를 통해 항등 함수인 자명한 문자로 제한했을 때 적분의 실수부가 양수가 되도록 보장한다.

3. 주요 기여 및 결과

3.1. 피타고라스 쌍의 분할 정규성

정리 1.1: 모든 유한 색칠에 대하여, 동일한 색을 가진 서로 다른 $x, y$와 $z \in \mathbb{N}$가 존재하여 $x^2 + y^2 = z^2$ (또는 $x^2 + z^2 = y^2$)를 만족한다.

• 이는 피타고라스 쌍이 분할 정규적이라는 질문을 해결한다.
• 이 결과는 $a, b, c$가 완전 제곱수인 방정식 $ax^2 + by^2 = cz^2$로 일반화된다.

3.2. 밀도 정규성 (Density Regularity)

정리 1.2: 저자들은 더 강력한 밀도 버전을 확립한다. 만약 집합 $\Lambda \subset \mathbb{N}$가 (곱셈적 폴너 수열에 대한) 양의 상부 곱셈 밀도(upper multiplicative density)를 가진다면, $\Lambda$는 어떤 $z$에 대해 $ax^2 + by^2 = cz^2$를 만족하는 서로 다른 $x, y$를 포함한다.

• 이는 이 문제에 있어 가산 밀도(additive density)가 적절한 개념이 아님을 입증한다 (예를 들어, 홀수의 집합은 가산 밀도가 1/2이지만 피타고라스 삼조를 포함하지 않는다).

3.3. 레벨 셋에서의 피타고라스 삼조 (Pythagorean Triples on Level Sets)

정리 1.5: $f: \mathbb{N} \to S^1$를 유한한 값을 갖는 완전 곱셈 함수라고 하자. 그러면 $x^2 + y^2 = z^2$를 만족하고 $f(x) = f(y) = f(z) = 1$인 서로 다른 $x, y, z$가 존재한다.

• 이는 피타고라스 삼조의 완전한 분할 정규성에 대한 강력한 증거를 제공하는데, 왜냐하면 이러한 함수들의 레벨 셋은 매우 광범위한 "구조화된" 색칠의 부류를 나타내기 때문이다.
• 이 결과는 $a, b, c$에 대한 특정 조건(예: $a=c, b=c,$ 또는 $a+b=c$) 하에서 방정식 $ax^2 + by^2 = cz^2$로 확장된다.

3.4. 일반화 (Generalizations)

본 방법론은 다음과 같은 경우를 다룰 수 있을 만큼 유연함이 입증되었다:

• 다른 딜레이션 불변 쌍 (dilation-invariant pairs) (정리 1.8).
• 일반적인 선형 형식 $L_1(m,n)L_2(m,n)$ 및 $L_3(m,n)L_4(m,n)$ (섹션 1.5.2).
• 선형 형식의 거듭제곱과 곱을 포함하는 더 일반적인 표현식 (섹션 1.5.3).

4. 의의 및 주장

저자들은 자신들의 작업이 피타고라스 쌍의 분할 정규성 문제를 해결했다고 주장하며, 이는 상당한 선행 노력에도 불구하고 미해결 상태로 남아 있던 문제였다. 저자들은 자신들의 접근 방식이 관련 표현식이 비음수(non-negative)가 되지 못했던 [21]의 구체적인 장애물을 극복했음을 명시한다.

본 논문은 (임의의 유한 색칠에 대해) 피타고라스 삼조 전체의 분할 정규성을 해결했다고 주장하는 것이 아니다. 대신, 다음의 경우에 대해 증명한다:

1. 세 번째 변수 $z$의 색상과 상관없이 색이 같은 쌍 $(x, y)$의 존재.
2. 유한한 값을 갖는 완전 곱셈 함수의 레벨 셋에 의해 생성된 색칠을 따르는 삼조 $(x, y, z)$.

저자들은 남은 간극을 식별하였다: 일반적인 색칠에서의 삼조의 분할 정규성을 증명하려면, $ax^2 + by^2 = cz^2$에서 계수 $a, b, c$가 특정 제곱 조건을 만족하지 않거나 Rado의 조건을 만족하지 않는 경우, 또는 파라미터화가 선형 형식의 곱으로 인수분해되지 않는 이차 형식을 포함하는 경우(섹션 1.6의 문제 1 및 문제 2에서 언급됨)까지 결과를 확장해야 한다.

이 연구는 가우저 균일성과 새로운 농축 추정치를 결합한 "일반적인 접근 방식"으로 제시되며, 이는 이전에 다루기 힘들었던 다른 분할 정규성 문제들을 해결하는 길을 열어준다.