On some Diophantine results related to Hermite polynomials (Q964223)

The author calls a polynomial \(F(x)\in{\mathbb C}[x]\) non-degenerate if it has at least three zeros of odd multiplicities. For \(n>1\) let \(L_n\) denote the cardinality of the set of nonzero complex numbers \(b\) for which the \(n\)-th shifted Hermite polynomial \(H_n(x)+b\) is degenerate. Theorem 1. We have \(L_3=L_4=L_6=2\). If \(n\geq 7\) then \(L_n=0\). Theorem 2. Let \(K\) be an algebraic number field with ring of integers \({\mathcal O}_K\), and let \(F(x)+2\in {\mathcal O}_K[x]\) be a non-square polynomial. Then the equation \[ F(H_n(x))=H_2(y) \] has only finitely many solutions \(x,y\in{\mathcal O}_K\), which can be effectively determined, provided that \(n\geq 7\).