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 \[ \deg\Bigl(\prod_{x\in M}(X-x)-X^{||M||}\Bigr)<||M||-\lambda \] for 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 \begin{itemize} \item[(i)] \(f_1(0)=f_2(0)\), or \item[(ii)] \(\text{char}\,F=p>0\) and \(m\) is a positive power of \(p\). \end{itemize} Then either \(f_1(A_1)=f_2(A_2)\) as multisets, or \[ ||f_1(A_1)\cap f_2(A_2)||\le m-\frac{\lambda+1}d. \] This 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: [\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 \[ |f(\mathbb F_q)|\le q-\frac{q-1}{\deg f}. \] [\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 \[ |f_1(\mathbb F_q)\cap f_2(\mathbb F_q)|\le q-\frac{q-1}d. \]











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)