arXiv++ Combinatorics

The independence complex of a graph G is a simplicial complex whose simplices are the independent sets in G. In the last couple of decades, the independence complexes of square grids (with various boundary conditions) have gained much attention because of their connections with the hard square model from statistical physics. In this article, we prove that if G is an $m\times n$ grid with open or cylindrical boundary condition then its independence complex is homotopy equivalent to a wedge of spheres. A part of this result settles a conjecture of Iriye.

In the classic version of the game of firefighter, on the first turn a fire breaks out on a vertex in a graph $G$ and then $k$ firefighters protect $k$ vertices. On each subsequent turn, the fire spreads to the collective unburnt neighbourhood of all the burning vertices and the firefighters again protect $k$ vertices. Once a vertex has been burnt or protected it remains that way for the rest of the game. A common objective with respect to some infinite graph $G$ is to determine how many firefighters are necessary to stop the fire from spreading after a finite number of turns, commonly referred to as containing the fire. We introduce the concept of distance-restricted firefighting where the firefighters' movement is restricted so they can only move up to some fixed distance $d$ per turn rather than being able to move without restriction. We establish some general properties of this new game in contrast to properties of the original game, and we investigate specific cases of the distance-restricted game on the infinite square, strong, and hexagonal grids. We conjecture that two firefighters are insufficient on the square grid when $d = 2$, and we pose some questions about how many firefighters are required in general when $d = 1$.

We determine the homotopy types of the independence complexes of $(n \times 4)$ and $(n \times 5)$-square grid graphs. In fact, they are homotopy equivalent to wedges of spheres.

We investigate the reconfiguration of $n$ blocks, or "tokens", in the square grid using "line pushes". A line push is performed from one of the four cardinal directions and pushes all tokens that are maximum in that direction to the opposite direction. Tokens that are in the way of other tokens are displaced in the same direction, as well. Similar models of manipulating objects using uniform external forces match the mechanics of existing games and puzzles, such as Mega Maze, 2048 and Labyrinth, and have also been investigated in the context of self-assembly, programmable matter and robotic motion planning. The problem of obtaining a given shape from a starting configuration is know to be NP-complete. We show that, for every $n$, there are "sparse" initial configurations of $n$ tokens (i.e., where no two tokens are in the same row or column) that can be rearranged into any $a\times b$ box such that $ab=n$. However, only $1\times k$, $2\times k$ and $3\times 3$ boxes are obtainable from any arbitrary sparse configuration with a matching number of tokens. We also study the problem of rearranging labeled tokens into a configuration of the same shape, but with permuted tokens. For every initial "compact" configuration of the tokens, we provide a complete characterization of what other configurations can be obtained by means of line pushes.

Consider a line segment placed on a two-dimensional grid of rectangular tiles. This paper addresses the relationship between the length of the segment and the number of tiles it visits (i.e. has intersection with). The square grid is also considered explicitly, as some of the specific problems studied are more tractable in that particular case. The segment position and orientation can be modelled as either deterministic or random. In the deterministic setting, the maximum possible number of visited tiles is characterized for a given length, and conversely, the infimum segment length needed to visit a desired number of tiles is analyzed. In the random setting, the average number of visited tiles and the probability of visiting the maximum number of tiles on a square grid are studied as a function of segment length. These questions are related to Buffon's needle problem and its extension by Laplace.

Consider a game played on a simple graph $G = (V, E)$ where each vertex consists of a clickable light. Clicking any vertex $v$ toggles the on/off state of $v$ and its neighbors. Starting from an initial configuration of lights, one wins the game by finding a solution: a sequence of clicks that turns off all the lights. When $G$ is a $5 \times 5$ grid, this game was commercially available from Tiger Electronics as Lights Out. Restricting ourselves to solvable initial configurations, we pose a natural question about this game, the Most Clicks Problem (MCP): How many clicks does a worst-case initial configuration on $G$ require to solve? The answer to the MCP is already known for nullity 0 graphs: those on which every initial configuration is solvable. Generalizing a technique from Scherphius, we give an upper bound to the MCP for all grids of size $(6k - 1) \times (6k - 1)$. We show the value given by this upper bound exactly solves the MCP for all nullity 2 grids of this size. We conjecture that all nullity 2 grids are of size $(6k - 1) \times (6k - 1)$, which would mean we solve the MCP for all nullity 2 square grids.

