Nešetřil and Ossona de Mendez introduced the notion of first-order convergence, which unifies the notions of convergence for sparse and dense graphs. They asked whether, if (G i )i∈ℕ is a sequence of graphs with M being their first-order limit and v is a vertex of M, then there exists a sequence (v i )i∈ℕ of vertices such that the graphs G i rooted at v i converge to M rooted at v. We show that this holds for almost all vertices v of M, and we give an example showing that the statement need not hold for all vertices.

The first open case of the Brown–Erdős–Sós conjecture is equivalent to the following: for every c > 0, there is a threshold n0 such that if a quasigroup has order n ⩾ n0, then for every subset S of triples of the form (a, b, ab) with |S| ⩾ cn2, there is a seven-element subset of the quasigroup which spans at least four triples of S. In this paper we prove the conjecture for finite groups.

Two players take it in turn to claim edges from a graph $G$. The first player (“Maker”) wins if at any point he has claimed $s$ edges at a vertex without the second player (“Breaker”) having claimed a single edge at that vertex. If, by the end of play, this does not occur we say that Breaker wins. Our main aim is to show that for every $s$ there is a graph $G$ in which Maker has a winning strategy.

A graph on n vertices is ε-far from a property $\mathcal{P}$ if one has to add or delete from it at least εn2 edges to get a graph satisfying $\mathcal{P}$. A graph property $\mathcal{P}$ is strongly testable if for every fixed ε > 0 it is possible to distinguish, with one-sided error, between graphs satisfying $\mathcal{P}$ and ones that are ε-far from $\mathcal{P}$ by inspecting the induced subgraph on a random subset of at most f(ε) vertices. A property is easily testable if it is strongly testable and the function f is polynomial in 1/ε, otherwise it is hard. We consider the problem of characterizing the easily testable graph properties, which is wide open, and obtain several results in its study. One of our main results shows that testing perfectness is hard. The proof shows that testing perfectness is at least as hard as testing triangle-freeness, which is hard. On the other hand, we show that being a cograph, or equivalently, induced P3-freeness where P3 is a path with 3 edges, is easily testable. This settles one of the two exceptional graphs, the other being C4 (and its complement), left open in the characterization by the first author and Shapira of graphs H for which induced H-freeness is easily testable. Our techniques yield a few additional related results, but the problem of characterizing all easily testable graph properties, or even that of formulating a plausible conjectured characterization, remains open.

Estimating numerically the spectral radius of a random walk on a non-amenable graph is complicated, since the cardinality of balls grows exponentially fast with the radius. We propose an algorithm to get a bound from below for this spectral radius in Cayley graphs with finitely many cone types (including for instance hyperbolic groups). In the genus 2 surface group, it improves by an order of magnitude the previous best bound, due to Bartholdi.

We consider a variant of the game of Cops and Robbers, called Lazy Cops and Robbers, where at most one cop can move in any round. We investigate the analogue of the cop number for this game, which we call the lazy cop number. Lazy Cops and Robbers was recently introduced by Offner and Ojakian, who provided asymptotic upper and lower bounds on the lazy cop number of the hypercube. By coupling the probabilistic method with a potential function argument, we improve on the existing lower bounds for the lazy cop number of hypercubes.

We study the expected value of the length Ln of the minimum spanning tree of the complete graph Kn when each edge e is given an independent uniform [0, 1] edge weight. We sharpen the result of Frieze [6] that limn→∞$\mathbb{E}$(Ln) = ζ(3) and show that

$$\mathbb{E}(L_n)=\zeta(3)+\frac{c_1}{n}+\frac{c_2+o(1)}{n^{4/3}},$$

The shadow of a system of sets is all sets which can be obtained by taking a set in the original system, and removing a single element. The Kruskal-Katona theorem tells us the minimum possible size of the shadow of $\mathcal A$ , if $\mathcal A$ consists of m r-element sets.

In this paper, we ask questions and make conjectures about the minimum possible size of a partial shadow for $\mathcal A$ , which contains most sets in the shadow of $\mathcal A$ . For example, if $\mathcal B$ is a family of sets containing all but one set in the shadow of each set of $\mathcal A$ , how large must $\mathcal B$ be?

Let $p(k)$ denote the partition function of $k$. For each $k\geqslant 2$, we describe a list of $p(k)-1$ quasirandom properties that a $k$-uniform hypergraph can have. Our work connects previous notions on linear hypergraph quasirandomness by Kohayakawa, Rödl, and Skokan, and by Conlon, Hàn, Person, and Schacht, and the spectral approach of Friedman and Wigderson. For each of the quasirandom properties that is described, we define the largest and the second largest eigenvalues. We show that a hypergraph satisfies these quasirandom properties if and only if it has a large spectral gap. This answers a question of Conlon, Hàn, Person, and Schacht. Our work can be viewed as a partial extension to hypergraphs of the seminal spectral results of Chung, Graham, and Wilson for graphs.

In this paper we provide two results. The first one consists of an infinitary version of the Furstenberg–Weiss theorem. More precisely we show that every subset A of a homogeneous tree T such that

