We prove the Erdős–Sós conjecture for trees with bounded maximum degree and large dense host graphs. As a corollary, we obtain an upper bound on the multicolour Ramsey number of large trees whose maximum degree is bounded by a constant.

A set of integers is primitive if it does not contain an element dividing another. Let f(n) denote the number of maximum-size primitive subsets of {1,…,2n}. We prove that the limit α = limn→∞f(n)1/n exists. Furthermore, we present an algorithm approximating α with (1 + ε) multiplicative error in N(ε) steps, showing in particular that α ≈ 1.318. Our algorithm can be adapted to estimate the number of all primitive sets in {1,…,n} as well.

We address another related problem of Cameron and Erdős. They showed that the number of sets containing pairwise coprime integers in {1,…n} is between ${2^{\pi (n)}} \cdot {e^{(1/2 + o(1))\sqrt n }}$ and ${2^{\pi (n)}} \cdot {e^{(2 + o(1))\sqrt n }}$. We show that neither of these bounds is tight: there are in fact ${2^{\pi (n)}} \cdot {e^{(1 + o(1))\sqrt n }}$ such sets.

Let A be a finite set with , let n be a positive integer, and let $A^n$ denote the discrete $n\text {-dimensional}$ hypercube (that is, $A^n$ is the Cartesian product of n many copies of A). Given a family $\langle D_t:t\in A^n\rangle $ of measurable events in a probability space (a stochastic process), what structural information can be obtained assuming that the events $\langle D_t:t\in A^n\rangle $ are not behaving as if they were independent? We obtain an answer to this problem (in a strong quantitative sense) subject to a mild ‘stationarity’ condition. Our result has a number of combinatorial consequences, including a new (and the most informative so far) proof of the density Hales-Jewett theorem.

We initiate the program of extending to higher-rank graphs (k-graphs) the geometric classification of directed graph $C^*$ -algebras, as completed in Eilers et al. (2016, Preprint). To be precise, we identify four “moves,” or modifications, one can perform on a k-graph $\Lambda $ , which leave invariant the Morita equivalence class of its $C^*$ -algebra $C^*(\Lambda )$ . These moves—in-splitting, delay, sink deletion, and reduction—are inspired by the moves for directed graphs described by Sørensen (Ergodic Th. Dyn. Syst. 33(2013), 1199–1220) and Bates and Pask (Ergodic Th. Dyn. Syst. 24(2004), 367–382). Because of this, our perspective on k-graphs focuses on the underlying directed graph. We consequently include two new results, Theorem 2.3 and Lemma 2.9, about the relationship between a k-graph and its underlying directed graph.

The aim of this article is to provoke discussion concerning arithmetic properties of the function $p_{d}(n)$ counting partitions of a positive integer n into dth powers, where $d\geq 2$ . Apart from results concerning the asymptotic behaviour of $p_{d}(n)$ , little is known. In the first part of the paper, we prove certain congruences involving functions counting various types of partitions into dth powers. The second part of the paper is experimental and contains questions and conjectures concerning the arithmetic behaviour of the sequence $(p_{d}(n))_{n\in \mathbb {N}}$ , based on computations of $p_{d}(n)$ for $n\leq 10^5$ for $d=2$ and $n\leq 10^{6}$ for $d=3, 4, 5$ .

In the group testing problem the aim is to identify a small set of k ⁓ nθ infected individuals out of a population size n, 0 < θ < 1. We avail ourselves of a test procedure capable of testing groups of individuals, with the test returning a positive result if and only if at least one individual in the group is infected. The aim is to devise a test design with as few tests as possible so that the set of infected individuals can be identified correctly with high probability. We establish an explicit sharp information-theoretic/algorithmic phase transition minf for non-adaptive group testing, where all tests are conducted in parallel. Thus with more than minf tests the infected individuals can be identified in polynomial time with high probability, while learning the set of infected individuals is information-theoretically impossible with fewer tests. In addition, we develop an optimal adaptive scheme where the tests are conducted in two stages.

Bollobás and Riordan, in their paper ‘Metrics for sparse graphs’, proposed a number of provocative conjectures extending central results of quasirandom graphs and graph limits to sparse graphs. We refute these conjectures by exhibiting a sequence of graphs with convergent normalized subgraph densities (and pseudorandom C4-counts), but with no limit expressible as a kernel.

Let G be a simple graph that is properly edge-coloured with m colours and let \[\mathcal{M} = \{ {M_1},...,{M_m}\} \] be the set of m matchings induced by the colours in G. Suppose that \[m \leqslant n - {n^c}\], where \[c > 9/10\], and every matching in \[\mathcal{M}\] has size n. Then G contains a full rainbow matching, i.e. a matching that contains exactly one edge from Mi for each \[1 \leqslant i \leqslant m\]. This answers an open problem of Pokrovskiy and gives an affirmative answer to a generalization of a special case of a conjecture of Aharoni and Berger. Related results are also found for multigraphs with edges of bounded multiplicity, and for hypergraphs.

Finally, we provide counterexamples to several conjectures on full rainbow matchings made by Aharoni and Berger.

We link distinct concepts of geometric group theory and homotopy theory through underlying combinatorics. For a flag simplicial complex $K$, we specify a necessary and sufficient combinatorial condition for the commutator subgroup $RC_K'$ of a right-angled Coxeter group, viewed as the fundamental group of the real moment-angle complex $\mathcal {R}_K$, to be a one-relator group; and for the Pontryagin algebra $H_{*}(\Omega \mathcal {Z}_K)$ of the moment-angle complex to be a one-relator algebra. We also give a homological characterization of these properties. For $RC_K'$, it is given by a condition on the homology group $H_2(\mathcal {R}_K)$, whereas for $H_{*}(\Omega \mathcal {Z}_K)$ it is stated in terms of the bigrading of the homology groups of $\mathcal {Z}_K$.

We show that there are biases in the number of appearances of the parts in two residue classes in the set of ordinary partitions. More precisely, let $p_{j,k,m} (n)$ be the number of partitions of n such that there are more parts congruent to j modulo m than parts congruent to k modulo m for $m \geq 2$ . We prove that $p_{1,0,m} (n)$ is in general larger than $p_{0,1,m} (n)$ . We also obtain asymptotic formulas for $p_{1,0,m}(n)$ and $p_{0,1,m}(n)$ for $m \geq 2$ .

We prove that sets with positive upper Banach density in sufficiently large dimensions contain congruent copies of all sufficiently large dilates of three specific higher-dimensional patterns. These patterns are: 2n vertices of a fixed n-dimensional rectangular box, the same vertices extended with n points completing three-term arithmetic progressions, and the same vertices extended with n points completing three-point corners. Our results provide common generalizations of several Euclidean density theorems from the literature.

Andrews introduced the partition function $\overline {C}_{k, i}(n)$ , called the singular overpartition function, which counts the number of overpartitions of n in which no part is divisible by k and only parts $\equiv \pm i\pmod {k}$ may be overlined. We prove that $\overline {C}_{6, 2}(n)$ is almost always divisible by $2^k$ for any positive integer k. We also prove that $\overline {C}_{6, 2}(n)$ and $\overline {C}_{12, 4}(n)$ are almost always divisible by $3^k$ . Using a result of Ono and Taguchi on nilpotency of Hecke operators, we find infinite families of congruences modulo arbitrary powers of $2$ satisfied by $\overline {C}_{6, 2}(n)$ .

For numerical semigroups with a specified list of (not necessarily minimal) generators, we describe the asymptotic distribution of factorization lengths with respect to an arbitrary modulus. In particular, we prove that the factorization lengths are equidistributed across all congruence classes that are not trivially ruled out by modular considerations.

Vertex-primitive self-complementary graphs were proved to be affine or in product action by Guralnick et al. [‘On orbital partitions and exceptionality of primitive permutation groups’, Trans. Amer. Math. Soc.356 (2004), 4857–4872]. The product action type is known in some sense. In this paper, we provide a generic construction for the affine case and several families of new self-complementary Cayley graphs are constructed.

