SciELO - Scientific Electronic Library Online

vol.7 issue3A note on the complexity of scheduling coupled tasks on a single processorEdge-clique graphs and the lambda-coloring problem author indexsubject indexarticles search
Home Pagealphabetic serial listing  

Services on Demand




Related links


Journal of the Brazilian Computer Society

Print version ISSN 0104-6500On-line version ISSN 1678-4804

J. Braz. Comp. Soc. vol.7 no.3 Campinas  2001 



Ramsey minimal graphs



Béla BollobásI, *; Jair DonadelliII,†; Yoshiharu KohayakawaII,‡; Richard H. SchelpIII

IDepartment of Mathematical Sciences University of Memphis Memphis TN 38152-6429, U.S.A. and Trinity College Cambridge CB2 1TQ, U.K., e-mail:
IIInstitute de Matemática e Estatística, Universidade de São Paulo, Rua do Matão 1010, 05508-090 Sao Paulo SP, Brazil, e-mail:{jair,yoshi}
IIIDepartment of Mathematical Sciences, University of Memphis, Memphis TN 38152-6429, U.S.A., e-mail:




As usual, for graphs G, G, and H, we write G ® (G, H) to mean that any red-blue colouring of the edges of G contains a red copy of G or a blue copy of H. A pair of graphs (G, H) is said to be Ramsey-infinite if there are infinitely many minimal graphs F for which we have G ® (G, H).
Let l > 4 be an integer. We show that if H is a 2-connected graph that does not contain induced cycles of length at least l, then the pair (Ck,H) is Ramsey-infinite for any k > l, where Ck denotes the cycle of length k.

Keywords: Ramsey critical graphs, Szemerédi's regularity lemma



1 Introduction

Let us say that a graph G is Ramsey for a pair of graphs (G,H) if any red-blue edge-colouring of G contains a red copy of G or a blue copy of H. Furthermore, let us say that a Ramsey graph for (G, H) is critical if no proper subgraph of it is Ramsey for (G,H). A pair of graphs (G,H) is said to be Ramsey-infinite if there are arbitrarily large critical Ramsey graphs for (G,H). For example, the pair (P3, P3), consisting of two paths on three vertices, is Ramsey-infinite as is shown by the family of all cycles of odd length. If a pair (G, H) is not Ramsey-infinite, then it is said to be Ramsey-finite.

Let us briefly discuss some results concerning the concepts above. The problem of characterizing those pairs of graphs (G, H) that are Ramsey-infinite was first addressed by Nešetil and Rödl [10] in 1976. Among other results, those authors proved [12] in 1978 that (G, H) is Ramsey-infinite in the following three cases: (i) both G and H are forests containing a path of length three, (ii) both are 3-connected graphs, and (iii) both have chromatic number at least three. In 1978, Burr et al. [3] proved that if G is a matching then (G, H) is Ramsey-finite for all graphs H. In 1986, Burr [1] proved that if G is a 2-connected graph that remains connected after deleting any two non-adjacent vertices, then the pair (G, G) is Ramsey-infinite.

In 1991, Faudree [5] basically characterized all Ramsey-finite pairs consisting of two forests. In 1994, uczak [9] proved that if G is a forest other than a matching and H contains a cycle, then (G, H) is a Ramsey-infinite pair.

Using Corollary 4 from [14] and Theorem 6 from [13], both results of Rödl and Ruciski, one may deduce that the pair (G, G) is Ramsey-infinite for all G containing a cycle.

Schaefer [15, 16] has recently proved some related, very interesting results concerning the computational complexity of the problem of deciding, given graphs G, G, and H, whether the Ramsey property G ® (G, H) holds.

Burr et al. [2] proposed the following notable conjecture in 1980.

Conjecture 1 The pair (G, H) is Ramsey-infinite unless both G and H are stars with an odd number of edges or at least one of G and H contains a single edge component.

Faudree et al. [6] observe that "an interesting case of the above conjecture is when G is a cycle and H is two-connected. No technique is presently known for showing such a pair is Ramsey-infinite". Although we are not able to deal with this case completely, we shall show that if we impose further restrictions on H, then such a pair (G,H) is indeed Ramsey-infinite.

This note is organized as follows. In §1.1, we state our main result, Theorem 2. In §2, we introduce the main technical lemmas that we shall need. In §3, we give an informal description of the proof of Theorem 2. Our proof strategy will be based on the probabilistic method; in §4, we give the definition of a random graph G that will be crucial, and we prove some lemmas concerning the structure of G. Theorem 2 is proved in §5. We close this note with some related observations.

1.1 Terminology and the main result

Let us recall some standard notation and state the main result of this note. A connected graph H is 2-connected if it has at least 3 vertices, and the deletion of any vertex does not disconnect H. We call e Î E(H) a chord in a cycle C of H if e joins a pair of vertices of C that are not adjacent in C.

