For an arbitrary n-dimensional convex body, at least almost n Steiner symmetrizations are required in order to symmetrize the body into an isomorphic ellipsoid. We say that a body $T \subset \mathbb{R}^n$ is ‘quickly symmetrizable with function $c(\varepsilon)$’ if for any $\varepsilon > 0$ there exist only $\lfloor \varepsilon n \rfloor$ symmetrizations that transform T into a body which is $c(\varepsilon)$-isomorphic to an ellipsoid. In this note we ask, given a body $K \subset \mathbb{R}^n$, whether it is possible to remove a small portion of its volume and obtain a body $T \subset K$ which is quickly symmetrizable. We show that this question, for $c(\varepsilon)$ polynomially depending on $\frac{1}{\varepsilon}$, is equivalent to the slicing problem.

Building on the methods developed in joint work with Béla Bollobás and Svante Janson, we study the phase transition in four ‘scale-free’ random graph models, obtaining upper and lower bounds on the size of the giant component when there is one. In particular, we determine the extremely slow rate of growth of the giant component just above the phase transition. We greatly reduce the significant gaps between the existing upper and lower bounds, giving bounds that match to within a factor $1+o(1)$ in the exponent.

In all cases the method used is to couple the neighbourhood expansion process in the graph on n vertices with a continuous-type branching process that is independent of n. It can be shown (requiring some separate argument for each case) that with probability tending to 1 as $n\to\infty$ the size of the giant component divided by n is within $o(1)$ of the survival probability $\sigma$ of the branching process. This survival probability is given in terms of the maximal solution $\phi$ to certain non-linear integral equations, which can be written in the form $\phi={\bf F}(\phi)$ for a certain operator ${\bf F}$. Upper and lower bounds are found by constructing trial functions $\phi_0$, $\phi_1$ with ${\bf F}(\phi_0)\leq \phi_0$ and ${\bf F}(\phi_1)\geq \phi_1$ holding pointwise; basic properties of branching processes then imply that $\phi_1\leq \phi\leq \phi_0$, giving upper and lower bounds on $\sigma$.

If all nonzero eigenvalues of the (normalized) Laplacian of a graph $G$ are close to 1, then $G$ is $t$-Turán in the sense that any subgraph of $G$ containing no $K_{t+1}$ contains at most $(1-1/t + o(1) ) e(G)$ edges where $e(G)$ denotes the number of edges in G.

This paper is partly an overview of the subject (Sections 1–4), and partly a research paper containing proofs for new results (Sections 5–7).

We introduce a family of one-dimensional geometric growth models, constructed iteratively by locally optimizing the trade-offs between two competing metrics, and show that this family is equivalent to a family of preferential attachment random graph models with upper cut-offs. This is the first explanation of how preferential attachment can arise from a more basic underlying mechanism of local competition. We rigorously determine the degree distribution for the family of random graph models, showing that it obeys a power law up to a finite threshold and decays exponentially above this threshold.

We also rigorously analyse a generalized version of our graph process, with two natural parameters, one corresponding to the cut-off and the other a ‘fertility’ parameter. We prove that the general model has a power-law degree distribution up to a cut-off, and establish monotonicity of the power as a function of the two parameters. Limiting cases of the general model include the standard preferential attachment model without cut-off and the uniform attachment model.

Motivated by the result that an ‘approximate’ evaluation of the Jones polynomial of a braid at a 5th root of unity can be used to simulate the quantum part of any algorithm in the quantum complexity class BQP, and results relating BQP to the counting class GapP, we introduce a form of additive approximation which can be used to simulate a function in BQP. We show that all functions in the classes #P and GapP have such an approximation scheme under certain natural normalizations. However, we are unable to determine whether the particular functions we are motivated by, such as the above evaluation of the Jones polynomial, can be approximated in this way. We close with some open problems motivated by this work.