A graph $\Gamma $ is called $(G, s)$ -arc-transitive if $G \le \text{Aut} (\Gamma )$ is transitive on the set of vertices of $\Gamma $ and the set of s-arcs of $\Gamma $ , where for an integer $s \ge 1$ an s-arc of $\Gamma $ is a sequence of $s+1$ vertices $(v_0,v_1,\ldots ,v_s)$ of $\Gamma $ such that $v_{i-1}$ and $v_i$ are adjacent for $1 \le i \le s$ and $v_{i-1}\ne v_{i+1}$ for $1 \le i \le s-1$ . A graph $\Gamma $ is called 2-transitive if it is $(\text{Aut} (\Gamma ), 2)$ -arc-transitive but not $(\text{Aut} (\Gamma ), 3)$ -arc-transitive. A Cayley graph $\Gamma $ of a group G is called normal if G is normal in $\text{Aut} (\Gamma )$ and nonnormal otherwise. Fang et al. [‘On edge transitive Cayley graphs of valency four’, European J. Combin.25 (2004), 1103–1116] proved that if $\Gamma $ is a tetravalent 2-transitive Cayley graph of a finite simple group G, then either $\Gamma $ is normal or G is one of the groups $\text{PSL}_2(11)$ , ${\rm M} _{11}$ , $\text{M} _{23}$ and $A_{11}$ . However, it was unknown whether $\Gamma $ is normal when G is one of these four groups. We answer this question by proving that among these four groups only $\text{M} _{11}$ produces connected tetravalent 2-transitive nonnormal Cayley graphs. We prove further that there are exactly two such graphs which are nonisomorphic and both are determined in the paper. As a consequence, the automorphism group of any connected tetravalent 2-transitive Cayley graph of any finite simple group is determined.

A graph is called radially maximal if it is not complete and the addition of any new edge decreases its radius. Harary and Thomassen [‘Anticritical graphs’, Math. Proc. Cambridge Philos. Soc.79(1) (1976), 11–18] proved that the radius r and diameter d of any radially maximal graph satisfy $r\le d\le 2r-2.$ Dutton et al. [‘Changing and unchanging of the radius of a graph’, Linear Algebra Appl.217 (1995), 67–82] rediscovered this result with a different proof and conjectured that the converse is true, that is, if r and d are positive integers satisfying $r\le d\le 2r-2,$ then there exists a radially maximal graph with radius r and diameter $d.$ We prove this conjecture and a little more.

We prove a number of results related to a problem of Po-Shen Loh [9], which is equivalent to a problem in Ramsey theory. Let a = (a1, a2, a3) and b = (b1, b2, b3) be two triples of integers. Define a to be 2-less than b if ai < bi for at least two values of i, and define a sequence a1, …, am of triples to be 2-increasing if ar is 2-less than as whenever r < s. Loh asks how long a 2-increasing sequence can be if all the triples take values in {1, 2, …, n}, and gives a log* improvement over the trivial upper bound of n2 by using the triangle removal lemma. In the other direction, a simple construction gives a lower bound of n3/2. We look at this problem and a collection of generalizations, improving some of the known bounds, pointing out connections to other well-known problems in extremal combinatorics, and asking a number of further questions.

Le nombre chromatique relatif $c_0(S)$ d’une surface compacte S à bord est défini comme la borne supérieure des nombres chromatiques des graphes plongés dans S avec tous leurs sommets sur $\partial S$ . Cet invariant topologique a été introduit pour l’étude de la multiplicité de la première valeur propre de Steklov sur S. Dans cet article, on montre que $c_0(S)$ est aussi pertinent pour l’étude des plongements polyédraux tendus de S en établissant deux résultats. Le premier est que s’il existe un plongement polyédral tendu de S dans $\mathbb {R}^n$ qui n’est pas contenu dans un hyperplan, alors $n\leq c_0(S)-1$ . Le second est que cette inégalité est optimale pour les surfaces de petit genre.

We prove that if the set of unordered pairs of real numbers is coloured by finitely many colours, there is a set of reals homeomorphic to the rationals whose pairs have at most two colours. Our proof uses large cardinals and verifies a conjecture of Galvin from the 1970s. We extend this result to an essentially optimal class of topological spaces in place of the reals.

Magnant and Martin conjectured that the vertex set of any d-regular graph G on n vertices can be partitioned into $n / (d+1)$ paths (there exists a simple construction showing that this bound would be best possible). We prove this conjecture when $d = \Omega(n)$ , improving a result of Han, who showed that in this range almost all vertices of G can be covered by $n / (d+1) + 1$ vertex-disjoint paths. In fact our proof gives a partition of V(G) into cycles. We also show that, if $d = \Omega(n)$ and G is bipartite, then V(G) can be partitioned into n/(2d) paths (this bound is tight for bipartite graphs).