We shall use the arrow notation from Ramsey theory: we shall write G ® (G, H) if the graph G is Ramsey for the pair (G,H). Moreover, given an integer t > 0, let us write G t(G, H) if for each U Ì V(G)with ôUô < t we have G[U] (G, H), that is, the graph induced by U in G is not Ramsey for (G,H).

For any integer > 4, we denote by () the class of all 2-connected graphs H that have no induced cycle of length > . Equivalently, () consists of the 2-connected graphs H with the property that every cycle of H with > edges has a chord. For instance, (4) is the well known family of chordal graphs. Clearly,

(4) Ì (5) Ì (6) Ì . . .

In this note, we prove the following result.

Theorem 2 Given integers > 4 and t > 1 and a graph H Î (), there exists a graph G such that G ® ( , H) but G t( , H)

We may immediately deduce the following corollary.

Corollary 3 Let > 4 be an integer and suppose H Î (). Then the pair (Ck,H) is Ramsey-infinite for any k > .

Our proof of Theorem 2 is probabilistic. It would be interesting to prove this result by explicit constructions.

Before we proceed, we recall some standard definitions. As usual, we write almost surely to mean 'with probability tending to 1 as n ® ¥'. If f(n) and g(n) are two functions of n, we write f(n) g(n) to mean that there is a positive constant C for which we have g(n)/C < f(n) < Cg(n) for all large enough n. Our asymptotic notation will always be with respect to n ® ¥ and, in fact, we often tacitly assume that n is large enough for our inequalities to hold. All graphs are assumed to be undirected and simple.

Let h > 2 be an integer. An h-uniform hypergraph on a set of vertices V is a collection of subsets of V , called hyperedges, each of cardinality h. Thus, in the case in which h = 2, we have ordinary graphs. A hypergraph is linear if any two members of intersect in at most one vertex. A hypercycle of length 2 is any pair of hyperedges meeting in more than one vertex, whereas a hypercycle of length k (k > 2) is a (linear) hypergraph given by hyperedges = {E1, . . . , Ek} on (È such that ôEi Ç Ejô = 1 if and only if i and j are such that j = i + 1 or i = k and j = 1. We sometimes use the term k-hypercycle to refer to a hypercycle of length k. The girth of a (hyper)graph is the length of a shortest (hyper)cycle in the (hy-per)graph. When there is no danger of confusion, we use the simpler terms 'edge' and 'cycle' even when referring to hypergraphs.

It will be convenient to write G = Gn to indicate that the graph G has n vertices. We write e(G) for the number of edges in a graph G.


2 Auxiliary results

2.1 Szemerédi's regularity lemma

We now describe a version of Szemerédi's regularity lemma for sparse graphs. Given a graph G = (V, E), for any pair of disjoint sets U, W Ì V, we denote the set of edges in the bipartite subgraph induced by U and W in G by EG(U, W), and let

Suppose 0 < h)< 1, D > 1, and 0 < p < 1 are given real numbers. We say that G is (h,D,p)-sparse if, for any pair of disjoint sets U, W Ì V with ôUô, ôWô> h, ôVô, we have

eG(U,W) < Dp ôUô ô Wô.

Strictly speaking, in the definition of (h,D,p)-sparseness above, we could have the product Dp as a single parameter, and would thus have the notion of, say, '(h, D')-sparseness' (with D' = Dp). However, as it will become clear in the applications, we shall be dealing with cases in which there is a natural, underlying 'density' p in the context.

The p-density of the pair (U, W) in G is

For any 0 < e < 1, the pair of disjoint nonempty sets (U, W), with U, W Ì is said to be (e, G,p)-regular if, for all U' Ì U and all W' Ì W with ôU'ô> e ôUô and ôW'ô > e ô Wô, we have

ôdG,p(U,W)–dG,p(U',W')ô< e .

We say that a partition P = (V0, Vi,..., Vk) of V is (e,k,G,p)-regular if |V0| < e |V| and |Vi| = |Vj| for all i, j e Î[k]= {1,...,k}, and for > (1 - e) pairs {i,j} Ì [k] we have that (Vi, Vj) is (e, G,p)-regular.

In this note, we shall use the following lemma, which is a natural variant of Szemerédi's regularity lemma for sparse graphs observed independently by Kohayakawa and Rödl (see, e.g., [7]).

Lemma 4 For all real numbers e> 0, D > 1, and integer ko > 1, there exist constants h = h(e,ko,D) > 0 and K0 = K0(e, K0,D) > K0 such that, for any 0 < p = p(n) < 1, any sufficiently large (h, D,p)-sparse graph G = Gn admits an (e, k, G,p)-regular partition for some K0 < k < K0.

2.2 A counting lemma

Suppose m > 0 and > 3 are fixed integers and V(m) = is a fixed vector of pairwise disjoint sets of vertices, each of cardinality m. Below, the indices of the Vi's will be taken modulo . Let B > 0, C > 1, D > 1, e< 1, and < 1 be positive real numbers and let an integer M > 1 be given. We call a graph F on Vi an (e, , B, C, D; V(m), M)-graph if

