A class of graphs is called bridge-addable if, for each graph in the class and each pair u and v of vertices in different components, the graph obtained by adding an edge joining u and v must also be in the class. The concept was introduced in 2005 by McDiarmid, Steger and Welsh, who showed that, for a random graph sampled uniformly from such a class, the probability that it is connected is at least 1/e.

We generalize this and related results to bridge-addable classes with edge-weights which have an edge-expansion property. Here, a graph is sampled with probability proportional to the product of its edge-weights. We obtain for example lower bounds for the probability of connectedness of a graph sampled uniformly from a relatively bridge-addable class of graphs, where some but not necessarily all of the possible bridges are allowed to be introduced. Furthermore, we investigate whether these bounds are tight, and in particular give detailed results about random forests in complete balanced multipartite graphs.

We consider two notions describing how one finite graph may be larger than another. Using them, we prove several theorems for such pairs that compare the number of spanning trees, the return probabilities of random walks, and the number of independent sets, among other combinatorial quantities. Our methods involve inequalities for determinants, for traces of functions of operators, and for entropy.

Computer or communication networks are so designed that they do not easily get disrupted under external attack. Moreover, they are easily reconstructed when they do get disrupted. These desirable properties of networks can be measured by various parameters, such as connectivity, toughness and scattering number. Among these parameters, the isolated scattering number is a comparatively better parameter to measure the vulnerability of networks. In this paper we first prove that for split graphs, this number can be computed in polynomial time. Then we determine the isolated scattering number of the Cartesian product and the Kronecker product of special graphs and special permutation graphs.

Given a family of r-uniform hypergraphs ${\cal F}$ (or r-graphs for brevity), the Turán number ex(n, ${\cal F})$ of ${\cal F}$ is the maximum number of edges in an r-graph on n vertices that does not contain any member of ${\cal F}$ . A pair {u,v} is covered in a hypergraph G if some edge of G contains {u, v}. Given an r-graph F and a positive integer p ⩾ n(F), where n(F) denotes the number of vertices in F, let HFp denote the r-graph obtained as follows. Label the vertices of F as v 1,. . .,vn (F). Add new vertices vn(F)+1 ,. . .,vp . For each pair of vertices vi, vj not covered in F, add a set Bi,j of r − 2 new vertices and the edge {vi, vj } ∪ Bi,j , where the Bi,j are pairwise disjoint over all such pairs {i, j}. We call HFp the expanded p-clique with an embedded F. For a relatively large family of F, we show that for all sufficiently large n, ex(n,HFp ) = |Tr (n, p − 1)|, where Tr (n, p − 1) is the balanced complete (p − 1)-partite r-graph on n vertices. We also establish structural stability of near-extremal graphs. Our results generalize or strengthen several earlier results and provide a class of hypergraphs for which the Turán number is exactly determined (for large n).

Paolo Aluffi, inspired by an algebro-geometric problem, asked when the Kirchhoff polynomial of a graph is in the Jacobian ideal of the Kirchhoff polynomial of the same graph with one edge deleted. We give some results on which graph–edge pairs have this property. In particular, we show that multiple edges can be reduced to double edges, we characterize which edges of wheel graphs satisfy the property, we consider a stronger condition which guarantees the property for any parallel join, and we find a class of series–parallel graphs with the property.

A permutoid is a set of partial permutations that contains the identity and is such that partial compositions, when defined, have at most one extension in the set. In 2004 Peter Cameron conjectured that there can exist no algorithm that determines whether or not a permutoid based on a finite set can be completed to a finite permutation group. In this note we prove Cameron’s conjecture by relating it to our recent work on the profinite triviality problem for finitely presented groups. We also prove that the existence problem for finite developments of rigid pseudogroups is unsolvable. In an appendix, Steinberg recasts these results in terms of inverse semigroups.

Let $\mathcal F$ ⊂ 2[n] be a family of subsets. The diameter of $\mathcal F$ is the maximum of the size of symmetric differences among pairs of members of $\mathcal F$ . In 1966 Kleitman determined the maximum of | $\mathcal F$ | for fixed diameter. However, this important classical result lacked a characterization of the families meeting the bound. This is remedied in the present paper, where a best possible stability result is established as well.

