Solutions of polynomial equation over $\mathbb{F}_p$ and new bounds of additive energy

In this paper, we introduce a new and direct approach to study the solvability of systems of equations generated by bilinear forms. More precisely, let $B (\cdot, \cdot)$ be a non-degenerate bilinear form and $E$ be a set in $\mathbb{F}_q^2$. We prove that if $|E|\gg q^{5/3}$ then the number of triples $(B(x, y), B(y, z), B(z, x))$ with $x, y, z\in E$ is at least $cq^3$ for some positive constant $c$. This significantly improves a result due to the fifth listed author (2009...

In this paper we provide in $\bFp$ expanding lower bounds for two variables functions $f(x,y)$ in connection with the product set or the sumset. The sum-product problem has been hugely studied in the recent past. A typical result in $\bFp^*$ is the existenceness of $\Delta(\alpha)>0$ such that if $|A|\asymp p^{\alpha}$ then $$ \max(|A+A|,|A\cdot A|)\gg |A|^{1+\Delta(\alpha)}, $$ Our aim is to obtain analogous results for related pairs of two-variable functions $f(x,y)$ and $g...

We study translation-invariant additive equations of the form $\sum_{i=1}^s \lambda_i \mathbf{P}(\mathbf{n}_i) = 0$ in variables $\mathbf{n}_i \in \mathbb{Z}^d$, where the $\lambda_i$ are nonzero integers summing to zero, and $\mathbf{P}$ is a system of homogeneous polynomials such that the above equation is invariant by translation. We investigate the solvability of this equation in subsets of density $(\log N)^{-c(\mathbf{P},\mathbf{\lambda})}$ of a large box $[N]^d$, via t...

In this paper, we give an overview of the various general methods in computing the zeta function of an algebraic variety defined over a finite field, with an emphasis on computing the reduction modulo $p^m$ of the zeta function of a hypersurface, where $p$ is the characteristic of the finite field. In particular, this applies to the problem of counting rational points of an algebraic variety over a finite field.

In this paper we introduce the additive analogue of the index of a polynomial over finite fields. We study several problems in the theory of polynomials over finite fields in terms of their additive indices, such as value set sizes, bounds on multiplicative character sums, and characterizations of permutation polynomials.

The number of solutions in finite fields of a system of polynomial equations obeys a very strong regularity, reflected for example by the rationality of the zeta function of an algebraic variety defined over a finite field, or the modularity of Hasse-Weil's $L$-function of an elliptic curve over $\Q$. Since two decades, efficient methods have been invented to compute effectively this number of solutions, notably in view of cryptographic applications. This expos\'e presents ...

We consider the average-case complexity of some otherwise undecidable or open Diophantine problems. More precisely, consider the following: (I) Given a polynomial f in Z[v,x,y], decide the sentence \exists v \forall x \exists y f(v,x,y)=0, with all three quantifiers ranging over N (or Z). (II) Given polynomials f_1,...,f_m in Z[x_1,...,x_n] with m>=n, decide if there is a rational solution to f_1=...=f_m=0. We show that, for almost all inputs, problem (I) can be done within c...

Let $K$ be a field of characteristic $p > 0$ and let $G$ be a subgroup of $K^\ast \times K^\ast$ with $\text{dim}_\mathbb{Q}(G \otimes_\mathbb{Z} \mathbb{Q}) = r$ finite. Then Voloch proved that the equation $ax + by = 1 \text{ in } (x, y) \in G$ for given $a, b \in K^\ast$ has at most $p^r(p^r + p - 2)/(p - 1)$ solutions $(x, y) \in G$, unless $(a, b)^n \in G$ for some $n \geq 1$. Voloch also conjectured that this upper bound can be replaced by one depending only on $r$. O...

Let $\mathbb{F}_p$ be the field of residue classes modulo a prime number $p$ and let $A$ be a non-empty subset of $\mathbb{F}_p.$ In this paper we give an explicit version of the sum-product estimate of Bourgain, Katz, Tao and Bourgain, Glibichuk, Konyagin on the size of $\max\{|A+A|, |AA|\}.$ In particular, our result implies that if $1<|A|\le p^{7/13}(\log p)^{-4/13},$ then $$ \max\{|A+A|, |AA|\}\gg \frac{|A|^{15/14}}{(\log|A|)^{2/7}} . $$

We discuss Enrico Bombieri's proof of the Riemann hypothesis for curves over a finite field. Reformulated, it states that the number of points on a curve $\C$ defined over the finite field $\F_q$ is of the order $q+O(\sqrt{q})$. The first proof was given by Andr\'e Weil in 1942. This proof uses the intersection of divisors on $\C\times\C$, making the application to the original Riemann hypothesis so far unsuccessful, because $\spec\Z\times\spec\Z=\spec\Z$ is one-dimensional. ...