arXiv subjects

Mark Walters

Publications and source records attributed to Mark Walters.

At least 19 recordsLinked to original sources

arXiv2026

Approximately Decoding the Colour Code

Recently we showed that minimum weight decoding in the (6.6.6 planar) colour code is NP-hard. However, it remained an open question as to whether it was possible to approximate the minimum weight decoding arbitrarily closely in polynomial time. In this paper we prove that it is possible: for any $\varepsilon>0$ there is an polynomial time algorithm that, given a syndrome, can find an error-set generating that syndrome whose weight is at most $1+\varepsilon$ times the weight of the minimum weight decoding. As a consequence we see that, for any $\varepsilon>0$, there is a polynomial time algorithm that can correct all errors of weight up to $(1-\varepsilon)d/2$ in the distance $d$ colour code (so almost up to the theoretical $d/2$ limit). The polynomial we give is impractically large, but it does open the door for sensible polynomial time algorithms that approximate minimum weight decoding and, in particular, shows that approximate decoding is not NP-hard.

quant-ph↗

arXiv2026

Generalised Prisms and Euclidean Ramsey Theory

A finite subset $X$ of $\mathbb R^d$ is called Ramsey if for every $k$ there exists an $n$ such that whenever $\mathbb R^n$ is $k$-coloured there exists a monochromatic congruent copy of $X$. K\v r\'i\v z showed that if there is a soluble group of symmetries of $X$ that acts transitively on $X$, then $X$ is Ramsey. Determining which sets are Ramsey is a major unsolved problem. In this paper we show that if there is a finite group of isometries of $\mathbb R^d$ that acts transitively on a set $X$, and also on a set $Y$, then the `prism' formed by $X$ and $Y$ in $\mathbb R^{d+1}$ (meaning the set $X$ together with a translate of $Y$ in the direction perpendicular to $\mathbb R^d$) is itself contained in a finite set on which a group of isometries acts transitively. Moreover, if the initial group of isometries is soluble then so is the final group. This provides a new tool for generating Ramsey sets.

math.CO↗

arXiv2026

A parallel wakeup problem and multi-room light switch strategies

The wakeup problem in distributed computing asks for a symmetric protocol that enables one of several processors to eventually guarantee that all (or, in a more general setting, enough) other processors have acted, using a shared register but no global clock. Dropping the symmetry requirement gives a well-known exercise often phrased in terms of prisoners entering, in an unknown sequence, a room equipped with a single binary switch, and using it to communicate. Kane and Kominers recently analysed a more general version of the latter with multiple parallel and indistinguishable rooms. We answer some open questions of Kane and Kominers regarding the minimum number of switch states needed for the prisoners to solve the problem. We also consider the symmetric ``wakeup'' version of this scenario, and establish exactly for which numbers of processors and registers a solution is possible.

cs.DC↗

arXiv2026

Minimum Weight Decoding in the Colour Code is NP-hard

All utility-scale quantum computers will require some form of Quantum Error Correction in which logical qubits are encoded in a larger number of physical qubits. One promising encoding is known as the colour code which has broad applicability across all qubit types and can decisively reduce the overhead of certain logical operations when compared to other two-dimensional topological codes such as the surface code. However, whereas the surface code decoding problem can be solved exactly in polynomial time by finding minimum weight matchings in a graph, prior to this work, it was not known whether exact and efficient colour code decoding was possible. Optimism in this area, stemming from the colour code's significant structure and well understood similarities to the surface code, fanned this uncertainty. In this paper we resolve this, proving that exact decoding of the colour code is NP-hard -- that is, there does not exist a polynomial time algorithm unless P=NP. This highlights a notable contrast to some of the colour code's key competitors, such as the surface code, and motivates continued work in the narrower space of heuristic and approximate algorithms for fast, accurate and scalable colour code decoding.

quant-ph↗

arXiv2024

Random Geometric Graphs in Reflexive Banach Spaces

We investigate a random geometric graph model introduced by Bonato and Janssen. The vertices are the points of a countable dense set $S$ in a (necessarily separable) normed vector space $X$, and each pair of points are joined independently with some fixed probability $p$ (with $0<p<1$) if they are less than distance $1$ apart. A countable dense set $S$ in a normed space is Rado, if the resulting graph is almost surely unique up to isomorphism: that is any two such graphs are, almost surely, isomorphic. Not surprisingly, understanding which sets are Rado is closely related to the geometry of the underlying normed space. It turns out that a key question is in which spaces must step-isometries (maps that preserve the integer parts of distances) on dense subsets necessarily be isometries. We answer this question for a large class of Banach spaces including all strictly convex reflexive spaces. In the process we prove results on the interplay between the norm topology and weak topology that may be of independent interest. As a consequence of these Banach space results we show that almost all countable dense sets in strictly convex reflexive spaces are strongly non-Rado (that is, any two graphs are almost surely non-isomorphic). However, we show that there do exist Rado sets even in $\ell_2$. Finally we construct a Banach spaces in which all countable dense set are strongly non-Rado.

