Better than square-root cancellation in Piatetski-Shapiro sequences

기술 요약: 피아테츠키-샤피로 수열에서의 제곱근 소거보다 더 나은 소거 현상

문제 정의
본 논문은 무작위 곱셈 함수(random multiplicative functions)와 디리클레 문자의 합(Dirichlet character sums)이 피아테츠키-샤피로 수열(Piatetski-Shapiro sequences) 위에서 나타내는 "제곱근 소거보다 더 나은(better than square-root cancellation)" 현상을 조사한다. 구체적으로, 저자들은 $A = N^{(c)}(x) = \{ \lfloor n^c \rfloor : n \le x \}$인 피아테츠키-샤피로 수열에 대하여, $1 < c < 2$일 때 합 $\sum_{n \in A} f(n)$의 절대값의 기댓값을 분석한다. 여기서 $f(n)$은 스타인하우스(Steinhaus) 또는 라데마허(Rademacher) 무작위 곱셈 함수이다.

자연수 집합 $\mathbb{N}$에 대해, Harper (2019)는 $\mathbb{E}|\sum_{n \le x} f(n)| \asymp \sqrt{x}(\log \log x)^{-1/4}$임을 증명하였는데, 이는 표준적인 제곱근 경계인 $\sqrt{x}$보다 엄격히 작다. 이러한 현상은 잘 알려져 있으나, 희소 집합(sparse sets)에서의 거동은 덜 알려져 있다. Soundararajan과 Xu [13]의 이전 결과들은 만약 어떤 집합 $A$가 "작은" 곱셈 에너지(구체적으로 $(2+o(1))|A|^2$)를 가진다면, 그 합은 표준적인 제곱근 소거를 보일 것임을 시사했다. 반대로, Harper (2019)와 Xu (2023)는 특정한 구조(예: 자연수 또는 $R$-rough numbers)를 가진 집합들이 제곱근 소거보다 더 나은 결과를 달성할 수 있음을 보여주었다. 본 연구의 핵심 질문은, 곱셈 에너지가 rough numbers보다 크지만 여전히 희소한 성질을 가진 피아테츠키-샤피로 수열에서도 이 현상이 지속되는지, 그리고 문자 합(character sums)에 대해서도 유사한 경계가 성립하는지 여부이다.

방법론
저자들은 Harper와 Xu가 사용한 마팅게일 기반 또는 무작위 오일러 곱(random Euler product) 접근법을 따르지 않는다. 대신, 증명은 피아테츠키-샤피로 수열의 고유한 해석적 구조에 의존한다. 방법론은 다음과 같이 진행된다:

