We show that for any non-real algebraic number such that or it is -hard to compute a multiplicative (resp. additive) approximation to the absolute value (resp. argument) of the chromatic polynomial evaluated at on planar graphs. This implies -hardness for all non-real algebraic on the family of all graphs. We moreover prove several hardness results for such that . Our hardness results are obtained by showing that a polynomial time algorithm for approximately computing the chromatic polynomial of a planar graph at non-real algebraic (satisfying some properties) leads to a polynomial time algorithm for \emph{exactly} computing it, which is known to be hard by a result of Vertigan. Many of our results extend in fact to the more general partition function of the random cluster model, a well known reparametrization of the Tutte polynomial.

生成讲解博客的中文版本

生成AI智能校验的中文版本