math.FA↗

arXiv2024

Block Sizes in the Block Sets Conjecture

A set $X$ is called Euclidean Ramsey if, for any $k$ and sufficiently large $n$, every $k$-colouring of $\mathbb{R}^n$ contains a monochromatic congruent copy of $X$. This notion was introduced by Erd\H{o}s, Graham, Montgomery, Rothschild, Spencer and Straus. They asked if a set is Ramsey if and only if it is spherical, meaning that it lies on the surface of a sphere. It is not too difficult to show that if a set is not spherical then it is not Euclidean Ramsey either, but the converse is very much open despite extensive research over the years. On the other hand, the block sets conjecture is a purely combinatorial, Hales-Jewett type of statement, concerning `blocks in large products', introduced by Leader, Russell and Walters. If true, the block sets conjecture would imply that every transitive set (a set whose symmetry group acts transitively) is Euclidean Ramsey. As for the question above, the block sets conjecture remains very elusive, being known only in a few cases. In this paper we show that the sizes of the blocks in the block sets conjecture cannot be bounded, even for templates over the alphabet of size $3$. We also show that for the first non-trivial template, namely $123$, the blocks may be taken to be of size $2$ (for any number of colours). This is best possible; all previous bounds were `tower-type' large.

math.CO↗

arXiv2022

Optimal Resistor Networks

Given a graph on n vertices with m edges, each of unit resistance, how small can the average resistance between pairs of vertices be? There are two very plausible extremal constructions -- graphs like a star, and graphs which are close to regular -- with the transition between them occuring when the average degree is 3. However, one of our main aims in this paper is to show that there are significantly better constructions for a range of average degree including average degree near 3. A key idea is to link this question to a analogous question about rooted graphs -- namely `which rooted graph minimises the average resistance to the root?'. The rooted case is much simpler to analyse than the unrooted, and one of the main results of this paper is that the two cases are asymptotically equivalent.

math.CO↗

arXiv2022

Constructible Graphs and Pursuit

A (finite or infinite) graph is called constructible if it may be obtained recursively from the one-point graph by repeatedly adding dominated vertices. In the finite case, the constructible graphs are precisely the cop-win graphs, but for infinite graphs the situation is not well understood. One of our aims in this paper is to give a graph that is cop-win but not constructible. This is the first known such example. We also show that every countable ordinal arises as the rank of some constructible graph, answering a question of Evron, Solomon and Stahl. In addition, we give a finite constructible graph for which there is no construction order whose associated domination map is a homomorphism, answering a question of Chastand, Laviolette and Polat. Lehner showed that every constructible graph is a weak cop win (meaning that the cop can eventually force the robber out of any finite set). Our other main aim is to investigate how this notion relates to the notion of `locally constructible' (every finite graph is contained in a finite constructible subgraph). We show that, under mild extra conditions, every locally constructible graph is a weak cop win. But we also give an example to show that, in general, a locally constructible graph need not be a weak cop win. Surprisingly, this graph may even be chosen to be locally finite. We also give some open problems.

math.CO↗

arXiv2018

Product-free sets in the free semigroup

In this paper, we study product-free subsets of the free semigroup over a finite alphabet $A$. We prove that the maximum density of a product-free subset of the free semigroup over $A$, with respect to the natural measure that assigns a weight of $|A|^{-n}$ to each word of length $n$, is precisely $1/2$.

math.CO↗

arXiv2016

Transitive Avoidance Games