(i) E(F) = EF(Vi,Vi+i) and |E(F)| = M,

(ii) for all 1 < i < we have that the pairs (Vi,Vi+1)are (e, F,)-regular, where = Bm–1+1/( –1), and their -densities satisfy

(iii) for any 1 < i < 1, if U Ì Vi and W Ì Vi+1 are such that

ôUô<ô Wô< môUô<(m)2 ,


The main technical result that we shall need is the following 'counting lemma', from Kohayakawa and Kreuter [8].

Lemma 5 Let an integer > 3 be fixed, and let constants 0 < a < 1, 0 < < 1, C > 1, and D > 1 be given. Then there exist positive constants e = e(, a, , C, D) < 1, B0 = B0(, a, , C, D ) > 0, and m0 = m0(, a, , C, D ) such that, for all integers m > mo and M > 1, and all real B > B0, the number of (e, , B, C, D ;V(m), M)-graphs containing no cycle C is at most

In what follows, V(m) will always denote a vector of pairwise disjoint sets of vertices, each of cardinality m. If G is a graph and U = Vi Ì V(G), then G[V(m)] will denote the -partite subgraph of G with vertex set U and edge set

where, as usual, the indices are taken modulo .

2.3 Ramsey's theorem

The following is an easy consequence of Ramsey's theorem (see, e.g., [8]).

Lemma 6 Let graphs H1,...,Hr (r > 1) be given. Then there exist positive constants c = c(H1,...,Hr) > 0 and k0 = k0(H1,... ,Hr) for which the following holds. If k > ko and Kk is given an arbitrary r-edge-colouring, then we necessarily have, for some 1 < i < r, at least monochromatic copies of Hi of colour i.


3 Outline of the proof of Theorem 2

In this section, we describe informally the strategy we employ in the proof of Theorem 2.

Let H be a graph in ()on h vertices, where > 4. We start by fixing a large positive constant A and by setting pH = An-(h–+1)+1/–1. We then generate a random h-uniform hypergraph on [n] = {1,..., n} according to the binomial model, that is, we independently let each element of

be a hyperedge of with probability pH. Owing to the choice of pH , almost surely each hyperedge of belongs to a large number of hypercycles of length . Moreover, one may also check that the number of hypercycles of length < in is almost surely o(ôE()ô).

We now obtain a linear hypergraph of girth from by removing a hyperedge from each of the o(ôE()ô) hypercycles of of length < . We now define a graph G = Gn from embedding a copy of H in each hyperedge of arbitrarily. The fact that H belongs to () implies that

(*) the only copies of H that occur in Gare the ones that we have embedded in the hyperedges oj .

In particular, all the copies of H in G are induced copies. Also worth noting is that

(**) if e Î E(G), then there is a unique copy H' of H in G that contains this edge e of G.

We claim that G will do in Theorem 2.

First, we wish to show that in every colouring of the edges of F with colours red and blue either there is a red copy of C or else there is a blue copy of H. Let an adversary pick a colouring. We may suppose that our adversary has coloured red exactly one edge from each of the copies of H that we embedded in the hyperedges of . Indeed, our adversary has to colour red at least one edge from each such copy of H; moreover, because of (*), having one red edge in each such copy of H suffices. We have to show that these red edges must necessarily create a copy of C.

Let G(e) be the spanning subgraph of G whose edges are the red edges in the colouring of our adversary. Note that G(e) has

ôô = (1 + o(1))ôE()ôn1+1/(–1)

edges. Furthermore, as we shall show, there are positive constants A' and D for which the graph G(e) is (h,D,pe)-sparse, where

pe = A'n–1+1/(–1)

and h is an arbitrarily small constant.

Although not directly relevant to this proof, we observe that the random graph is such that, almost surely, each of its edges belongs to a large number of -cycles, and in fact, by the well known theorem of Rödl and Ruciski [14], we have ® (C, C) if A' is a large enough constant.

We now go back to the proof of Theorem 2. As the graph G(e) is (h,D,pe)-sparse, we may apply the regularity lemma (Lemma 4), with some appropriate choices for k0 and e, to obtain an -tuple (V1, ..., V) of subsets of V(G) with (Vi, Vi+1) (e;pe)-regular and with pe-density bounded away from 0, for all 1 < i < , where the indices are taken modulo . By the counting lemma (Lemma 5), it will follow that almost surely G is so that such an -tuple (V1, ..., V) must span an -cycle C> in G(e) . By the definition of G(e), this cycle is monochromatic of colour red. Thus G ® (C, H).

In order to show that G t (C, H) for any fixed integer t, we use the fact that almost surely G is such that, for any U Ì V(G) with ôUô< t, the graph G[U] induced by U in G contains a vertex that belongs to at most one copy of H that is completely contained in U. Using this fact, we may inductively colour the edges of G[U] red and blue to show that G[U] (C, H)


