On the Integer Domination Root Conjecture

Saeid Alikhani, Max Griswold

Abstract

The domination integer root conjecture asserted that $0$ and $-2$ are the only integer roots of the domination polynomial $D(G, x)$ for any graph $G$. In this paper, we document a counterexample of order $n = 33$ possessing an integer domination root at $x = -4$. We provide the complete structural description of the graph $G_{33}$, present its exact domination polynomial $D(G_{33}, x)$, and demonstrate its exact rational factorization. Furthermore, we outline the structural gadget mechanism involving transfer matrices and $S$-unit branch cancellations that gives rise to non-trivial zero evaluation at $x = -4$.

Disclosure

“d verified exhaustively for small orders, we present a counterexample of order n = 33 that demonstrates x = −4 is an integer dom- ination root. The key mechanism, namely the S-Unit Branch Cancellation, was discovered with the assistance of generative AI tools. 2 The Counterexample G33 Consider the graph G33 = (V, E) of order n = 33 and |E| = 36 edges, having cyclomatic number m = 36 − 33 + 1 = 4. The vertex set is V = {0, 1, . . . , 32}. The structural core consists of a 4-cycle C4”

PDF page 2
Classification
Substantial mathematical content or result generation
Multiplier
10
Verified

Structural counts

Pages 6 pdf
Theorems 1 source
Lemmas 0 source
Propositions 0 source
Corollaries 1 source
Definitions 0 source
Displayed equations 12 source
Bibliography entries 9 source
Appendix pages 0 estimated

Count notes

  • Source counts use the expanded primary TeX file couter_ex_dom_root.tex.
  • Appendix pages include the first PDF page with an explicit Appendix heading through the final page.