Extremal Graphs for the Lights Out Problem

TL;DR

This paper characterizes extremal graphs for the Lights Out problem, showing they are even graphs with an odd number of matchings, and establishes a bijection with symmetric invertible matrices over F_2, revealing structural properties and construction methods.

Contribution

It provides a complete characterization of extremal graphs for Lights Out, linking graph properties with algebraic structures and introducing new construction techniques.

Findings

Extremal graphs are exactly the even graphs with an odd number of matchings.

A bijection exists between extremal graphs and symmetric invertible matrices over F_2.

Graphs without cycles of length divisible by 3 are extremal.

Abstract

Lights Out is a game played on a graph $G$ where every vertex has a light bulb that is either on or off, and pressing a vertex $v$ toggles the state of every vertex in the closed neighborhood of $v$. The goal is to find a subset of vertices $S$ such that pressing every vertex in $S$ results in all light bulbs being turned off. We study the extremal graphs for which pressing every vertex is the unique solution to the lights out problem given an initial configuration of all lights on. We show that a graph is extremal if and only if it is even and has an odd number of matchings. Furthermore, there is a bijection between the set of labeled $n$-vertex extremal graphs and the set of symmetric invertible matrices of size $n-2$ over $\mathbb{F}_2$. We prove that any even graph with no cycle of length $0\pmod 3$ must be extremal. We also demonstrate operations that build larger extremal graphs from smaller ones. Along the way, we prove using the polynomial method that in any even graph, the number of matchings of a fixed size covering an odd subset of vertices is even.