Additive Ramsey theory over Piatetski-Shapiro numbers

기술적 요약: 피아체츠키-슈apiro 수 위의 가법 램지 이론

문제 제기
본 논문은 $c > 1$인 매개변수에 대해 $\mathcal{P}\mathcal{S}_c = \{ \lfloor n^c \rfloor : n \in \mathbb{N} \}$로 정의된 피아체츠키-슈apiro 수의 집합에 대한 선형 방정식의 분할 정규성 (partition regularity) 및 밀도 결과를 조사합니다. 구체적으로, 저자들은 $\sum c_i = 0$인 $c_1 x_1 + \dots + c_s x_s = 0$ 형태의 선형 방정식이 $\mathcal{P}\mathcal{S}_c$ 집합이 유한한 색 클래스로 분할될 때 비자명한 단색 해를 갖는지 여부를 다룹니다.

이 연구는 고전적인 결과들을 확장합니다:

• 슈어 정리 (1916): $\mathbb{N}$에서 $x+y=z$에 대한 단색 해를 보장합니다.
• 라도 기준 (1933): 선형 시스템의 분할 정규성을 특징짓습니다.
• 문제 A (에르되시 - 그라함): 단색 피타고라스 세 쌍 ($x^2+y^2=z^2$) 을 요구합니다. 변수 $s \ge 5$인 경우 해결되었으나, 제곱수 ($c=2$) 인 경우 $s=3$에 대해서는 여전히 열려 있습니다.
• 문제 B: 저자들은 피아체츠키-슈apiro 수에 대한 문제 A 의 한 버전을 해결하려는 시도로 자신의 연구를 규정하며, 모든 $c \in [1, 2]$에 대해 코롤러리 1.5 의 결론 (단색 슈어 세 쌍) 이 성립하는지 여부를 묻습니다.

방법론
저자들은 피아체츠키-슈apiro 수의 희소 (sparse) 설정에 적응시킨 그린 (Green) 이 개척한 **푸리에 분석적 전이 원리 (Fourier-analytic transference principle)**를 활용합니다. 핵심 전략은 다음과 같습니다:

1. 가중 함수 구성: $\|\nu\|_1 \sim N$이 되도록 $\mathcal{P}\mathcal{S}_c(N)$을 지지로 하는 가중 함수 $\nu$를 정의합니다.
2. 푸리에 감쇠: $\nu$의 푸리에 변환이 구간 $[N]$의 지시 함수의 푸리에 변환을 근사함을 입증하며, 구체적으로 $\|\hat{\nu} - \hat{1}_{[N]}\|_\infty$를 상한합니다.
3. 제한 추정: $\nu$에 의해 지배되는 함수들의 푸리에 변환의 $L^t$ 노름에 대한 상한을 증명합니다.
4. 전이: $\mathcal{P}\mathcal{S}_c$에서의 가중 해 개수와 $[N]$에서의 무가중 해 개수를 비교합니다.

주요 방법론적 기여는 전이 원리의 강화 (특히 그린의 원리에 대한 브라우닝과 프레인디빌의 버전) 입니다. 산술 진행이 없는 집합의 정량적 밀도 (켈리 - 메카, 블룸 - 시삭) 와 의사무작위성 (코슈치우스코, 필무스 등) 에 관한 최근의 진전을 통합함으로써, 저자들은 전이 메커니즘의 정량적 상한을 개선합니다.

주요 기여 및 결과

1. 분할 정규성 (정리 1.4):
   저자들은 $1 < c < c^\dagger(s)$일 때 $\mathcal{P}\mathcal{S}_c$ 위의 선형 방정식에 대한 분할 정규성을 특징짓습니다. 여기서 $s \ge 3$은 변수의 수이며, 임계값 $c^\dagger(s)$는 다음과 같이 정의됩니다:

   • $c^\dagger(3) = 12/11$
   • $c^\dagger(4) = 7/6$
   • $s \ge 5$인 경우 $c^\dagger(s) = 2$.

   이러한 조건 하에서, $\mathcal{P}\mathcal{S}_c$의 임의의 유한 분할은 $c_1 x_1 + \dots + c_s x_s = 0$에 대한 단색 비자명한 해를 포함합니다. 특히 $s=3$인 경우, 이는 $c < 12/11$에 대한 슈어 세 쌍 문제의 한 버전을 해결합니다.

2. 정량적 밀도 상한 (정리 1.8):
   본 논문은 선형 방정식에 대한 비자명한 해를 포함하지 않는 부분집합 $A \subseteq \mathcal{P}\mathcal{S}_c(N)$의 밀도가 다음과 같이 상한됨을 확립합니다:
   $$|A| \le \frac{|\mathcal{P}\mathcal{S}_c(N)|}{\exp(C^{-1}(\log \log N)^{1/\tau(s)})}$$
   여기서 $\tau(3)=9$이고 $s \ge 4$인 경우 $\tau(s)=7$입니다.

   이 결과는 제곱수 ($c=2$) 에 대한 브라우닝과 프레인디빌의 이전 작업보다 개선된 것으로, $(\log \log \log N)^{O(1)}$의 절감을 제공했습니다. 저자들은 이 개선이 두 가지 요인 때문이라고 밝힙니다:

   • 이 특정 설정에서 "W-트릭"의 필요성을 제거한 점.
   • 강화된 푸리에 분석적 전이 원리.

3. 정제된 전이 원리 (정리 4.3):
   저자들은 가법 조합론의 최근 돌파구에서 유도된 정량적 의사무작위성 속도를 반영하여 [6, Proposition 2.8] 의 전이 원리를 업데이트합니다. 이를 통해 희소 집합에서 더 날카로운 밀도 상한을 얻을 수 있습니다.

의의 및 주장
본 논문은 매개변수 $c < 12/11$인 피아체츠키-슈apiro 수에 대한 문제 A (단색 피타고라스 세 쌍) 의 한 버전을 해결했다고 주장합니다 (코롤러리 1.5). 이는 $12/11$이라는 임계값이 피아체츠키-슈apiro 자신이 이러한 수에 대한 소수 정리의 한 버전을 증명할 때 발견한 임계값과 일치함을 강조합니다.

저자들은 밀도 절감량이 제곱수에 대해 얻어진 것보다 "실질적으로 더 크다"고 강조하며, 이는 주로 개선된 전이 원리와 피아체츠키-슈apiro 수의 특정 분석적 성질 (더 정밀한 지수합 추정을 허용함) 때문입니다. 사이토와 요시다가 스메레디 정리를 사용하여 $c \in [1, 2)$에 대한 밀도 유사체를 이미 해결했다고 지적하지만, 저자들은 자신의 결과가 더 우수한 정량적 밀도 상한을 제공한다고 주장합니다.

작업은 또한 피아체츠키-슈apiro 소수에 대해 간략히 언급하며, 미레크가 이 맥락에서 3AP-프리 집합에 대한 밀도 결과를 확립했지만, 홀수 (따라서 소수) 의 단색 슈어 세 쌍의 존재는 불가능하다고 지적합니다. 다만, 이동된 방정식 $x+y=z+1$은 해를 가질 수 있음을 보일 수 있습니다.