arXiv++ Combinatorics

For a graph $Γ$ and group $G$, $G^Γ$ is the subgroup of $G^{|Γ|}$ generated by elements with $g$ in the coordinates corresponding to $v$ and its neighbors in $Γ$. There is a natural epimorphism $G^Γ\to (G/[G,G])^Γ$ with kernel $[G,G]^n \cap G^Γ$. When $[G,G]^n \leq G^Γ$, the structure of $G^Γ$ is easily described from $(G/[G,G])^Γ$. Fixing $Γ$, if $[G,G]^{|Γ|} \leq G^Γ$ for all $G$, we say that $Γ$ is RA (reducible to abelian). We showed in [2] that wide classes of graphs are RA, including graphs of girth 5 or more. The key tool is the RA matrix $C_Γ$, and we showed that $Γ$ is RA if and only if the row space $Row(C_Γ) = \mathbb Z^{|Γ|}$. Here, we study the possibilities for the elementary divisors of $C_Γ$; the more nontrivial elementary divisors we get, the further $Γ$ is from being RA (and the harder $G^Γ$ is to describe). We show that while many graphs, including those of girth 4, cartesian products, and most tensor products have at most one nontrivial elementary divisor, one can construct a graph of girth 3 with any prescribed set of elementary divisors and $\mathbb Z$-nullity.

The Lights Out Puzzle, played on a graph $Γ$, has been studied using linear algebra over $\mathbb{F}_2$ and more generally over $\mathbb{Z}/k\mathbb{Z}$. We generalize the setting by allowing the states of vertices to be the elements of a group $G$, where a \textit{click} in vertex $v$ multiplies the state of $v$ and its neighbors by an element $g \in G$ on the right. Starting with the identity element $e \in G$ for all vertices, the totality of all achievable state configurations forms a group $G^Γ$. This group generalizes parallel products of group actions and provides a rich structure for analysis. For many graphs, which we term ``RA'' (reducible to abelian), the problem reduces -- regardless of $G$ -- to a linear algebra question over $\mathbb{Z}$. We discuss a chain of five different subgroups consisting of commutators and introduce techniques for showing that families of graphs are RA using each. In particular, using Heisenberg groups, we establish that a graph is RA precisely when a certain lattice spans $\mathbb{Z}^{|Γ|}$. While most graphs appear to be RA, we show the odd-dimensional cube graphs $Q_{2n+1}$ and folded cube graphs $\square_d$, for $d$ odd or 2, are not.

The Parks Puzzle is a paper-and-pencil puzzle game that is classically played on a square grid with different colored regions (the parks). The player needs to place a certain number of "trees" in each row, column, and park such that none are adjacent, even diagonally. We define a doubly-infinite family of such puzzles, the $(c, r)$-tree Parks puzzles, where there need be $c$ trees per column and $r$ per row. We then prove that for each $c$ and $r$ the set of $(c, r)$-tree puzzles is NP-complete. For each $c$ and $r$, there is a sequence of possible board sizes $m \times n$, and the number of possible puzzle solutions for these board sizes is a doubly-infinite generalization of OEIS sequence A002464, which itself describes the case $c = r = 1$. This connects the Parks puzzle to chess-based puzzle problems, as the sequence describes the number of ways to place non-attacking kings on a chessboard so that there is exactly one in each column and row (i.e. to place non-attacking dragon kings in shogi). These findings add yet another puzzle to the set of chess puzzles and expands the list of known NP-complete problems described.