BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

John Haslegrave

John Haslegrave contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.COmath.PRDiscrete MathematicsData Structures and Algorithms

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
18works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

18 published item(s)

preprint2022arXiv

Degrees in link graphs of regular graphs

We analyse an extremal question on the degrees of the link graphs of a finite regular graph, that is, the subgraphs induced by non-trivial spheres. We show that if $G$ is $d$-regular and connected but not complete then some link graph of $G$ has minimum degree at most $\lfloor 2d/3\rfloor-1$, and if $G$ is sufficiently large in terms of $d$ then some link graph has minimum degree at most $\lfloor d/2\rfloor-1$; both bounds are best possible. We also give the corresponding best-possible result for the corresponding problem where subgraphs induced by balls, rather than spheres, are considered. We motivate these questions by posing a conjecture concerning expansion of link graphs in large bounded-degree graphs, together with a heuristic justification thereof.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The number and average size of connected sets in graphs with degree constraints

The average size of connected vertex subsets of a connected graph generalises a much-studied parameter for subtrees of trees. For trees, the possible values of this parameter are critically affected by the presence or absence of vertices of degree 2. We answer two questions of Andrew Vince regarding the effect of degree constraints on general connected graphs. We give a new lower bound, and the first non-trivial upper bound, on the maximum growth rate of the number of connected sets of a cubic graph, and in fact obtain non-trivial upper bounds for any constant bound on the maximum degree. We show that the average connected set density is bounded away from 1 for graphs with no vertex of degree 2, and generalise a classical result of Jamison for trees by showing that in order for the connected set density to approach 1, the proportion of vertices of degree 2 must approach 1. Finally, we show that any sequence of graphs with minimum degree tending to infinity must have connected set density tending to 1/2.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

A time-invariant random graph with splitting events

We introduce a process where a connected rooted multigraph evolves by splitting events on its vertices, occurring randomly in continuous time. When a vertex splits, its incoming edges are randomly assigned between its offspring and a Poisson random number of edges are added between them. The process is parametrised by a positive real $λ$ which governs the limiting average degree. We show that for each value of $λ$ there is a unique random connected rooted multigraph $M(λ)$ invariant under this evolution. As a consequence, starting from any finite graph $G$ the process will almost surely converge in distribution to $M(λ)$, which does not depend on $G$. We show that this limit has finite expected size. The same process naturally extends to one in which connectedness is not necessarily preserved, and we give a sharp threshold for connectedness of this version. This is an asynchronous version, which is more realistic from the real-world network point of view, of a process we studied in arXiv:1506.02697, arXiv:1703.09011.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Three-speed ballistic annihilation: phase transition and universality

We consider ballistic annihilation, a model for chemical reactions first introduced in the 1980's physics literature. In this particle system, initial locations are given by a renewal process on the line, motions are ballistic - i.e. each particle is assigned an i.i.d. constant velocity - and collisions between pairs of particles result in mutual annihilation. We focus on the case when the velocities are symmetrically distributed among three values, i.e. particles either remain static (with given probability~$p$) or move at constant velocity uniformly chosen among $\pm1$. We establish that this model goes through a phase transition at $p_c=1/4$ between a subcritical regime where every particle eventually annihilates, and a supercritical regime where a positive density of static particles is never hit, confirming 1990s predictions of Droz et al. for the particular case of a Poisson process. Our result encompasses cases where triple collisions can happen; these are resolved by annihilation of one static and one randomly chosen moving particle. Our arguments, of combinatorial nature, show that, although the model is not completely solvable, certain large scale features can be explicitly computed, and are universal, i.e. insensitive to the distribution of the initial point process. In particular, in the critical and subcritical regimes, the asymptotics of the time decay of the densities of each type of particle is universal (among exponentially integrable interdistance distributions) and, in the supercritical regime, the distribution of the ``skyline'' process, i.e. the process restricted to the last particles to ever visit a location, has a universal description. We also prove that an alternative model introduced by Burdinski, Gupta and Junge does not share the same universality as our model, and find numerical bounds on its critical probability.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Time Dependent Biased Random Walks

