On additive shifts of multiplicative almost-subgroups in finite fields

Abstract: We prove that for sets

A, B, C s u b s e t m a t h b b F_{p}

with

| A | = | B | = | C | l e q s q r t p

and a fixed

0 e q d i n m a t h b b F_{p}

holds

max(|AB|, |(A+d)C|) gg|A|^{1+1/26}.

In particular,

|A(A+1)| gg |A|^{1 + 1/26}

and

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 = p^{m}

we obtain similar estimates with the exponent

1 + 1 / 559 + o (1)

under the condition that

A B

does not have large intersection with any subfield coset, answering a question of Shparlinski. Finally, we prove the estimate

left| sum_{x in mathbb{F}_q} psi(x^n) ight| ll q^{frac{7 - 2delta_2}{8}}n^{frac{2+2delta_2}{8}}

for Gauss sums over

m a t h b b F_{q}

, where

p s i

is a non-trivial additive character and

d e l t a_{2} = 1 / 56 + o (1)

. The estimate gives an improvement over the classical Weil bound when

q^{1 / 2} l l n = o l e f t (q^{29 / 57 + o (1)} i g h t)

.

This page was built for publication: On additive shifts of multiplicative almost-subgroups in finite fields