Twisted higher moments of Kloosterman sums

Let be a nontrivial Dirichlet character modulo an odd prime . Write

We shall prove

and, for complex ,

0, \end{displaymath}">

where is a constant depending only on .

     

Twisted exponential sums of polynomials in one variable

The twisted T-adic exponential sums associated to a polynomial in one variable are studied. An explicit arithmetic polygon in terms of the highest two exponents of the polynomial is proved to be a lower bound of the Newton polygon of the C-function of the twisted T-adic exponential sums. This bound gives lower bounds for the Newton polygon of the L-function of twisted p-power order exponential sums.     

On character sums and the exceptional set of a congruence problem

We prove an estimate of character sums. This bound and the method of solving multiplicative ternary problems are used to obtain new results about the cardinality of an exceptional set of a congruence problem modulo a prime p. In particular, we show that “almost all” residue classes modulo p are representable in the form , where      

The inverse problem on subset sums

For a set A$A$, let P(A)$P\left(A\right)$ be the set of all finite subset sums of A$A$. We prove that if a sequence B={_b1<_b2<?}$B=\{b_1<b_2<?\}$ of integers satisfies _b1≥11,_b2≥3_b1+5,_b3≥3_b2+3$b_1\ge 11,b_2\ge 3b_1+5,b_3\ge 3b_2+3$ and _bn+1>3_bn−_bn−2$b_{n+1}>3b_n-b_{n-2}$  (n≥3)$(n\ge 3)$, then there exists a sequence of positive integers A={_a1<_a2<?}$A=\{a_1<a_2<?\}$ such that P(A)=N?B$P\left(A\right)=\mathbb{N}?B$. These lower bounds are optimal in a sense. We pose a problem for further research.     

Cyclotomic problem, Gauss sums and Legendre curve

In this paper, explicit determination of the cyclotomic numbers of order l and 2l, for odd prime l ≡ 3 (mod 4), over finite field Fq in the index 2 case are obtained, utilizing the explicit formulas on the corresponding Gauss sums. The main results in this paper are related with the number of rational points of certain elliptic curve, called "Legendre curve", and the properties and value distribution of such number are also presented.     

On Chebyshev functions and Klee functions

Associated to a lower semicontinuous function, one can define its proximal mapping and farthest mapping. The function is called Chebyshev (Klee) if its proximal mapping (farthest mapping) is single-valued everywhere. We show that the function f is 1/λ-hypoconvex if its proximal mapping Pλf is single-valued. When the function f is bounded below, and Pλf is single-valued for every λ>0, the function must be convex. Similarly, we show that the function f is 1/μ-strongly convex if the farthest mapping Qμf is single-valued. When the function is the indicator function of a set, this recovers the well-known Chebyshev problem and Klee problem in Rn. We also give an example illustrating that a continuous proximal mapping (farthest mapping) needs not be locally Lipschitz, which answers one open question by Hare and Poliquin.     

On a problem of Bourgain concerning the $$L_p$$ norms of exponential sums

For \(n \ge 1\) let

$$\begin{aligned} {\mathcal {A}}_n := \bigg \{ P: P(z) = \sum \limits _{j=1}^n{z^{k_j}}: 0 \le k_1 < k_2 < \cdots < k_n, k_j \in {\mathbb {Z}} \bigg \}, \end{aligned}$$

that is, \({\mathcal {A}}_n\) is the collection of all sums of \(n\) distinct monomials. These polynomials are also called Newman polynomials. Let

$$\begin{aligned} M_{p}(Q) := \left( \int _{0}^{1}{\left| Q(e^{i2\pi t}) \right| ^p\,dt} \right) ^{1/p}, \qquad p > 0. \end{aligned}$$

We define

$$\begin{aligned} S_{n,p} := \sup _{Q \in {\mathcal {A}}_n}{\frac{M_p(Q)}{\sqrt{n}}} \qquad \text{ and } \qquad S_p := \liminf _{n \rightarrow \infty }{S_{n,p}} \le \Sigma _p := \limsup _{n \rightarrow \infty }{S_{n,p}}. \end{aligned}$$

We show that

$$\begin{aligned} \Sigma _p \ge \Gamma (1+p/2)^{1/p}, \qquad p \in (0,2). \end{aligned}$$

The special case \(p=1\) recaptures a recent result of Aistleitner [1], the best known lower bound for \(\Sigma _1\).

     

Exponential sums over primes and the prime twin problem

The purpose of this paper is to obtain an effective estimate of the exponential sum $\sum_{n\le x}\Lambda(n)e\left(\left(\frac{a}{q}+\beta\right)n\right)$ (where e(??)=e ^{2?? i ??} , ??,?????, (a,q)=1 and ?? is the von Mangoldt function) in the range ${(\log x)}^{1/2+\varepsilon}\le q\le \frac{x}{{(\log\log\log x)}^{1+\varepsilon}}$ and $|\beta|<\frac{1}{q{(\log\log\log x)}^{1+\varepsilon}}$ . It improves Daboussi??s estimate [2, Theorem 1] in the range q??(log?x) ^D and x(log?x)^?D ??q, D>0 and is valid in a wider range for ??.     

Bregman distances and Klee sets

In 1960, Klee showed that a subset of a Euclidean space must be a singleton provided that each point in the space has a unique farthest point in the set. This classical result has received much attention; in fact, the Hilbert space version is a famous open problem. In this paper, we consider Klee sets from a new perspective. Rather than measuring distance induced by a norm, we focus on the case when distance is meant in the sense of Bregman, i.e., induced by a convex function. When the convex function has sufficiently nice properties, then–analogously to the Euclidean distance case–every Klee set must be a singleton. We provide two proofs of this result, based on Monotone Operator Theory and on Nonsmooth Analysis. The latter approach leads to results that complement the work by Hiriart-Urruty on the Euclidean case.     

On a problem of Bourgain concerning the L^1-norm of exponential sums

Bourgain posed the problem of calculating $$\begin{aligned} \Sigma = \sup _{n \ge 1} ~\sup _{k_1 < \cdots < k_n} \frac{1}{\sqrt{n}} \left\| \sum _{j=1}^n e^{2 \pi i k_j \theta } \right\| _{L^1([0,1])}. \end{aligned}$$ It is clear that $\Sigma \le 1$ ; beyond that, determining whether $\Sigma < 1$ or $\Sigma =1$ would have some interesting implications, for example concerning the problem whether all rank one transformations have singular maximal spectral type. In the present paper we prove $\Sigma \ge \sqrt{\pi }/2 \approx 0.886$ , by this means improving a result of Karatsuba. For the proof we use a quantitative two-dimensional version of the central limit theorem for lacunary trigonometric series, which in its original form is due to Salem and Zygmund.     

A problem on partial sums in abelian groups

In this paper we propose a conjecture concerning partial sums of an arbitrary finite subset of an abelian group that naturally arises investigating simple Heffter systems. Then we show its connection with related open problems and we present some results about the validity of these conjectures.     

On exponential sums over primes and application in Waring-Goldbach problem

In this paper, we prove the following estimate on exponential sums over primes: Let κ≥1,βκ=1/2 log κ/log2, x≥2 and α=a/q λsubject to (a, q) = 1, 1≤a≤q, and λ∈R. Then As an application, we prove that with at most O(N2/8 ε) exceptions, all positive integers up to N satisfying some necessary congruence conditions are the sum of three squares of primes. This result is as strong as what has previously been established under the generalized Riemann hypothesis.