4 The construction of G = Gn(, t, H)

In this section, we introduce the definition of the random graph G that is used in the proof of Theorem 2, and state and prove its relevant properties.

4.1 The construction

Suppose we are given an integer > 4 and a graph H Î () of order h > 3. Let V(G) = [n] = {1,... ,n} and put

where A is a positive constant to be defined later. We consider the random h-uniform hyper-graph on [n], in the standard binomial model. Almost surely, the number of hyperedges e in is

(1 + o(1))(A/h!)n1+1/(–1)

Define the hypergraph from deleting one edge from each of the hypercycles of length 2 < k < . The expected number of such hypercycles in is

where c(h, k) is a constant that depends only on h and k. By Markov's inequality, the number of hypercycles of length 2 < k < is almost surely O(nw), for any function w = w(n) such that w ® ¥ as n ® ¥. In particular, this number is o(e())-Therefore, we have

e() = (1 + o(1))e().

Now, for each hyperedge F Î we arbitrarily embed a copy of H in F; that is, we consider arbitrary injections

for all F Î .

Finally, define G = (V, E) by putting V = [n] and

Note that G is, roughly speaking, a union of several copies of H. It will be important later to distinguish between two types of copies of H in G. For all F Î we call the subgraph F(H) Ì G a non-spontaneous copy of H in G. All the other copies of H in G we call spontaneous copies.

In the next section, we prove a few properties concerning subgraphs of G.

4.2 Subgraphs of G

We shall use the following notation below. We shall write G(e) for a spanning subgraph of G that has the property that each edge of G(e) may be extended to a distinct non-spontaneous copy of H in G. Recalling the definition of G, this means that the graph G(e) admits a subhypergraph (G(e)) Ì of with

(G(e)) = {Ef : f Î E(G(e))}

and with the map f Î E(G(e)) Ef Î (G(e)) Ì injective.

We shall now estimate that probability that G should contain a subgraph G(e) that has a fixed graph on [n] as a subgraph. Thus, let J be a graph on [n] with edge set {e1, . . . , eM} Ì . Suppose G admits a subgraph G(e) with J Ì G(e). Then there must exist an M-tuple of hyperedges

with ei Î Ei for all 1 < i < M and with all the Ei distinct. If X = X() is the number of such M-tuples of distinct hyperedges in , then

Therefore, by Markov's inequality, we have


pe = An–1+1/(–1)

4.2.1 Bipartite subgraphs of G

We shall now discuss some results on G that assert that no bipartite subgraph of G has too high a density. The first result says that large bipartite subgraphs of G do not induce an unexpectedly large number of edges in G. The second result deals with bipartite subgraphs of G on a more local scale.

Proposition 7 For all positive h the graph G is almost surely (h,e2e(H),pe)-sparse.

Proof. Suppose U, W Ì V = V(G) = [n] are disjoint subsets of V(G) with cardinality ôUô=ôWô= é hnù such that eG(U,W) > e2e(H)peôUôôWô. Then we have (U,W) > ée2peôUôôWôù, for some G(e) Ì G. The event that there should be G(e) Ì G with (U, W) > M = ée2peôUôô Wôù ée2peôUôô Wôù = W (n1+1/(–1)) has probability at most

The number of disjoint subsets U,W Ì V with cardinality é hnù is smaller than 22n. Therefore, the expected number of pairs of subsets (U, W) spanning > e2pe(H)ôUôô Wô edges of F between them is at most 22n2–M = o(1). Our proposition follows from Markov's inequality.

We shall say that a graph on V = [n] is (pe, C, )-locally-sparse if, for all disjoint subsets U and W of V with ôUô< ôWô < (pen)ôUô < (pen)–2, we have e(U,W) < Cô Wô.

Proposition 8 Almost surely the graph G is (pe,4:(1)e(H),)-locally-sparse.

Proof. We proceed as in the previous proof. For convenience, let

C = 4(1)e(H)


C' = C/e(H) = 4(1)

Note that if eG(U, W) > Cô Wô, then there is G(e) Ì G with (U, W) > C'ô Wô. If U and W Ì V = [n] are fixed, we have

By definition, we are concerned with U and W with ôUô< ô Wô< (pen)ôUô < (pen)–2. Notice that peôUô < (pen)–2/n < A–2n–1/–1. From the fact that ôUô< ô Wô < ln for any l> 0 for large enough n, we conclude that

and, therefore,

These inequalities imply that the expected number of pairs (U, W) with U and W of cardinalities u and w such that

u < w < (pen)u < (pen)–2

and such that eG(U, W) > Cw is smaller than

which is at most

Our result follows from Markov's inequality.

4.2.2 V(m)-subgraphs of G

Suppose a constant > 0 is fixed, and suppose a > 0 is a constant with


C = 4( 1)e(H) and D = e2e(H),

