Towards more accurate separation bounds of empirical polynomials

Abstract

We study the problem of bounding a polynomial which is absolutely irreducible, away from polynomials which are not absolutely irreducible. These separation bounds are useful for testing whether an empirical polynomial is absolutely irreducible or not, for the given tolerance or error bound of its coefficients. Kaltofen and May studied a method which finds applicable separation bounds using an absolute irreducibility criterion due to Ruppert. In this paper, we study some improvements on their method, by which we are able to find more accurate separation bounds, for bivariate polynomials.