JumbleG is a Maker–Breaker game. Maker and Breaker take turns in choosing edges from the complete graph $K_n$. Maker's aim is to choose what we call an $\epsilon$-regular graph (that is, the minimum degree is at least $(\frac12-\epsilon) n$ and, for every pair of disjoint subsets $S,T\subset V$ of cardinalities at least $\epsilon n$, the number of edges $e(S,T)$ between $S$ and $T$ satisfies $\bigl|\frac{e(S,T)}{|S|\,|T|}-\frac12\bigr|\leq \epsilon$.) In this paper we show that Maker can create an $\epsilon$-regular graph, for $\epsilon\geq 2(\log n/n)^{1/3}$. We also consider a similar game, JumbleG2, where Maker's aim is to create a graph with minimum degree at least $\bigl(\frac12-\epsilon\bigr)n$ and maximum co-degree at most $\bigl(\frac14+\epsilon\bigr)n$, and show that Maker has a winning strategy for $\epsilon> 3 (\log n/n)^{1/2}$. Thus, in both games Maker can create a pseudo-random graph of density $\frac12$. This guarantees Maker's win in several other positional games, also discussed here.

A set of n triangles sharing a common edge is called a book with n pages and is denoted by $B_{n}$. It is known that the Ramsey number $r ( B_{n} ) $ satisfies $r ( B_{n} ) = ( 4+o ( 1 ) ) n.$ We show that every red–blue edge colouring of $K_{ \lfloor ( 4-\varepsilon ) n \rfloor }$ with no monochromatic $B_{n}$ exhibits quasi-random properties when $\varepsilon$ tends to 0. This implies that there is a constant $c>0$ such that for every red–blue edge colouring of $K_{r ( B_{n} ) }$ there is a monochromatic $B_{n}$ whose vertices span at least $ \lfloor cn^{2} \rfloor $ edges of the same colour as the book.

As an application we find the Ramsey number for a class of graphs.

Let ${\cal H}$ be a 3-uniform hypergraph on an $n$-element vertex set $V$. The neighbourhood of $a,b\in V$ is $N(ab):= \{x: abx\in E({\cal H})\} $. Such a 3-graph has independent neighbourhoods if no $N(ab)$ contains an edge of ${\cal H}$. This is equivalent to ${\cal H}$ not containing a copy of $\mathbb{F} :=\{ abx$, $aby$, $abz$, $xyz\}$.

In this paper we prove an analogue of the Andrásfai–Erdös–Sós theorem for triangle-free graphs with minimum degree exceeding $2n/5$. It is shown that any $\mathbb{F}$-free 3-graph with minimum degree exceeding $(\frac{4}{9}-\frac{1}{125})\binom{n}{2}$ is bipartite, (for $n> n_0$), i.e., the vertices of ${\cal H}$ can be split into two parts so that every triple meets both parts.

This is, in fact, a Turán-type result. It solves a problem of Erdös and T.Sós, and answers a question of Mubayi and Rödl that

\[\ex(n,\mathbb{F}_{3,2})=\max\limits_{\alpha}(n-\alpha)\left({\alpha\atop2}\right)\].

Here the right-hand side is $\frac{4}{9}\binom{n}{3}+O(n^2)$. Moreover $e({\cal H})={\rm ex}(n,\mathbb{F})$ is possible only if $V({\cal H})$ can be partitioned into two sets $A$ and $B$ so that each triple of ${\cal H}$ intersects $A$ in exactly two vertices and $B$ in one.

In 1978, Bollobás and Eldridge [5] made the following two conjectures.

1. (C1) There exists an absolute constant $c>0$ such that, if k is a positive integer and $G_1$ and $G_2$ are graphs of order n such that $\Delta(G_1),\Delta(G_2)\leq n-k$ and $e(G_1),e(G_2)\leq ck n$, then the graphs $G_1$ and $G_2$ pack.

2. (C2) For all $0<\alpha<1/2$ and $0<c<\sqrt{1/8}$, there exists an $n_0=n_0(\alpha,c)$ such that, if $G_1$ and $G_2$ are graphs of order $n>n_0$ satisfying $e(G_1)\leq \alpha n$ and $e(G_2)\leq c\sqrt{n^3/ \alpha}$, then the graphs $G_1$ and $G_2$ pack.

We extend a result by Füredi and Komlós and show that the first eigenvalue of a random graph is asymptotically normal, both for $G_{n,p}$ and $G_{n,m}$, provided $np\geq n^\delta$ or $m/n\geq n^\delta$ for some $\delta>0$. The asymptotic variance is of order $p$ for $G_{n,p}$, and $n^{-1}$ for $G_{n,m}$. This gives a (partial) solution to a problem raised by Krivelevich and Sudakov.

The formula for the asymptotic mean involves a mysterious power series.

For a graph G, let f(G) denote the maximum number of edges in a cut 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. In this paper we study this function for various graphs H. In particular we show that for any graph H obtained by connecting a single vertex to all vertices of a fixed nontrivial forest, there is a $c(H) >0$ such that $f(m,H) \geq \frac{m}{2} + c(H) m^{4/5}$, and that this is tight up to the value of $c(H)$. We also prove that for any even cycle $C_{2k}$ there is a $c(k)>0$ such that $f(m,C_{2k}) \geq \frac{m}{2} + c(k) m^{(2k+1)/(2k+2)}$, and that this is tight, up to the value of $c(k)$, for $2k\in \{4,6,10\}$. The proofs combine combinatorial, probabilistic and spectral techniques.

The present paper deals with two graph parameters related to cover graphs and acyclic orientations of graphs.

The parameter $c(G)$ of a graph $G$, introduced by B. Bollobás, G. Brightwell and J. Nešetřil [Order 3 245–255], is defined as the minimum number of edges one needs to delete from $G$ in order to obtain a cover graph. Extending their results, we prove that, for $\delta >0$, $(1-\delta) \frac{1}{l} \frac{n^2p}{2} \leq c({\mathcal G}_{n,p}) \leq (1+\delta) \frac{1}{l} \frac{n^2p}{2}$ asymptotically almost surely as long as $C n^{-1 + \frac{1}{l}} \leq p(n) \leq c n^{-1 + \frac{1}{ l-1} }$ for some positive constants $c$ and $C$. Here, as usual, ${\mathcal G}_{n,p}$ is the random graph.

Given an acyclic orientation of a graph $G$, an arc is called dependent if its reversal creates an oriented cycle. Let $d_{\min}(G)$ be the minimum number of dependent arcs in any acyclic orientation of $G$. We determine the supremum, denoted by $r_{\chi,g}$, of $d_{\min}(G)/e(G)$ in the class of graphs $G$ with chromatic number $\chi$ and girth $g$. Namely, we show that $r_{\chi,g} = {(\scriptsize\begin{array}{@{}c@{}}{\chi}-g+2\\ 2\end{array})} / {(\scriptsize\begin{array}{@{}c@{}}{\chi}\\ 2\end{array})}$. This extends results of D. C. Fisher, K. Fraughnaugh, L. Langley and D. B. West [J. Combin. Theory Ser. B 71 73–78].

A Fano configuration is the hypergraph of 7 vertices and 7 triplets defined by the points and lines of the finite projective plane of order 2. Proving a conjecture of T. Sós, the largest triple system on $n$ vertices containing no Fano configuration is determined (for $n> n_1$). It is 2-chromatic with $\binom{n}{3}-\binom{\lfloor n/2 \rfloor}{3} -\binom{\lceil n/2 \rceil}{3}$ triples. This is one of the very few nontrivial exact results for hypergraph extremal problems.

Suppose that $q$ is a prime power exceeding five. For every integer $N$ there exists a 3-connected GF($q$)-representable matroid that has at least $N$ inequivalent GF($q$)-representations. In contrast to this, Geelen, Oxley, Vertigan and Whittle have conjectured that, for any integer $r > 2$, there exists an integer $n(q,\, r)$ such that if $M$ is a 3-connected GF($q$)-representable matroid and $M$ has no rank-$r$ free-swirl or rank-$r$ free-spike minor, then $M$ has at most $n(q,\, r)$ inequivalent GF($q$)-representations. The main result of this paper is a proof of this conjecture for Zaslavsky's class of bias matroids.

We give new formulas for the asymptotics of the number of spanning trees of a large graph. A special case answers a question of McKay [Europ. J. Combin. 4 149–160] for regular graphs. The general answer involves a quantity for infinite graphs that we call ‘tree entropy’, which we show is a logarithm of a normalized determinant of the graph Laplacian for infinite graphs. Tree entropy is also expressed using random walks. We relate tree entropy to the metric entropy of the uniform spanning forest process on quasi-transitive amenable graphs, extending a result of Burton and Pemantle [Ann. Probab. 21 1329–1371].