1. 지시 함수 분해 (Indicator Function Decomposition): 수열 $N^{(c)}(x)$에 대한 합을 지시 함수 $\chi^{(c)}(n)$을 사용하여 모든 정수 $n \le x$에 대한 합으로 변환한다. 보조정리 2.1을 사용하여, 이 지시 함수를 주 항(main term) $\gamma n^{\gamma-1}$ (여기서 $\gamma = 1/c$)과 $\psi(x)$를 포함하는 오차 항들로 근사한다.
2. Vaaler의 근사 (Vaaler's Approximation): 분수 부분 함수 $\psi(x)$를 Vaaler의 삼각 근사(보조정리 2.2)를 사용하여 전개함으로써, 문제를 $\sum f(n) (e(-h(n+1)\gamma) - e(-hn\gamma))$ 형태의 무작위 계수를 가진 지수 합(exponential sums)을 추정하는 문제로 변환한다.
3. 테일러 전개 및 소거 (Taylor Expansion and Cancellation): 결정적인 단계는 지수 항들의 차이에 테일러 전개를 적용하는 것이다. 저자들은 $e(-h(n+1)\gamma) - e(-hn\gamma)$가 $n^{\gamma-1}$에 비례하는 항으로 근사될 수 있음을 보여준다. 이 $n^{\gamma-1}$ 인자는 $\mathbb{E}|\sum e(hn\gamma)f(n)|$의 추정이 매우 어렵다는 점(특정 무리수 주파수에 대해서만 제곱근 소거를 보임이 알려져 있음)을 피하기 위한 필요한 추가 감쇄를 제공한다.
4. 코시-슈바르츠 및 직교성 (Cauchy-Schwarz and Orthogonality): 남은 기댓값들은 코시-슈바르츠 부등식과 무작위 곱셈 함수의 직교 성질($\mathbb{E}[f(m)\overline{f(n)}] = \delta_{m,n}$)을 사용하여 유계화된다. 이는 문제를 $\sum n^{2\gamma-2}$ 형태의 합을 추정하는 문제로 환원시키며, 이는 $1/2 < \gamma < 1$ 범위에서 다루기 용이하다.
5. 문자 합 (Character Sums): 디리클레 문자의 경우, 저자들은 무작위 곱셈 함수에 대한 기댓값을 모든 법(modulo) $p$에 대한 문자의 평균값으로 대체하여 정리 1.1의 증명을 응용하며, 이때 Harper (2023)가 확립한 대형 사체(large sieve) 유형의 부등식을 활용한다.

주요 결과
본 논문은 두 가지 주요 정리를 확립한다:

• 정리 1.1: 스타인하우스 또는 라데마허 무작위 곱셈 함수 $f(n)$과 $1 < c < 2$인 피아테츠키-샤피로 수열 $N^{(c)}(x)$에 대하여, 기대 절대 합은 다음을 만족한다:
  $$\mathbb{E} \left| \sum_{n \in N^{(c)}(x)} f(n) \right| = o\left( \sqrt{|N^{(c)}(x)|} \right).$$
  이는 이 클래스의 희소 집합에서 제곱근 소거보다 더 나은 소거가 존재함을 확인해 준다.

• 정리 1.2: 큰 소수 $p$와 디리클레 문자 $\chi \pmod p$에 대하여, 수열에 대한 문자 합의 평균 크기는 다음과 같이 유계된다:
  $$\frac{1}{p-1} \sum_{\chi \pmod p} \left| \sum_{n \in N^{(c)}(x)} \chi(n) \right| \ll \frac{\sqrt{|N^{(c)}(x)|}}{(\log \log L)^{1/4}},$$
  여기서 $L = \min\{|N^{(c)}(x)|, p/|N^{(c)}(x)|\}$이다.

• 따름정리 1.3: 결과적으로, 거의 모든 문자(구체적으로 $o(p)$개의 예외를 제외한 모든 문자)에 대하여, 수열에 대한 문자 합은 $\ll \sqrt{|N^{(c)}(x)|}$의 경계를 만족하며, 이는 사실상 거의 모든 문자에 대해 Weil의 경계에 도달함을 의미한다.

의의 및 주장
저자들은 자신들의 결과가 곱셈 에너지가 $(2+o(1))|A|^2$만큼 작지 않은 집합에서도 제곱근 소거보다 더 나은 소거가 발생하는 "긍정적인 사례"를 제공한다고 주장한다. 피아테츠키-샤피로 수열은 자연수나 rough numbers와는 다른 곱셈 구조를 가지며(그들의 곱셈 에너지는 결과를 자명하게 도출할 만큼 충분히 작지 않음), 이는 풍부한(rich) 곱셈 구조가 이 현상의 필수 조건은 아님을 시사한다.

논문은 피아테츠키-샤피로 수열에 대해 이 현상의 존재를 증명했으나, 제곱근 소거보다 더 나은 소거를 위해 필요한 곱셈 에너지의 정확한 "임계 크기(critical size)"를 규명하는 것은 여전히 미해결 과제로 남아 있다고 겸허히 언급한다. 또한, 저자들은 자신들의 방법론이 비티 수열(Beatty sequences)로 즉각 확장되지 않는다고 논의하는데, 이는 피아테츠키-샤피로 지시 함수의 테일러 전개에 의존하는 특정 소거 메커니즘이 기울기(slope)의 디오판토스 성질에 따라 거동이 달라질 수 있는 비티 수열에는 동일하게 적용되지 않기 때문이다.