and fix k0 Î . Let e, B0, and m0 be the constants whose existence is guaranteed by Lemma 5 for the constants above, and let h and K0 be the constants given by Lemma 4 for these values of e, D, and K0. Recall we write V(m) for a vector of pair-wise disjoint, m-element subsets of V(G) = [n]. Re-call pe = An–1+1/(–1).

Proposition 9 Suppose A > 2B0K0. Then almost surely G has the following property. If V(m) and G(e) Ì G are such that

and the pairs (Vi,Vi+1) are (e, G(e), pe )-regular of density at least for all 1 < i < , then G(e)[V(m)] spans a C.

Proof. We shall make use of Lemma 5 and Propositions 7 and 8. Let B be such that

pe = Bm–1+1/(–1)

Let V(m) and G(e) be as in the statement of our proposition.

By the choices of B, C, and D, and by Propositions 7 and 8, we may and shall suppose that G(e) [V(m)] is an (e, , B, C, D;V(m), M)-graph, where M is at least pem2.

Now notice that

where the last inequality comes from m > n/2K0. Note that if n is sufficiently large, then m > m0, where m0 is as in Lemma 5.

By Lemma 5, the expected number of (e, , B, C, D;V(m), M)-subgraphs in G(e) that contains no cycle of length is, for a fixed V(m)), at most

Summing over all choices for V(m) , we deduce that the expected number of (e, , B, C, D;V(m), M)-subgraphs of G(e) with no C, where V(m) is arbitrary, is

for all integers m and M > pem2. Summing over all choices for 1 < m < n and 1 < M < (), we have a factor of at most n3. Therefore, our result follows by Markov's inequality.

For technical reasons that will become clear only when we prove that G ® (C,H) holds almost surely, we shall need to know the number of certain edges that occur in induced h-partite subgraphs of G.

We shall write W(m) for h-tuples of pair-wise disjoint sets of vertices of F, each of cardinality m.

Proposition 10 Suppose A > (h + l)/eh. For all W(m) = with n/logn < m < n/h, the h-partite subgraph of G induced by W(m) almost surely spans at least

edges that may be extended to non- spontaneous copies of H in G with all its vertices within

Proof. Fix the h-tuple W = W(m) = of pairwise disjoint subsets of vertices of G of cardinality m each and let U = Wj be as in the statement of our proposition. Define the random variable Xw as the number of hyperedges in with exactly one vertex from each Wi.

The expectation of Xw is Xw = mhpH. Using ChernofT s inequality we have

and, as the number of choices for W = W(m) = is at most 2hn, the probability that there should exist W such that Xw < (1/2)XW is smaller than

That is, almost surely Xw > (1/2)XW.

The number of hyperedges deleted from to get rid of short hypercycles is O(nw), for any function w = w(n) ® ¥ as n ® ¥. Therefore the number of hyperedges induced by W in is almost surely > (1/2)XWO(nw) > (1/4)XW. Each such hyperedge gives e(H) edges of G. Notice that, in fact, all these edges we have just considered are edges that extend to non-spontaneous copies of H in G within U, as required in our proposition. This completes the proof of our result.

4.2.3 Small subgraphs of G

Given a vertex v Î V = [n], the number of hyperedges of that contain the vertex v will be called the hyperdegree of v in , and will be denoted by d(v). Let us denote by [U] the sub-hypergraph of induced by U Ì [n]. Thus, [U] = {E Î : E Ì U}.

Proposition 11 Let t be any fixed positive integer. Then almost surely every subset U Ì V – [n] with ôUô < t contains a vertex v whose hyperdegree in and hence in , is at most 1, that is, d[U](v) < d < 1.

Proof. Let U Ì V be a subset of cardinality u. If U induces m hyperedges and all vertices in U have hyperdegree at least 2, then m > 2u/h. Thus

Therefore, the probability that there should exist a subset U Ì V violating our condition is

As > 4, the quantity in (4) is o(l) for all h > 3. Hence such a set U almost surely does not exist, and our result follows.


5 Proof of Theorem 2

Suppose we are given integers > 4 and t > 1 and a graph H Î ()of order h > 3. In our proof, we shall need a number of constants given by Lemmas 4, 5, and 6. First, let

k0 = k0(K2, C, Kh) and c = c(K2, C, Kh)

be the constants given by Lemma 6. Set


D = e2e(H).

Next, let

e = e(, a, , C, D), B0 = B0(, a, , C, D),


m0 = m0(, a, , C, D)

be the constants whose existence is guaranteed by Lemma 5, and let

h= h(e, k0, D) and K0 = K0(e, k0, D)

be the constants given by Lemma 4. We may assume that e < min{1/2,2c}. Finally, let

A = max {2B0K0, (h + l)e–h}.

