1: \begin{abstract}

2:  We show that an effective version of Siegel's Theorem on finiteness of integer solutions and an application of elementary Galois theory

3:  are key ingredients in a complexity classification of some Holant problems.

4:  These Holant problems, denoted by $\Holant(f)$,

5:  are defined by a symmetric ternary function $f$ that is invariant under any permutation of the $\kappa \ge 3$ domain elements.

6:  We prove that $\Holant(f)$ exhibits a complexity dichotomy.

7:  This dichotomy holds even when restricted to planar graphs.

8:  A special case of this result is that counting edge $\kappa$-colorings is $\SHARPP$-hard over planar $3$-regular graphs for $\kappa \ge 3$.

9:  In fact, we prove that counting edge $\kappa$-colorings is $\SHARPP$-hard over planar $r$-regular graphs for all $\kappa \ge r \ge 3$.

10:  The problem is polynomial-time computable in all other parameter settings.

11:  The proof of the dichotomy theorem for $\Holant(f)$ depends on the fact that a specific polynomial $p(x, y)$ has an explicitly listed finite set of integer solutions,

12:  and the determination of the Galois groups of some specific polynomials.

13:  In the process,

14:  we also encounter the Tutte polynomial, medial graphs, Eulerian partitions, Puiseux series,

15:  and a certain lattice condition on the (logarithm of) the roots of polynomials.

16: \end{abstract}

17: