Schinzel's factorization conjecture for sparse Laurent polynomials

Let $F\in\mathbb{Q}[{\boldsymbol{x}}^{\pm1}]$. A Laurent polynomial is cyclotomic if it is a unit times the composition of a univariate cyclotomic polynomial with a monomial. For each ${\boldsymbol{a}}\in\mathbb{Z}^n$, write $F(t^{\boldsymbol{a}})$ for the resulting Laurent polynomial in $t$.

Schinzel's factorization conjecture. There is a finite set of matrices $\Omega\subset\mathbb{Z}^{n\times n}$ such that, for each ${\boldsymbol{a}}\in\mathbb{Z}^n$, there are $M\in\Omega$ and ${\boldsymbol{b}}\in\mathbb{Z}^n$ with ${\boldsymbol{a}}=M{\boldsymbol{b}}$ such that if $P$ is an irreducible factor of $F({\boldsymbol{x}}^M)$, then $P(t^{\boldsymbol{b}})$ is either a product of cyclotomic Laurent polynomials or an irreducible factor of $F(t^{\boldsymbol{a}})$.

The conjecture seeks a uniform finite description of the non-cyclotomic factors arising under monomial specialization, while allowing cyclotomic factors as exceptional components. Its status is not resolved in the supplied text.