Skip to main content

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
2 votes
1 answer
189 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}$ ...
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}_{}}\...
4 votes
0 answers
169 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 vote
1 answer
237 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}^+$,...
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 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 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})^...
5 votes
1 answer
287 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 $...
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 ...
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}...
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}...
14 votes
1 answer
2k views

On the $L^1$-norm of certain exponential sums

I am stuck with an elementary-looking problem, which does not belong to my usual field of research so I eventually decided to ask it on MO. Let $S$ be a finite set of integers. For $P$ a subset of $S$,...
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 ...
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$ ...
10 votes
1 answer
707 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) ...
2 votes
1 answer
399 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}...
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 ...
12 votes
7 answers
2k views

Connection between cyclic group and exponential function

I have been thinking about this for a while, but now got to the point where I got stuck. I don't know if it might be considered as a research level question, but I would be very happy if somebody knew ...
6 votes
0 answers
108 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,...
7 votes
1 answer
656 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 $\...
3 votes
0 answers
82 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{\...
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'...
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.
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 ...
9 votes
1 answer
204 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 $\...
5 votes
1 answer
561 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 ...
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$ ...
1 vote
1 answer
159 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 ...
6 votes
1 answer
431 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
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 ...
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,...
3 votes
1 answer
382 views

Twisting by a multiplicative Character in Katz, Perversity and Exponential sums

Let $C(x_1,\ldots,x_n)$ be a nonsigular cubic form with integral coefficients. In his proof that $C$ fulfills the Hasse-Principle, if $n\geq 9$, Hooley used the following estimate that was provided by ...
3 votes
1 answer
183 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
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 ...
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 ...
2 votes
0 answers
219 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^...
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;...
4 votes
1 answer
693 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 ...
3 votes
1 answer
171 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 ...
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'...
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 $...
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 &...
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
1 answer
606 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
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\...
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 ...
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 \...
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{...
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 ...