On additive shifts of multiplicative almost-subgroups in finite fields

preprint2015arXivOpen access

Abstract

We prove that for sets A,B,C⊂FpA, B, C \subset \mathbb{F}_p with ∣A∣=∣B∣=∣C∣≤p|A|=|B|=|C| \leq \sqrt{p} and a fixed 0≠d∈Fp0 \neq d \in \mathbb{F}_p holds max⁡(∣AB∣,∣(A+d)C∣)≫∣A∣1+1/26. \max(|AB|, |(A+d)C|) \gg|A|^{1+1/26}. In particular, ∣A(A+1)∣≫∣A∣1+1/26 |A(A+1)| \gg |A|^{1 + 1/26} and max⁡(∣AA∣,∣(A+1)(A+1)∣)≫∣A∣1+1/26. \max(|AA|, |(A+1)(A+1)|) \gg |A|^{1 + 1/26}. The first estimate improves the bound by Roche-Newton and Jones. In the general case of a field of order q=pmq = p^m we obtain similar estimates with the exponent 1+1/559+o(1)1+1/559 + o(1) under the condition that ABAB does not have large intersection with any subfield coset, answering a question of Shparlinski. Finally, we prove the estimate ∣∑x∈Fqψ(xn)∣≪q7−2δ28n2+2δ28 \left| \sum_{x \in \mathbb{F}_q} ψ(x^n) \right| \ll q^{\frac{7 - 2δ_2}{8}}n^{\frac{2+2δ_2}{8}} for Gauss sums over Fq\mathbb{F}_q, where ψψ is a non-trivial additive character and δ2=1/56+o(1)δ_2 = 1/56 + o(1). The estimate gives an improvement over the classical Weil bound when q1/2≪n=o(q29/57+o(1))q^{1/2} \ll n = o\left( q^{29/57 + o(1)} \right).

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.