Lower bounds for low moments of character sums, I: Short sums with general multiplicative weights

기술 요약: 디리클레 수의 저차 모멘트에 대한 하한 (I)

문제 정의
본 논문은 디리클레 캐릭터 합(Dirichlet character sums) 및 연속 캐릭터 합(zeta sums)의 저차 모멘트($0 \le q \le 1$)에 대한 날카로운 하한(sharp lower bounds)을 설정하는 문제를 다룬다. 구체적으로, 다음의 양에 대한 평균 크기를 조사한다:
$$\frac{1}{r-1} \sum_{\chi \pmod r} \left| \sum_{n \le x} \chi(n) \right|^{2q}$$
여기서 $r$은 큰 소수이며 $1 \le x \le r^{0.499}$이다. 저자는 또한 곱셈적 가중치 $h(n)$ (단, $|h(p)|=1$이고 $|h(p^k)| \le 1$)를 갖는 가중 합 $\sum_{n \le x} h(n)\chi(n)$과 연속 합 $\sum_{n \le x} n^{it}$도 고려한다.

저자의 이전 연구 [10]에서는 이 모멘트들에 대해 "제곱근 이상의 상쇄(better than square-root cancellation)"를 보이는 상한(upper bounds)을 확립하였다:
$$\left( \frac{x}{1 + (1-q)\sqrt{\log \log (10L)}} \right)^q$$
여기서 $L = \min\{x, r/x\}$이다. 이러한 상한은 날카로울 것으로 추측되었으나, 기존의 하한(예: La Bretèche, Munsch, Tenenbaum [1])은 로그 인수의 거듭제곱만큼 차이가 있었다. 본 논문은 이 간극을 메우고, 지정된 $x$ 범위에 대해 상한이 실제로 날카롭다는 것을 증명하는 것을 목표로 한다.

방법론
증명은 $L$-함수 모멘트 분석의 핵심 기법인 "프록시(proxy)" 방법에 의존한다. 이는 캐릭터 합 $\sum_{n \le x} \chi(n)$의 거동을 모사하면서도 분석하기에는 더 용이하도록 설계된 특정 보조 대상 $I(\chi)$를 구성하는 방식이다.

1. 프록시 $I(\chi)$의 구성:
   프록시는 "장벽 조정(barrier-adjusted)" 페론 적분(Perron integral)을 통해 정의된다:
   $$I(\chi) = \frac{1}{2\pi i} \int_{1/2-iT}^{1/2+iT} \left( \sum_{x^{1-3\beta} < p \le x^{1-\beta}} \frac{\chi(p)}{p^s} \right) F^*_\chi(s) G_\chi(s) \frac{x^s}{s} ds$$

• 절단(Truncation): 적분은 높이 $T$에서 절단된다.
• 구조화된 다항식(Structured Polynomial): 내부 합은 서로 소인 소수 범위(큰 소수 $(x^{1-3\beta}, x^{1-\beta}]$, $P$-매끄러운 수($\le x^\beta$), $P$-거친 수($> P$))에 걸친 디리클레 다항식의 곱으로 대체된다.
• 장벽(The Barrier): 핵심 구성 요소는 "장벽" 함수를 근사하는 짧은 디리클레 다항식 $G_\chi(s)$이다. 이 장벽은 여러 척도(scale, $P e^{-j}$로 정의됨)에 걸쳐 부분 오일러 곱 $\prod_{p \le P} |1 - \chi(p)p^{-s}|^{-1}$의 성장을 제한하도록 설계되었다. 이 장벽은 무작위 곱셈적 함수(random multiplicative functions)에 관한 결과들로부터 영감을 얻었으며, 4차 모멘트를 폭발하게 만들 수 있는 "비정상적인" 큰 값들을 억제하도록 설계되었다.

2. 상관관계 및 모멘트 경계:
   증명 전략은 메인 정리를 프록시 $I(\chi)$와 관련된 두 가지 핵심 명제로 환원한다:

