arXiv++ Combinatorics

We study independent sets in strong powers of circulant graphs using a transfer matrix formulation. The compatibility constraints separate into intra-layer and inter-layer components, yielding a transfer operator that is equivariant under the dihedral group action. The characteristic polynomial of the transfer operator factors into an \emph{anomalous} component (arising from the trivial isotypic component, with rational coefficients) and a \emph{cyclotomic} component (arising from nontrivial Fourier modes, splitting over the maximal real cyclotomic subfield). We show that the spectral radius is attained in the trivial isotypic component, so the dominant exponential growth is governed by a low-dimensional orbit-compressed operator. The independence polynomial is computed exactly for strong cylinders and tori, with the cyclotomic sector contributing a sparse correction confined to high-weight coefficients. All results are verified for $C_7$.

This paper investigates the independence polynomials arising from iterated strong products of cycle graphs, examining their algebraic symmetries and combinatorial structures. Leveraging modular arithmetic and Galois theory, we establish precise conditions under which these polynomials factor over finite fields, highlighting modular collapses based on prime and composite cycle lengths. We demonstrate that while real-rootedness depends on cycle parity, the combinatorial structure ensures universal log-concavity and unimodality of coefficients. A toggling argument provides a combinatorial proof of unimodality, complementing algebraic methods and offering insights into polynomial stability. These findings bridge combinatorial and algebraic perspectives, contributing to graph-theoretic frameworks with implications in statistical mechanics and information theory.