[논문 리뷰] Intersections of multiplicative subgroups and Heilbronn's exponential sum

Ilya D. Shkredov, E. V. Solodkova외 1명|arXiv (Cornell University)|2013. 02. 15.

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

한 줄 요약

이 논문은 유한체에서 다수의 곱셈 부분군의 교차를 추정하는 스텝노프 방법을 확장하여 힐브르논의 지수합에 대한 새로운 경계를 도출하고 페르마 몫의 분포에 대한 결과를 향상시킨다. 여러 이동된 부분군을 포함하는 교차의 크기에 대한 핵심 부등식을 수립하고, 힐브르논 합에 대한 새로운 $L^4$-노름 경계를 증명함으로써, 최소로 0이 아닌 페르마 몫 지수 $l_p$에 대한 정밀한 상한을 도출한다. 주요 기여는 $l_p$의 $/log p$ 지수에 대한 정량적 개선으로, 기존의 $7829/4284$에서 $5977/3276$으로 감소시켰다. 이 방법은 덧셈 에너지 추정과 거듭제곱 급수 체 위에서의 일반화된 선형 종속성에 기반한다.

ABSTRACT

The paper is devoted to some applications of Stepanov method. In the first part of the paper we obtain the estimate of the cardinality of the set, which is obtained as an intersection of additive shifts of some different subgroups of F^*_p. In the second part we prove a new upper bound for Heilbronn's exponential sum and obtain a series of applications of our result to distribution of Fermat quotients. Also we study additive decompositions of multiplicative subgroups.

연구 동기 및 목표

• 다른 부분군의 경우를 초월하여 $\\mathbb{F}_p^*$에서 다수의 곱셈 부분군에 대한 교차 추정을 일반화하는 것.
• 힐브르논의 지수합 $S(a) = \\sum_{n=1}^p e^{2\\pi i a n^p / p^2}$에 대한 상한, 특히 그 $L^4$-노름을 향상시키는 것.
• 개선된 덧셈 에너지 추정을 활용하여, $q(n) \\not\equiv 0 \pmod{p}$인 최소의 $n$인 $l_p$에 대한 기존 상한을 정밀화하는 것.
• 스텝노프의 방법을 $\\mathbb{Z}^*_{p^2}$의 부분군 및 관련 구조에 대한 지수합에 적용 가능하도록 확장하는 것.
• 힐브르논 부분군 $\Gamma = \{m^p \mod p^2 \mid 1 \leq m \leq p-1\}$의 덧셈 에너지에 대한 새로운 경계를 수립하여, 개선된 지수합 추정의 기초를 마련하는 것.

제안 방법

• F.K. 스프링의 $\\mathbb{F}((x))$ 위에서의 선형 종속성 결과를 활용하여, 다수의 부분군 교차를 다룰 수 있도록 스텝노프 방법을 일반화한다.
• 힐브르논 부분군 $\Gamma \subseteq \mathbb{Z}^*_{p^2}$의 덧셈 에너지 $\mathsf{E}(\Gamma)$에 대한 조합적 추정을 적용하여 지수합을 추정한다.
• 문헌 [27]의 보조정리 3.4의 일반화된 형태를 사용하여, 부분군의 크기 및 곱의 조건 하에 $|G_0 \cap (G_1 + \mu_1) \cap \cdots \cap (G_k + \mu_k)|$에 대한 경계를 도출한다.
• 유한 아벨 군에서의 푸리에 해석적 항등식과 쌍대성 원리를 활용하여 지수합을 덧셈 에너지 및 콘볼루션 노름과 연결한다.
• 문헌 [1]의 보조정리 9를 적용하여 $ux \equiv y$의 해의 수를 제한된 범위에서 추정함으로써, 이중 구간 내의 해의 수 $N(k)$를 경계한다.
• 지수합 $S(a)$를 추정하는 문제를 $\mathsf{E}^{1/4}(\Gamma)$ 추정으로 환원하며, 항등식 $|S(a)| \leq \mathsf{E}^{1/4}(\Gamma) \cdot N^{1/4}$를 활용한다.

실험 결과

연구 질문

• RQ1 다양한 이동된 곱셈 부분군 $G_1, \dots, G_k$에 대해, $\mathbb{F}_p^*$에서 $G_0 \cap (G_1 + \mu_1) \cap \cdots \cap (G_k + \mu_k)$의 최대 크기는 얼마인가?
• RQ2 힐브르논 부분군 $\Gamma$의 덧셈 에너지 추정을 활용하여, 힐브르논의 지수합 $S(a)$의 $L^4$-노름을 기존 경계를 초월해 향상시킬 수 있는가?
• RQ3 페르마 몫이 0이 아닌 최소의 $n$인 $l_p$에 대한 최선의 상한은 $\log p$에 대해 어떻게 표현될 수 있는가?
• RQ4 힐브르논 부분군 $\Gamma = \{m^p \mod p^2\}$의 덧셈 에너지는 $\Gamma$ 위에서의 지수합 크기와 어떻게 관련되는가?
• RQ5 스텝노프의 방법을 $k \geq 3$에 대해 $\mathbb{Z}^*_{p^k}$의 부분군에 대한 지수합에 대해 비자명한 경계를 제공하도록 적응시킬 수 있는가?

주요 결과

• 특정 크기 및 곱의 조건 하에, $k+1$개의 곱셈 부분군과 이동에 대한 교차 크기에 대한 새로운 상한이 수립된다: $|G_0 \cap (G_1 + \mu_1) \cap \cdots \cap (G_k + \mu_k)| \leq 4k(k+2)(|G_0|\cdots|G_k|)^{1/(2k+1})$.
• 새로운 $L^4$-노름 경계가 증명된다: $\sum_a |S(a)|^4 \ll p^{58/13} \log^{14/13} p$, 이는 $|S(a)|^4$의 평균 크기에 대한 기존 경계를 향상시킨다.
• 최소로 0이 아닌 페르마 몫 지수에 대한 경계가 $l_p \leq (\log p)^{5977/3276 + o(1)}$로 향상되었으며, 지수는 기존의 $7829/4284$에서 $5977/3276$으로 감소하였다.
• 힐브르논 부분군 $\Gamma \subseteq \mathbb{Z}^*_{p^2}$의 덧셈 에너지는 스텝노프의 방법과 조합적 추론을 통해 추정되었으며, 이는 $L^4$-노름 추정에서 핵심적인 $\mathsf{E}(\Gamma)$ 경계로 사용되었다.
• 결과는 충분히 큰 $n$에 대해, $a \leq (\log p)^{5977/3276 + \varepsilon}$이면 $a^{n-1} \equiv 1 \pmod{n}$이 성립할 경우 $n$은 제곱수 없는 수임을 시사한다.
• 부분군의 크기가 $p-1$을 나누는 한, $k \geq 3$에 대해 $\mathbb{Z}^*_{p^k}$에 대해서도 이 방법을 확장할 수 있으며, 사영 사상 $\varphi: \mathbb{Z}^*_{p^k} \to \mathbb{Z}^*_{p^{k-1}}$를 통해 가능하다.