In Section 4 we introduce a ‘parity trick’ that provides an easy way of deducing the odd case from the even case in both Kleitman's original theorem and its stability version.

The unconstrained exponential family of random graphs assumes no prior knowledge of the graph before sampling, but it is natural to consider situations where partial information about the graph is known, for example the total number of edges. What does a typical random graph look like, if drawn from an exponential model subject to such constraints? Will there be a similar phase transition phenomenon (as one varies the parameters) as that which occurs in the unconstrained exponential model? We present some general results for this constrained model and then apply them to obtain concrete answers in the edge-triangle model with fixed density of edges.

We consider a marking procedure of the vertices of a tree where each vertex is marked independently from the others with a probability that depends only on its out-degree. We prove that a critical Galton–Watson tree conditioned on having a large number of marked vertices converges in distribution to the associated size-biased tree. We then apply this result to give the limit in distribution of a critical Galton–Watson tree conditioned on having a large number of protected nodes.

In this paper we study the treewidth of the random geometric graph, obtained by dropping n points onto the square [0,√n]2 and connecting pairs of points by an edge if their distance is at most r=r(n). We prove a conjecture of Mitsche and Perarnau (2014) stating that, with probability going to 1 as n→∞, the treewidth of the random geometric graph is 𝜣(r√n) when lim inf r>r c, where r c is the critical radius for the appearance of the giant component. The proof makes use of a comparison to standard bond percolation and with a little bit of extra work we are also able to show that, with probability tending to 1 as k→∞, the treewidth of the graph we obtain by retaining each edge of the k×k grid with probability p is 𝜣(k) if p>½ and 𝜣(√log k) if p<½.

We prove nonuniversality results for first-passage percolation on the configuration model with independent and identically distributed (i.i.d.) degrees having infinite variance. We focus on the weight of the optimal path between two uniform vertices. Depending on the properties of the weight distribution, we use an example-based approach and show that rather different behaviours are possible. When the weights are almost surely larger than a constant, the weight and number of edges in the graph grow proportionally to log log n, as for the graph distances. On the other hand, when the continuous-time branching process describing the first-passage percolation exploration through the graph reaches infinitely many vertices in finite time, the weight converges to the sum of two i.i.d. random variables representing the explosion times of the continuous-time processes started from the two sources. This nonuniversality is in sharp contrast to the setting where the degree sequence has a finite variance, Bhamidi et al. (2012).

A point process is R-dependent if it behaves independently beyond the minimum distance R. In this paper we investigate uniform positive lower bounds on the avoidance functions of R-dependent simple point processes with a common intensity. Intensities with such bounds are characterised by the existence of Shearer's point process, the unique R-dependent and R-hard-core point process with a given intensity. We also present several extensions of the Lovász local lemma, a sufficient condition on the intensity and R to guarantee the existence of Shearer's point process and exponential lower bounds. Shearer's point process shares a combinatorial structure with the hard-sphere model with radius R, the unique R-hard-core Markov point process. Bounds from the Lovász local lemma convert into lower bounds on the radius of convergence of a high-temperature cluster expansion of the hard-sphere model. This recovers a classic result of Ruelle (1969) on the uniqueness of the Gibbs measure of the hard-sphere model via an inductive approach of Dobrushin (1996).

For a graph $G$ , let $f(G)$ denote the maximum number of edges in a bipartite subgraph of $G$ . For an integer $m$ and for a fixed graph $H$ , let $f(m,H)$ denote the minimum possible cardinality of $f(G)$ as $G$ ranges over all graphs on $m$ edges that contain no copy of $H$ . We give a general lower bound for $f(m,H)$ which extends a result of Erdős and Lovász and we study this function for any bipartite graph $H$ with maximum degree at most $t\geq 2$ on one side.

We study the relationship between a $\unicode[STIX]{x1D705}$ -Souslin tree $T$ and its reduced powers $T^{\unicode[STIX]{x1D703}}/{\mathcal{U}}$ .

