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
1
vote
1
answer
767
views
Exponential sums
I would like to estimate the following sum
$\sum_{N <n \leq 2N}e(vn^{l})$, $l \geq 1$ constant(not integer) and $v$ is a parameter(integer) that doesn't grow too fast(a small power of N).
The ...
- 167
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
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
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
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
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
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 ...
- 1,381
1
vote
0
answers
128
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
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
1
vote
0
answers
96
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.9k
1
vote
0
answers
180
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 ...
- 543
1
vote
0
answers
289
views
Growth rate of exponential sum of $S_j$
Let $X_j$, $1 \leq j \leq n$ be chosen i.i.d. uniform over $[0,2\pi)$. Denote $S_j \triangleq X_1 +X_2+\cdots+X_j$ and suppose that $c_j$, $1 \leq j \leq n$ are some constants such that $|c_j|=1$.
I'...
- 85
1
vote
0
answers
47
views
Find conditions for the following running average to be monotonically decreasing
Let $S_n$ be defined as $\frac{1}{n}\sum_{t=1}^{t=n} [px_t^2 - (p+q)x_t]$ where $x_t = 1-(1-p-q)^t$. We want to find the conditions on $p$ and $q$ such that $S_n$ is monotonically decreasing for all $...
1
vote
0
answers
145
views
An integral involving many exponential terms with quadratic exponents in the denominator
Given $k$ points $\{p_1,\cdots, p_k\}$ in $\mathbb{R}^n$ and positive constants $r_1, ..., r_k$ and another positive constant $\alpha>0$. Is there a way to compute/approximate the following (...
- 461
1
vote
0
answers
222
views
Way to express a number in its most compact sum of powers
Given a non-negative number n, what is the best approach to find the most compact representation for n in terms of sums of powers, such that the bases and the exponents can't surpass a given value (...
- 11
1
vote
0
answers
97
views
Formula for exponential integral over a cone
While reading 'Computing the Volume, Counting Integral points, and Exponential Sums' by A. Barvinok (1993), I came across the following:
"Moreover, let $K$ be the conic hull of linearly independent ...
- 81
1
vote
0
answers
56
views
Discrepancy bound of integer tensor product sequence?
Here discrepancy is from $(2.4)$ in https://www.ricam.oeaw.ac.at/files/people/siambook_nied.pdf given by 'The (extreme) discrepancy $D_N(P) = D_N(x_l,\dots,X_N)$ of
the point set $P$ of $N$ points in $...
- 13.9k
1
vote
0
answers
118
views
Exponential sum over polynomial values
Let $f(x)=a_{k}x^{k}+\dots+a_{1}x+a_{0}\in \mathbb{R}[x]$ with $a_{k}>0$ and $N\in\mathbb{N}$ sufficiently large. I would like to know an estimate of the following sum:
$$\sum_{N\leq n\leq 2N}\exp(...
1
vote
0
answers
130
views
How to evaluate this sum of roots of unity with condition to zero
In evaluating the sum:
$$\tag{1}\label{e1}\sum\limits_{j = 1 < h}^N {\left( {{e^{\frac{{i\pi }}{N}\left( {{s_1}j + {s_2}h} \right)}} - {e^{\frac{{i\pi }}{N}\left( {{s_1}h + {s_2}j} \right)}}} \...
- 59
1
vote
0
answers
163
views
Is this averaged exponential sum over primes small infinitely often?
Do there exist infinitely many positive integers $N$ such that
$$\sum_{\substack{N/2 \leq q \leq N \\ a/q \notin \mathbb{Z}}} \left|\sum_{1 \leq p \leq N} \exp(2\pi i p a/q) \right|\leq |a|^{o(1)} N^...
- 217
1
vote
0
answers
83
views
Upper bound for $ \sum_{p\leq x} a(p)p^{it} $
The Vinogradov-Korobov zero-free region for the Riemann Zeta-function would give us an upper bound for $ \sum_{p\leq x} p^{it} $.
Now my question is, what would be the corresponding upper bound for ...
- 31
1
vote
0
answers
87
views
Obtaining a "one-term" lower bound from an exponential sum lower bound of Roth
In the excellent book "A Panorama of Discrepancy Theory", edited by Chen et al, there is a chapter entitled Multicolor Discrepancy of Arithmetic Structures, by Hebbinghaus and Srivastav. From p. 360:
...
- 10.4k
1
vote
0
answers
160
views
Estimate of $\sum_{n=1}^x\exp(\pi i t/n)$ and $\sum_{n=-x}^x\exp(\pi i t/n)$?
I already asked this question here
https://math.stackexchange.com/questions/2005211/estimate-of-sum-n-1-infty-exp-pi-i-t-n/2005778#2005778
but I did not get a satisfying answer, so I put it here.
I ...
- 841
1
vote
0
answers
165
views
Reference request: Bounding exponential sum $\sum_{x \in [0,X]} \Lambda(x) e(\beta_d x^d + \ldots + \beta_1 x )$
Let $1 \leq i \leq d$, $q \in \mathbb{N}$, and $0 \leq a_{i} < q$. Let
$$
\mathfrak{M}^{(i)}_{a_{ i}, q} (C) =\{ \beta_{i} \in [0,1) : | \beta_{i} - a_{i}/q | \leq (\log X)^{C} X^{-i} \} .
$$
We ...
- 3,625
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 ...
- 173
0
votes
1
answer
318
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
0
votes
2
answers
273
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 ...
- 25.4k
0
votes
1
answer
152
views
Counting solutions of a certain diophantine equation
For some $s, k$, let $J_{s, k}(X; \mathbf{n})$ be the number of solutions to the system $$\sum_{i\le s} (x_i^j - y_i^j) = n_j$$ for $j\le k$ with $x_1, \dots, x_s, y_1, \dots, y_s\in [1, X]\cap\mathbb{...
- 1,890
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
0
votes
1
answer
115
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 ...
0
votes
1
answer
134
views
Prove that the following running average is monotonically decreasing
Let $S_n$ be defined as $\frac{1}{n}\sum_{t=1}^{t=n} [x^2+(p-q)x]$ where $x = 1-(1-p-q)^t$. We want to find the conditions on $p$ and $q$ such that $S_n$ is monotonically decreasing for all $n$. $0 &...
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,658
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 ...
- 59
0
votes
1
answer
282
views
The minimum of the maximum of a sequence of sinc functions
I apologise if this is trivial or well known to be impossible:
Can one find a finite set of integers $2\leq a_1<a_2<\ldots<a_m<\infty$
such that for the function defined as
$$
f_{a_1,\...
- 10.4k
0
votes
1
answer
85
views
What is the maximal number of solutions of $\sum_{i = 1}^n 1/a_i^x - \sum_{i = 1}^m 1/b_i^x = 0$?
What is the maximal number of solutions of the following equation?
$\sum_{i = 1}^n 1/a_i^x - \sum_{i = 1}^m 1/b_i^x = 0$
where $x$ is the unknown and $n, m$, $a_i$'s, $b_i$'s are constant.
It ...
- 377
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)...
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
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
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,...
- 563
0
votes
2
answers
373
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
0
votes
0
answers
221
views
Number of integer solutions to quadratic polynomial with integer coefficients
It is known from for example Representations of Integers as Sums of Squares by Grosswald, E. that
$$|\{(n_1,n_2,\ldots,n_k)\in\mathbb{Z}^k: \ n_1^2+n_2^2+\cdots+n_k^2=N\}|\leq C_\varepsilon N^{\frac{...
- 193
0
votes
0
answers
169
views
Bounding exponential sum of the form $\sum_{\mathbf{x} \in (\mathbb{Z}/q \mathbb{Z})^n } \chi_1(x_1)\cdots \chi_n (x_n) e(a F(\mathbf{x})/q)$
I have encountered the following exponential sum and I would like to obtain a non-trivial upper bound for it. I am not quite sure where to start, and
I would greatly appreciate any suggestions on how ...
- 3,625
0
votes
0
answers
286
views
Weyl Type Lemma
I was referred to Lemma 3.18 of an old Bourgain paper (pg. 122) concerning weighted exponential sums and I am having trouble understanding the proof. I have reproduced below for convenience.
Lemma. ...
- 873
0
votes
0
answers
495
views
Weyl sums with polynomial coefficients
Let
$$ f(x,N) = \sum_{0 \leq n\leq N} e(x n^2).$$
Weyl's inequality gives an estimate for $f(x,N)$ when $x$ is near a rational with small denominator. My question is:
What estimates are ...
- 13k
-2
votes
1
answer
201
views
Solutions to a diophantine system
What is the smallest $\gamma_1,\gamma_2,\gamma_3>0$ such that given coprime $p,q=\Theta(\ell)$ and integer $t\geq3$ there are coprime $m,n=\Theta(\ell^{t-1})$ with $(mn,pq)=1$, $\alpha_i\in\Bbb Z$ ...
- 13.9k
-4
votes
1
answer
360
views
How many integers between $\left[2^{2^k}, 2^{2^{k+1}}\right]$? [closed]
Suppose $k$ and $n$ are natural numbers such that $2^{2^k} \lt n \lt 2^{2^{k+1}}$. I am curious how many integers are there in the interval $\left[2^{2^k}, 2^{2^{k+1}}\right]$ in terms of $n$.
I need ...
- 103