We study the biased random walk where at each step of a random walk a "controller" can, with a certain small probability, move the walk to an arbitrary neighbour. This model was introduced by Azar et al. [STOC'1992]; we extend their work to the time dependent setting and consider cover times of this walk. We obtain new bounds on the cover and hitting times. Azar et al. conjectured that the controller can increase the stationary probability of a vertex from $p$ to $p^{1-ε}$; while this conjecture is not true in full generality, we propose a best-possible amended version of this conjecture and confirm it for a broad class of graphs. We also consider the problem of computing an optimal strategy for the controller to minimise the cover time and show that for directed graphs determining the cover time is PSPACE-complete.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Combinatorial universality in three-speed ballistic annihilation

We consider a one-dimensional system of particles, moving at constant velocities chosen independently according to a symmetric distribution on $\{-1,0,+1\}$, and annihilating upon collision -- with, in case of triple collision, a uniformly random choice of survivor among the two moving particles. When the system contains infinitely many particles, whose starting locations are given by a renewal process, a phase transition was proved to happen (see arXiv:1811.08709) as the density of static particles crosses the value $1/4$. Remarkably, this critical value, along with certain other statistics, was observed not to depend on the distribution of interdistances. In the present paper, we investigate further this universality by proving a stronger statement about a finite system of particles with fixed, but randomly shuffled, interdistances. We give two proofs, one by an induction allowing explicit computations, and one by a more direct comparison. This result entails a new nontrivial independence property that in particular gives access to the density of surviving static particles at a given time in the infinite model. Finally, in the asymmetric case, further similar independence properties are proved to keep holding, including a striking property of gamma distributed interdistances that contrasts with the general behavior.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Site percolation and isoperimetric inequalities for plane graphs

We use isoperimetric inequalities combined with a new technique to prove upper bounds for the site percolation threshold of plane graphs with given minimum degree conditions. In the process we prove tight new isoperimetric bounds for certain classes of hyperbolic graphs. This establishes the vertex isoperimetric constant for all triangular and square hyperbolic lattices, answering a question of Lyons and Peres. We prove that plane graphs of minimum degree at least $7$ have site percolation threshold bounded away from $1/2$, which was conjectured by Benjamini and Schramm, and make progress on a conjecture of Angel, Benjamini and Horesh that the critical probability is at most $1/2$ for plane triangulations of minimum degree $6$. We prove additional bounds for stronger minimum degree conditions, and for graphs without triangular faces.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Condensation in preferential attachment models with location-based choice

We introduce a model of a preferential attachment based random graph which extends the family of models in which condensation phenomena can occur. Each vertex has an associated uniform random variable which we call its location. Our model evolves in discrete time by selecting $r$ vertices from the graph with replacement, with probabilities proportional to their degrees plus a constant $α$. A new vertex joins the network and attaches to one of these vertices according to a given probability associated to the ranking of their locations. We give conditions for the occurrence of condensation, showing the existence of phase transitions in $α$ below which condensation occurs. The condensation in our model differs from that in preferential attachment models with fitness in that the condensation can occur at a random location, that it can be due to a persistent hub, and that there can be more than one point of condensation.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Spanning surfaces in 3-graphs

We prove a topological extension of Dirac's theorem suggested by Gowers in 2005: for any connected, closed surface $\mathscr{S}$, we show that any two-dimensional simplicial complex on $n$ vertices in which each pair of vertices belongs to at least $n/3 + o(n)$ facets contains a homeomorph of $\mathscr{S}$ spanning all the vertices. This result is asymptotically sharp, and implies in particular that any 3-uniform hypergraph on $n$ vertices with minimum codegree exceeding $n/3+o(n)$ contains a spanning triangulation of the $2$-sphere.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Majority dynamics with one nonconformist

We consider a system in which a group of agents represented by the vertices of a graph synchronously update their opinion based on that of their neighbours. If each agent adopts a positive opinion if and only if that opinion is sufficiently popular among his neighbours, the system will eventually settle into a fixed state or alternate between two states. If one agent acts in a different way, other periods may arise. We show that only a small number of periods may arise if natural restrictions are placed either on the neighbourhood structure or on the way in which the nonconforming agent may act; without either of these restrictions any period is possible.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Reaching consensus on a connected graph

We study a simple random process in which vertices of a connected graph reach consensus through pairwise interactions. We compute outcome probabilities, which do not depend on the graph structure, and consider the expected time until a consensus is reached. In some cases we are able to show that this is minimised by $K_n$. We prove an upper bound for the case $p=0$ and give a family of graphs which asymptotically achieve this bound. In order to obtain the mean of the waiting time we also study a gambler's ruin process with delays. We give the mean absorption time and prove that it monotonically increases with $p\in[0,1/2]$ for symmetric delays.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Preferential attachment with choice

We consider the degree distributions of preferential attachment random graph models with choice similar to those considered in recent work by Malyshkin and Paquette and Krapivsky and Redner. In these models a new vertex chooses $r$ vertices according to a preferential rule and connects to the vertex in the selection with the $s$th highest degree. For meek choice, where $s>1$, we show that both double exponential decay of the degree distribution and condensation-like behaviour are possible, and provide a criterion to distinguish between them. For greedy choice, where $s=1$, we confirm that the degree distribution asympotically follows a power law with logarithmic correction when $r=2$ and shows condensation-like behaviour when $r>2$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Subdivisions in the Robber Locating Game

We consider a game in which a cop searches for a moving robber on a graph using distance probes, which is a slight variation on one introduced by Seager. Carragher, Choi, Delcourt, Erickson and West showed that for any n-vertex graph $G$ there is a winning strategy for the cop on the graph $G^{1/m}$ obtained by replacing each edge of $G$ by a path of length $m$, if $m \geqslant n$. They conjectured that this bound was best possible for complete graphs, but the present authors showed that in fact the cop wins on $K^{1/m}$ if and only if $m \geqslant n/2$, for all but a few small values of $n$. In this paper we extend this result to general graphs by proving that the cop has a winning strategy on $G^{1/m}$ provided $m \geqslant n/2$ for all but a few small values of $n$; this bound is best possible. We also consider replacing the edges of $G$ with paths of varying lengths.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Bounds on Herman's algorithm

Herman's self-stabilisation algorithm allows a ring of $N$ processors having any odd number of tokens to reach a stable state where exactly one token remains. McIver and Morgan conjecture that the expected time taken for stabilisation is maximised when there are three equally-spaced tokens. We prove exact results on a related cost function, and obtain a bound on expected time which is very close to the conjectured bound.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The Robber Locating game

We consider a game in which a cop searches for a moving robber on a graph using distance probes, studied by Carragher, Choi, Delcourt, Erickson and West, which is a slight variation on one introduced by Seager. Carragher, Choi, Delcourt, Erickson and West show that for any fixed graph $G$ there is a winning strategy for the cop on the graph $G^{1/m}$, obtained by replacing each edge of $G$ by a path of length $m$, if $m$ is sufficiently large. They conjecture that the cop does not have a winning strategy on $K_n^{1/m}$ if $m<n$; we show that in fact the cop wins if and only if $m\geqslant n/2$, for all but a few small values of $n$. They also show that the robber can avoid capture on any graph of girth 3, 4 or 5, and ask whether there is any graph of girth 6 on which the cop wins. We show that there is, but that no such graph can be bipartite; in the process we give a counterexample for their conjecture that the set of graphs on which the cop wins is closed under the operation of subdividing edges. We also give a complete answer to the question of when the cop has a winning strategy on $K_{a,b}^{1/m}$.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Judicious partitions of 3-uniform hypergraphs

The vertices of any graph with $m$ edges can be partitioned into two parts so that each part meets at least $\frac{2m}{3}$ edges. Bollobás and Thomason conjectured that the vertices of any $r$-uniform graph may be likewise partitioned into $r$ classes such that each part meets at least $cm$ edges, with $c=\frac{r}{2r-1}$. In this paper, we prove this conjecture for the case $r=3$. In the course of the proof we shall also prove an extension of the graph case which was conjectured by Bollobás and Scott.

0 citations0 reviewsNo code linkedOpen access