Previous works addressed this problem from the viewpoint of a single power $\unicode[STIX]{x1D703}$ , whereas here, tools are developed for controlling different powers simultaneously. As a sample corollary, we obtain the consistency of an $\aleph _{6}$ -Souslin tree $T$ and a sequence of uniform ultrafilters $\langle {\mathcal{U}}_{n}\mid n<6\rangle$ such that $T^{\aleph _{n}}/{\mathcal{U}}_{n}$ is $\aleph _{6}$ -Aronszajn if and only if $n<6$ is not a prime number.

This paper is the first application of the microscopic approach to Souslin-tree construction, recently introduced by the authors. A major component here is devising a method for constructing trees with a prescribed combination of freeness degree and ascent-path characteristics.

We investigate the number of 4-edge paths in graphs with a given number of vertices and edges, proving an asymptotically sharp upper bound on this number. The extremal construction is the quasi-star or the quasi-clique graph, depending on the edge density. An easy lower bound is also proved. This answer resembles the classic theorem of Ahlswede and Katona about the maximal number of 2-edge paths, and a recent theorem of Kenyon, Radin, Ren and Sadun about k-edge stars.

The dichromatic number of a graph $G$ is the maximum integer $k$ such that there exists an orientation of the edges of $G$ such that for every partition of the vertices into fewer than $k$ parts, at least one of the parts must contain a directed cycle under this orientation. In 1979, Erdős and Neumann-Lara conjectured that if the dichromatic number of a graph is bounded, so is its chromatic number. We make the first significant progress on this conjecture by proving a fractional version of the conjecture. While our result uses a stronger assumption about the fractional chromatic number, it also gives a much stronger conclusion: if the fractional chromatic number of a graph is at least $t$ , then the fractional version of the dichromatic number of the graph is at least ${\textstyle \frac{1}{4}}t/\log _{2}(2et^{2})$ . This bound is best possible up to a small constant factor. Several related results of independent interest are given.

Let ℱ be a family of graphs and let d be large enough. For every d-regular graph G, we study the existence of a spanning ℱ-free subgraph of G with large minimum degree. This problem is well understood if ℱ does not contain bipartite graphs. Here we provide asymptotically tight results for many families of bipartite graphs such as cycles or complete bipartite graphs. To prove these results, we study a locally injective analogue of the question.

Let k ⩾ 3 be a fixed integer and let Zk (G) be the number of k-colourings of the graph G. For certain values of the average degree, the random variable Zk (G(n, m)) is known to be concentrated in the sense that $\tfrac{1}{n}(\ln Z_k(G(n,m))-\ln\Erw[Z_k(G(n,m))])$ converges to 0 in probability (Achlioptas and Coja-Oghlan, Proc. FOCS 2008). In the present paper we prove a significantly stronger concentration result. Namely, we show that for a wide range of average degrees, $\tfrac{1}{\omega}(\ln Z_k(G(n,m))-\ln\Erw[Z_k(G(n,m))])$ converges to 0 in probability for any diverging function $\omega=\omega(n)\ra\infty$ . For k exceeding a certain constant k 0 this result covers all average degrees up to the so-called condensation phase transitiond k,con , and this is best possible. As an application, we show that the experiment of choosing a k-colouring of the random graph G(n,m) uniformly at random is contiguous with respect to the so-called ‘planted model’.

For each integer $d\geqslant 3$ , we obtain a characterization of all graphs in which the ball of radius $3$ around each vertex is isomorphic to the ball of radius 3 in $\mathbb{L}^{d}$ , the graph of the $d$ -dimensional integer lattice. The finite, connected graphs with this property have a highly rigid, ‘global’ algebraic structure; they can be viewed as quotient lattices of $\mathbb{L}^{d}$ in various compact $d$ -dimensional orbifolds which arise from crystallographic groups. We give examples showing that ‘radius 3’ cannot be replaced by ‘radius 2’, and that ‘orbifold’ cannot be replaced by ‘manifold’. In the $d=2$ case, our methods yield new proofs of structure theorems of Thomassen [‘Tilings of the Torus and Klein bottle and vertex-transitive graphs on a fixed surface’, Trans. Amer. Math. Soc.323 (1991), 605–635] and of Márquez et al. [‘Locally grid graphs: classification and Tutte uniqueness’, Discrete Math.266 (2003), 327–352], and also yield short, ‘algebraic’ restatements of these theorems. Our proofs use a mixture of techniques and results from combinatorics, geometry and group theory.