The Mesyan Conjecture: a restatement and a correction

The well-known Lvov-Kaplansky conjecture states that the image of a multilinear polynomial $f$ evaluated on $n\times n$ matrices is a vector space. A weaker version of this conjecture, known as the Mesyan conjecture, states that if $m=deg( f)$ and $n\geq m-1$ then its image contains the set of trace zero matrices. Such conjecture has been proved for polynomials of degree $m \leq 4$. The proof of the case $m=4$ contains an error in one of the lemmas. In this paper, we correct the proof of such lemma and present some evidences which allow us to state the Mesyan conjecture for the new bound $n \geq \frac{m+1}{2}$, which cannot be improved.