Source author record

A. Nicholas Day

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

4works
2topics
2close collaborators

Published work

4 publications

preprint2020arXiv

Long paths and connectivity in {11}-independent random graphs

Given a graph GG, a probability measure μμ on the subsets of the edge set of GG is said to be 11-independent if events determined by edge sets that are at graph distance at least 11 apart in GG are independent. Call such a probability measure a 11-ipm on GG, and denote by Gμ\mathbf{G}_μ the associated random spanning subgraph of GG. Let M1,⩾p(G)\mathcal{M}_{1,\geqslant p}(G) (resp. M1,⩽p(G)\mathcal{M}_{1,\leqslant p}(G)) denote the collection of 11-ipms μμ on GG for which each edge is included in Gμ\mathbf{G}_μ with probability at least pp (resp. at most pp). Let Z2\mathbb{Z}^2 denote the square integer lattice. Balister and Bollobás raised the question of determining the critical value p⋆=p1,c(Z2)p_{\star}=p_{1,c}(\mathbb{Z}^2) such that for all p>p⋆p>p_{\star} and all μ∈M1,⩾p(Z2)μ\in \mathcal{M}_{1,\geqslant p}(\mathbb{Z}^2), (Z2)μ\left(\mathbf{\mathbb{Z}^2}\right)_μ almost surely contains an infinite component. This can be thought of as asking for a 11-independent analogue of the celebrated Harris--Kesten theorem. In this paper we investigate both this problem and connectivity problems for 11-ipms more generally. We give two lower bounds on p⋆p_{\star} that significantly improve on the previous bounds. Furthermore, motivated by the Russo--Seymour--Welsh lemmas, we define a 11-independent critical probability for long paths and determine its value for the line and ladder lattices. Finally, for finite graphs GG we study f1,G(p)f_{1,G}(p) (respectively F1,G(p)F_{1,G}(p)), the infimum (resp. supremum) over all μ∈M1,⩾p(G)μ\in \mathcal{M}_{1,\geqslant p}(G) (resp. all μ∈M1,⩽p(G)μ\in \mathcal{M}_{1,\leqslant p}(G)) of the probability that Gμ\mathbf{G}_μ is connected. We determine f1,G(p)f_{1,G}(p) and F1,G(p)F_{1,G}(p) exactly when GG is a path, a complete graph and a cycle of length at most 55. Many new problems arise from our work, which are discussed in the final section of the paper.

preprint2020arXiv

Maker-Breaker Percolation Games I: Crossing Grids

Motivated by problems in percolation theory, we study the following 2-player positional game. Let Λm×nΛ_{m \times n} be a rectangular grid-graph with mm vertices in each row and nn vertices in each column. Two players, Maker and Breaker, play in alternating turns. On each of her turns, Maker claims pp (as-yet unclaimed) edges of the board Λm×nΛ_{m \times n}, while on each of his turns Breaker claims qq (as-yet unclaimed) edges of the board and destroys them. Maker wins the game if she manages to claim all the edges of a crossing path joining the left-hand side of the board to its right-hand side, otherwise Breaker wins. We call this game the (p,q)(p,q)-crossing game on Λm×nΛ_{m \times n}. Given m,n∈Nm,n\in \mathbb{N}, for which pairs (p,q)(p,q) does Maker have a winning strategy for the (p,q)(p,q)-crossing game on Λm×nΛ_{m \times n}? The (1,1)(1,1)-case corresponds exactly to the popular game of Bridg-it, which is well understood due to it being a special case of the older Shannon switching game. In this paper, we study the general (p,q)(p,q)-case. Our main result is to establish the following transition: ∙\bullet If p⩾2qp\geqslant 2q, then Maker wins the game on arbitrarily long versions of the narrowest board possible, i.e. Maker has a winning strategy for the (2q,q)(2q, q)-crossing game on Λm×(q+1)Λ_{m \times(q+1)} for any m∈Nm\in \mathbb{N}; ∙\bullet if p⩽2q−1p\leqslant 2q-1, then for every width nn of the board, Breaker has a winning strategy for the (p,q)(p,q)-crossing game on Λm×nΛ_{m \times n} for all sufficiently large board-lengths mm. Our winning strategies in both cases adapt more generally to other grids and crossing games. In addition we pose many new questions and problems.

preprint2020arXiv

Maker-Breaker Percolation Games II: Escaping to Infinity

Let ΛΛ be an infinite connected graph, and let v0v_0 be a vertex of ΛΛ. We consider the following positional game. Two players, Maker and Breaker, play in alternating turns. Initially all edges of ΛΛ are marked as unsafe. On each of her turns, Maker marks pp unsafe edges as safe, while on each of his turns Breaker takes qq unsafe edges and deletes them from the graph. Breaker wins if at any time in the game the component containing v0v_0 becomes finite. Otherwise if Maker is able to ensure that v0v_0 remains in an infinite component indefinitely, then we say she has a winning strategy. This game can be thought of as a variant of the celebrated Shannon switching game. Given (p,q)(p,q) and (Λ,v0)(Λ, v_0), we would like to know: which of the two players has a winning strategy? Our main result in this paper establishes that when Λ=Z2Λ= \mathbb{Z}^2 and v0v_0 is any vertex, Maker has a winning strategy whenever p≥2qp\geq 2q, while Breaker has a winning strategy whenever 2p≤q2p\leq q. In addition, we completely determine which of the two players has a winning strategy for every pair (p,q)(p,q) when ΛΛ is an infinite dd-regular tree. Finally, we give some results for general graphs and lattices and pose some open problems.

preprint2016arXiv

Saturated Graphs of Prescribed Minimum Degree

A graph GG is HH-saturated if it contains no copy of HH as a subgraph but the addition of any new edge to GG creates a copy of HH. In this paper we are interested in the function satt(n,p)_{t}(n,p), defined to be the minimum number of edges that a KpK_{p}-saturated graph on nn vertices can have if it has minimum degree at least tt. We prove that satt(n,p)=tn−O(1)_{t}(n,p) = tn - O(1), where the limit is taken as nn tends to infinity. This confirms a conjecture of Bollobás when p=3p = 3. We also present constructions for graphs that give new upper bounds for satt(n,p)_{t}(n,p) and discuss an analogous problem for saturated hypergraphs.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.