We now consider a certain family = (H) of graphs G on V = [n]. First of all, our graphs G may be written as a union of M copies of H, say H1,...,HM, with M pH and with any two distinct Hi sharing at most one vertex. In fact, for each G in our family, we single out a specific family Hi (1 < i < M), and refer to these Hi as non-spontaneous copies of H in G. All other copies of H in G are said to be spontaneous. Furthermore, our graphs G = Hi Î = (H) satisfy the following properties:

(P1) the hypergraph on V = [n] given by

= {V(Hi) : 1 < i < M}

has girth ;

(P2) G is (h,D,pe)-sparse and (pe,C, )-locally-sparse;

(P3) for all V(m) = (V1,...,V), where n/2K0 < m < n/ko, if G(e) Ì G[V(m)] is such that the pairs (Vi,Vi+1) are (e, G(e),pe)-regular of pe-density at least for all 1 < i < , then G(e) contains C;

(P4) every W(m) =(W1,...,Wh) with m > n/ log n induces

edges of G that may be extended to non-spontaneous copies Hi of H within

(P5) all U Ì V = [n] with t vertices contains a vertex vu that belongs to at most one non-spontaneous copy Hi of H such that V(Hi) Ì U.

By Propositions 7-11 in §4.2, the family = (H) is not empty. The fact that H belongs to ()together with (P1) imply the following additional property, whose proof is postponed to §5.3.

(P6) G does not contain spontaneous copies of H .

Let us fix a graph G in = (H). We claim that this choice for G will do in Theorem 2. We prove this claim in §§5.1 and 5.2 below.

5.1 Proof of (CH)

Let G(e) be the spanning subgraph of G defined by colouring red exactly one edge from each non-spontaneous copy Hi(1 < i < M) of H in G. We shall show that G(e) contains a cycle C. This clearly proves that G ®(C,H).

By (P2) we know that G(e) is (h,D,pe)-sparse. Applying Lemma 4 we get an (e, k, G(e), pe)-regular partition P = (V0, V1, . . . , Vk) with k0 < k < K0. Denote by m the common cardinality of the Vi (1 < i < k). We have

Let Kk be the complete graph on V(Kk) = {Vi, . . . , Vk}, and consider the following 3-colouring of the edges of Kk:

(a) colour {Vi, Vj} with 1 if (Vi, Vj) is not e-regular,

(b) colour {Vi, Vj} with 2 if (Vi, Vj) is e-regular of density > ,

(c) colour {Vi, Vj} with 3 if (Vi, Vj) is e-regular of density < .

Since k > k0, we have by Lemma 6 that in this colouring of Kk there must be

(i) at least ck2 copies of K2 with all edges of colour l,oi

(ii) at least ck copies of C with all edges of colour 2, or

(iii) at least ckh copies of Kh with all edges of colour 3.

Note that (i) cannot hold, because the number of pairs that are not e-regular is < e < 2c < ck2. If (ii) holds, any C C Kk of colour 2 determines a vector, say V(m) = , of pairwise disjoint subsets of vertices of G such that, according to (P3), will happily give us a CÌ G(e). Let us suppose that (iii) holds and let us derive a contradiction. This will then force (ii) to hold, completing our proof.

The number of edges in G(e) that belong to the E(Vi, Vj) that correspond to colour 3 edges from Kk is

On the other hand, by (iii), we have at least ckh copies of Kh that are monochromatic of colour 3 in Kk. Fix one such Kh, and let J be the h-partite subgraph of G naturally associated with this Kh. Each vertex class of J has m > n/2K0 > n/logn vertices.

By Property (P4), we know that J spans > (1/4)e(H)mhpH edges that may be extended to non-spontaneous copies of H within V(J). Therefore, we have > (l/4)mhpH non-spontaneous copies of H within J, and hence we have > (1/4)mhpH edges from G(e) within J. Finally, note that if we have two distinct Kh monochromatic of colour 3 in Kk, then each 'contributes' with > (1/4)mhpu distinct edges in our edge count for G(e). Indeed, this comes from our somewhat peculiar definition of the edges that are counted in (P4), and the fact that any two non-spontaneous copies Hi of H in G have no common edges.

Since we have > ckh copies of Kh that are monochromatic of colour 3 in Kk , we have at least

edges that belong to the E(Vi, Vj) that correspond to colour 3 edges from Kk. However, inequalities (5) and (6) contradict each other, and hence we may conclude that (iii) cannot hold. This completes our proof of the fact that G ®(C,H).

5.2 Proof of G t(C, H)

In this section we prove, by induction in ôUô, that any induced subgraph G[U] on at most t vertices is not Ramsey for the pair (C, H). Let U Ì V = [n]. If ôUô < max{,h} then, clearly, G[U] (C, H).

Let us suppose that max{,h} < ôUô < t and that in any subset U' Ì V of smaller cardinality the induced subgraph is not Ramsey for the pair (C, H). By (P5) there exists a vertex vU that belongs to at most one non-spontaneous copy Hi of H in G such that V(Hi) Ì U; for convenience, let H be this Hi if it exists. Now, fix a red-blue edge-colouring of G[U \{vU}] with neither a red copy of C nor a blue copy of H. Such a colouring exists by the induction hypothesis.

