arXiv++ Combinatorics

We study random Peano paths on planar square grids that arise from fair random spanning trees. These are trees that are sampled in such a way as to have the same (if possible) edge probabilities. In particular, we are interested in identifying the scaling limit as the mesh-size of the grid tends to zero. It is known \cite{lawler-schramm-werner2002} that if the trees are sampled uniformly, then the scaling limit exists and equals ${\rm SLE}_8$. We show that if we simply follow the same steps as in \cite{lawler-schramm-werner2002}, then fair Peano paths have a deterministic scaling limit.

For every $N\ge36$, we realise any prescribed monic irreducible binary polynomial of degree $N$ as the characteristic polynomial of a linear hybrid cellular automaton on a near-square region of exactly $N$ cells. The transition matrix is Moore-local with a null boundary and has at most $3N-1$ directed nonself dependencies. The dependency graph retains a bidirectional Hamilton path; its indegree, outdegree and underlying undirected degree are at most six. The underlying graph contains an explicit square grid minor of side proportional to $\sqrt N$. The deterministic synthesis takes $O(N^3)$ bit operations. The construction combines a local similarity transformation with a transport potential and joint routing across consecutive row gaps. Exact verification of finite certificates, followed by induction, proves the required routing inequalities for every admissible width. We also give an entirely analytic construction with fewer than $7N/2$ dependencies and prove a lower bound of $5N/2-O(\sqrt N)$ for the retained path and full rectangular grid minor. This lower bound is sharp when the characteristic polynomial is unrestricted.

A connected graph is called $\ell_1$-embeddable if its shortest-path metric admits an isometric embedding into the $\ell_1$-space; equivalently, in the finite case, it admits a scale embedding into a hypercube. This paper gives a complete parameter-level classification of $\ell_1$-embeddability for regular quadrilateral maps on the torus and the Klein bottle. We treat the two toroidal families $Q_{k,m,r}$ and $Q_{k,m,e}$, obtained from suitable identifications of finite square grids, and, using the known isomorphisms among Klein-bottle quadrilateral maps, the three essential Klein-bottle families $Q_{k,m,a}$, $Q_{k,m,b}$, and $Q_{k,m,h}$. The $\ell_1$-embeddable toroidal maps are exactly $Q_{k,m,0}, Q_{k,2,1}, Q_{k,1,e}, Q_{5,2,e}, Q_{2i,2,e} (i\ge 2)$, and the $\ell_1$-embeddable Klein-bottle maps are exactly $ Q_{2,2,a}, Q_{4,2,a}, Q_{2,m,b}, Q_{1,2,h}.$ All other members of these five families are not $\ell_1$-embeddable.

We show that the percolation components on a square grid can be $5$-colored as a factor of iid so that neighboring components get different colors. Above the critical probability, we observe that these regions can be 4-colored. Along the way, we extend the classical correspondence between fiid process and measurable labellings of the Bernoulli shift to this quotient setting, prove a general coloring result about hyperfinite pmp planar graphs, and clarify some foundational issues about how to define planarity for Borel graphs.

We study an irredundant covering of an $m \times m$ square grid by $2 \times 2$ cards, where cards may overlap and every card must lie entirely inside the grid. Every square of the grid must be covered, and every card must contain at least one square that is covered only by itself. Let \(F(m)\) denote the maximum number of cards in such an irredundant cover. We develop a general framework for bounding the maximum possible size of such an irredundant cover based on square multiplicities, double counting, and local geometric restrictions arising around highly covered squares. These arguments yield a general upper bound whose leading term is $\frac{1}{2}m^2$, accompanied by a negative linear term. In the opposite direction, we construct a family of irredundant covers based on a density-$\frac{1}{2}$ covering pattern, referred to as the period-four staircase pattern, together with a boundary-repair construction. Thus, we obtain a lower bound with the same leading term and a linear-order error, proving that for every \(m\ge6\), \[ \frac{2m}{9} \le \frac12m^2-F(m) \le 2m-3, \] and consequently that the maximum density of an irredundant cover tends to $\frac{1}{2}$ as $m\to\infty$. The known $10\times 10$ case is used as motivation and as a finite benchmark for the general theory.

Finding large lattice subgraphs in sparse Erdős--Rényi random graphs is a classical problem at the interface of random graph theory and algorithms. General bounded-degree embedding and universality theorems give powerful results for broad graph families, but when specialized to square grids they operate at densities substantially larger than the grid-emergence scale. In this paper we exploit the specific geometry of the square grid. We introduce the Quarantined Local Search, a three-phase local algorithm that separates the construction of an initial boundary from the later corner-closure process and controls adaptive negative exposure through bounded pair-test histories. We prove that, for every fixed $δ\in (0,1)$, there exists $C_δ>0$ such that the algorithm embeds a $k\times k$ square grid with $k^2\le (1-δ)n$ in $G(n,p)$ with high probability whenever $p\ge C_δ\sqrt{\ln k/n}$. Thus, for $k^2=Θ(n)$, a density of order $\sqrt{\log n/n}$ is sufficient, a factor of order $\sqrt{\log n}$ above the corresponding $n^{-1/2}$ emergence scale.

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.