arXiv++ Combinatorics

We introduce a new positional game called `Toucher-Isolator', which is a quantitative version of a Maker-Breaker type game. The playing board is the set of edges of a given graph G, and the two players, Toucher and Isolator, claim edges alternately. The aim of Toucher is to `touch' as many vertices as possible (i.e. to maximise the number of vertices that are incident to at least one of her chosen edges), and the aim of Isolator is to minimise the number of vertices that are so touched. We analyse the number of untouched vertices u(G) at the end of the game when both Toucher and Isolator play optimally, obtaining results both for general graphs and for particularly interesting classes of graphs, such as cycles, paths, trees, and k-regular graphs. We also provide tight examples.

We investigate the genus $g(n,m)$ of the Erdős-Rényi random graph $G(n,m)$, providing a thorough description of how this relates to the function $m=m(n)$, and finding that there is different behaviour depending on which `region' $m$ falls into. Results already exist for $m \le \frac{n}{2} + O(n^{2/3})$ and $m = ω\left( n^{1+\frac{1}{j}} \right)$ for $j \in \mathbb{N}$, and so we focus on the intermediate cases. We establish that $g(n,m) = (1+o(1)) \frac{m}{2}$ whp (with high probability) when $n \ll m = n^{1+o(1)}$, that $g(n,m) = (1+o(1)) μ(λ) m$ whp for a given function $μ(λ)$ when $m \sim λn$ for $λ> \frac{1}{2}$, and that $g(n,m) = (1+o(1)) \frac{8s^{3}}{3n^{2}}$ whp when $m = \frac{n}{2} + s$ for $n^{2/3} \ll s \ll n$. We then also show that the genus of a fixed graph can increase dramatically if a small number of random edges are added. Given any connected graph with bounded maximum degree, we find that the addition of $εn$ edges will whp result in a graph with genus $Ω(n)$, even when $ε$ is an arbitrarily small constant! We thus call this the `fragile genus' property.

For integers $g,m \geq 0$ and $n>0$, let $S_{g}(n,m)$ denote the graph taken uniformly at random from the set of all graphs on $\{1,2, \ldots, n\}$ with exactly $m=m(n)$ edges and with genus at most $g$. We use counting arguments to investigate the components, subgraphs, maximum degree, and largest face size of $S_{g}(n,m)$, finding that there is often different asymptotic behaviour depending on the ratio $\frac{m}{n}$. In our main results, we show that the probability that $S_{g}(n,m)$ contains any given non-planar component converges to $0$ as $n \to \infty$ for all $m(n)$; the probability that $S_{g}(n,m)$ contains a copy of any given planar graph converges to $1$ as $n \to \infty$ if $\liminf \frac{m}{n} > 1$; the maximum degree of $S_{g}(n,m)$ is $Θ(\ln n)$ with high probability if $\liminf \frac{m}{n} > 1$; and the largest face size of $S_{g}(n,m)$ has a threshold around $\frac{m}{n}=1$ where it changes from $Θ(n)$ to $Θ(\ln n)$ with high probability.

We study the topic of "extremal" planar graphs, defining $\mathrm{ex_{_{\mathcal{P}}}}(n,H)$ to be the maximum number of edges possible in a planar graph on $n$ vertices that does not contain a given graph $H$ as a subgraph. In particular,we examine the case when $H$ is a small cycle,obtaining $\mathrm{ex_{_{\mathcal{P}}}}(n,C_{4}) \leq \frac{15}{7}(n-2)$ for all $n \geq 4$ and $\mathrm{ex_{_{\mathcal{P}}}}(n,C_{5}) \leq \frac{12n-33}{5}$ for all $n \geq 11$, and showing that both of these bounds are tight.

Random planar graphs have been the subject of much recent work. Many basic properties of the standard uniform random planar graph P_{n}, by which we mean a graph chosen uniformly at random from the set of all planar graphs with vertex set {1,2,...,n}, are now known, and variations on this standard random graph are also attracting interest. Prominent among the work on P_{n} have been asymptotic results for the probability that P_{n} will be connected or contain given components/subgraphs. Such progress has been achieved through a combination of counting arguments and a generating function approach. More recently, attention has turned to P_{n,m}, the graph taken uniformly at random from the set of all planar graphs on {1,2,...,n} with exactly m(n) edges (this can be thought of as a uniform random planar graph with a constraint on the average degree). The case when m(n) = qn for fixed q in (1,3) has been investigated, and results obtained for the events that P_{n,qn} will be connected and that P_{n,qn} will contain given subgraphs. In Part I of this thesis, we use elementary counting arguments to extend the current knowledge of P_{n,m}. We investigate the probability that P_{n,m} will contain given components, the probability that P_{n,m} will contain given subgraphs, and the probability that P_{n,m} will be connected, all for general m(n), and show that there is different behaviour depending on which `region' the ratio m(n)/n falls into. In Part II, we investigate the same three topics for a uniform random planar graph with constraints on the maximum and minimum degrees.

Let P_{n,d,D} denote the graph taken uniformly at random from the set of all labelled planar graphs on {1,2,...,n} with minimum degree at least d(n) and maximum degree at most D(n). We use counting arguments to investigate the probability that P_{n,d,D} wll contain given components and subgraphs, showing exactly when this is bounded away from 0 and 1 as n tends to infinity.

We shall present an algorithm for determining whether or not a given planar graph H can ever be a subgraph of a 4-regular planar graph. The algorithm has running time O(|H|^{2.5}) and can be used to find an explicit 4-regular planar graph G containing H if such a graph exists. It shall not matter whether we specify that H and G must be simple graphs or allow them to be multigraphs.

In this paper, we investigate a problem concerning quartets, which are a particular type of tree on four leaves. Loosely speaking, a set of quartets is said to be `definitive' if it completely encapsulates the structure of some larger tree, and `minimal' if it contains no redundant information. Here, we address the question of how large a minimal definitive quartet set on n leaves can be, showing that the maximum size is at least 2n-8 for all n>3. This is an enjoyable problem to work on, and we present a pretty construction, which employs symmetry.

The topic of diversity is an interesting subject, both as a purely mathematical concept and also for its applications to important real-life situations. Unfortunately, although the meaning of diversity seems intuitively clear, no precise mathematical definition exists. In this paper, we adopt an axiomatic approach to the problem, and attempt to produce a satisfactory measure.

Let P_{n,m} denote the graph taken uniformly at random from the set of all planar graphs on {1,2,..., n} with exactly m(n) edges. We use counting arguments to investigate the probability that P_{n,m} will contain given components and subgraphs, finding that there is different asymptotic behaviour depending on the ratio m/n.