For fixed integers p and q, let f(n,p,q) denote the minimum number of colours needed to colour all of the edges of the complete graph Kn such that no clique of p vertices spans fewer than q distinct colours. Any edge-colouring with this property is known as a (p,q)-colouring. We construct an explicit (5,5)-colouring that shows that f(n,5,5) ≤ n1/3 + o(1) as n → ∞. This improves upon the best known probabilistic upper bound of O(n1/2) given by Erdős and Gyárfás, and comes close to matching the best known lower bound Ω(n1/3).

We develop a general procedure that finds recursions for statistics counting isomorphic copies of a graph G0 in the common random graph models ${\cal G}$(n,m) and ${\cal G}$(n,p). Our results apply when the average degrees of the random graphs are below the threshold at which each edge is included in a copy of G0. This extends an argument given earlier by the second author for G0=K3 with a more restricted range of average degree. For all strictly balanced subgraphs G0, our results give much information on the distribution of the number of copies of G0 that are not in large ‘clusters’ of copies. The probability that a random graph in ${\cal G}$(n,p) has no copies of G0 is shown to be given asymptotically by the exponential of a power series in n and p, over a fairly wide range of p. A corresponding result is also given for ${\cal G}$(n,m), which gives an asymptotic formula for the number of graphs with n vertices, m edges and no copies of G0, for the applicable range of m. An example is given, computing the asymptotic probability that a random graph has no triangles for p=o(n−7/11) in ${\cal G}$(n,p) and for m=o(n15/11) in ${\cal G}$(n,m), extending results of the second author.

We study the minimum degree necessary to guarantee the existence of perfect and almost-perfect triangle-tilings in an n-vertex graph G with sublinear independence number. In this setting, we show that if δ(G) ≥ n/3 + o(n), then G has a triangle-tiling covering all but at most four vertices. Also, for every r ≥ 5, we asymptotically determine the minimum degree threshold for a perfect triangle-tiling under the additional assumptions that G is Kr-free and n is divisible by 3.

The total distance (or Wiener index) of a connected graph $G$ is the sum of all distances between unordered pairs of vertices of $G$ . DeLaViña and Waller [‘Spanning trees with many leaves and average distance’, Electron. J. Combin.15(1) (2008), R33, 14 pp.] conjectured in 2008 that if $G$ has diameter $D>2$ and order $2D+1$ , then the total distance of $G$ is at most the total distance of the cycle of the same order. In this note, we prove that this conjecture is true for 2-connected graphs.

By Smith’s theorem, if a cubic graph has a Hamiltonian cycle, then it has a second Hamiltonian cycle. Thomason [‘Hamilton cycles and uniquely edge-colourable graphs’, Ann. Discrete Math.3 (1978), 259–268] gave a simple algorithm to find the second cycle. Thomassen [private communication] observed that if there exists a polynomially bounded algorithm for finding a second Hamiltonian cycle in a cubic cyclically 4-edge connected graph $G$ , then there exists a polynomially bounded algorithm for finding a second Hamiltonian cycle in any cubic graph $G$ . In this paper we present a class of cyclically 4-edge connected cubic bipartite graphs $G_{i}$ with $16(i+1)$ vertices such that Thomason’s algorithm takes $12(2^{i}-1)+3$ steps to find a second Hamiltonian cycle in $G_{i}$ .

We prove that the roots of the chromatic polynomials of planar graphs are dense in the interval between 32/27 and 4, except possibly in a small interval around τ + 2 where τ is the golden ratio. This interval arises due to a classical result of Tutte, which states that the chromatic polynomial of every planar graph takes a positive value at τ + 2. Our results lead us to conjecture that τ + 2 is the only such number less than 4.

A sunflower is a collection of distinct sets such that the intersection of any two of them is the same as the common intersection C of all of them, and |C| is smaller than each of the sets. A longstanding conjecture due to Erdős and Szemerédi (solved recently in [7, 9]; see also [22]) was that the maximum size of a family of subsets of [n] that contains no sunflower of fixed size k > 2 is exponentially smaller than 2n as n → ∞. We consider the problems of determining the maximum sum and product of k families of subsets of [n] that contain no sunflower of size k with one set from each family. For the sum, we prove that the maximum is

$$(k-1)2^n+1+\sum_{s=0}^{k-2}\binom{n}{s}$$