We study point-block incidence structures $(\mathcal{P},\mathcal{B})$ for which the point set $\mathcal{P}$ is an $m\times n$ grid. Cameron and the fourth author showed that each block $B$ may be viewed as a subgraph of a complete bipartite graph $\mathbf{K}_{m,n}$ with bipartite parts (biparts) of sizes $m, n$. In the case where $\mathcal{B}$ consists of all the subgraphs isomorphic to $B$, under automorphisms of $\mathbf{K}_{m,n}$ fixing the two biparts, they obtained necessary and sufficient conditions for $(\mathcal{P},\mathcal{B})$ to be a $2$-design, and to be a $3$-design. We first re-interpret these conditions more graph theoretically, and then focus on square grids, and designs admitting the full automorphism group of $\mathbf{K}_{m,m}$. We find necessary and sufficient conditions, again in terms of graph theoretic parameters, for these incidence structures to be $t$-designs, for $t=2, 3$, and give infinite families of examples illustrating that block-transitive, point-primitive $2$-designs based on grids exist for all values of $m$, and flag-transitive, point-primitive examples occur for all even $m$. This approach also allows us to construct a small number of block-transitive $3$-designs based on grids.

We study the $(p,q)$-Maker Breaker Crossing game introduced by Day and Falgas Ravry in 'Maker-Breaker percolation games I: crossing grids'. The game described in their paper involves two players Maker and Breaker who take turns claiming p and q as yet unclaimed edges of the graph respectively. Maker aims to make a horizontal path from a leftmost vertex to a rightmost vertex and Breaker aims to prevent this. The game is a version of the more general Shannon switching game and is played on a square grid graph. We consider the same game played on the triangular grid graph $Δ_{(m,n)}$ (m vertices across, n vertices high) and aim to find, for given $(p,q,m,n)$, a winning strategy for Maker or Breaker. We establish using a similar strategy to that used by Day and Falgas Ravry to show that: $\bullet$ For sufficiently tall grids and $p\geq q$ Maker has a winning strategy for the $(p,q)$-crossing game on $Δ_{(m,n)}$ . $\bullet$ For sufficiently wide grids and $4p\leq q$, Breaker has a winning strategy for the $(p,q)$-crossing game on $Δ_{(m,n)}$.

A pebbling move on a graph consists of removing $2$ pebbles from a vertex and adding $1$ pebble to one of the neighbouring vertices. A vertex is called reachable if we can put $1$ pebble on it after a sequence of moves. The optimal pebbling number of a graph is the minimum number $m$ such that there exists a distribution of $m$ pebbles so that each vertex is reachable. For the case of a square grid $n \times m$, Győri, Katona and Papp recently showed that its optimal pebbling number is at least $\frac{2}{13}nm \approx 0.1538nm$ and at most $\frac{2}{7}nm +O(n+m) \approx 0.2857nm$. We improve the lower bound to $\frac{5092}{28593}nm +O(m+n) \approx 0.1781nm$.

It is shown that the number of pages required for a book embedding of a graph is the maximum of the numbers needed for any of the maximal nonseparable subgraphs and that a plane graph in which every triangle bounds a face has a two-page book embedding. The latter extends a theorem of H. Whitney and gives two-page book embeddings for $X$-trees and square grids.

Given a Jordan domain $Ω\subset\mathbb{C}$ and two disjoint arcs $A, B$ on $\partialΩ$, the modulus $m$ of the curve family connecting $A$ and $B$ in $Ω$ is equal to the modulus of the curve family connecting the vertical sides in the rectangle $R=[0,1]\times[0,m]$. Also, $m>0$ is the unique value such that there is a conformal map $ψ$ mapping $Ω$ to ${\rm int}(R)$ so that $ψ$ extends continuously to a homeomorphism of $\partial Ω$ onto $\partial R$ and the arcs $A$ and $B$ are sent to the vertical sides of $R$. Moreover, in the case of the rectangle the family of horizontal segments connecting the two sides has the same modulus as the entire connecting family. Pulling these segments back to $Ω$ via $ψ$ yields a family of extremal curves (also known as horizontal trajectories) connecting $A$ to $B$ in $Ω$. In this paper, we show that these extremal curves can be approximated by some discrete paths arising from an orthodiagonal approximation of $Ω$. Moreover, we show that there is a natural probability mass function (pmf) on these paths, deriving from the theory of discrete modulus, which converges to the transverse measure on the set of extremal curves. The key ingredient is an algorithm that, for an embedded planar graph, takes the current flow between two sets of nodes, and produces a unique path decomposition with non-crossing paths. Moreover, some care was taken to adapt recent results for harmonic convergence on orthodiagonal maps, due to Gurel-Gurevich, Jerison, and Nachmias, to our context. Finally, we generalize a result of N.~Alrayes from the square grid setting to the orthodiagonal setting, and prove that the discrete modulus of the approximating non-crossing paths converges to the continuous modulus.

