[논문 리뷰] Counting monochromatic solutions to diagonal Diophantine equations

Sean Prendiville|arXiv (Cornell University)|2020. 03. 23.

Algebraic Geometry and Number Theory참고 문헌 21인용 수 7

한 줄 요약

이 논문은 정수의 r-색상 집합에서 대각 디오판틴 방정식의 단색 해를 세는 데 하디–리틀우드 원 방법을 적용하여 절대 상수를 제외한 최적의 하한을 확보한다. 계수에 대한 대수적 조건 하에서 $ a_1x_1^2 + \dots + a_sx_s^2 = b_1y_1 + \dots + b_ty_t $ 형태의 방정식에 대해 분할 정규성을 확립하며, 2차 형식에 대한 단색 해 수를 세는 데 관한 추측을 해결한다.

ABSTRACT

We show how to adapt the Hardy--Littlewood circle method to count monochromatic solutions to diagonal Diophantine equations. This delivers a lower bound which is optimal up to absolute constants. The method is illustrated on equations obtained by setting a diagonal quadratic form equal to a linear form. As a consequence, we determine an algebraic criterion for when such equations are partition regular. Our methods involve discrete harmonic analysis and require a number of `mixed' restriction estimates, which may be of independent interest.

연구 동기 및 목표

• r-색상 정수 집합에서 단색 해를 세는 데 특화된 하디–리틀우드 원 방법의 변종을 개발하는 것.
• 최적의 주어진 순서의 크기와 일치하는 대칭 다항방정식에 대한 단색 해 수의 정량적 하한을 확립하는 것.
• 2차 및 선형 형식을 포함하는 방정식의 분할 정규성에 대한 대수적 기준을 규명하는 것.
• 5 이상의 항을 가진 동차 2차 형식 $ \sum a_i x_i^2 = 0 $ 에 대해 $ \gg_r N^{s-2} $ 개의 단색 해가 존재한다는 추측을 해결하는 것. 여기서 $ s \geq 5 $ 이고, 어떤 비어 있지 않은 집합 $ I $ 에 대해 $ \sum_{i \in I} a_i = 0 $ 이다.
• 계수 조건 $ \sum a_i = 0 $ 을 완화하면서도 해의 수를 세는 결과를 유지함으로써 모레이라의 분할 정규성 결과를 일반화하는 것.

제안 방법

• 녹색–타오 공식화를 포함한 이산 조화 분석과 푸리에 해석적 정규성 보조정리를 사용하여 하디–리틀우드 원 방법을 변형한다.
• 구조적 집합의 맥락에서 지수 합과 수를 세는 연산자를 제어하기 위해 '혼합된' 제약 추정을 활용한다.
• 특성 함수를 구조적 부분과 허위 랜덤 부분으로 분해하기 위해 푸리에 해석적 정규성 보조정리를 적용한다.
• 선형 조건 $ \sum_{i \in I} a_i = 0 $ 에 대한 비자명한 해가 존재함에 기반하여 밀도 증가 기법을 사용하여 많은 수의 해를 가진 색상 집합을 찾는다.
• 원래 방정식으로의 해를 옮기기 위해 색상 변환 $ \tilde{c} $ 를 도입하여 모레이라의 정리에 따라 단색 구성 요소를 활용한다.
• 원 방법과 조합적 밀도 결과를 융합하여 선형 항이 없는 경우 단색 해의 하한을 도출한다.

실험 결과

연구 질문

• RQ1 단순히 조합적 정보만 있을 때, 하디–리틀우드 원 방법를 r-색상 정수 집합에서 단색 해를 세는 데에 어떻게 적용할 수 있는가?
• RQ2 유한 색칠된 $[N]$ 에서 대각 2차 방정식에 대한 단색 해 수의 최적 하한은 무엇인가?
• RQ3 계수에 대해 어떤 대수적 조건이면 방정식 $ \sum a_i x_i^2 = \sum b_j y_j $ 가 분할 정규성이 되는가?
• RQ4 계수 조건 $ \sum a_i = 0 $ 보다 약한 조건으로도 $ \sum a_i x_i^2 = \sum b_j y_j $ 형태의 방정식에 대해 무한히 많은 단색 해를 보장할 수 있는가?
• RQ5 동차 2차 방정식 $ \sum a_i x_i^2 = 0 $ 에 대해 $ s \geq 5 $ 일 때, 알려진 점근 상한과 일치하는 정량적 수의 계수 결과가 존재하는가?

주요 결과

• 모든 $ r $-색칠된 $[N]$ 에 대해, $ x - y = z^2 $ 에 대해 최소한 $ \gg_r N^{3/2^r} $ 개의 단색 해를 가진 색상 집합 $ C_j $ 가 존재하며, 이는 최적의 순서의 크기와 일치한다.
• 조건 $ \sum_{i \in I} a_i = 0 $ 를 만족하는 $ \sum a_i x_i = \sum b_j y_j^2 $ 형태의 방정식에 대해, 어떤 색상 집합에서도 단색 해의 수는 $ \gg_r N^{(|I|+s+t-2)/2^r} $ 이며, 이는 상수를 제외한 최적이다.
• 5 이상의 항을 가진 동차 2차 방정식 $ \sum_{i=1}^s a_i x_i^2 = 0 $ 에 대해 $ \sum_{i \in I} a_i = 0 $ 이면, $ \gg_r N^{s-2} $ 개의 단색 해를 가진 색상 집합이 존재하며, 이는 알려진 상한 $ \ll N^{s-2} $ 와 일치한다.
• 방정식 $ \sum a_i x_i^2 = \sum b_j y_j $ 는 $ \sum_{i \in I} a_i = 0 $ 이거나 $ \sum_{j \in J} b_j = 0 $ 이면 분할 정규성이며, 방정식이 $ a(x_1^2 - x_2^2) = b y^2 + c z $ 의 형태가 아니면, 이는 해의 수를 세는 데 관한 추측을 해결한다.
• 조건 $ \sum_{i \in I} a_i = 0 $ 하에, 2차 및 선형 항이 혼합된 방정식에 대해 $ s \geq 3 $, $ s+t \geq 5 $ 이면 단색 해의 수는 $ \gg_r N^{s+t-2} $ 이며, 이는 수량적 결과를 제공한다.
• 논문은 계수 조건 $ \sum a_i = 0 $ 이라는 더 약한 조건 하에서 모레이라의 분할 정규성 결과 $ \sum a_i x_i^2 = x_0 $ 에 대한 새로운 증명을 제공하며, 이를 정량적 수의 계수 결과로 확장한다.