$$\biggl(\ffrac{1}{8}+o(1)\biggr)2^{3n}.$$

We investigate the structure of the twisted Brauer monoid , comparing and contrasting it with the structure of the (untwisted) Brauer monoid . We characterize Green's relations and pre-orders on , describe the lattice of ideals and give necessary and sufficient conditions for an ideal to be idempotent generated. We obtain formulae for the rank (smallest size of a generating set) and (where applicable) the idempotent rank (smallest size of an idempotent generating set) of each principal ideal; in particular, when an ideal is idempotent generated, its rank and idempotent rank are equal. As an application of our results, we describe the idempotent generated subsemigroup of (which is not an ideal), as well as the singular ideal of (which is neither principal nor idempotent generated), and we deduce that the singular part of the Brauer monoid is idempotent generated, a result previously proved by Maltcev and Mazorchuk.

It follows from known results that every regular tripartite hypergraph of positive degree, with n vertices in each class, has matching number at least n/2. This bound is best possible, and the extremal configuration is unique. Here we prove a stability version of this statement, establishing that every regular tripartite hypergraph with matching number at most (1 + ϵ)n/2 is close in structure to the extremal configuration, where ‘closeness’ is measured by an explicit function of ϵ.

The set of row reduced matrices (and of echelon form matrices) is closed under multiplication. We show that any system of representatives for the $\text{Gl}_{n}(\mathbb{K})$ action on the $n\times n$ matrices, which is closed under multiplication, is necessarily conjugate to one that is in simultaneous echelon form. We call such closed representative systems Grassmannian semigroups. We study internal properties of such Grassmannian semigroups and show that they are algebraic semigroups and admit gradings by the finite semigroup of partial order preserving permutations, with components that are naturally in one–one correspondence with the Schubert cells of the total Grassmannian. We show that there are infinitely many isomorphism types of such semigroups in general, and two such semigroups are isomorphic exactly when they are semiconjugate in $M_{n}(\mathbb{K})$ . We also investigate their representation theory over an arbitrary field, and other connections with multiplicative structures on Grassmannians and Young diagrams.

Keller and Kindler recently established a quantitative version of the famousBenjamini–Kalai–Schramm theorem on the noise sensitivity of Boolean functions.Their result was extended to the continuous Gaussian setting by Keller, Mosseland Sen by means of a Central Limit Theorem argument. In this work we present aunified approach to these results, in both discrete and continuous settings. Theproof relies on semigroup decompositions together with a suitable cut-offargument, allowing for the efficient use of the classical hypercontractivitytool behind these results. It extends to further models of interest such asfamilies of log-concave measures and Cayley and Schreier graphs. In particularwe obtain a quantitative version of the Benjamini–Kalai–Schramm theorem for theslices of the Boolean cube.

Two graphs G1 and G2 on n vertices are said to pack if there exist injective mappings of their vertex sets into [n] such that the images of their edge sets are disjoint. A longstanding conjecture due to Bollobás and Eldridge and, independently, Catlin, asserts that if (Δ(G1) + 1)(Δ(G2) + 1) ⩽ n + 1, then G1 and G2 pack. We consider the validity of this assertion under the additional assumption that G1 or G2 has bounded codegree. In particular, we prove for all t ⩾ 2 that if G1 contains no copy of the complete bipartite graph K2,t and Δ(G1) > 17t · Δ(G2), then (Δ(G1) + 1)(Δ(G2) + 1) ⩽ n + 1 implies that G1 and G2 pack. We also provide a mild improvement if moreover G2 contains no copy of the complete tripartite graph K1,1,s, s ⩾ 1.

It is known that w.h.p. the hitting time τ2σ for the random graph process to have minimum degree 2σ coincides with the hitting time for σ edge-disjoint Hamilton cycles [4, 9, 13]. In this paper we prove an online version of this property. We show that, for a fixed integer σ ⩾ 2, if random edges of Kn are presented one by one then w.h.p. it is possible to colour the edges online with σ colours so that at time τ2σ each colour class is Hamiltonian.

We construct minor-closed addable families of graphs that are subcritical and contain all planar graphs. This contradicts (one direction of) a well-known conjecture of Noy.

