No Arabic abstract
Let $mathbb{F}_q$ be the finite field of $q=p^mequiv 1pmod 4$ elements with $p$ being an odd prime and $m$ being a positive integer. For $c, y inmathbb{F}_q$ with $yinmathbb{F}_q^*$ non-quartic, let $N_n(c)$ and $M_n(y)$ be the numbers of zeros of $x_1^4+...+x_n^4=c$ and $x_1^4+...+x_{n-1}^4+yx_n^4=0$, respectively. In 1979, Myerson used Gauss sum and exponential sum to show that the generating function $sum_{n=1}^{infty}N_n(0)x^n$ is a rational function in $x$ and presented its explicit expression. In this paper, we make use of the cyclotomic theory and exponential sums to show that the generating functions $sum_{n=1}^{infty}N_n(c)x^n$ and $sum_{n=1}^{infty}M_{n+1}(y)x^n$ are rational functions in $x$. We also obtain the explicit expressions of these generating functions. Our result extends Myersons theorem gotten in 1979.
Let ${mathbb F}_q$ be the finite field with $q=p^k$ elements with $p$ being a prime and $k$ be a positive integer. For any $y, zinmathbb{F}_q$, let $N_s(z)$ and $T_s(y)$ denote the numbers of zeros of $x_1^{3}+cdots+x_s^3=z$ and $x_1^3+cdots+x_{s-1}^3+yx_s^3=0$, respectively. Gauss proved that if $q=p, pequiv1pmod3$ and $y$ is non-cubic, then $T_3(y)=p^2+frac{1}{2}(p-1)(-c+9d)$, where $c$ and $d$ are uniquely determined by $4p=c^2+27d^2,~cequiv 1 pmod 3$ except for the sign of $d$. In 1978, Chowla, Cowles and Cowles determined the sign of $d$ for the case of $2$ being a non-cubic element of ${mathbb F}_p$. But the sign problem is kept open for the remaining case of $2$ being cubic in ${mathbb F}_p$. In this paper, we solve this sign problem by determining the sign of $d$ when $2$ is cubic in ${mathbb F}_p$. Furthermore, we show that the generating functions $sum_{s=1}^{infty} N_{s}(z) x^{s}$ and $sum_{s=1}^{infty} T_{s}(y)x^{s}$ are rational functions for any $z, yinmathbb F_q^*:=mathbb F_qsetminus {0}$ with $y$ being non-cubic over ${mathbb F}_q$ and also give their explicit expressions. This extends the theorem of Myerson and that of Chowla, Cowles and Cowles.
Let $p$ be a prime, $k$ a positive integer and let $mathbb{F}_q$ be the finite field of $q=p^k$ elements. Let $f(x)$ be a polynomial over $mathbb F_q$ and $ainmathbb F_q$. We denote by $N_{s}(f,a)$ the number of zeros of $f(x_1)+cdots+f(x_s)=a$. In this paper, we show that $$sum_{s=1}^{infty}N_{s}(f,0)x^s=frac{x}{1-qx} -frac{x { M_f^{prime}}(x)}{qM_f(x)},$$ where $$M_f(x):=prod_{minmathbb F_q^{ast}atop{S_{f, m} e 0}}Big(x-frac{1}{S_{f,m}}Big)$$ with $S_{f, m}:=sum_{xin mathbb F_q}zeta_p^{{rm Tr}(mf(x))}$, $zeta_p$ being the $p$-th primitive unit root and ${rm Tr}$ being the trace map from $mathbb F_q$ to $mathbb F_p$. This extends Richmans theorem which treats the case of $f(x)$ being a monomial. Moreover, we show that the generating series $sum_{s=1}^{infty}N_{s}(f,a)x^s$ is a rational function in $x$ and also present its explicit expression in terms of the first $2d+1$ initial values $N_{1}(f,a), ..., N_{2d+1}(f,a)$, where $d$ is a positive integer no more than $q-1$. From this result, the theorems of Chowla-Cowles-Cowles and of Myerson can be derived.
A variant of Brauers induction method is developed. It is shown that quartic p-adic forms with at least 9127 variables have non-trivial zeros, for every p. For odd p considerably fewer variables are needed. There are also subsidiary new results concerning quintic forms, and systems of forms.
Numerical ranges over a certain family of finite fields were classified in 2016 by a team including our fifth author. Soon afterward, in 2017 Ballico generalized these results to all finite fields and published some new results about the cardinality of the finite field numerical range. In this paper we study the geometry of these finite fields using the boundary generating curve, first introduced by Kippenhahn in 1951. We restrict our study to square matrices of dimension 2, with at least one eigenvalue in $mathbb F_{q^2}$.
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.