arXiv++ Combinatorics

Let $S$ be a grid in $\mathbb{Z}^d$. We wish to order $S$ so that the way two points compare depends only on the offset between them. Does each such order arise from a linear function? Bhattacharya conjectured, while Ren and Huang confirmed, that in two dimensions the answer is yes. On the other hand, wild orders do exist when $d \ge 4$. We settle the remaining case, by showing that the answer is yes in three dimensions as well.

We study a bootstrap percolation process on $\mathbb{Z}^d$ where each newly occupied point completes a copy of one of the patterns in some fixed collection $\mathcal{A}$. We aim, given $\mathcal{A}$, to find the smallest size of a percolating seed. We show that, for two patterns in two dimensions, in essence the answer is given by the mixed volume of the patterns' convex hulls. Our motivation for studying this setup comes from the theory of partial difference equations. Conversely, our considerations yield one consistency criterion for systems of two partial difference equations in two dimensions.

Let $W_d(n)$ be the number of $2n$-step walks in $\mathbb{Z}^d$ which begin and end at the origin. We study the exponent of $2$ in the prime factorisation of this number; i.e., $w_d(n) = ν_2(W_d(n))$. We show that, for each $d$, there is a relationship between $w_d(n)$ and the number $s_2(n)$ of $1$s in the binary expansion of $n$. For example, $w_d(n) = s_2(n)$ if $d$ is odd and $w_d(n) = 2s_2(n)$ if $ν_2(d) = 1$; while $w_d(n) \ge 3s_2(n)$ if $ν_2(d) = 2$. The pattern changes further when $ν_2(d) \ge 3$. However, for each $d$, we give the best analogous estimate of $w_d(n)$ together with a description of all $n$ where equality is attained. The methods we develop apply to a wider range of problems as well, and so might be of independent interest.

Let $B(m, n)$ be the number of ways to colour a $2m \times 2n$ grid in black and white so that, in each row and each column, half of the cells are white and half are black. Bhattacharya conjectured that the exponent of $2$ in the prime factorisation of $B(m, n)$ equals $s_2(m)s_2(n)$, where $s_2(x)$ denotes the number of $1$s in the binary expansion of $x$. We confirm this conjecture in some infinite families of special cases; most significantly, when $m$ is of the form either $2^k$ or $2^k + 1$ and $n$ is arbitrary. The proof when $m = 2^k + 1$ is substantially more difficult, and in connection with it we develop some general techniques for the analysis of inequalities between binary digit sums.

Let $P$ be a connected bounded region in the plane formed out of $2 \times 2$ blocks joined by their sides. Peng and Rascoussier conjectured that all minimum-turn Hamiltonian cycles of $P$ exhibit a certain regular structure. We prove this conjecture in the special case when $P$ is a topological disk. The proof proceeds in two phases - a "downward" phase where we break apart an irregular Hamiltonian cycle into a collection of shorter cycles; and an "upward" phase where we put it back together in a different way so that, overall, the number of turns in it decreases.

A leaper is a chess piece which generalises the knight. Given $n$ and a $(p, q)$-leaper $L$, we study the greatest $m$ such that the $m \times m$ grid graph can be embedded into the $n \times n$ leaper graph of $L$. We can assume that $p$ and $q$ are relatively prime. We show that $m \approx n$ when $p$ and $q$ are of opposite parities and $m \approx n/2$ otherwise. The latter case is substantially more difficult. The proof involves certain combinatorial-geometric results on the chords of connected figures which might be of independent interest.

Which polygons admit two (or more) distinct lattice tilings of the plane? We call such polygons double tiles. It is well-known that a lattice tiling is always combinatorially isomorphic either to a grid of squares or to a grid of regular hexagons. We focus on the special case of the double tile problem where both tilings are in the square class. For this special case, we give an explicit description of all double tiles. We establish the result for polyominoes first; then, with little additional effort, we extend the proof to general polygons. Central to the description is a certain finite set of transformations which we apply iteratively to a base shape in order to obtain one family of "fractal-like" polyominoes. The double tiles are then given by these polyominoes together with particular "deformations" of them.

Let $G$ be a planar graph and let $C$ be a cycle in $G$. Inside of each finite face of $G$, we write down the number of edges of that face which belong to $C$. This is the signature of $C$ in $G$. The notion of a signature arises naturally in the context of Slitherlink puzzles. The signature of a cycle does not always determine it uniquely. We focus on the ambiguity of signatures in the case when $G$ is a rectangular grid of unit square cells. We describe all grids which admit an ambiguous signature. For each such grid, we then determine the greatest possible difference between two cycles with the same signature on it. We also study the possible values of the total number of cycles which fit a given signature. We discuss various related questions as well.

A snake path in a graph $G$ is a path in $G$ which is also an induced subgraph of $G$. For all $n$, we find the greatest length of a snake path in the $n \times n$ king graph and we give a complete description of the paths which attain this greatest length. The even and odd cases behave very differently. We also estimate the greatest length of a snake path or cycle in the $m \times n$ knight graph, for all $m$ and $n$.

