Polynomial images of structured sets

From MaRDI portal





Let \(M\) be a finite non-empty multiset drawn from a field \(F\) whose multiset cardinality is denoted by \(||M||\). If\N\[\N\deg\Bigl(\prod_{x\in M}(X-x)-X^{||M||}\Bigr)<||M||-\lambda\N\]\Nfor some positive integer \(\lambda\), \(M\) is said to be \textit{\(\lambda\)-null}. The main result of the paper can be stated as follows: Let \(A_1, A_2\) be non-empty \(\lambda\)-null subsets of a field \(F\) with \(|A_1|=|A_2|=m<\infty\). Let \(f_1,f_2\in F[X]\) be non-constant polynomials, and let \(d=\max\{\deg f_1,\deg f_2\}\). Assume that\N\begin{itemize}\N\item[(i)] \(f_1(0)=f_2(0)\), or\N\item[(ii)] \(\text{char}\,F=p>0\) and \(m\) is a positive power of \(p\).\N\end{itemize}\NThen either \(f_1(A_1)=f_2(A_2)\) as multisets, or\N\[\N||f_1(A_1)\cap f_2(A_2)||\le m-\frac{\lambda+1}d.\N\]\NThis result generalizes several previous results on the size of the values sets of polynomials over finite fields. In particular, it contains the following known results as special cases:\N\N[\textit{D. Wan} et al., Proc. Am. Math. Soc. 119, No. 3, 711--717 (1993; Zbl 0784.11056)] Let \(f\in\mathbb F_q[X]\) be a non-constant polynomial. Then either \(f(\mathbb F_q)=\mathbb F_q\), or\N\[\N|f(\mathbb F_q)|\le q-\frac{q-1}{\deg f}.\N\]\N[\textit{W. Aitken}, Finite Fields Appl. 4, No. 4, 441--449 (1998; Zbl 0929.11059)] Let \(f_1,f_2\in\mathbb F_q[X]\) be non-constant polynomials, and let \(d=\) \(\max\{\deg f_1,\deg f_2\}\). Then either \(f_1(\mathbb F_q)=f_2(\mathbb F_2)\), or\N\[\N|f_1(\mathbb F_q)\cap f_2(\mathbb F_q)|\le q-\frac{q-1}d.\N\]











This page was built for publication: Polynomial images of structured sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6996143)