[논문 리뷰] Uniformity of multiplicative functions and partition regularity of some quadratic equations

Nikos Frantzikinakis, Bernard Host|arXiv (Cornell University)|2013. 03. 18.

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

한 줄 요약

이 논문은 $16x^2 + 9y^2 = n^2$ 및 $x^2 + y^2 - xy = n^2$와 같은 특정 이차방정식의 분할 정규성을 입증한다. 이는 해 집합이 에르고딕 시스템에서의 반복성을 가능하게 하는 매개수 구조를 갖는다는 것을 증명함으로써 이루어진다. 주요 기여는 곱셈 함수를 거의 주기적 성분과 균일한 성분으로 분해하는 것으로, 이를 통해 고차원 푸리에 분석과 닐다양체의 균일 분포를 활용해 밀도 및 반복성 성질을 증명할 수 있다.

ABSTRACT

Since the theorems of Schur and van der Waerden, numerous partition regularity results have been proved for linear equations, but progress has been scarce for non-linear ones, the hardest case being equations in three variables. We prove partition regularity for certain equations involving forms in three variables, showing for example that the equations $16x^2+9y^2=n^2$ and $x^2+y^2-xy=n^2$ are partition regular, where $n$ is allowed to vary freely in $\mathbb{N}$. For each such problem we establish a density analogue that can be formulated in ergodic terms as a recurrence property for actions by dilations on a probability space. Our key tool for establishing such recurrence properties is a decomposition result for multiplicative functions which is of independent interest. Roughly speaking, it states that the arbitrary multiplicative function of modulus 1 can be decomposed into two terms, one that is approximately periodic and another that has small Gowers uniformity norm of degree three.

연구 동기 및 목표

• 자연수 ℕ에서 하나의 변수(n)가 자유롭게 변할 수 있는 조건에서, 삼변수 이차방정식의 분할 정규성을 확립하는 것.
• 선형 방정식을 초월하여, 특히 이동 불변성이나 선형 구조가 없는 비선형 설정에서 기존 결과를 확장하는 것.
• 확률 공간 위에서 확대 작용 하에의 반복성 성질로 서술된 분할 정규성의 밀도 버전을 개발하는 것.
• 모듈러스가 1인 곱셈 함수에 대한 새로운 구조적 결과를 입증하여, 이를 거의 주기적 성분과 세제곱 차수의 Gowers 균일성 성분으로 분해하는 것.

제안 방법

• 세 개의 관련 이항형식의 비영 제곱 판별식을 바탕으로 이차형식의 매개수 해를 유도한다.
• 특히 세제곱 차수의 Gowers 균일성 노름에 대한 역정리 정리를 활용한 고차원 푸리에 분석을 적용한다.
• 에르고딕 이론적 방법을 사용하여 조합론적 분할 정규성을 확대 작용 하에서의 반복성으로 변환한다.
• 임의의 곱셈 함수를 거의 주기적 성분과 세제곱 차수의 Gowers 균일성 노름이 작은 성분으로 분해한다.
• 균일한 성분을 제어하기 위해 닐다양체 위의 정량적 분포 결과를 활용한다.
• 해의 매개수 구조를 활용하여 문제를 동역학적으로 정의된 집합에서의 반복성으로 환원한다.

실험 결과

연구 질문

• RQ1 n이 자유롭게 변할 때, $ax^2 + by^2 = n^2$의 방정식이 ℕ에서 분할 정규성이 성립하는 조건은 무엇인가?
• RQ2 이동 불변성이나 선형 구조가 없는 상황에서 이차방정식의 분할 정규성을 확립할 수 있는가?
• RQ3 모듈러스가 1인 곱셈 함수는 어떻게 분해하여 그 균일성 및 반복성 성질을 제어할 수 있는가?
• RQ4 관련된 이항형식의 제곱 판별식은 어떤 역할을 하여 해 집합이 충분한 조합론적 풍부성을 갖도록 보장하는가?
• RQ5 확대 작용 하에서 에르고딕 이론적 반복성을 활용하여 분할 정규성의 밀도 형태를 서술하고 증명할 수 있는가?

주요 결과

• $16x^2 + 9y^2 = n^2$는 물론 $x^2 + y^2 - xy = n^2$와 같은 방정식도 제시된 조건 하에서 분할 정규성을 갖는다.
• 일반적인 이차형식 $p(x,y,z) = ax^2 + by^2 + cz^2 + dxy + exz + fyz$는 세 판별식 $\Delta_1, \Delta_2, \Delta_3$가 모두 영이 아닌 제곱일 경우, $p(x,y,n) = 0$이 분할 정규성을 갖는다.
• 곱셈 함수를 거의 주기적 성분과 세제곱 차수의 균일한 성분으로 분해하는 결과는 별도의 관심사로도 유의미한 도구로 입증된다.
• 모든 ℕ의 유한한 셀로의 분할에 대해, 제시된 판별식 조건 하에서 어떤 셀이 서로 다른 $x,y$를 포함하여 $p(x,y,n) = 0$을 만족하는 $n \in \mathbb{N}$을 포함한다.
• 분할 정규성의 밀도 형태가 증명된다: 동일한 조건 하에서, 양의 상한 밀도를 갖는 임의의 집합 내에 어떤 $n$에 대해 $p(x,y,n) = 0$을 만족하는 해가 존재한다.
• 유도된 분할을 통해 선형 방정식으로의 확장이 가능하며, $a,b,a+b$가 모두 영이 아닌 제곱일 경우 $ax + by = n^2$는 분할 정규성을 갖는다.