a probability space holds with high probability (or w.h.p.) if the probability that it holds tends
to one as n→ ∞. We often write Gk−out when we mean a graph drawn from the distribution
Gk−out.
The random graph Gk−out =Gk−out(n) is defined as follows. It has vertex set [n] := {1, . . . , n}
and each vertex i∈[n] independently chooses krandom distinct neighbours from [n]\ {i}, so
that each of the n−1
ksets is equally likely to be chosen. It was shown by Fenner and Frieze [8]
that Gk−out is k-connected w.h.p. for k≥2. It was shown by Frieze [11] that G2−out has a
perfect matching w.h.p., and by Bohman and Frieze [3] that G3−out is Hamiltonian w.h.p. All
of the above results are sharp. For more details we direct the reader to Chapter 18 in [12].
We define the randomly coloured graph Gk,q =Gk,q(n) (not to be confused with Gn,m) as
follows: the underlying graph on nvertices is Gk−out and (i) there is a set Qof qcolours, (ii)
each colour appears ρ:= ⌊kn/q⌋or ρ+ 1 times (there are kn −qρ popular colours that appear
ρ+ 1 times, the remaining colours are unpopular and appear ρtimes; note that if qdivides kn,
then all colours are unpopular), (iii) kn colours, including repetitions, are randomly assigned
to the kn edges of Gk−out. Finally, let us note that, without loss of generality, we may assume
that q≤kn. Indeed, if the number of colours is more than kn, then some colours are not used
at all and the problem is equivalent to the one with q=kn.
In this paper we investigate spanning trees. We will prove the following theorem.
Theorem 1. If k≥2and q≥n−1, then Gk,q has a Rainbow Spanning Tree (RST) w.h.p.
The result is best possible. Trivially, if q≤n−2, then there are not enough colours to create
a rainbow tree. If k= 1, then Gk,q is disconnected w.h.p. [8].
2 Preliminaries
2.1 Colour Monotonicity
In our problem, we randomly colour kn edges of Gk,q with qcolours and we aim to create a
rainbow structure. Recall that there are q2=kn −qρ popular colours that are present ρ+ 1
times and q1=q−q2unpopular colours that are present ρtimes.
It is natural to expect that the more colours are available, the easier it is to achieve our goal. We
prove this monotonicity property in the following, slightly broader, context. Suppose that we
are given a finite set Xand a set of colours Cwhere |C|=|X|. (In our application, Xis the set
of kn edges of Gk,q and Cis the set of kn colours: qcolours from set Q, including repetitions.)
We also have two distinct partitions of C:C={C1, . . . , Cq}and
C={
C1,...,
Cq+1}, for some
positive integer q≤ |X| − 1. (In our application, each part corresponds to a colour from set
Q. Partitions Cand
Ccorrespond to colourings with qand q+ 1 colours respectively.) Let
ρ=⌊|X|/q⌋,ρ=⌊|X|/(q+ 1)⌋,q2=|X| − qρ, and q1=q−q2. Suppose that |Ci|=ρfor
1≤i≤q1and |Ci|=ρ+ 1 for q1+ 1 ≤i≤q, that is, there are q1parts in Cof size ρand q2
parts of size ρ+ 1.
2