arXiv++ Combinatorics

We study an irredundant covering of a square grid such that the cards can overlap and every card must lie inside the grid; every square of the grid must be covered and every card must have at least one square that is only covered by itself. We develop a generalized framework for the irredundant covering of a square grid with 2 by 2 cards. We first introduce a way of partitioning the cards to disjoint sets and using inclusion exclusion and other combinatorial arguments we derive a loose upper bound on the maximum size of an irredundant cover of the grid. After this loose bound we develop a framework to partition the grid squares in disjoint classes and using double counting and other methods we derive a tighter upper bound. Then we develop a uniform counting framework and a strict upper bound using boundary forcing, local overlap and defect arguments. We prove this bound to be a strict asymptotic bound by showing a lower bound that has the same leading coefficient. The 10 by 10 grid is treated as motivation and as a benchmark, not as a novelty claim; the novelty claim is the generalized framework for the irredundant covering.

The independence complex and the perfect matching complex of a graph are simplicial complexes encoding, respectively, its independent sets and perfect matchings. Determining the homotopy types and other topological properties of these complexes is, in general, a difficult problem, and explicit descriptions are known only for relatively restricted classes of graphs, typically possessing substantial combinatorial regularity or symmetry. Although these complexes have been extensively investigated for several families of graphs, including square grid graphs, comparatively little is known for other natural families of highly symmetric graphs. In this article, we determine the homotopy types of the independence complex and the perfect matching complex of the Möbius ladder graphs $M_{2n}$. Möbius ladder graphs form a natural and highly symmetric family of cubic graphs obtained from a $2n$-cycle by joining pairs of opposite vertices. We prove that the homotopy type of the independence complex $\operatorname{Ind}(M_{2n})$ depends periodically on $n$ modulo $4$: for $n=4k$, it is homotopy equivalent to $\mathbb{S}^{2k-1}$; for $n=4k+2$, it is homotopy equivalent to a wedge of three copies of $\mathbb{S}^{2k}$; and for $n=4k+1$ or $4k+3$, it is homotopy equivalent to $\mathbb{S}^{2k}$. We further determine the homotopy type of the perfect matching complex $\mathcal{M}_p(M_{2n})$. For even $n$, it is homotopy equivalent to a wedge of two copies of $\mathbb{S}^{(n-2)/2}$, while for odd $n$ its homotopy type depends periodically on $n$ modulo $6$. Thus, our results provide explicit descriptions of two fundamental simplicial complexes associated with an important family of highly symmetric cubic graphs.

The two-dimensional bandwidth minimization problem (2DBMP) seeks an injective embedding of a guest graph into a square grid that minimizes the maximum Manhattan distance over its edges. Heuristic methods can provide strong upper bounds, but these bounds do not by themselves certify optimality. We present an efficient exact SAT-based approach for 2DBMP that incrementally searches for the minimum feasible bandwidth and certifies optimality through satisfiability and unsatisfiability results. On the standard $\lceil\sqrt n\rceil \times \lceil\sqrt n\rceil$ host grid, under a 3600 s time limit, the proposed SAT approach certifies optimal bandwidths for 41 of 43 Regular instances and 42 of 93 Harwell--Boeing instances, achieving substantially broader optimality certification within the 3600 s time limit than a previous exact approach evaluated with a 72-hour time limit. In addition, it certifies three bandwidth values that improve all previously published comparison values considered in this study and establishes all three as optimal. We further evaluate the approach on alternative host geometries, namely $2\times\lceil n/2\rceil$ and $n\times n$ grids, to assess its effectiveness beyond the standard host. Overall, the results demonstrate that the proposed SAT approach provides an effective exact method for the small- and medium-sized benchmark instances considered in this study, with fewer than 400 vertices, while heuristic methods remain important for larger and more challenging instances.

