Graph Powers of Groups
Gabe Cunningham, Igor Minevich

TL;DR
This paper generalizes the Lights Out puzzle to group states on graphs, analyzing the structure of achievable configurations and identifying conditions under which the problem simplifies to linear algebra.
Contribution
It introduces a group-theoretic framework for the Lights Out puzzle, extends analysis to non-abelian groups, and characterizes RA graphs using lattice spanning conditions.
Findings
Most graphs are RA, simplifying analysis to linear algebra.
Odd-dimensional cubes and folded cubes are not RA.
A lattice spanning condition characterizes RA graphs with Heisenberg groups.
Abstract
The Lights Out Puzzle, played on a graph , has been studied using linear algebra over and more generally over . We generalize the setting by allowing the states of vertices to be the elements of a group , where a \textit{click} in vertex multiplies the state of and its neighbors by an element on the right. Starting with the identity element for all vertices, the totality of all achievable state configurations forms a group . 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 -- to a linear algebra question over . We discuss a chain of five different subgroups consisting of commutators and introduce techniques for showing that…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Graph Theory Research · Finite Group Theory Research