Colouring red only one edge e incident to vu does not create a red C in G[U]. The other edges incident to vU we colour blue. Note that we may choose the edge e in such a way that we do not create a blue copy of H: it suffices to pick e from H(if it exists; otherwise the choice is arbitrary). With thischoice, if we do create a blue copy of H in G[U], then we must have a spontaneous copy of H in G[U] Ì G. However, spontaneous copies of H do not exist by (P6) and hence we have indeed found a colouring of G[U] without a red C and without a blue H. This completes the induction step and the proof is complete.

5.3 On the property (P6)

Let us consider a graph G= Hi in the family = (H), with H Î (). We wish to show that G does not contain spontaneous copies of H. We shall deduce this from (PI) in the definition of the family = (H). The reader will see that this is not particularly difficult to prove, but we shall present a detailed proof.

The proof is by contradiction. Suppose is a spontaneous copy of H in G. Let = V() and Ei = V(Hi) (1 < i < M). Recall that (PI) states that the hypergraph = {Ei: 1 < i < M} has girth . Note that this implies that all the Hi are induced subgraphs of G, jis > 2. Since is spontaneous, it follows that Ï .

Below, we shall often use the following fact: if e is an edge of G = Hi tnen e Î E(Hi) for a uniquely determined index 1 < i = i(e) < M. Clearly, the uniqueness of i = i(e) follows from the fact that is a linear hypergraph.

We shall call a cycle C in useful if it has edges in at least two distinct Hi (1 < i < M).

Claim 12 The graph contains a useful cycle.

Proof. Let x Î be an arbitrary vertex in = V(), and let e = {x, x'} be an edge of H incident to x. Let 1 < i0 = i0(e) < M be such that e Î E(H}. We cannot have Ì E = V(H)Î . Let y Î E , and let f = {y, y'} be an edge of incident to y. There is a unique 1 < jo = jo(f) < M with f Î E(H). Clearly, j0 ¹ i0.

As H is 2-connected, the edges e = {x, x'} Î E(H) and f = {y,y'} Î E(H) lie on a cycle of . Thus contains a cycle that has edges in distinct Hi, as claimed.

Let us now observe that any useful cycle C Ì may be written as a concatenation of q = q(C) > 2 paths P1 ,..., Pq such that

(i) each Pi (1 < i < q) has at least one edge,

(ii) each Pi (1 < i < q) is contained in an Hj, where j = j(i) is uniquely determined,

(ii) we have j(i – 1) ¹ j(i) for all 1 < i < q, where the indices i are taken modulo q.

Let C0 Ì be a useful cycle of minimal length, and put q0 = q(C0).