• 상관관계(Correlation): 캐릭터 합과 프록시 사이의 상관관계에 대한 하한: $E_{\text{char}} |\sum \chi(n)| |I(\chi)|$.
• 모멘트(Moments): 프록시의 2차 및 4차 모멘트에 대한 상한: $E_{\text{char}} |I(\chi)|^2$ 및 $E_{\text{char}} |I(\chi)|^4$.
  횔더 부등식(Hölder's inequality)을 적용함으로써, 대상 모멘트에 대한 하한을 이 양들로부터 도출한다.

3. 무작위 곱셈적 함수로의 전이:
   핵리 중요한 단계는 캐릭터 합에서 스타인하우스(Steinhaus) 무작위 곱셈적 함수 $f(n)$으로 넘어가는 것이다. 직교 관계 $E_{\text{char}} \chi(n)\overline{\chi(m)} = \delta_{n,m}$ ( $n,m < r$ 인 경우 유효)를 사용하여, 관여하는 디리클레 다항식의 길이가 $r$에 비해 충분히 작다면(구체적으로 $x^{2+4\beta} \ll r$), 캐릭터 평균이 무작위 곱셈적 함수의 기대값과 일치함을 보인다. 이를 통해 확률적 도구(Khintchine 부등식, 무작위 오일러 곱의 성질)를 사용하여 $I(\chi)$의 모멘트를 추정할 수 있다.

4. 장벽 처리:
   핵심적인 기술적 난제는 프록시의 4차 모멘트를 추정하는 데 있다. 장벽 $G_\chi(s)$는 (인접한 점 $s$와 $s'$에서의 오일러 곱의 상관관계로 인해 발생하는) 4차 모멘트의 "폭발(blow-up)" 인자가 무시할 수 있는 수준으로 유지되도록 구성되었다. 장벽은 부분적인 오일러 곱의 로그 합이 특정 범위 내에 머물도록 제한하여, "곱셈적 혼돈(multiplicative chaos)" 거동을 효과적으로 제어한다.

주요 기여 및 결과
본 논문은 기존의 상한과 일치하는 다음과 같은 날카로운 하한을 확립한다:

• 정리 1: 큰 소수 $r$에 대하여, $1 \le x \le r^{0.499}$ 및 $0 \le q \le 1$에 대해 균등하게:
  $$\frac{1}{r-1} \sum_{\chi \pmod r} \left| \sum_{n \le x} \chi(n) \right|^{2q} \gg \left( \frac{x}{1 + (1-q)\sqrt{\log \log (10x)}} \right)^q$$
• 정리 2: $h(n)$이 $|h(p)|=1$이고 $|h(p^k)| \le 1$인 곱셈적 함수인 가중 합 $\sum_{n \le x} h(n)\chi(n)$에 대해서도 동일한 날카로운 하한이 성립한다.
• 정리 3: 연속 캐릭터 합(zeta sums) $\sum_{n \le x} n^{it}$ ($1 \le x \le T^{0.499}$)에 대해서도 동일한 날카로운 하한이 성립한다.

의의 및 주장

• 날카로움(Sharpness): 이 결과들은 $x \le r^{0.499}$ 범위에서 [10]에서 얻은 상한이 날카롭다는 추측을 확인해 준다. 이는 해당 범위 내의 저차 모멘트에 대한 완전한 차수(order-of-magnitude) 이해를 제공한다.
• 방법론적 혁신: 본 논문은 캐릭터 합의 거동을 성공적으로 모사하면서도 엄밀한 4차 모멘트 추정을 가능하게 하는 특정한 "장벽 조정된" 프록시 대상을 도입한다. 이 접근법은 무작위 곱셈적 함수 환경에서 사용되는 조건부(conditioning) 논증을 대체하며, 이는 컨덕터 $r$의 제약 때문에 캐릭터 합에 직접 적용하기 어려운 문제이다.
• 범위 제한: 저자는 $x \le r^{0.499}$ (구체적으로 $x < r^{1/2}$)라는 제한이 직교 관계(1.3)를 호출하기 위해 필요한 프록시의 디리클레 다항식 길이 제약으로부터 자연스럽게 발생한다는 점을 언급한다.
• 향후 연구: 저자는 동반 논문 [14]가 가중치가 없는 합(unweighted sums)에 대해 $x \le 0.99r$의 전체 범위로 이 논증을 확장하며, 이를 위해 가중되지 않은 합의 특수한 성질을 활용하여 길이 제한 문제를 극복한다고 언급한다. 이 확장은 디리클레 세타 함수(Dirichlet theta functions)의 비소멸(non-vanishing) 결과로 이어진다.

본 논문은 $1 < q < 2$ 구간(2차와 4차 모멘트 사이의 간극)의 거동을 해결한다고 주장하지 않으며, 이 부분이 여전히 미해결 과제로 남아 있음을 밝히면서도 유사한 로그 패턴을 따를 것이라고 추측한다.