Positional games are a well-studied class of combinatorial game. In their usual form, two players take turns to play moves in a set (`the board'), and certain subsets are designated as `winning': the first person to occupy such a set wins the game. For these games, it is well known that (with correct play) the game cannot be a second-player win. In the avoidance (or mis\`{e}re) form, the first person to occupy such a set \emph{loses} the game. Here it would be natural to expect that the game cannot be a first-player win, at least if the game is transitive, meaning that all points of the board look the same. Our main result is that, contrary to this expectation, there are transitive games that are first-player wins, for all board sizes which are not prime or a power of 2. Further, we show that such games can have additional properties such as stronger transitivity conditions, fast winning times, and `small' winning sets.

math.CO↗

arXiv2015

Random Geometric Graphs and Isometries of Normed Spaces

Given a countable dense subset $S$ of a finite-dimensional normed space $X$, and $0<p<1$, we form a random graph on $S$ by joining, independently and with probability $p$, each pair of points at distance less than $1$. We say that $S$ is `Rado' if any two such random graphs are (almost surely) isomorphic. Bonato and Janssen showed that in $l_\infty^d$ almost all $S$ are Rado. Our main aim in this paper is to show that $l_\infty^d$ is the unique normed space with this property: indeed, in every other space almost all sets $S$ are non-Rado. We also determine which spaces admit some Rado set: this turns out to be the spaces that have an $l_\infty$ direct summand. These results answer questions of Bonato and Janssen. A key role is played by the determination of which finite-dimensional normed spaces have the property that every bijective step-isometry (meaning that the integer part of distances is preserved) is in fact an isometry. This result may be of independent interest.

math.FA↗

arXiv2015

Subtended Angles

We consider the following question. Suppose that $d\ge2$ and $n$ are fixed, and that $θ_1,θ_2,\dots,θ_n$ are $n$ specified angles. How many points do we need to place in $\mathbb{R}^d$ to realise all of these angles? A simple degrees of freedom argument shows that $m$ points in $\mathbb{R}^2$ cannot realise more than $2m-4$ general angles. We give a construction to show that this bound is sharp when $m\ge 5$. In $d$ dimensions the degrees of freedom argument gives an upper bound of $dm-\binom{d+1}{2}-1$ general angles. However, the above result does not generalise to this case; surprisingly, the bound of $2m-4$ from two dimensions cannot be improved at all. Indeed, our main result is that there are sets of $2m-3$ of angles that cannot be realised by $m$ points in any dimension.

math.MG↗

arXiv2015

An $n$-in-a-row type game

We consider a Maker-Breaker type game on the plane, in which each player takes $t$ points on their $t^\textrm{th}$ turn. Maker wins if he obtains $n$ points on a line (in any direction) without any of Breaker's points between them. We show that, despite Maker's apparent advantage, Breaker can prevent Maker from winning until about his $n^\textrm{th}$ turn. We actually prove a stronger result: that Breaker only needs to play $ω(\log t)$ points on his $t^\textrm{th}$ turn to prevent Maker from winning until this time. We also consider the situation when the number of points claimed by Maker grows at other speeds, in particular, when Maker claims $t^α$ points on his $t^\textrm{th}$ turn.

math.CO↗

arXiv2012

Hamilton cycles in random geometric graphs

We prove that, in the Gilbert model for a random geometric graph, almost every graph becomes Hamiltonian exactly when it first becomes 2-connected. This answers a question of Penrose. We also show that in the k-nearest neighbor model, there is a constant κ such that almost every κ-connected graph has a Hamilton cycle.

math.PR↗

arXiv2011

Probably Intersecting Families are Not Nested

It is well known that an intersecting family of subsets of an n-element set can contain at most 2^(n-1) sets. It is natural to wonder how `close' to intersecting a family of size greater than 2^(n-1) can be. Katona, Katona and Katona introduced the idea of a `most probably intersecting family.' Suppose that X is a family and that 0<p<1. Let X(p) be the (random) family formed by selecting each set in X independently with probability p. A family X is `most probably intersecting' if it maximises the probability that X(p) is intersecting over all families of size |X|. Katona, Katona and Katona conjectured that there is a nested sequence consisting of most probably intersecting families of every possible size. We show that this conjecture is false for every value of p provided that n is sufficiently large.

math.CO↗

arXiv2011

Sharpness in the k-nearest neighbours random geometric graph model

Let $S_{n,k}$ denote the random geometric graph obtained by placing points in a square box of area $n$ according to a Poisson process of intensity 1 and joining each point to its $k$ nearest neighbours. Balister, Bollobás, Sarkar and Walters conjectured that for every $0< ε<1$ and all $n$ sufficiently large there exists $C=C(ε)$ such that whenever the probability $S_{n,k}$ is connected is at least $ε$ then the probability $S_{n,k+C}$ is connected is at least $1-ε$. In this paper we prove this conjecture. As a corollary we prove that there is a constant $C'$ such that whenever $k=k(n)$ is a sequence of integers such that the probability $S_{n,k(n)}$ is connected tends to one as $n$ tends to infinity, then for any $s(n)$ with $s(n)=o(\log n)$, the probability that $S_{n,k(n)+C's\log \log n}$ is $s$-connected tends to one This proves another conjecture of Balister, Bollobás, Sarkar and Walters.

math.PR↗

arXiv2011

Small components in k-nearest neighbour graphs

Let $G=G_{n,k}$ denote the graph formed by placing points in a square of area $n$ according to a Poisson process of density 1 and joining each point to its $k$ nearest neighbours. Balister, Bollobás, Sarkar and Walters proved that if $k<0.3043\log n$ then the probability that $G$ is connected tends to 0, whereas if $k>0.5139\log n$ then the probability that $G$ is connected tends to 1. We prove that, around the threshold for connectivity, all vertices near the boundary of the square are part of the (unique) giant component. This shows that arguments about the connectivity of $G$ do not need to consider `boundary' effects. We also improve the upper bound for the threshold for connectivity of $G$ to $k=0.4125\log n$.

math.PR↗

arXiv2010

Transitive Sets and Cyclic Quadrilaterals

Motivated by some questions in Euclidean Ramsey theory, our aim in this note is to show that there exists a cyclic quadrilateral that does not embed into any transitive set (in any dimension). We show that in fact this holds for almost all cyclic quadrilaterals, and we also give explicit examples of such cyclic quadrilaterals. These are the first explicit examples of spherical sets that do not embed into transitive sets.

math.CO↗