Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2509.18223

An Inductive Proof that Lights Out Configurations are Invertible, and a Parity-Invariance Result

Keivan Mirzaei
View original source ↗Read source document ↗Export metadata ↓

Abstract

We give an elementary inductive proof of a classical result for the \emph{Lights Out problem} on graphs: from any configuration of vertices, one can reach the complementary configuration by a sequence of moves, where a move consists of toggling a vertex and its neighbors. We also prove, again by a purely elementary argument, a parity-invariance property: once an initial configuration is fixed, the parity of the number of presses required to reach an attainable configuration is determined by that configuration. In particular, any two solutions leading to the same attainable configuration differ by an even number of presses.

Explore related subjects

math.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Keivan Mirzaei. 2026-03-20. An Inductive Proof that Lights Out Configurations are Invertible, and a Parity-Invariance Result. https://arxiv.org/abs/2509.18223

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Rooted Spider Embeddings and the Erd\H os-Sós Conjecture

Under a local density condition, we prove that every $k$-edge spider embeds at any prescribed center of degree at least $k$, unless all legs are even and the host graph has one of two specified structures. These structures contain complete bipartite subgraphs with prescribed neighborhoods. The proof uses path rerouting and three exchange lemmas that describe equality in neighborhood estimates. As a consequence, we recover the Erd\H os-Sós bound for all spiders.

math.CO↗
arXiv2026

Generalized Goulden-Yong duals and signed minimal factorizations

In this paper, we give two combinatorial ways to study signed exceptional sequences. First, we show the equivalence between one-way reflections and relatively projective representations. Secondly, we construct generalized Goulden-Yong duals using reverse Garside element actions and folded chord diagrams. We then give two applications of the generalized Goulden-Yong duals: constructing generalized Prüfer codes and counting signed factorizations using the matrix-tree theorem.

math.CO↗
arXiv2026

Explicit expressions for iterates of power series

We present several formulas for both the discrete and fractional iterates of an invertible power series $f$, using a new unifying approach based on umbral calculus. Known formulas are extended, and their proofs simplified, while new expressions are introduced. In particular, by employing $q$-calculus identities, we eliminate the requirement for $f'(0)$ to equal $1$ and the resulting general expressions for the iterative logarithm are obtained as well.

math.CO↗