Questions tagged [exponential-sums]
The method of exponential sums is one of a few general methods enabling us to solve a wide range of miscellaneous problems from the theory of numbers and its applications. The strongest results have been obtained with the aid of this method. Therefore knowledge of the fundamentals of theory of exponential sums is necessary for studying modern number theory.
196 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
5
votes
1
answer
629
views
How different can the bias of two polynomials be?
$\DeclareMathOperator\bias{bias}$I'm trying to figure out how to approach the following question:
Let $g$, $h$ be polynomials over $\mathbb{Z}_p$ (for prime $p$) with $n>1$ variables.
Denote by $\...
- 12.9k
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
13
votes
2
answers
800
views
For which rationals is this exponential sum bounded?
Given $x \in [0, 1]$, we denote by $e(x)$ the complex number $e^{2 \pi i x}$.
Can we characterise the set of rationals $x$ for which the sum
$$A_N(x)\, :=\, \sum_{n = 0}^N e(2^n x)$$
remains bounded ...
- 6,165
5
votes
0
answers
156
views
What is the Hausdorff dimension of the set on which this exponential sum is bounded?
This is a direct follow up to For which rationals is this exponential sum bounded?
Given $x \in [0, 1]$, we denote by $e(x)$ the complex number $e^{2 \pi i x}$.
What is the Hausdorff dimension of the ...
- 6,165
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
92
views
Period of the modulus of a complex exponential sum
Consider a sum of exponentials function of the integer $x$: $f(x)=A(x)+B(x)$, where $A(x)=\sum_{i=1}^n c_i \theta_i^x$ with $\theta_i$ roots of unity, and $B(x)=\sum_{j=1}^m d_j\lambda_j^x$ with $|...
- 333
0
votes
0
answers
70
views
$\ell^2 \rightarrow L^p ([0,1]^d) $ estimates for trigonometric polynomials
My question concerns $L^p ([0,1]^d)$ estimates for trigonometric polynomials, where both the coefficients and frequencies are coming from general (i.e. not necessarily geometrically special/structured)...
2
votes
1
answer
144
views
Exponential sums over a linear subspace
I'm looking into certain type of exponential sums, which are summed over a linear subspace, and I couldn't find a good reference for that.
The (simplified) setting is the following. Let $p$ be a prime,...
- 731
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
4
votes
1
answer
338
views
Bounds on quadratic character sums
I asked this question on Mathematics stack exchange but didn't get a response, so I ask here too.
Let $\chi$ be the non-trivial quadratic character of $\mathbb{F}_q$, and let $f(x)$ be a square-free ...
- 13k
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
0
votes
2
answers
963
views
Product of three or more independent sub-Gaussian varibles
A random variable $X$ is called subgaussian of order $\sigma^2$ if $\log E[exp\{\theta X\}]\leq \frac{1}{2}\theta^2\sigma^2$ for every $\theta\in\mathbb R$.
Given a sequence of independent subgaussian ...
- 1
2
votes
2
answers
231
views
Conditional convergence of exponential sums related to a Hecke modular form
Definition
Consider the Fourier coefficients $\psi(n)$ of the modular form $\eta^4(6\tau)$,
which are defined in terms of $q=\exp(i2\pi\tau)$ by the identity:
$$\eta^4(6\tau) = q \prod_1^\infty (1-q^{...
2
votes
0
answers
209
views
A problem about the series $\sin(n^p)$ [closed]
Prove that when $p>0,$ the series $$\sum_{n=1}^\infty \sin(n^p)$$
is divergent
- 67
4
votes
0
answers
154
views
Vanishing exponential sums of fractional parts of polynomials
Let $p$ be an integer polynomial and $k$ be a natural number, both fixed. Is it the case that if
$$C(\alpha) = \sum_{i=1}^k e(\alpha \{p(i)/k\})$$
equals 0, then $\alpha$ is an integer? Here, $e(x) = ...
- 41
2
votes
2
answers
268
views
If $\inf\{b\in\mathbb{R}\mid\sum_{n=1}^{\infty}e^{-ax_n-by_n}<+\infty\}=1-a$ for all $a\in [0,1]$, does this equality hold for all $a\in\mathbb{R}$?
Let $\left\{x_n\right\}_{n=1}^{+\infty},\left\{y_n\right\}_{n=1}^{+\infty}\subset [0,+\infty)$ be two sequences of non-negative real numbers. Suppose there exist $\lambda\ge 1, c\ge 0$ such that $\...
- 605
0
votes
0
answers
192
views
what is the current best estimation for the upper bound of the exponential sum for an arbitrary irrational number $\alpha$
I would like to know what the current best estimation for the upper bound of the exponential sum
$$\left|\sum_{n=1}^N \exp \left(2 \pi i\alpha\left(x_0+x_1 n+\ldots+x_d n^d\right)\right)\right|=\left|\...
- 543
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
90
views
The number of roots of pseudo-exponential polynomials
Assume that $J$ is the interval $(-\pi,\pi]$. For $k=1,\ldots,2n$, suppose that $\lambda_k$s are real functions on $J$ with $|\lambda_k|=1$, meaning that $\lambda_k(t)$ is either $-1$ or $1$ where $t\...
- 2,060
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
1
vote
1
answer
259
views
On the estimate for a double exponential sum
I encounter a hyper-Kloosterman sum which needs some help from the experts here:
For any integers $q,s \in \mathbb{N}^+$(which may not be necessarily co-prime with each other), how to bound the sum:
$$...
- 148k
0
votes
0
answers
92
views
A question on the evaluations of certain three-dimensional hyper-Kloostermans
There is a basic question regrading the 3-dimensional hyper-Kloosterman sum which needs some help from the experts here:
For any integers $q,h \in \mathbb{N}$, how to estimate the sum:
$$\sideset{_{}^{...
- 563
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
2
votes
1
answer
154
views
On the estimate for the mixed 3-dimensional hyper-Kloosterman sum
There is a basic question regrading the mixed 3-dimensional hyper-Kloosterman sum:
For any positive integer $n$ not divisible by $p$, how to prove
$$\sideset{_{}^{}}{^{\ast}_{}}\sum _{x,y ,z\bmod p}
\...
- 148k
1
vote
1
answer
3k
views
Coefficients in the sum $\sum_{k=0}^{n-1}\sum_{j=0}^{m}A_{j,m}(n-k)^jk^j=n^{2m+1}, \ m=1,2,....$
Consider a sum $$\sum_{k=0}^{n-1}\sum_{j=0}^{m}A_{j,m}(n-k)^jk^j$$
which returns an odd power $n^{2m+1}$ of $n$, for $\ m=0,1,2,...$ given fixed $A_{0,m}, \ A_{1,m}, \ ..., \ A_{m,m}$. The ...
- 167
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
6
votes
2
answers
646
views
Number of solutions of $am \equiv bn \pmod{q}$
Let $q$ be a (large) prime. Let $N$ be a positive integer of size${}\approx \sqrt{q}$. Let $\mathcal{M}$ be an arbitrary subset of $\{1, \dots, q\},$ such that $\mathcal{M}$ has cardinality $N$. ...
- 30.1k
0
votes
1
answer
186
views
Exponential sum with weight in bottom
I am interested in the exponential sum
$$\sum_{n=1}^X \frac{e(c_1n^2+c_2 n)}{1-e(c_1n)}$$
where $c_2$ is irrational and $e(x)=e^{2\pi i x}$. I know if the denominator is not there, this is a Weyl sum ...
- 1,904
11
votes
1
answer
866
views
Cancellation in a very rapidly oscillating exponential sum
Let $f(x)$ be a function such that for all $T \leq f(x), \ T / x \to \infty$ we have
$$
\sum_{x \leq n < 2 x} e^{2 \pi i T / n} = o(x).
$$
How fast can $f(x)$ grow?
I can show that for any $\...
- 114k
2
votes
1
answer
152
views
Proof of Szegö asymptotic theorem
Consider the truncated exponential series
$$P_N(z) = \sum_{n= 0}^N \frac{z^n}{n!}$$
The zeros of this series have been studied by Szëgo and others (see e.g. here). He established an asymptotic for the ...
- 91.8k
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
0
votes
1
answer
187
views
Uncorrelation of exponential sums generated by irrational rotations over disjoint sets of integers
Assume that $\mathbb{N}=\{0,1,2,\ldots\}$ is partitioned into $k\ge 2$ disjoint sets $J(1),\ldots,J(k)$ such that for every $1\le p \le k$ the set $J(p)$ has an asymptotic density
$$
d(J(p))=\lim_{n\...
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
1
vote
2
answers
183
views
A double sum with complex numbers having stochastic variables
I am very confused by a sum I have been trying to solve analytically/ numerically for a long time. It comes from the idea of a physical problem where the observation is made that has a combined ...
- 159
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