The Tutte polynomial of a graph is a two-variable polynomial whose zeros and evaluations encode many interesting properties of the graph. In this article we investigate the real zeros of the Tutte polynomials of graphs, and show that they form a dense subset of certain regions of the plane. This is the first density result for the real zeros of the Tutte polynomial in a region of positive volume. Our result almost confirms a conjecture of Jackson and Sokal except for one region which is related to an open problem on flow polynomials.

Let k ⩾ 3 be an integer, hk(G) be the number of vertices of degree at least 2k in a graph G, and ℓk(G) be the number of vertices of degree at most 2k − 2 in G. Dirac and Erdős proved in 1963 that if hk(G) − ℓk(G) ⩾ k2 + 2k − 4, then G contains k vertex-disjoint cycles. For each k ⩾ 2, they also showed an infinite sequence of graphs Gk(n) with hk(Gk(n)) − ℓk(Gk(n)) = 2k − 1 such that Gk(n) does not have k disjoint cycles. Recently, the authors proved that, for k ⩾ 2, a bound of 3k is sufficient to guarantee the existence of k disjoint cycles, and presented for every k a graph G0(k) with hk(G0(k)) − ℓk(G0(k)) = 3k − 1 and no k disjoint cycles. The goal of this paper is to refine and sharpen this result. We show that the Dirac–Erdős construction is optimal in the sense that for every k ⩾ 2, there are only finitely many graphs G with hk(G) − ℓk(G) ⩾ 2k but no k disjoint cycles. In particular, every graph G with |V(G)| ⩾ 19k and hk(G) − ℓk(G) ⩾ 2k contains k disjoint cycles.

Consider a graph on randomly scattered points in an arbitrary space, with any two points x, y connected with probability ϕ(x, y). Suppose the number of points is large but the mean number of isolated points is O(1). We give general criteria for the latter to be approximately Poisson distributed. More generally, we consider the number of vertices of fixed degree, the number of components of fixed order, and the number of edges. We use a general result on Poisson approximation by Stein's method for a set of points selected from a Poisson point process. This method also gives a good Poisson approximation for U-statistics of a Poisson process.

In this paper, we investigate the set of accumulation points of normalized roots of infinite Coxeter groups for certain class of their action. Concretely, we prove the conjecture proposed in [6, Section 3.2] in the case where the equipped Coxeter matrices are of type $(n-1,1)$, where $n$ is the rank. Moreover, we obtain that the set of such accumulation points coincides with the closure of the orbit of one point of normalized limit roots. In addition, in order to prove our main results, we also investigate some properties on fixed points of the action.

A 1993 result of Alon and Füredi gives a sharp upper bound on the number of zeros of a multivariate polynomial over an integral domain in a finite grid, in terms of the degree of the polynomial. This result was recently generalized to polynomials over an arbitrary commutative ring, assuming a certain ‘Condition (D)’ on the grid which holds vacuously when the ring is a domain. In the first half of this paper we give a further generalized Alon–Füredi theorem which provides a sharp upper bound when the degrees of the polynomial in each variable are also taken into account. This yields in particular a new proof of Alon–Füredi. We then discuss the relationship between Alon–Füredi and results of DeMillo–Lipton, Schwartz and Zippel. A direct coding theoretic interpretation of Alon–Füredi theorem and its generalization in terms of Reed–Muller-type affine variety codes is shown, which gives us the minimum Hamming distance of these codes. Then we apply the Alon–Füredi theorem to quickly recover – and sometimes strengthen – old and new results in finite geometry, including the Jamison–Brouwer–Schrijver bound on affine blocking sets. We end with a discussion of multiplicity enhancements.

Let G be a finite group, and write cd (G) for the set of degrees of irreducible characters of G. The common-divisor graph Γ(G) associated with G is the graph whose vertex set is cd (G)∖{1} and there is an edge between distinct vertices a and b, if (a, b) > 1. In this paper we prove that if Γ(G) is a k-regular graph for some k ⩾ 0, then for the solvable groups, either Γ(G) is a complete graph of order k + 1 or Γ(G) has two connected components which are complete of the same order and for the non-solvable groups, either k = 0 and cd(G) = cd(PSL2(2f)), where f ⩾ 2 or Γ(G) is a 4-regular graph with six vertices and cd(G) = cd(Alt7) or cd(Sym7).