An Improvement on the Hasse-Weil Bound and applications to Character Sums, Cryptography and Coding

TL;DR

This paper improves the Hasse-Weil bound for specific algebraic curves over finite fields, especially when the field size is a power of an odd prime, with applications in cryptography and coding theory.

Contribution

It provides a new, stronger bound for curves with Hasse-Witt invariant zero, extending previous results and applicable to small characteristic fields.

Findings

Improved Hasse-Weil bound for curves with Hasse-Witt invariant 0

Application of Newton polygon techniques in algebraic geometry

Enhanced bounds applicable to cryptography and coding theory

Abstract

The Hasse-Weil bound is a deep result in mathematics and has found wide applications in mathematics, theoretical computer science, information theory etc. In general, the bound is tight and cannot be improved. However, for some special families of curves the bound could be improved substantially. In this paper, we focus on the Hasse-Weil bound for the curve defined by $y^p-y=f(x)$ over the finite field $\F_q$, where $p$ is the characteristic of $\F_q$. Recently, Kaufman and Lovett \cite[FOCS2011]{KL11} showed that the Hasse-Weil bound can be improved for this family of curves with $f(x)=g(x)+h(x)$, where $g(x)$ is a polynomial of degree $\ll \sqrt{q}$ and $h(x)$ is a sparse polynomial of arbitrary degree but bounded weight degree. The other recent improvement by Rojas-Leon and Wan \cite[Math. Ann. 2011]{RW11} shows that an extra $\sqrt{p}$ can be removed for this family of curves if $p$ is very large compared with polynomial degree of $f(x)$ and $\log_pq$. In this paper, we show that the Hasse-Weil bound for this special family of curves can be improved if $q=p^n$ with odd $n$ which is the same case where Serre \cite{Se85} improved the Hasse-Weil bound. However, our improvement is greater than Serre's one for this special family of curves. Furthermore, our improvement works for small $p$ as well compared with the requirement of large $p$ by Rojas-Leon and Wan. In addition, our improvement finds interesting applications to character sums, cryptography and coding theory. The key idea behind is that this curve has the Hasse-Witt invariant $0$ and we show that the Hasse-Weil bound can be improved for any curves with the Hasse-Witt invariant $0$. The main tool used in our proof involves Newton polygon and some results in algebraic geometry.