We construct an infinite ternary tree $\mathfrak{L}$ whose root is the knight and whose vertices are all skew free leapers. We define the descent of a skew free leaper to be its "address" within $\mathfrak{L}$. We introduce three transformations which relate the leaper graphs of a skew free leaper to the leaper graphs of its three children in $\mathfrak{L}$. By starting with the knight and then applying these transformations so as to advance throughout $\mathfrak{L}$, we can establish theorems about all skew free leapers. We call this proof technique induction on descent and with its help we resolve a number of questions about leaper graphs.

Let $p$ and $q$ be positive integers. The $(p, q)$-leaper $L$ is a generalised knight which leaps $p$ units away along one coordinate axis and $q$ units away along the other. Consider a free $L$, meaning that $p + q$ is odd and $p$ and $q$ are relatively prime. We prove that $L$ tours the board of size $4pq \times n$ for all sufficiently large positive integers $n$. Combining this with the recently established conjecture of Willcocks which states that $L$ tours the square board of side $2(p + q)$, we conclude that furthermore $L$ tours all boards both of whose sides are even and sufficiently large. This, in particular, completely resolves the question of the Hamiltonicity of leaper graphs on sufficiently large square boards.

Let $a$ and $b$ be positive integers with prime factorisations $a = p_1^np_2^n$ and $b = q_1^nq_2^n$. We prove that the number of essentially distinct $α$-graceful labelings of the complete bipartite graph $K_{a, b}$ equals the alternating sum of fourth powers of binomial coefficients $(-1)^n[\binom{2n}{0}^4 - \binom{2n}{1}^4 + \binom{2n}{2}^4 - \binom{2n}{3}^4 + \cdots + \binom{2n}{2n}^4]$.

A leaper framework is a bar-and-joint framework whose joints are integer points forming a rectangular grid and whose bars correspond to all moves of a given leaper within that grid. We study the flexibility and rigidity of leaper frameworks. Let $p$ and $q$ be positive integers such that the $(p, q)$-leaper $L$ is free. József Solymosi and Ethan White conjectured in 2018 that the leaper framework of $L$ on the square grid of side $2(p + q) - 1$, and so on all larger grids, is rigid. We prove this conjecture. We also prove that Solymosi and White's conjecture is, in a sense, sharp. Namely, the leaper framework of $L$ on the rectangular grid of sides $2(p + q) - 2$ and $2(p + q) - 1$, and so on all smaller grids (except for, trivially, the $1 \times 1$ grid), is flexible. In particular, we completely resolve the flexibility and rigidity question for leaper frameworks on square grids. We establish a number of related results as well.

We give a proof of Willcocks's Conjecture, stating that if $p - q$ and $p + q$ are relatively prime, then there exists a Hamiltonian tour of a $(p, q)$-leaper on a square chessboard of side $2(p + q)$. The conjecture was formulated by T. H. Willcocks in 1976 and has been an open problem since.

A $(p, q)$-leaper is a fairy chess piece that, from a square $a$, can move to any of the squares $a + (\pm p, \pm q)$ or $a + (\pm q, \pm p)$. Let $L$ be a $(p, q)$-leaper with $p + q$ odd and $C$ a cycle of $L$ within a $(p + q) \times (p + q)$ chessboard. We show that there exists a second leaper $M$, distinct from $L$, such that a Hamiltonian cycle $D$ of $M$ exists over the squares of $C$. We give descriptions of $C$ and $M$ in terms of continued fractions. We introduce the notion of a direction graph, roughly a leaper graph from which all information has been abstracted away save for the directions of the moves, and we study $C$ and $D$ in terms of direction graphs. We introduce the notion of a dual generalized chessboard, a generalized chessboard $B$ of more than one square such that the leaper graph of a leaper $L$ over $B$ is connected and isomorphic to the leaper graph of a second leaper $M$, distinct from $L$, over $B$, and we give constructions for dual generalized chessboards.

The Renyi-Ulam game is played between two players, the Seeker and the Obscurer. The Obscurer thinks of a number between 1 and $n$. The Seeker wishes to identify that number. On each turn, the Seeker asks the Obscurer whether her number belongs to a specific subset of the numbers from 1 to $n$. The Obscurer answers either yes or no, and her answer is either true or false. The series of truths and lies given by the Obscurer must conform to a restriction $R$ that the players have agreed on in advance. We give criteria on the restrictions $R$ that allow the Seeker to win. Then we apply our results to the study of restrictions characterized by forbidden substrings. In particular, we give a complete classification of all such restrictions characterized by two forbidden substrings, elaborating on Czyzowicz, Lakshmanan and Pelc's classification of all such restrictions characterized by one forbidden substring.

A knight's tour is often represented as a broken line connecting the centers of successively visited squares. We say that two knight moves form a cross if the midpoints of their respective segments coincide. We show that no knight tour exists on a rectangular board in which every move is part of a cross. We also establish the general structure of pseudotours with this property.