Families of Graphs with W_r({G},q) Functions That Are Nonanalytic at 1/q=0

TL;DR

This paper investigates the conditions under which the limiting chromatic polynomial function $W_r( ext{G},q)$ is nonanalytic at $1/q=0$, providing a general criterion and constructing examples of non-analytic families.

Contribution

It introduces a general condition for the nonanalyticity of $W_r( ext{G},q)$ at $1/q=0$ and constructs infinite graph families exhibiting this nonanalytic behavior.

Findings

Identifies a criterion for nonanalyticity of $W_r$ at $1/q=0

Constructs infinite graph families with non-analytic $W_r$ functions

Supports the conjecture relating regular lattice graphs to analyticity

Abstract

Denoting $P(G,q)$ as the chromatic polynomial for coloring an $n$-vertex graph $G$ with $q$ colors, and considering the limiting function $W(\{G\},q) = \lim_{n \to \infty}P(G,q)^{1/n}$, a fundamental question in graph theory is the following: is $W_r(\{G\},q) = q^{-1}W(\{G\},q)$ analytic or not at the origin of the $1/q$ plane? (where the complex generalization of $q$ is assumed). This question is also relevant in statistical mechanics because $W(\{G\},q)=\exp(S_0/k_B)$, where $S_0$ is the ground state entropy of the $q$-state Potts antiferromagnet on the lattice graph $\{G\}$, and the analyticity of $W_r(\{G\},q)$ at $1/q=0$ is necessary for the large-$q$ series expansions of $W_r(\{G\},q)$. Although $W_r$ is analytic at $1/q=0$ for many $\{G\}$, there are some $\{G\}$ for which it is not; for these, $W_r$ has no large-$q$ series expansion. It is important to understand the reason for this nonanalyticity. Here we give a general condition that determines whether or not a particular $W_r(\{G\},q)$ is analytic at $1/q=0$ and explains the nonanalyticity where it occurs. We also construct infinite families of graphs with $W_r$ functions that are non-analytic at $1/q=0$ and investigate the properties of these functions. Our results are consistent with the conjecture that a sufficient condition for $W_r(\{G\},q)$ to be analytic at $1/q=0$ is that $\{G\}$ is a regular lattice graph $\Lambda$. (This is known not to be a necessary condition).