In the transversal achievement game on the $n\times n$ board, two players alternately claim cells, and the first to own a transversal---a set of $n$ cells of which no two share a row or column---wins. Ranđelović showed that the first player wins for every $n\ge4$, while the game is a draw for $n=2,3$. We give an independent proof that the first player wins for $n\ge4$ that additionally establishes a bound on the length of the win: the given strategy forces a win by ply $2n+3$, i.e.\ on the first player's $(n+2)$-nd move, for every $n\ge4$. The proof yields a strategy that is fully determined by a fixed rule on the current position and can thus be implemented directly. We isolate the use of the hypothesis $n\ge4$ to two steps in the analysis, explaining why the argument fails at $n=3$. An exhaustive computational search implementing the strategy verifies it against every legal defense for $n=4,5,6$, confirming both the strategy's validity and that the $2n+3$ bound is attained in these cases. The main theorem has also been formalized and machine-checked in Lean 4.

Slime Trail is a two-player combinatorial game in which the players alternately move a shared token to an adjacent vertex, permanently removing each vertex the token leaves, while attempting to reach a goal node. Ferland and Burke (2017) proved that Slime Trail is PSPACE-complete on arbitrary planar graphs and asked whether the same holds for the grid version actually used in play. We resolve this open problem by proving that Cardinal Grid Slime Trail, that is, Slime Trail on a square grid with four-directional movement, is PSPACE-complete. We adapt their QBF reduction to the grid setting, designing grid-compatible gadgets that respect the degree-4 bound and the parity constraints of the integer lattice. We further show the construction extends, under a 45-degree rotation, to the eight-directional variant.

Let \(G_n\) be the \(n\times n\) square grid, and let \(k\geq 2\). A set \(D\subseteq V(G_n)\) is an \emph{exact-distance \(k\)-dominating set} if every vertex \(v\in V(G_n)\setminus D\) has a vertex \(u\in D\) with \(d(u,v)=k\). We write \(D_{\mathrm{opt}}^{(k)}(G_n)\) for the minimum cardinality of such a set. For every fixed \(k\), consider the limit \[ δ_k= \lim_{n\to\infty} \frac{D_{\mathrm{opt}}^{(k)}(G_n)}{n^2}. \] We prove that, for every fixed \(k\geq 3\), \[ \frac{1}{4k} \leq δ_k \leq \frac{k-1}{3k^2-k-1}. \] For \(k=2\), the lower and upper bounds coincide asymptotically, giving \(δ_2=1/9\).

