Abstract:In this paper, we study a reversible process (more precisely, a groupoid/group action) resembling the classical 15-puzzle, where the legal moves are to ``move the unique hole inside a translate of a shape $S$''. Such a process can be defined for any finite subset $S$ of a group, and we refer to such a process as simply ``solitaire''. We develop a general theory of solitaire, and then concentrate on the simplest possible example, solitaire for the plane $\mathbb{Z}^2$, and $S$ the triangle shape (equivalently, any three-element set in general position). In this case, we give a polynomial time algorithm that puts any finite subset of the plane in normal form using solitaire moves, and show that the solitaire orbit of a line of consecutive ones -- the line orbit -- is completely characterised by the notion of a so-called fill matrix. We show that the diameter of the line orbit, as a graph with edges the solitaire moves, is cubic. We show that analogous results hold for the square shape, but indicate some shapes (still on the group $\mathbb{Z}^2$) where this is less immediate. We then explain in detail the connection of the solitaire to TEP and more generally permutive subshifts. Namely, the solitaire is a closure property of various sets of subsets of the group that can be associated to such a subshift, such as the independence, spanning and filling sets.

Cycles in Austrian Solitaire

Bulgarian Solitaire: A new representation for depth generating functions

Infinite cycles in the interchange process in five dimensions

The Game of Cycles with Sources Allowed

On the monograph "Finiteness Theorems for limit cycles" and a special case of alternant cycles

Solitaire of Independence

The probability of long cycles in interchange processes

On the asymptotic Plateau problem for cycles in the Tits boundary of a Hadamard space

Hamiltonian Cycles on Ammann-Beenker Tilings

Extremal Numbers of Cycles Revisited

Breaking Cycles, the Odd Versus the Even

Cycles in graphs and in hypergraphs (in Russian)

A Note on Even Cycles and Quasi-Random Tournaments

Non‐Hamiltonian Cartesian products of two even dicycles

Hamilton cycles in pseudorandom graphs

On a family of universal cycles for multi-dimensional permutations

Cycles in graphs of fixed girth with large size

Limit cycles as stationary states of an extended Harmonic Balance ansatz

Antispecial cycles on the Drinfeld upper half plane and degenerate Hirzebruch-Zagier cycles

Topological phase transition in coupled rock-paper-scissor cycles

Generalized Andrásfai--Erdős--Sós theorems for odd cycles