Recall that we write Ej for V(Hj) Î (1 < j < M). Consider the cyclic sequence Ej(1),... ,Ej(qo) of hyperedges of determined by C0 (see (ii) above). A moment's thought now shows that there must be a segment of this sequence with q' elements (2 < q' < qo) that forms a hypercycle in . Since has girth , we have q0 > q' > . Because of (i) above, we have that C0 has length > q0 > .

We now use the definition of the family () and the fact that Î() to deduce that the cycle C0 Ì must have a chord, say c Î E(). This chord c belongs to some Hi (1 < i < M), say Hi(c). Recall C0 is a useful cycle, and let i(1) ¹ i(2) be such that C0 contains edges from both Hi(1) and Hi(2). Adjusting the notation, we may further assume that i(c) ¹ i(l).

Let C1 and C2 be the two cycles sharing the chord c that together form C0 + c. By adjusting the notation again, we may assume that there is an edge of Hi(1) in C1. Since c Î E(C1)Ç E(Hi(c)) and i(c) ¹ i(1), the cycle C Ì is useful. As C1 is shorter than C0, we have a contradiction to the choice of C0. This contradiction shows that no spontaneous copy of H may occur in G, and our proof is complete.


6 Concluding remarks

Our proof of the fact that the Ramsey property G ®(C,H) holds almost surely follows [8] closely, although the random graph G presents some different technical difficulties (in [8], Ramsey properties of the usual binomial random graph Gn,P are investigated). The construction of G has already been used to prove Ramsey type results for orderings and vertex colourings (see, e.g., Nesetfil and Rodl [11]).

The strong assumption given by property (P6) was crucial in our proof of the fact that G t (C,H) holds almost surely. It was in fact (P6) that led us to restrict H to 2-connected graphs without long induced cycles. It would be very interesting to drop this hypothesis on long cycles, or at least find further natural, weaker conditions that ensures (P6) given that (P1) holds.

Going in another direction, we mention that Burr, Faudree, and Schelp [4] proved that (G, H) is Ramsey-infinite if all the pairs (Gj, Hj) are Ramsey-infinite, where the Gi are the blocks of G and the Hj are the blocks of H.

We close by mentioning that we have in fact proved a stronger Ramsey property for G. Indeed, we proved that, almost surely, G is such that, in any colouring of its edges with red and blue, either there is an induced C all the edges of which are coloured red, or else there is an induced copy of H all the edges of which are coloured blue. Therefore, we have proved that the pair (C,H) is what is called strong-Ramsey-infinite. This concept has been investigated in Burr [1], Burr, Faudree, and Schelp [4], and Nesetfil and Rodl [12], among others.


7 Acknowledgements

The authors are grateful to the referee for his or her comments.



[1] Stefan A. Burr, Some Ramsey-infinite graphs in the diagonal case, Ars Combin. 21 (1986), 173-178. MR 87m:05126        [ Links ]

[2] Stefan A. Burr, Paul Erdos, Ralph J. Faudree, Cecil C. Rousseau, and Richard H. Schelp, Ramsey-minimal graphs for matchings, The theory and applications of graphs (Kalamazoo, Mich., 1980), Wiley, New York, 1981, pp. 159-168. MR 83c:05092        [ Links ]

[3] Stefan A. Burr, Paul Erdos, Ralph J. Faudree, and Richard H. Schelp, A class of Ramsey-finite graphs, Proceedings of the Ninth Southeastern Conference on Combinatorics, Graph Theory, and Computing (Florida Atlantic Univ., Boca Raton, Fla., 1978) (Winnipeg, Man.), Utilitas Math., 1978, pp. 171-180. MR 80m:05081        [ Links ]

[4] Stefan A. Burr, Ralph J. Faudree, and Richard H. Schelp, On graphs with Ramsey-infinite blocks, European J. Combin. 6 (1985), no. 2, 129 132. MR 87f:05118        [ Links ]

[5] Ralph Faudree, Ramsey minimal graphs for forests, Ars Combin. 31 (1991), 117-124. MR 921:05151        [ Links ]

[6] Ralph J. Faudree, Cecil C. Rousseau, and Richard H. Schelp, Problems in graph theory from Memphis, The mathematics of Paul Erdos, II, Springer, Berlin, 1997, pp. 7-26. MR 97m:05134        [ Links ]

[7] Y. Kohayakawa, Szemerédi's regularity lemma for sparse graphs, Foundations of computational mathematics (Rio de Janeiro, 1997), Springer, Berlin, 1997, pp. 216-230. MR 99g:05145        [ Links ]

[8] Y. Kohayakawa and B. Kreuter, Threshold functions for asymmetric Ramsey properties involving cycles, Random Structures Algorithms 11 (1997), no. 3, 245-276. MR 99g:05159        [ Links ]

[9] Tomasz ouczak, On Ramsey minimal graphs, Electron. J. Combin. 1 (1994), Research Paper 4, approx. 4 pp. (electronic). MR 95b:05149        [ Links ]

[10] Jaroslav Nešetril and Vojtech Rödl, Partitions of vertices, Comment. Math. Univ. Carolinae 17 (1976), no. 1, 85-95. MR 54 #173        [ Links ]

[11] ______, On a probabilistic graph-theoretical method, Proc. Amer. Math. Soc. 72 (1978), no. 2, 417-421. MR 80a:05158        [ Links ]

[12] ______, The structure of critical Ramsey graphs, Acta Math. Acad. Sci. Hungar. 32 (1978), no. 3-4, 295-300. MR 80c:05102        [ Links ]

[13] Vojtech Rödl and Andrzej Rucinski, Lower bounds on probability thresholds for Ramsey properties, Combinatorics, Paul Erdos is eighty, Vol. 1, János Bolyai Math. Soc., Budapest, 1993, pp. 317-346. MR 95b:05150        [ Links ]

[14] ______, Threshold functions for Ramsey properties, J. Amer. Math. Soc. 8 (1995), no. 4, 917-942. MR 96h:05141        [ Links ]

[15] Marcus Schaefer, Graph Ramsey theory and the polynomial hierarchy (extended abstract), Annual ACM Symposium on Theory of Computing (Atlanta, GA, 1999), ACM, New York, 1999, pp. 592-601 (electronic). MR 1 798 082        [ Links ]

[16] ______, Graph Ramsey theory and the polynomial hierarchy, J. Comput. System Sci. 62 (2001), no. 2, 290-322, Special issue on the Fourteenth Annual IEEE Conference on Computational Complexity (Atlanta, GA, 1999). MR 2002a:68049        [ Links ]



*Partially supported by NSF grant DMS-9971788 and DARPA grant F33615-01-C-1900.
† Supported by a CNPq Doctorate Scholarship (Proc. 141633/1998-0).
‡ Partially supported by MCT/CNPq through ProNEx Programme (Proc. CNPq 664107/1997-4) and by CNPq (Proc. 300334/93-1, 468516/2000-0, and 910064/99-7).

Creative Commons License All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License