We show that there exists a constant $δ> 0$ such that for any positive integer $n$ there exists a set of $n$ points $P \subset \mathbb{R}^2$ with the following property: for every subset $A \subseteq P$ of size $|A| \geq 2$, \[ \max_{λ>0} \#\{(a,b)\in A \times A: a\ne b,\ \lvert a-b\rvert=λ\} \gtrsim \frac{|A|^2}{n^{1-δ}}.\] Our result is a vertical amplification of a robust Ramanujan estimate recently established by Croot-Mao-Pohoata-Sheffer-Yip for arbitrary subsets of the ordinary square grid, and is inspired by recent constructions for the Erdős unit distance problem and the Elekes-Rónyai problem. Taking $A=P$, the inequality above gives a distance occurring $n^{1+δ}$ times in $P$; thereby a scaled copy of $P$ is a counterexample for the unit-distance conjecture. In addition, the same inequality shows that (1) all subsets of $P$ of size $\gtrsim n^{1-δ}$ must contain isosceles triangles, and (2) all subsets of $P$ of size $\gtrsim n^{1/2-δ}$ must contain repeated distances. These features give polynomially improved estimates for old problems of Erdős. The existence of a set satisfying property (1) confirms a conjecture of Erdős from 1980, whereas the existence of a set with property (2) answers a question of Conlon-Fox-Gasarch-Harris-Ulrich-Zbarsky in the negative.

We prove that, among rectangular grid graphs with a fixed number of vertices, the number of spanning trees increases when the side lengths are made more balanced. In particular, among all rectangular grid graphs with $n^2$ vertices, the square $n\times n$ grid has the largest number of spanning trees. The proof starts with the Laplacian product formula, passes to hyperbolic coordinates, and compares logarithms by separating a discrete-concavity term from a positive decreasing residual term.

We show that the average length of a fundamental cycle with respect to any fixed spanning tree of the $n\times n$ square grid is at least $Ω(\log n)$; the bound is asymptotically tight. This result answers in the affirmative a question posed by McCarty in relation to sparse representations of binary matroids.

We study the maximum size of a subset of the $n \times n$ integer grid that does not contain specific geometric configurations, a variation of the classical problems initiated by Erdős and Purdy. While extremal problems for 3-point patterns, such as collinear triples and right triangles are well-studied, the landscape for 4-point configurations in the grid remains less explored. In this paper, we survey the state-of-the-art regarding forbidden 3-point and 4-point configurations, including parallelograms, trapezoids, and concyclic sets. Furthermore, we prove new lower bounds for grid subsets avoiding rhombuses and kites. Specifically, by combining the probabilistic method with the arithmetic properties of Sidon sets, we show that the maximum size of a rhombus-free subset is $Ω(n^{4/3}(\log n)^{-1/3})$. We also provide near-quadratic lower bounds for sets avoiding kites with axis-parallel diagonals using Behrend-type constructions and discuss implications for square-free sets. These results illustrate the strong interplay between discrete geometry and additive combinatorics.

The independence complex of a graph is a simplicial complex whose faces correspond to the independent sets of $G$. While independence complexes have been studied extensively for many graph classes, including square grid graphs, relatively little is known about planar hexagonal grid graphs. In this article, we study the topology of the independence complexes of hexagonal grid graphs $H_{1 \times m \times n}$. For $ m=1, 2, 3$ and $n\geq 1$, we determine their homotopy types. In particular, we show that the independence complex of the hexagonal line tiling $H_{1 \times 1 \times n}$ is homotopy equivalent to a wedge of two $n$-spheres, and for $m=2$ and $m=3$, we obtain recursive descriptions that completely determine the spheres appearing in the homotopy type. Our proofs rely on link and deletion operations, the fold lemma, and a detailed analysis of induced subgraphs.

Generalising the Cameron--Erdős conjecture to two dimensions, Elsholtz and Rackham conjectured that the number of sum-free subsets of $[n]^2$ is $2^{0.6n^2+O(n)}$. We prove their conjecture.

We obtain an exact formula for the probability that a uniformly random spanning tree of the $2$-by-$n$ square grid is ``balanced'' in the sense that it has an edge whose removal partitions its vertices into two sets of equal size. We compute the exact limit of this probability as $n\rightarrow\infty$.

We study the generalization of the game Lights Out in which the standard square grid board is replaced by a graph. We examine the probability that, when a graph is chosen uniformly at random from the set of graphs with $n$ vertices and $e$ edges, the resulting game of Lights Out is universally solvable. Our work focuses on nearly complete graphs, graphs for which $e$ is close to $\binom{n}{2}$. For large values of $n$, we prove that, among nearly complete graphs, the probability of selecting a graph that gives a universally solvable game of Lights Out is maximized when $e = \binom{n}{2} - \lfloor \frac{n}{2} \rfloor$. More specifically, we prove that for any fixed integer $m > 0$, as $n$ approaches $\infty$, this value of $e$ maximizes the probability over all values of $e$ from $\binom{n}{2} - \lfloor \frac{n}{2} \rfloor - m$ to $\binom{n}{2}$.

Fairly shortly after the publication of the Aztec diamond theorem of Elkies, Kuperberg, Larsen and Propp in 1992, interest arose in finding the number of domino tilings of an Aztec diamond with an ``Aztec window,'' i.e.\ a hole in the shape of a smaller Aztec diamond at its center. Several intriguing patterns were discovered for the number of tilings of such regions, but the numbers themselves were not ``round'' -- they didn't seem to be given by a simple product formula. In this paper we consider a very closely related shape of holes (namely, odd Aztec rectangles), and prove that a large variety of regions obtained from Aztec rectangles by making such holes in them possess the sought-after property that the number of their domino tilings is given by a simple product formula. We find the same to be true for certain symmetric cruciform regions. We also consider graphs obtained from a toroidal Aztec diamond by making such holes in them, and prove a simple formula that governs the way the number of their perfect matchings changes under a natural evolution of the holes. This yields in particular a natural dual of the Aztec diamond theorem. Some implications for the correlation of such holes are also presented, including an unexpected symmetry for the correlation of diagonal slits on the square grid.

We study the asymptotic behavior of random domino tilings of the Aztec diamond of size $M$ in a random environment, where the environment is a one-periodic sequence of i.i.d. random weights attached to domino positions (i.e., to the edges of the underlying portion of the square grid). We consider two cases: either the variance of the weights decreases at a critical scale $1/M$, or the distribution of the weights is fixed. In the former case, the unrescaled fluctuations of the domino height function are governed by the sum of a Gaussian Free Field and an independent Brownian motion. In the latter case, we establish fluctuations on the much larger scale $\sqrt M$, given by the Brownian motion alone. To access asymptotic fluctuations in random environment, we employ the method of Schur generating functions. Moreover, we substantially extend the known Law of Large Numbers and Central Limit Theorems for particle systems via Schur generating functions in order to apply them to our setting. These results might be of independent interest.

An independent set $I$ in a graph $G$ is maximal if $I$ is not properly contained in any other independent set of $G$. The study of maximal independent sets (MIS's) in various graphs is well-established, often focusing upon enumeration of the set of MIS's. For an arbitrary graph $G$, it is typically quite difficult to understand the number and structure of MIS's in $G$; however, when $G$ has regular structure, the problem may be more tractable. One class of graphs for which enumeration of MIS's is fairly well-understood is the rectangular grid graphs $G_{m\times n}$. We say a graph is grid-like if it is locally isomorphic to a square grid, though the global structure of such a graph might resemble a surface such as a torus or Möbius strip. We study the properties of MIS's in various types of grid-like graphs, in particular determining parity of the set of MIS's, average size of MIS's, and number of pairwise non-isomorphic MIS's in various grid-like graphs.

We consider the number of domino tilings of an odd-by-odd rectangle that leave one hole. This problem is equivalent to the number of near-perfect matchings of the odd-by-odd rectangular grid. For any particular position of the vacancy on the $(2k+1)\times (2k+1)$ square grid, we show that the number of near-perfect matchings is a multiple of $2^k$, and from this follows a conjecture of Kong that the total number of near-perfect matchings is a multiple of $2^k$. We also determine the parity of the number of near-perfect matchings with a particular vacancy for the rectangle case.

We develop a theory of random flat-foldable origami. Given a crease pattern, we consider a uniformly random assignment of mountain and valley creases, conditioned on the assignment being flat-foldable at each vertex. A natural method to approximately sample from this distribution is via the face-flip Markov chain where one selects a face of the crease pattern uniformly at random and, if possible, flips all edges of that face from mountain to valley and vice-versa. We prove that this chain mixes rapidly for several natural families of origami tessellations -- the square twist, the square grid, and the Miura-ori -- as well as for the single-vertex crease pattern. We also compare local to global flat-foldability and show that on the square grid, a random locally flat-foldable configuration is exponentially unlikely to be globally flat-foldable.

The Parks Puzzle is a paper-and-pencil puzzle game that is classically played on a square grid with different colored regions (the parks). The player needs to place a certain number of "trees" in each row, column, and park such that none are adjacent, even diagonally. We define a doubly-infinite family of such puzzles, the $(c, r)$-tree Parks puzzles, where there need be $c$ trees per column and $r$ per row. We then prove that for each $c$ and $r$ the set of $(c, r)$-tree puzzles is NP-complete. For each $c$ and $r$, there is a sequence of possible board sizes $m \times n$, and the number of possible puzzle solutions for these board sizes is a doubly-infinite generalization of OEIS sequence A002464, which itself describes the case $c = r = 1$. This connects the Parks puzzle to chess-based puzzle problems, as the sequence describes the number of ways to place non-attacking kings on a chessboard so that there is exactly one in each column and row (i.e. to place non-attacking dragon kings in shogi). These findings add yet another puzzle to the set of chess puzzles and expands the list of known NP-complete problems described.