We define a so-called square $k$-zig-zag shape as a part of the regular square grid. Considering the shape as a $k$-zig-zag digraph, we give values of its vertices according to the number of the shortest paths from a base vertex. It provides several integer sequences, whose higher-order homogeneous recurrences are determined by the help of a special matrix recurrence.

We show that anagram-free vertex colouring a $2\times n$ square grid requires a number of colours that increases with $n$. This answers an open question in Wilson's thesis and shows that even graphs of pathwidth $2$ do not have anagram-free colourings with a bounded number of colours.

The homology group of a tiling introduced by M. Reid is studied for certain topological tilings. As in the planar case, for finite square grids on topological surfaces, the method of homology groups, namely the non-triviality of some specific element in the group allows a `coloring proof' of impossibility of a tiling. Several results about the non-existence of polyomino tilings on certain square-tiled surfaces are proved in the paper.

We give a short analysis of the \emph{transversal achievement game} on a square grid due to M. Erickson (2010).

This paper intends to solve the Transversal achievement on an n times n grid problem proposed by Dr. Martin Erickson. We approach the problem using mathematical induction and case analysis and prove the hypothesis that for all n greater than 1, the game is a draw.

Suppose each vertex of a graph is originally occupied by contamination, except for those vertices occupied by lions. As the lions wander on the graph, they clear the contamination from each vertex they visit. However, the contamination simultaneously spreads to any adjacent vertex not occupied by a lion. How many lions are required in order to clear the graph of contamination? We give a lower bound on the number of lions needed in terms of the Cheeger constant of the graph. Furthermore, the lion and contamination problem has been studied in detail on square grid graphs by Brass et al. and Berger et al., and we extend this analysis to the setting of triangular grid graphs.

A perfect coloring (equivalent concepts are equitable partition and partition design) of a graph $G$ is a function $f$ from the set of vertices onto some finite set (of colors) such that every node of color $i$ has exactly $S(i,j)$ neighbors of color $j$, where $S(i,j)$ are constants, forming the matrix $S$ called quotient. If $S$ is an adjacency matrix of some simple graph $T$ on the set of colors, then $f$ is called a covering of the target graph $T$ by the cover graph $G$. We characterize all coverings by the infinite square grid, proving that every such coloring is either orbit (that is, corresponds to the orbit partition under the action of some group of graph automorphisms) or has twin colors (that is, two colors such that unifying them keeps the coloring perfect). The case of twin colors is separately classified. Keywords: perfect coloring, equitable partition, partition design, square grid, rectangular grid, wallpaper group, twin colors, graph covering

For a Hamilton cycle in a rectangular $m \times n$ grid, what is the greatest number of turns that can occur? We give the exact answer in several cases and an answer up to an additive error of $2$ in all other cases. In particular, we give a new proof of the result of Beluhov for the case of a square $n \times n$ grid. Our main method is a surprising link between the problem of 'greatest number of turns' and the problem of 'least number of turns'.

We consider hard-disc mixtures with disc sizes within ratio $\sqrt{2}-1$, that is, the small disc exactly fits in the hole between four large discs. For each prescribed stoichiometry of large and small discs, the densest packings are rigorously determined via a computer-assisted proof. The density is maximal for the 1:1 stoichiometry: the large discs then form a square grid in each interstitial site of which a small disc nests. When there is an excess of large discs, the densest packings are made of a single phase which mixes the two types of discs in a chaotic way (it can be described by square-triangle tilings). When there is an excess of small discs, on the contrary, a phenomenon of phase separation appears: the large discs are involved in the densest 1:1 stoichiometry phases while the excess of small discs form compact hexagonal phases.