Showing 1–16 of 16 results for author: Beluhov, N

Powers of 2 in High-Dimensional Lattice Walks

Authors: Nikolai Beluhov

Abstract: 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… ▽ More 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. △ Less

Submitted 15 June, 2025; originally announced June 2025.

Comments: 20 pages

MSC Class: 05A05; 05A10

Powers of 2 in Balanced Grid Colourings

Authors: Nikolai Beluhov

Abstract: 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 infin… ▽ More 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. △ Less

Submitted 30 April, 2025; originally announced April 2025.

Comments: 16 pages

MSC Class: 05A05

Minimum-Turn Tours of Even Polyominoes

Authors: Nikolai Beluhov

Abstract: 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 Hamiltoni… ▽ More 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. △ Less

Submitted 15 April, 2025; originally announced April 2025.

Comments: 8 pages, 3 figures

MSC Class: 05C38; 05C45

Leaper Embeddings

Authors: Nikolai Beluhov

Abstract: 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 substantiall… ▽ More 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. △ Less

Submitted 24 March, 2025; originally announced March 2025.

Comments: 12 pages, 9 figures

MSC Class: 05C60

Double Tiles

Authors: Nikolai Beluhov

Abstract: 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 descripti… ▽ More 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. △ Less

Submitted 21 February, 2025; v1 submitted 12 December, 2024; originally announced December 2024.

Comments: 72 pages, 26 figures

MSC Class: 05B45; 52C20

Slitherlink Signatures

Authors: Nikolai Beluhov

Abstract: 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… ▽ More 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. △ Less

Submitted 17 August, 2023; originally announced August 2023.

Comments: 28 pages, 11 figures

MSC Class: 05C10; 05C38

Snake Paths in King and Knight Graphs

Authors: Nikolai Beluhov

Abstract: 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… ▽ More 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$. △ Less

Submitted 7 September, 2023; v1 submitted 3 January, 2023; originally announced January 2023.

Comments: 36 pages, 26 figures

MSC Class: 05C30; 05C35; 05C38

Journal ref: Enumerative Combinatorics and Applications, volume 3, issue 2, 2023

Induction on Descent in Leaper Graphs

Authors: Nikolai Beluhov

Abstract: 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 ap… ▽ More 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. △ Less

Submitted 20 September, 2021; originally announced September 2021.

Comments: 54 pages, 15 figures

MSC Class: 05C38; 05C76; 05C99 (Primary); 11A55 (Secondary)

Leaper Tours

Authors: Nikolai Beluhov

Abstract: 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 recentl… ▽ More 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. △ Less

Submitted 23 May, 2022; v1 submitted 27 April, 2021; originally announced April 2021.

Comments: 32 pages, 10 figures

MSC Class: 05C38; 05C45

Journal ref: Advances in Combinatorics, 2022:4, 32 pp

One Curious Identity Counting Graceful Labelings

Authors: Nikolai Beluhov

Abstract: 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]$. 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]$. △ Less

Submitted 31 January, 2021; originally announced February 2021.

Comments: 16 pages

MSC Class: 05A19; 05C30; 05C78

Journal ref: Enumerative Combinatorics and Applications, volume 2, issue 1, 2022

The Flexibility and Rigidity of Leaper Frameworks

Authors: Nikolai Beluhov

Abstract: 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… ▽ More 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. △ Less

Submitted 10 November, 2019; v1 submitted 28 July, 2019; originally announced July 2019.

Comments: 62 pages, 15 figures

MSC Class: 52C25 (Primary); 05C99 (Secondary)

A Proof of Willcocks's Conjecture

Authors: Nikolai Beluhov

Abstract: 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. 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. △ Less

Submitted 3 March, 2018; v1 submitted 19 August, 2017; originally announced August 2017.

Comments: 25 pages, 23 figures

MSC Class: 05C38; 05C45

The Second Leaper Theorem

Authors: Nikolai Beluhov

Abstract: 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… ▽ More 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. △ Less

Submitted 27 June, 2017; originally announced June 2017.

Comments: 78 pages, 27 figures

MSC Class: 05C38; 05C45; 05C60 (Primary); 11A55; 68Q42 (Secondary)

Renyi-Ulam Games and Forbidden Substrings

Authors: Nikolai Beluhov

Abstract: 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 l… ▽ More 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. △ Less

Submitted 23 September, 2016; originally announced September 2016.

Comments: 15 pages

MSC Class: 91A46 (Primary)

On Crosspatch Knight's Tours

Authors: Nikolai Beluhov

Abstract: 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. 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. △ Less

Submitted 13 October, 2013; originally announced October 2013.

Comments: 7 pages, 6 figures

MSC Class: 05C38; 05C45 (Primary)

The Mixed Poncelet-Steiner Closure Theorem

Authors: Nikolai Beluhov

Abstract: We state and prove a new closure theorem closely related to the classical closure theorems of Poncelet and Steiner. Along the way, we establish a number of theorems concerning conic sections. We state and prove a new closure theorem closely related to the classical closure theorems of Poncelet and Steiner. Along the way, we establish a number of theorems concerning conic sections. △ Less

Submitted 13 October, 2013; v1 submitted 10 October, 2013; originally announced October 2013.

Comments: 8 pages, 3 figures; corrected two typos

MSC Class: 51M04 (Primary)