All Questions
Tagged with exponential-sums analytic-number-theory
99 questions
4
votes
0
answers
513
views
Deriving inequality (8.9) from (8.8), in Iwaniec–Kowalski “Analytic Number Theory”
I am working through the problem presented in Chapter 8 of Iwaniec and Kowalski’s Analytic Number Theory (specifically inequalities (8.8) and (8.9)) and I am struggling with the transition between ...
- 111
6
votes
1
answer
292
views
Prime number theorem via large sieve type sums
We know that the prime number theorem is equivalent to the statement
$$
M(x)=\sum_{n\le x}\mu(n)=o(x).
$$
By using Ramanujan sums, we can write $M(x)$ as
$$
M(x)=\sum_{q\le x}\sum_{\substack{0\lt a\le ...
- 13k
6
votes
2
answers
425
views
Average of gcd of sum of two $k$th powers
I am interested bounding the following quantity. Given fixed $k \in \mathbb{N}$, $a,b \in \mathbb{Z}$, $\sigma \in [0,1)$, and intervals $I_1,I_2 \subset \mathbb{Z}$ can we establish the bound
$$S = \...
5
votes
1
answer
594
views
Exponential sum vs. exponential integral via Poisson summation
When we want to estimate an exponential sum
$$
\sum_{M<m\le M'}e(f(m))
\quad\text{with}\quad
1\le M\le M'\le 2M
\quad\text{and}\quad
e(x):=\exp(2\pi ix)
$$
where $e(x):=\exp(2\pi ix)$
and the phase ...
CommunityBot
- 1
1
vote
0
answers
115
views
Best values in the estimate of Vinogradov-Korobov
Let $C(N)=\sum_{1<n\le N}{n^{-it}}$.
Vinogradov- Korobov estimate is
$$|C(N)| \le KN\exp\left(-\gamma \frac{\ln^3 N}{\ln^2 t}\right).$$
What are the best values of $K$ and $\gamma$ ? I have ...
CommunityBot
- 1
0
votes
1
answer
347
views
Weyl sums in the arithmetic progressions
For any $\alpha \in \mathbb{R}$ which has the Diophantine
Approximation that $$\alpha=\frac{l}{q}+\frac{\theta}{q^2},\quad (l,q)=1, \quad|\theta|\le 1.$$ It is known that
$$\sum_{m\le M} \min \left(N,...
CommunityBot
- 1
2
votes
0
answers
191
views
The exponential sum over primes on average
In https://academic.oup.com/blms/article-abstract/20/2/121/266256?redirectedFrom=fulltext Vaughan shows the following bounds for the $L^1$-mean of the exponential sum over primes $$\sqrt x\ll \int _0^...
- 1,381
2
votes
1
answer
202
views
Exponential sums involving smooth truncated divisor functions
Let $p$ be a prime, $a \neq 0$ an integer, let $M,N \gg 1$ and let $\psi,\eta$ be some fixed Schwartz functions. Would you know of any references in the literature where upper bounds for sums such as
$...
- 1,890
4
votes
0
answers
78
views
Repeated values of a monomial
Let $H,M\geq 1$ and let $h_0$ and $m_0$ be fixed integers with $(h_0,m_0)\in [H,2H]\times[M,2M]$. Let $\alpha$ be a positive real number. I'm trying to find an upper found for the number of integer ...
- 1,990
2
votes
0
answers
128
views
Distribution of square roots (mod m) on small intervals (with respect to m)
Fix a large positive integer $m$. Let $A$ be small positive number typically $\sim m^{1/3}$. Suppose $S(A, m)$ be set of solutions (normalized by dividing by $m$) to the quadratic congruences $x^2 = a ...
- 1,354
2
votes
0
answers
143
views
The exponential sum of $\omega (n)$
Let $\omega (n)$ be the number of (distinct) prime divisors of $n$ $$\omega (n)=\sum _{p|n}1$$ and let $S(a/q)$ be its exponential sum $$\sum _{n\leq x}\omega (n)e(na/q).$$
Question 1: Can anyone give ...
- 1,381
1
vote
1
answer
244
views
Large sieve type inequality
Let $S_x(t)=\sum_{n\le x} a_n e(nt)$, where $e(x)=e^{2\pi i x}$. Then, the large sieve inequality tells us that
$$
\sum_{q\le Q} \sum_{\substack{0\lt a \lt q \\ (a,q)=1}}|S_x(a/q)|^2 \le (Q^2+4\pi x)\...
- 14.6k
2
votes
1
answer
237
views
Need some clarification to understand an inequality involving exponential sums
I was looking into Montgomery's proof of the large sieve inequality in his book on Topics in Multiplicative Number Theory, and on page $18$, we have
$$B(x)=\sum_{k=-\infty}^{\infty}b_ke(kx),$$ for $x\...
- 358
1
vote
0
answers
108
views
Manyfold iterated exponential sum with growing conductor
Let $\varphi(x_1,\dots, x_k)$ be some smooth function with partial derivatives of magnitude $\asymp 1$ for $x_i\asymp 1$. For concreteness, as it doesn't appear to add much extra structure beyond the ...
- 1,890
5
votes
1
answer
405
views
Exponential sum involving floor function
Can one get cancellation in exponential sums such as, say,
$$
\sum_{n\sim N} e(\lfloor n^\theta\rfloor^\beta),
$$
for fixed positive $\theta,\beta\not\in\mathbb Z$? When $\theta < 1$, it seems ...
- 56
7
votes
1
answer
518
views
Does there exist some irrational $x,\alpha$ so that this Weyl sum is $o(\sqrt N)$?
This is a less ambitious version of Is the Lebesgue measure of the $x$ so that this exponential sum is $o(\sqrt{N})$ positive? .
Consider $$S_N(x):=\sum_{n=1}^N \exp\left(2\pi i\left(\frac12n^2x+\...
- 114k
6
votes
1
answer
283
views
Is the Lebesgue measure of the $x$ so that this exponential sum is $o(\sqrt{N})$ positive?
Consider $$S_N:=\sum_{n=1}^N \exp\left(2\pi i\left(\frac12n^2x+\alpha n\right)\right)$$
where $\alpha$ is irrational. For certain $x$ (say integer) we can get that this is bounded for all $N$. I am ...
- 1,354
4
votes
1
answer
299
views
The Wilton-type bounds involving half-integral weight cusp forms
There is a basic question which puzzles me for a while, and maybe look naive for some experts here. The question is the following:
Let $f(z)=\sum_{n\ge 1} a_f(n) n^{k/2-1/4}e(nz)\in S_{k+1/2}(4N)$ be ...
- 6,367
1
vote
1
answer
130
views
Bound for some trigonometric polynomials
Let $e(x)=e^{2\pi i x}$ and consider the following functions defined for $x\in [0,1]$:
$$
f_1(x)=\frac{e(10x)-e(x)}{e(x)-1}, \quad f_2(x)=\frac{e(110x)-e(11x)}{e(11x)-1},
$$
and
$$
f_3(x)=\frac{e(...
- 577
1
vote
0
answers
63
views
Optimal exponents in upper bound for 4-dimensional exponential sum
A classical result of Fouvry and Iwaniec states that if $\alpha_1,\ldots, \alpha_4$ are nonzero, $M_1,\ldots, M_4 \geq 1$, $X > 0$, and $|\varphi_{m_1,m_2}|,|\psi_{m_3,m_4}|\leq 1$ are complex ...
- 1,990
11
votes
1
answer
1k
views
Why are Deligne-type exponential sum estimates so hard to use?
Let $F$ by a finite field, and $R(x_1,x_2,\ldots,x_n) := r_1(x_1,x_2,\ldots,x_n)/r_2(x_1,x_2,\ldots,x_n)$ a rational function in $n$ variables, frequently in analytic number theory or harmonic ...
- 148k
1
vote
0
answers
142
views
Partial exponential sums over lattice points of lattice cones
Consider the usual lattice $M:=\mathbb{Z}^2\subseteq\mathbb{R}^2$, and
let $v_1,v_2\in\mathbb{Z}^2\subseteq\mathbb{R}^2$ be two non-zero lattice points which are $\mathbb{Z}$-linearly independent. ...
- 7,609
10
votes
1
answer
474
views
A basic estimate of exponential sums
Demeter in his book "Fourier Restriction, Decoupling, and Applications" (P287) used the following estimate:
\begin{equation}
\sup_{0\leq n\leq q}\bigg|\sum_{m=0}^n e^{2\pi i\frac{a}{q}m^2}\...
- 12.3k
6
votes
1
answer
183
views
Mean value of the divisor function over Piatetski-Shapiro sequences
Let $c>1$, $c\not\in\mathbb{Z}$ and consider the sum
$$
\sum_{n\leq x} \tau(\lfloor n^c \rfloor),
$$
where $\tau(n)$ is the number of divisors of $n$. I'm almost certain I've seen an evaluation of ...
- 1,990
1
vote
0
answers
94
views
Large sieve inequality-like sum without the square
Let $S(\alpha) = \sum_{n\leq N} w(n) e^{2\pi i \alpha n}$ for some function $w$ defined on $\mathbb{R}$. Suppose $\alpha_1, \ldots, \alpha_R$ are real numbers that are $\delta$-spaced modulo $1$, for ...
- 579
14
votes
1
answer
663
views
The first case of the strong Littlewood conjecture
Let $A$ be a set of $n$ integers and consider the quantity:
$$\int_{0}^1 \left| \sum_{a \in A} e^{2\pi i a x} \right|dx. $$
The (now solved) Littlewood conjecture is the claim that this quantity is ...
- 1,355
3
votes
1
answer
338
views
Estimates for certain double-Kloosterman sums
Sorry to disturb. I encounter a double-Kloosterman sum, which needs some help from the experts here.
For any $q\in \mathbb{N}^+$, how can we estimate the type of sum
$$ \sideset{_{}^{}}{^{\ast}_{}}\...
- 563
4
votes
0
answers
168
views
Question about exponent pairs
In some of my recent research efforts, I've been applying a lot of estimates for exponential sums involving exponent pairs. Two seemingly simple questions have arisen from these calculations, and I ...
- 1,990
5
votes
0
answers
104
views
Exponential sums with monomials with divisor-function coefficients
In their paper "Exponential Sums with Monomials," Fouvry and Iwaniec study exponential sums roughly of the form
$$
\sum_{m_1 \sim M_1} \cdots \sum_{m_r \sim M_r} c_1(m_1) \cdots c_r(m_r) e\...
- 1,990
1
vote
0
answers
243
views
Sums of Kloosterman sums
Let
\[ S_{n,m}(q)=\sum_{a=1\atop {(a,q)=1}}^qe\left (\frac {an+\overline am}{q}\right )\]
be Kloosterman's sum and $\alpha _n,\beta _m$ be complex numbe of modulus $\leq 1$. For $Q,N,M>0$ what is ...
- 12.3k
1
vote
1
answer
128
views
Distribution of quadratic polynomials mod $n$ and $n^2$
Suppose $n$ is odd, then both equations $x^2 = D \; mod \;n$ and $x^2 = D \; mod \;n^2$ have the same number of solutions for fixed $D$ coprime to $n$. What can be said about the relationship between ...
CommunityBot
- 1
1
vote
0
answers
150
views
Moments of an exponential sum
Let $p$ and $N$ be large natural numbers. I would like to get a possibly sharp asympotic approximation of
$$
\mathcal{I}_{p,N}=\int_0^1 \Big(\sum_{j=1}^N e^{2\pi i j \xi}+\sum_{j=1}^N e^{-2\pi i j \xi}...
- 421
8
votes
0
answers
398
views
$L^1$ norm of Fourier transform of subset sums
Let $n_1,\dots,n_k$ be a set of $k$ natural numbers less than $N$, with $k = (1- \delta) \log_2 N$ for $\delta$ relatively small. Let $e(x) = e^{ 2\pi i x}$, as usual.
Assume that $$\int_0^1\prod_{j=1}...
- 63.9k
11
votes
1
answer
1k
views
Lower bound for exponential sums
Let $D$ be a subset of $\mathbb Z/n \mathbb Z$ containing $0$. For $m$ an integer, set $$\alpha(m,D)=\sum_{d \in D} e\left (\frac{m d }{n}\right ),$$
where as usual $e(x) = e^{2 i \pi x}$ This is an ...
- 18.7k
10
votes
1
answer
706
views
Why are exponential sums so bad at solving this very easy problem?
Exponential sums are a powerful tool in additive combinatorics and number theory. In my understanding, when it comes to estimate the cardinality of a certain set, exponential sums are (essentially) ...
- 4,862
4
votes
0
answers
220
views
Sum of Kloosterman sums with oscillating factor
Denote by $S(c;n,m)$ Kloosterman's sum. Take $X>0$ and take $n,m\in \mathbb Z$ smaller than a small power of $X$ in modulus. It is known that essentially
\[ \sum _{c\sim X}\frac {S(c;n,m)}{c}\ll ...
- 1,381
2
votes
0
answers
154
views
What does this exponential sum evaluate to?
We have the following sum
$$S=\sum_{\substack{0<a'\leq k'\\(a',k')=1\\a'\equiv b \bmod q}}e(hl'a'/k').$$ Here, $e(x):=\exp(2\pi i x)$, $h,k',q,a'$ are all natural numbers. We do know that $\gcd(h,l'...
CommunityBot
- 1
3
votes
0
answers
179
views
Generalizing an estimate of Jutila
I'm working on a problem right now in which I need an upper bound for an exponential sum of the form
$$
\tag{1}
\sum_{N < n \leq 2N} \tau_3(n) e(f(n)),
$$
where $\tau_3(n) = \sum_{d_1d_2d_3=n} 1$ ...
2
votes
0
answers
159
views
Reference for a paper of Jutila
Does anyone know where I might be able to locate on the internet the following paper of Jutila?:
M. Jutila, Mean value estimates for exponential sums. Number Theory, Ulm 1987, 120-136.
- 1
9
votes
0
answers
232
views
Explicit bound for sum of Kloosterman sums
What are the best fully explicit upper bounds one can give for the sum
$$\left\lvert \sum_{n=N}^{\infty} \frac{S(a,b;n)}{n} \,I_1\!\left(\frac{4 \pi \sqrt{|ab|}}{n}\right) \right\lvert$$
where $S(a,b;...
- 2,235
5
votes
2
answers
311
views
Hypotheses for exponent pairs
The theory of exponent pairs provides bounds for $$\sum_{N<n<2N} e(f(n)),$$ where f behaves like a monomial. Precise formulations of this are in Graham and Kolesnik (GK) which seems to be what ...
8
votes
0
answers
418
views
Equidistribution of $\{\sqrt{p}: p \text{ primes }\}$ modulo 1
I am trying to show $\{\sqrt{p}: p \text{ primes }\}$ is equidistributed modulo 1. Using Weyl's criterion, it is sufficient to show for each nonzero integer $k$,
\begin{equation}
\sum_{n \leq x}e(k\...
- 91
4
votes
1
answer
282
views
Mean square estimate for the Kloosterman sums
For $m,n\in \mathbb{N}$, denote the Kloosterman sum
$$S(m,n;c)=\sum_{a\bmod c}e\left( \frac{ma+n \overline{a}}{c}\right),$$where $\overline{a}$
denotes the multiplicative inverse of $a\bmod c$.
Does ...
- 43.7k
2
votes
1
answer
316
views
Integral over an exponential sum with squares
How should I estimate the following integral
$$I = \int_0^1 \left( \sum_{n=0}^{p-1} e(n^2t) \right)^2 dt $$
where $p$ is a prime?
Here is the method I followed:
\begin{align*}
I & = \int_0^1 \...
- 7,013
7
votes
2
answers
531
views
Conjecture about an exponential sum
Let $X \subset \mathbb{N}$ and say that $X$ is super-equidistributed if
for all $\alpha \in \mathbb{R} \setminus \mathbb{Z}$ there exists $C(\alpha) > 0$ such that for all $N$
$$
\left| \sum_{x \in ...
- 63.9k
4
votes
1
answer
332
views
Estimating certain short Kloosterman sums
Recall that for the classical Kloosterman sum
$$ K(a,b,p^t):= \sum_{x \in (\mathbb{Z}/ p^t \mathbb{Z})^* } \psi \left(\frac{ax+bx^{-1}}{p^t} \right),$$
where $\psi(x)=e^{2\pi ix}$, $a,b,t$ are natural ...
- 12.3k
2
votes
0
answers
84
views
Converse of Gallagher identity
A well known useful inequality of Gallagher states (in one form) that for any sequence $a:\mathbb N\to\mathbb C$, we have that $$\int_{|\theta|\le\delta} \bigg|\sum_n a(n)e(n\theta)\bigg|^2d\theta\ll
\...
- 1,890
1
vote
1
answer
225
views
Upper bound for the integral over minor arcs of the exponential sum with prime omega function coefficients
Define $\mathfrak{m}$ as the union of the minor arcs of the form $|\alpha-\frac{a}{q}|\leq 1/qQ$, with $(a,q)=1$ and $Q_0<q\leq Q$, with $Q_0\geq N/Q$, for a certain $N\geq Q$ large.
Is it ...
CommunityBot
- 1
12
votes
2
answers
748
views
A question regarding Bourgain's paper on $\Lambda(p)$-subsets
I'm trying to understand Bourgain's proof of Proposition 1.10 on page 304-307 in On $\Lambda(p)$-subsets of squares which states
Given $p>4$, we have the estimate
\begin{align}
\left\|\sum_{n=...
- 7,013
3
votes
0
answers
127
views
A good way to bound the following exponential sum over $\mathbb{Z}/q\mathbb{Z}$ involving linear forms?
Let $q \in \mathbb{N}$. I am interested in getting an upper bound for the sum
$$
\sum_{(a_1, a_2, a_3, q) = 1} \sum_{\mathbf{h} \in (\mathbb{Z}/q\mathbb{Z})^n }e( \frac{a_1}{q}\ell_1(h_1, \ldots, h_n)...
- 3,625