Table of Contents
Fetching ...

The distribution of large values of mixed character sums

Amine Iggidr

Abstract

In this paper, we investigate the distribution of values of the complete exponential sum $S_{p,χ}(θ)=\sum_{n=1}^p χ(n)e(nθ)$, where $p$ is a large prime, $χ$ is a Dirichlet character (mod $p$) of order $d\geq 2$, and $θ$ varies over certain subsets of $[0,1]$. When $d=2$, these sums correspond to the values of the Fekete polynomial associated with $p$ on the unit circle. Our first result gives precise estimates for the tail of the distribution of $|S_{p,χ}(θ)|$ in a large uniform range, when $θ$ varies over the set $\{(k+1/2)/p\}_{1\leq k\leq p}$. This improves upon a result of Conrey, Granville, Poonen, and Soundararajan. We also consider the distribution of the maximum of $|S_{p,χ}(θ)|$ for $θ\in I_k=[k/p,(k+1)/p]$, and obtain upper and lower bounds for the distribution of large values of this maximum, valid in a uniform range that is nearly optimal: we make this precise in the paper. Our results provide strong support for a conjecture of Montgomery on the maximum of Fekete polynomials on the unit circle. In particular, we show that the distribution function exhibits double-exponential decay, with a surprising difference in behavior between the cases of even and odd order $d$.

The distribution of large values of mixed character sums

Abstract

In this paper, we investigate the distribution of values of the complete exponential sum , where is a large prime, is a Dirichlet character (mod ) of order , and varies over certain subsets of . When , these sums correspond to the values of the Fekete polynomial associated with on the unit circle. Our first result gives precise estimates for the tail of the distribution of in a large uniform range, when varies over the set . This improves upon a result of Conrey, Granville, Poonen, and Soundararajan. We also consider the distribution of the maximum of for , and obtain upper and lower bounds for the distribution of large values of this maximum, valid in a uniform range that is nearly optimal: we make this precise in the paper. Our results provide strong support for a conjecture of Montgomery on the maximum of Fekete polynomials on the unit circle. In particular, we show that the distribution function exhibits double-exponential decay, with a surprising difference in behavior between the cases of even and odd order .
Paper Structure (9 sections, 25 theorems, 157 equations, 1 figure)

This paper contains 9 sections, 25 theorems, 157 equations, 1 figure.

Key Result

Theorem 1.1

Let $p$ be a large prime. For all real numbers $1\leq V \leq \frac{2}{\pi}(\log\log p - 2\log\log\log p)$ we have and $\gamma$ is the Euler–Mascheroni constant.

Figures (1)

  • Figure 1: Plot of $\Phi_\chi$ for $\chi \!\mod p=20 000 821$ of order $2,3,4,5,6$ and $7$.

Theorems & Definitions (51)

  • Theorem 1.1
  • Theorem 1.2
  • Remark
  • Theorem 1.3
  • Remark
  • Corollary 1.4
  • Remark 1.5
  • Remark 1.6
  • Definition 2.1
  • Lemma 2.2
  • ...and 41 more