English

Approximating the chromatic polynomial is as hard as computing it exactly

Computational Complexity 2023-11-14 v2 Discrete Mathematics Combinatorics

Abstract

We show that for any non-real algebraic number qq such that q1>1|q-1|>1 or (q)>32\Re(q)>\frac{3}{2} it is \textsc{\#P}-hard to compute a multiplicative (resp. additive) approximation to the absolute value (resp. argument) of the chromatic polynomial evaluated at qq on planar graphs. This implies \textsc{\#P}-hardness for all non-real algebraic qq on the family of all graphs. We moreover prove several hardness results for qq such that q11|q-1|\leq 1. 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 qq (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.

Keywords

Cite

@article{arxiv.2211.13790,
  title  = {Approximating the chromatic polynomial is as hard as computing it exactly},
  author = {Ferenc Bencs and Jeroen Huijben and Guus Regts},
  journal= {arXiv preprint arXiv:2211.13790},
  year   = {2023}
}

Comments

47 pages; minor changes based on referee comments. The number of pages has gone up significantly because we used a different document class, namely cc. Accepted for publication in Computational Complexity

R2 v1 2026-06-28T07:11:59.712Z