A new extension of the Erdős-Heilbronn conjecture (Q1040849): Difference between revisions

In this paper a version of a result of \textit{Z.-W. Sun} [Finite Fields Appl. 14, No. 2, 470--481 (2008; Zbl 1141.11058)] is given. A main result of this note is the following Theorem 1.2: Let \(A_1,\dots, A_n\) be finite subsets of a field \(F\) with \(|A_i|\geq 1\) for \(i= 1,\dots,n\) and let \[ f(x_1,\dots, x_n)= x^k_1+\cdots+ x^k_n+ g(x_1,\dots, x_n)\in F[x_1,\dots, x_n] \] with \(\deg< k\leq n\). Then \[ |\{f(x_1,\dots, x_n): x_1\in A_1,\dots, x_n\in A_n\,\text{and}\;x_i\neq x_j \,\text{if}\;i\neq j\}|\geq\min\{p(F),\, q_1+\cdots+ q_n+ 1\}, \] where \(p(F)\) is the characteristic of \(F\) and \(q_i= \min\lfloor{|A_j|-j\over k}\rfloor\) for \(i= 1,\dots, n\), \(i\leq j\leq n\), \(j\equiv i\pmod k\). With this result a conjecture of \textit{P. Erdős} and \textit{H. Heilbronn} [Acta Arith. 9, 149--159 (1964; Zbl 0156.04801)] is extended.