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.
168
questions
0
votes
1
answer
117
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 ...
- 417
2
votes
0
answers
109
views
Iterated exponential sums with cosine
As a continuation of Iterated exponential sums I have a follow up question. Is there anything known about iterated exponential sums of the form
$$\sum_{1\leq n\leq X} e(f(n))\sum_{1\leq m< n} \cos(...
- 417
6
votes
1
answer
418
views
+50
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$. ...
- 2,179
0
votes
0
answers
59
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 ...
- 549
10
votes
1
answer
622
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 $\...
- 2,314
2
votes
1
answer
96
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 ...
- 907
1
vote
1
answer
103
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(...
- 133
1
vote
0
answers
55
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,466
9
votes
1
answer
941
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 ...
- 11.5k
0
votes
1
answer
169
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,478
1
vote
0
answers
115
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,441
3
votes
1
answer
218
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 ...
- 333
1
vote
2
answers
138
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
432
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}\...
- 341
6
votes
1
answer
147
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,466
1
vote
0
answers
78
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 ...
- 569
0
votes
1
answer
216
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,...
- 413
2
votes
1
answer
165
views
On the upper-bound for a type of quintuple Kloosterman sums
Sorry to disturb, dear experts here. I have a question involving the quintuple Kloosterman sum, and expect some hints to show the upper-bound.
My question is, for any $x,y,z,w,\delta \in \mathbb{Z}$ ...
- 413
14
votes
1
answer
588
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 ...
- 11.5k
3
votes
1
answer
314
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}_{}}\...
- 413
4
votes
0
answers
93
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,466
1
vote
1
answer
195
views
A question involving the three-dimensional Kloosterman sum
Sorry to disturb. I have a question involving the three-dimensional Kloosterman sum, which needs some help from the experts here.
For any $\alpha, \beta, \gamma \in \mathbb{Z}$ and $q\in \mathbb{N}^+$,...
- 413
4
votes
0
answers
79
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,466
1
vote
0
answers
160
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 ...
- 1,036
1
vote
0
answers
113
views
Self-referencing recurrence relation with exponential
I have the self-referencing recurrence relation
$$
d(0) = 0
$$
$$
d(1) = a
$$
$$
d(n+1) = d(n) + a*e^{-(\frac{d(n)-n*c}{b})^4}
$$
Written as a sum:
$$
d(N) = a*\sum_{n=0}^{N}e^{-(\frac{d(n)-n*c}{b})^...
- 11
4
votes
1
answer
172
views
Bound for sum of multiplicative character calculated over multivariate polynomial
Let $f \in \mathbb{F}_q[x_1, \dots, x_k]$ be a polynomial with $\deg f = n$, and let $\chi$ be a multiplicative character over $\mathbb{F}_q$.
Is there any known bound, possibly with conditions about $...
- 189
1
vote
0
answers
117
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}...
- 359
1
vote
1
answer
119
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 ...
- 549
0
votes
1
answer
307
views
The exploration of the asymptotic behavior of a simple sum. $\sum_{k=1}^{\infty} (k^{1/k} - 1)$ [closed]
An informal investigation of a sum.
Consider this sum:
$$S =\sum_{k=2}^{\infty}(k^{1/k} -1)$$
Does this converge? How does it behave as it diverges, if it diverges? If $k$ equaled $1$ we would get $0$ ...
user475930
2
votes
1
answer
265
views
A conjecture relating an integral and a sum, the floor function and squares
I've found through evidence and have conjectured on a math publication that:
$$\Big\lfloor\int_1^\infty (k^{1/(k^{1+1/\sqrt{x}})} - 1)dk\Big\rfloor = \Big\lfloor\sum_{k=1}^{\infty}k^{1/(k^{1+1/\sqrt{x}...
user475930
8
votes
1
answer
447
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) ...
- 83
4
votes
0
answers
193
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,036
6
votes
0
answers
98
views
Bounds on exponential and character sums of ratio of linear recurrences
Let $\mathbb{F}_q$ be a finite field of $q$ elements, let $\chi$ be a non-trivial additive character of $\mathbb{F}_q$, and let $\psi$ be a non-trivial multiplicative character of $\mathbb{F}_q$. Also,...
- 121
3
votes
0
answers
72
views
growth rate of quadratic exponential sums with monomial coefficients
What is the growth rate of $$S_d(M)=\sum_{n=1}^M n^d e\left(\frac{n^2}{2M}\right)$$
where $M$ is an even integer.
My numerical experiments show that
$$\frac{S_d(M)}{M^{d+\frac{1}{2}}}\approx e^{\frac{\...
- 31
2
votes
0
answers
146
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'...
user147650
2
votes
0
answers
151
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,759
0
votes
2
answers
258
views
Exponential Series with a sequence [closed]
For a convergent sequence $(a_n)_n \rightarrow a$ consider the exponential series
\begin{equation*}
\exp_{(a_n)_n}(-x) := \sum_{n=0}^{\infty} \frac{(-x)^n a_n}{n!}.
\end{equation*}
Can there be ...
- 11
9
votes
1
answer
191
views
Which unimodular lattices $L\subset \mathbb R^2$ minimize $f_t(L):=\sum_{ v\in L} e^{-t \|v\|_2}$? (for parameters $t>0$)
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}$Consider the lattices in $\SL(2,\mathbb R)(\mathbb Z^2)$ up to rotation. The space of such lattices can be identified with the modular surface $\...
- 241
5
votes
1
answer
371
views
Upper bound an integral with exponential function
I am working on my research about approximation a function. I come up with the following integral. I run some simulations and saw that the integral would converge to zero as n goes to infinty. Here is ...
- 105
3
votes
0
answers
150
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$ ...
- 1,466
0
votes
1
answer
459
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 ...
- 21
1
vote
1
answer
58
views
An inequality between sum of exponential functions wrt dyadic index
I am reading a paper 'Periodic Nonlinear Schrodinger Equation and Invariant Measures' written by J.Bourgain. And I am wondering if I can have some help from this website.
My question is an inequality ...
- 239
12
votes
1
answer
1k
views
Deligne's theorem on exponential sums
I'm an analyst who needs to use Deligne's Theorem 8.4 in 1, but I feel lost in the maze of definitions, and I don't trust my geometric intuition here.
Theorem 8.4: Let $Q$ be a polynomial in $n$ ...
- 388
6
votes
1
answer
426
views
Maximum number of positive roots is $3$
Let $$f(x) = a+b(x+p)^t+c(x+p)^t(x+q)^t+d(x+p)^t(x+q)^t(x+r)^t,$$
where $t>1$ is any positive real number, $p>q>r>0$ or $p<q<r$ are positive integers and $a,b,c,d$ are any ...
0
votes
1
answer
111
views
Solving the inequality between a and b [closed]
I run into this inequality
$$
(a + b)^{1 - \epsilon} \;a < b
$$
where $a \in \mathbb{Z}^+$ and $\epsilon \in (0, 1)$. What value (w.r.t $a$ and $\epsilon$) should I set $b$ equal to such that this ...
1
vote
0
answers
84
views
Polynomial composition utilizing polynomials in two different finite fields
At every $n\in\mathbb N$ (all polynomials are of degree $O(1)$) is there $g_{3,1}^{(n)},\dots,g_{3,k}^{(n)}\in\mathbb F_3[x_1,\dots,x_n]$ at $k=\mathsf{poly}(n)$ and $g_2^{(n)}\in\mathbb F_2[x_1,\dots,...
- 13.2k
3
votes
1
answer
181
views
Can the following sum be counted or expressed in terms of special functions?
Let us define this sum as a function of $z \in \mathbb{C}$ with some positive parameter $a$
$$
f(z; a) = \sum\limits_{n = 0}^{\infty}\frac{|z|^{2n}}{n!}e^{-ian^2}.
$$
Probably, it can be expressed (or ...
- 325
0
votes
2
answers
262
views
Closed form for $\sum_{i=1}^n{a^{i^2}}$
Let $a$ be an element of some ring or field, possibly finite.
Is there closed form for $\sum_{i=1}^n{a^{i^2}}$?
sage and wolframalpha couldn't solve it.
If $a$ is primitive n-th root of unity this is ...
- 23.8k
1
vote
0
answers
141
views
What is the bound for $L_{\infty}$ norm for positive part of exponential sum?
A famous conjecture posed by Littlewood and solved by O. McGehee, L. Pigno, and B. Smith(in their article, Hardy's inequality and the $L_1$-norm of
exponential sums) and S. V. Konyagin independently ...
- 533
2
votes
0
answers
217
views
Is this limit zero?
Define $e(\theta)=e^{2\pi i\theta}, \theta\in [0,1]$, $P_n=\{p_1,p_2,...,p_n\}$ are the first $n$ primes, $\|f\|_1=\int_{[0,1]}|f(\theta)|d\theta$.
Problem 1.
is it true for all fixed $m\in \mathbb{N^...
- 533