This paper deals with the decidability of semigroup freeness. More precisely, thefreeness problem over a semigroup S is defined as: given a finite subsetX ⊆ S, decide whether each element ofS has at most one factorization over X. To date, thedecidabilities of the following two freeness problems have been closely examined. In 1953,Sardinas and Patterson proposed a now famous algorithm for the freeness problem over thefree monoids. In 1991, Klarner, Birget and Satterfield proved the undecidability of thefreeness problem over three-by-three integer matrices. Both results led to the publicationof many subsequent papers. The aim of the present paper is (i) to presentgeneral results about freeness problems, (ii) to study the decidabilityof freeness problems over various particular semigroups (special attention is devoted tomultiplicative matrix semigroups), and (iii) to propose precise,challenging open questions in order to promote the study of the topic.

For c ∈ (0,1) let n(c) denote the set of n-vertex perfect graphs with density c and let n(c) denote the set of n-vertex graphs without induced C5 and with density c.

We show thatwith otherwise, where H is the binary entropy function.

Further, we use this result to deduce that almost all graphs in n(c) have homogeneous sets of linear size. This answers a question raised by Loebl and co-workers.

Consider the random graph process where we start with an empty graph on n vertices and, at time t, are given an edge et chosen uniformly at random among the edges which have not appeared so far. A classical result in random graph theory asserts that w.h.p. the graph becomes Hamiltonian at time (1/2+o(1))n log n. On the contrary, if all the edges were directed randomly, then the graph would have a directed Hamilton cycle w.h.p. only at time (1+o(1))n log n. In this paper we further study the directed case, and ask whether it is essential to have twice as many edges compared to the undirected case. More precisely, we ask if, at time t, instead of a random direction one is allowed to choose the orientation of et, then whether or not it is possible to make the resulting directed graph Hamiltonian at time earlier than n log n. The main result of our paper answers this question in the strongest possible way, by asserting that one can orient the edges on-line so that w.h.p. the resulting graph has a directed Hamilton cycle exactly at the time at which the underlying graph is Hamiltonian.

We prove that the rescaled costs of partial match queries in a random two-dimensional quadtree converge almost surely towards a random limit which is identified as the terminal value of a martingale. Our approach shares many similarities with the theory of self-similar fragmentations.

We show that the number of unit distances determined by n points in ℝ3 is O(n3/2), slightly improving the bound of Clarkson, Edelsbrunner, Guibas, Sharir and Welzl [5], established in 1990. The new proof uses the recently introduced polynomial partitioning technique of Guth and Katz [12]. While this paper was still in a draft stage, a similar proof of our main result was posted to the arXiv by Joshua Zahl [28].

We prove the following metric Ramsey theorem. For any connected graph G endowed with a linear order on its vertex set, there exists a graph R such that in every colouring of the t-sets of vertices of R it is possible to find a copy G* of G inside R satisfying:

• • distG*(x, y) = distR(x, y) for every x, y ∈ V(G*);

• • the colour of each t-set in G* depends only on the graph-distance metric induced in G by the ordered t-set.

Given a finite subset A of an abelian group G, we study the set k ∧ A of all sums of k distinct elements of A. In this paper, we prove that |k ∧ A| ≥ |A| for all k ∈ {2,. . .,|A| − 2}, unless k ∈ {2, |A| − 2} and A is a coset of an elementary 2-subgroup of G. Furthermore, we characterize those finite sets A ⊆ G for which |k ∧ A| = |A| for some k ∈ {2,. . .,|A| − 2}. This result answers a question of Diderrich. Our proof relies on an elementary property of proper edge-colourings of the complete graph.

A colouring of the vertices of a hypergraph is called conflict-free if each edge e of contains a vertex whose colour does not repeat in e. The smallest number of colours required for such a colouring is called the conflict-free chromatic number of , and is denoted by χCF(). Pach and Tardos proved that for an (2r − 1)-uniform hypergraph with m edges, χCF() is at most of the order of rm1/r log m, for fixed r and large m. They also raised the question whether a similar upper bound holds for r-uniform hypergraphs. In this paper we show that this is not necessarily the case. Furthermore, we provide lower and upper bounds on the minimum number of edges of an r-uniform simple hypergraph that is not conflict-free k-colourable.

In the present paper we prove a certain lemma about the structure of ‘lower level-sets of convolutions’, which are sets of the form {x ∈ ℤN : 1A * 1A(x) ≤ γ N} or of the form {x ∈ ℤN : 1A(x) < γ N}, where A is a subset of ℤN. One result we prove using this lemma is that if |A| = θ N and |A+A| ≤ (1 − ϵ)N, 0 < ϵ < 1, then this level-set contains an arithmetic progression of length at least Nc, c = c(θ, ϵ, γ) > 0. It is perhaps possible to obtain such a result using Green's arithmetic regularity lemma (in combination with some ideas of Bourgain [6]); however, our method of proof allows us to obtain non-tower-type quantitative dependence between the constant c and the parameters θ and ϵ. For various reasons (discussed in the paper) one might think, wrongly, that such results would only be possible for level-sets involving triple and higher convolutions.