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.

Filter by
Sorted by
Tagged with
0
votes
1answer
107 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
0answers
73 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,...
3
votes
1answer
150 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 ...
0
votes
2answers
236 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 ...
1
vote
0answers
107 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 ...
2
votes
0answers
202 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^...
4
votes
1answer
172 views

An asymptotic expansion of a infinite sum

I am interested in the asymptotic expansion in $t$($t>0$) when $t\to 0^+$ of the following series $$ \sum_{k\ge 0}e^{-k^{2/n}t} $$ for integer $n>2$ (n=1 follows from Poisson summation formula ...
8
votes
0answers
134 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;...
3
votes
1answer
123 views

Exponential sums over rings

I'm trying to evaluate an exponential sum of the form: \begin{equation} \sum_{c\in Z_q}\chi(f(c)) \end{equation} For polynomial $f(x)=a_2x^2+a_1x+a_0$ (with $a_2\ne 0$). If $q$ is prime, then this is ...
2
votes
1answer
176 views

How different can the bias of two polynomials be?

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 $bias(g)=|\sum_{x\in \mathbb{Z}_p^n}e^{...
1
vote
0answers
257 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'...
1
vote
0answers
41 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 $...
0
votes
1answer
78 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 &...
7
votes
1answer
370 views

Riemann hypothesis for exponential sum

Recently I've heard about the Riemann hypothesis for one-variable exponential sums, which states as For a polynomial $f\in\mathbb{F}_{p^k}[x]$ of degree $d$ and a character $\chi$ of $(\mathbb{F}_{p^...
8
votes
0answers
346 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\...
4
votes
1answer
181 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 ...
2
votes
1answer
128 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 \...
6
votes
1answer
457 views

Upper bound for an exponential sum involving characters of a finite field

Let $q = p^n $ be a prime power, $\alpha\in\mathbb{F}_{q} $ a primitive element of the finite field $\mathbb{F}_q$ and denote by $\chi $ a non-trivial additive character of $\mathbb{F}_{q} $. Set $\...
0
votes
0answers
164 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{...
4
votes
1answer
244 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 ...
2
votes
0answers
69 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 \...
18
votes
2answers
2k views

A finite alternating sum

We have stumbled upon the following finite alternating sum, which we have trouble analyzing. The sum is: $$ S_n = \sum_{j=0}^n \frac{ (-1)^j e^{-j} }{j!} (n-j)^j $$ We have observed numerically that ...
1
vote
0answers
132 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 (...
1
vote
0answers
182 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 (...
1
vote
0answers
61 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 ...
11
votes
2answers
407 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=...
3
votes
0answers
120 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)...
5
votes
0answers
238 views

Exponential sums with prime power modulus

I am looking for an analogue of the following result of Fouvry and Katz for prime power modulus ("A general stratification theorem for exponential sums, and applications", J. reine angew. Math. 540 (...
5
votes
0answers
104 views

Linear exponential sum with gcd

The sum $$\sum _{d,d'\leq D}\sum _{h,h'=1}^q(h,q)e\left (\frac {dh+d'h'}{q}\right )$$ is easily seen to be $$\ll q^{2+\epsilon }+D^2.$$ Indeed with a standard estimate for a linear exponential sum it ...
1
vote
1answer
135 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 ...
4
votes
0answers
109 views

Smoothed Weyl sum inequality

One version of Weyl's inequality states that for any $\alpha\in\mathbb{R}$ and $(a, q) = 1$ such that $|\alpha - a/q|\le 1/q^2$, we have that $$\sum_{n\le X} e(n^k\alpha)\ll X^{1 + \varepsilon}(q^{-1}...
7
votes
2answers
419 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 ...
3
votes
0answers
81 views

Flow of zeros in the shifted exponential generating function?

Given a sequence $a_n$ (of real numbers, described more fully below), one may define the exponential generating function (on the complex plane) as $E(z)=\sum_{n=0}^\infty a_n z^n/n!$. The derivatives $...
5
votes
0answers
225 views

Lower bound for some sums of roots of unity

Let $n$ be a positive integer (assume $n$ is prime for simplicity), and let $x_k = \pm1$, for $k = 0,1,2,..., n-1$. Let $\rho$ be an $n-$th primitive root of unity, I am interested in a lower bound ...
1
vote
0answers
48 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 $...
3
votes
1answer
202 views

Inequality for exponential sum in Dvoretzky 1972

I'm currently trying to figure out the following inequality. It looks like an inequality for the exponential sum, but I can't verify it or find a source explaining it any further. Most likely it has ...
3
votes
0answers
163 views

Cancellation in this exponential sum?

I would like to know whether it is possible to obtain cancellation in the sum $$\sum_{p \leq X} e^{{2\pi iX}/{p}}$$ where $X$ is a real number that goes to $\infty$, and $p$ denotes a prime number.
0
votes
1answer
129 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,\...
1
vote
1answer
374 views

Coefficients $U_m(n,k)$ in the identity $n^{2m+1}=\sum\limits_{0\leq k \leq m}(-1)^{m-k}U_m(n,k)\cdot n^k$

Review the main result of mathoverflow.net/questions/297900, that is the identity \begin{equation}\label{f1} n^{2m+1}=\sum\limits_{1\leq k \leq n}\sum\limits_{j\geq0}A_{m,j}k^j(n-k)^j, \end{equation} ...
4
votes
1answer
297 views

Explicit numbers with square root cancellation in Weyl's exponential sum

I'm interested in examples of real numbers $\alpha$ where we have $$\left| \sum_{n=1}^N \mathrm e(\alpha n) \right| \ll N^{1/2} $$ or perhaps with the weaker estimate with the right side replaced ...
6
votes
3answers
551 views

Summing the infinite series $\sum_{k=0}^{\infty} \frac{x^k}{(k!)^2}$ [closed]

Is there a closed form sum of $\sum_{k=0}^{\infty} \frac{x^k}{(k!)^2}$ It is trivial to show that it is less than $e^x$ but is there a tighter bound? Thanks
3
votes
2answers
300 views

Proof of the identity $\left\lvert\sum_{j=0}^{p-1}e^{(2\pi i/p)(mj^2+nj)}\right\rvert=\sqrt p$ for $p$ odd prime

While studying themes related to mutually unbiased bases, I've come across the following identity: $$\left\lvert\sum_{j=0}^{p-1}e^{(2\pi i/p)(mj^2+nj)}\right\rvert=\sqrt p,$$ for $p$ odd prime and $m\...
2
votes
1answer
116 views

Uniform power-saving estimate for an exponential sum

Let $N$ be a large natural number. Define an expoential sum $$ I_m=\sum_{x,y=1}^N e^{2\pi i\frac{x^2-y^2}{N}m}, \,\, m=1,2,...,N-1. $$ The trivial bound for $I_m$ is $N^2$, as there are $N^2$ terms. ...
1
vote
1answer
1k 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 ...
3
votes
0answers
104 views

Approximating $1_I$, $I\subset \lbrack 0,1\rbrack$, by trigonometric polynomials

Let $I$ be a subinterval of $\lbrack 0,1\rbrack$. How well can one hope to approximate it in the $L_1$-norm (on $\mathbb{R}/\mathbb{Z}$) by a trigonometric polynomial of degree $\leq R$, that is, a ...
2
votes
1answer
174 views

Moments of certain exponential sum

Let $v(\beta) := \sum_{n\le X} e(n\beta)$ where $e(\alpha) := e^{2\pi i \alpha}$. It is not hard to show that $$\log X\ll \int_0^1 |v(\beta)| d\beta\ll \log X$$ and by considering the underlying ...
5
votes
1answer
196 views

Number of solutions for the inequality with square roots

Let $M$ be some large real number and $\delta>0$. I would like to estimate the number of solutions for the inequality $$|\sqrt{n_1}+\sqrt{n_2}-\sqrt{n_3}-\sqrt{n_4}|<\delta\sqrt{M},$$ where $...
3
votes
0answers
229 views

Prerequisites to read Katz's Gauss Sums, Kloosterman Sums, and Monodromy Groups

What is the minimal background one must have to read Katz's Gauss Sums, Kloosterman Sums, and Monodromy Groups?
3
votes
2answers
281 views

How to estimate a mixed character sum $\sum_{h \in \mathbb{Z}/q \mathbb{Z}} \chi(f(h)) e(Ch/q)$?

Let $q = p^t$ where $p$ is prime. I am interested in estimating the complete exponential sum, which looks like $$ \sum_{0 \leq h < q} \chi( (h-a_1)(h-a_2)(h-a_3)) \ \bar{\chi}( (h-b_1)(h-b_2)(h-...
2
votes
0answers
198 views

An exponential sum like the Kloosterman sums

I encounter a tricky sum like the Kloosterman sum $${\sum_{x \mod P}}^\ast e\left(\frac{ax+\overline{x}}{P}+\frac{lx^2}{P^2}\right),$$ where $l$ is a positive integer co-prime with $P$ and here $P$ ...