$\frac{|A\cap T(n)|}{|T(n)|}\geqslant\delta,$

The second result is the following. For every sequence (mq )q∈ℕ of positive integers and for every real 0 < δ ⩽ 1, there exists a sequence (nq )q∈ℕ of positive integers such that for every D ⊆ ∪k ∏q=0 k-1[nq ] satisfying

$\frac{\big|D\cap \prod_{q=0}^{k-1} [n_q]\big|s}{\prod_{q=0}^{k-1}n_q}\geqslant\delta$

We study sum-free sets in sparse random subsets of even-order abelian groups. In particular, we determine the sharp threshold for the following property: the largest such set is contained in some maximum-size sum-free subset of the group. This theorem extends recent work of Balogh, Morris and Samotij, who resolved the case G = ℤ2n, and who obtained a weaker threshold (up to a constant factor) in general.

We provide primitive recursive bounds for the finite version of Gowers’ $c_{0}$ theorem for both the positive and the general case. We also provide multidimensional versions of these results.

In this paper, we consider the so-called “Furstenberg set problem” in high dimensions. First, following Wolff’s work on the two-dimensional real case, we provide “reasonable” upper bounds for the problem for $\mathbb{R}$ or $\mathbb{F}_{p}$. Next we study the “critical” case and improve the “trivial” exponent by ${\rm\Omega}(1/n^{2})$ for $\mathbb{F}_{p}^{n}$. Our key tool in obtaining this lower bound is a theorem about how things behave when the Loomis–Whitney inequality is nearly sharp, as it helps us to reduce the problem to dimension two.

Over 50 years ago, Erdős and Gallai conjectured that the edges of every graph on n vertices can be decomposed into O(n) cycles and edges. Among other results, Conlon, Fox and Sudakov recently proved that this holds for the random graph G(n, p) with probability approaching 1 as n → ∞. In this paper we show that for most edge probabilities G(n, p) can be decomposed into a union of n/4 + np/2 + o(n) cycles and edges w.h.p. This result is asymptotically tight.

We define a pseudometric on the set of all unbounded subsets of a metric space. The Kolmogorov quotient of this pseudometric space is a complete metric space. The definition of the pseudometric is guided by the principle that two unbounded subsets have distance 0 whenever they stay sublinearly close. Based on this pseudometric we introduce and study a general concept of boundaries of metric spaces. Such a boundary is the closure of a subset in the Kolmogorov quotient determined by an arbitrarily chosen family of unbounded subsets. Our interest lies in those boundaries which we get by choosing unbounded cyclic sub(semi)groups of a finitely generated group (or more general of a compactly generated, locally compact Hausdorff group). We show that these boundaries are quasi-isometric invariants and determine them in the case of nilpotent groups as a disjoint union of certain spheres (or projective spaces). In addition we apply this concept to vertex-transitive graphs with polynomial growth and to random walks on nilpotent groups.

In this paper we give a short proof of the Random Ramsey Theorem of Rödl and Ruciński: for any graph F which contains a cycle and r ≥ 2, there exist constants c, C > 0 such that

$$\begin{equation*}\Pr[G_{n,p} \rightarrow (F)_r^e] =\begin{cases}1-o(1) &p\ge Cn^{-1/m_2(F)},\\o(1) &p\le cn^{-1/m_2(F)},\end{cases}\end{equation*}$$

$$\begin{equation*}m_2(F) = \max_{J\subseteq F, v_J\ge 2} \frac{e_J-1}{v_J-2}.\end{equation*}$$

We show that for every sufficiently large n, the number of monotone subsequences of length four in a permutation on n points is at least

\begin{equation*}\binom{\lfloor{n/3}\rfloor}{4} + \binom{\lfloor{(n+1)/3}\rfloor}{4} + \binom{\lfloor{(n+2)/3}\rfloor}{4}.\end{equation*}

We provide an introduction to enumerating and constructing invariants of group representations via character methods. The problem is contextualized via two case studies, arising from our recent work: entanglement invariants for characterizing the structure of state spaces for composite quantum systems; and Markov invariants, a robust alternative to parameter-estimation intensive methods of statistical inference in molecular phylogenetics.

We establish a connection between epidemic models on random networks with general infection times considered in Barbour and Reinert (2013) and first passage percolation. Using techniques developed in Bhamidi, van der Hofstad and Hooghiemstra (2012), when each vertex has infinite contagious periods, we extend results on the epidemic curve in Barbour and Reinert (2013) from bounded degree graphs to general sparse random graphs with degrees having finite second moments as n → ∞, with an appropriate X 2log+ X condition. We also study the epidemic trail between the source and typical vertices in the graph.

Motivated by the analysis of social networks, we study a model of random networks that has both a given degree distribution and a tunable clustering coefficient. We consider two types of growth process on these graphs that model the spread of new ideas, technologies, viruses, or worms: the diffusion model and the symmetric threshold model. For both models, we characterize conditions under which global cascades are possible and compute their size explicitly, as a function of the degree distribution and the clustering coefficient. Our results are applied to regular or power-law graphs with exponential cutoff and shed new light on the impact of clustering.