Abstract:Let $\mathbb{F}_q$ be a finite field of order $q$, where $q$ is a power of a prime. For a set $A \subset \mathbb{F}_q$, under certain structural restrictions, we prove a new explicit lower bound on the size of the product set $A(A + 1)$. Our result improves on the previous best known bound due to Zhelezov and holds under more relaxed restrictions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the growth problem of the set \(A(A + 1)\) in a finite field. Specifically, the author aims to prove that in any finite field \(F_q\), for the set \(A\subset F_q\) satisfying certain structural restrictions, the size of its product set \(A(A + 1)\) has a new explicit lower bound.
### Problem Background
In the finite field \(F_q\), given the set \(A\subset F_q\), we define the following set operations:
- **Sum set** \(A + B=\{a + b:a\in A,b\in B\}\)
- **Product set** \(AB = \{ab:a\in A,b\in B\}\)
- **Difference set** \(A - B=\{a - b:a\in A,b\in B\}\)
- **Ratio set** \(A/B=\{a/b:a\in A,b\in B,b\neq0\}\)
The sum - product phenomenon in the finite field shows that for \(A\subset F_q\), unless \(A\) is closely related to the coset of a certain sub - field, \(A + A\) and \(AA\) cannot be both very small at the same time. Some existing results show that under certain conditions, at least one of \(|A + A|\) and \(|AA|\) will be significantly larger than \(|A|\).
### Previous Work
Zhelezov [11] proved the estimate
\[
\max\{|AA|,|(A + 1)(A + 1)|\}\gtrsim|A|^{1+1/559}
\]
under the condition that
\[
|AB\cap cG|\leq|G|^{1/2}
\]
holds for all sub - fields \(G\) and elements \(c\in F_q\).
### Main Contributions of the Paper
The author of this paper, Ali Mohammadi, proposed a new estimate, which improves Zhelezov's result and holds under more relaxed conditions. Specifically, the author proved the following theorem:
**Theorem 1.1**: Let \(A\subseteq F_q\) and assume that
\[
|A\cap cG|\ll\max\{|G|^{1/2},|A|^{25/26}\}
\]
holds for all proper sub - fields \(G\) and elements \(c\in F_q\). Then for all \(\alpha\in F_q^*\), we have
\[
|A(A+\alpha)|\gtrsim\min\left\{|A|^{1 + 1/52},q^{1/48}|A|^{1-1/48}\right\}.
\]
This result is not only quantitatively improved but also applicable to a larger range of sets. In addition, the author also applied this theorem to obtain a corollary about additive energy.
### Applications and Significance
The results of this research are helpful for better understanding the growth properties of sets in finite fields, especially for in - depth exploration of the sum - product phenomenon. This is of great significance for combinatorial number theory, algebraic combinatorics and other fields.