Thue-Siegel auxiliary polynomial
ID: thue-siegel-auxiliary-polynomial
For an algebraic number of degree and a small , Siegel lemma constructs integer polynomials of degree at most and exponentially bounded coefficients for which has a zero at of order close to . A Wronskian then prevents every specialization from having a high-order zero at a rational point. This is the auxiliary-polynomial mechanism in the Thue-Siegel method.
New to topics? Read the docs here!