## Services on Demand

## Article

## Indicators

- Cited by SciELO
- Access statistics

## Related links

- Cited by Google
- Similars in SciELO
- Similars in Google

## Share

## Journal of the Brazilian Computer Society

*On-line version* ISSN 1678-4804

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

#### http://dx.doi.org/10.1590/S0104-65002001000200005

**ARTICLES**

**Béla Bollobás ^{I,} ^{*}; Jair Donadelli^{II,}^{}; Yoshiharu Kohayakawa^{II,}^{}; Richard H. Schelp^{III} **

^{I}Department of Mathematical Sciences University of Memphis Memphis TN 38152-6429, U.S.A. and Trinity College Cambridge CB2 1TQ, U.K., e-mail: bollobas@msci.memphis.edu

^{II}Institute 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}@ime.usp.br

^{III}Department of Mathematical Sciences, University of Memphis, Memphis TN 38152-6429, U.S.A., e-mail: schelpr@msci.memphis.edu

**ABSTRACT**

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 (

*C*) is Ramsey-infinite for any

^{k},H*k*where

__>__l,*C*denotes the cycle of length

^{k}*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 (*P*^{3}, *P*^{3}), 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 *(*C ^{k},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 = {*E*_{1}*, . . . , E*_{k}} on (È such that ô*E*_{i} Ç *E*_{j}ô* = *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 = G ^{n}* 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 *E _{G}*(

*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

*e _{G}*(

*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

ô*d _{G},_{p}*(

*U,W*)

*–d*(

_{G},_{p}*U',W'*)ô< e .

We say that a partition P = (*V _{0}, V*

_{i},...,

*V*) of

_{k}*V*is (e

*,k,G,p*)

*-regular*if |

*V*|

_{0}__<__e |

*V*| and |

*V*

_{i}| = |

*V*| for all

_{j}*i, j*e Î[

*k*]= {1,...,

*k*}

*,*and for

__>__(1 - e) pairs {

*i,j*} Ì [

*k*] we have that (

*V*

_{i}

*, V*) is (e,

_{j}*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 k _{o} *

__>__1,

*there exist constants*h

*=*h(e

*,k*

_{o}

*,D*)

*>*0

*and K*

_{0}

*= K*

_{0}(e,

*K*

_{0}

*,D*)

__>__

*K*

_{0}

*such that, for any*0 <

*p = p*(

*n*)

__<__1,

*any sufficiently large*(h,

*D,p*)

*-sparse graph G = G*(e

^{n}admits an*, k, G,p*)

*-regular partition for some K*

_{0}

__<__

*k*

__<__

*K*

_{0}.

** 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 *V _{i}*'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

*V*an (e,

_{i}*, B, C, D;*

**V**^{(}

^{m}^{)}

*, M*)

*-graph*if

(i) *E*(*F*)* = **E _{F}*(

*V*) and |

_{i},V_{i+i}*E*(

*F*)|

*= M,*

*(ii) *for all 1 __<__ *i *__<__ we have that the pairs (*V _{i},V_{i+}*

_{1})are (e

*, F,*)-regular, where

*= Bm*

^{–1+1/}

^{( –1)}, and their -densities satisfy

*(iii) *for any 1 __<__ *i *__<__ * – *1, if *U *Ì *V _{i }*and

*W*Ì

*V*

_{i+}_{1}are such that

ô*U*ô__<__ô* W*ô__<__ * m*ô*U*ô__<__(*m*)^{}*– ^{2} * ,

then

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*, B*_{0}* = B*_{0}(, a, *, C, D *)* > *0, *and m _{0} = m_{0}*(, a,

*, C, D*)

*such that, for all integers m*

__>__

*mo and M*

__>__1

*, and all real B*

__>__

*B*

_{0}

*, 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 = * *V _{i } *Ì

*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 H*_{1}*,...,H _{r} *(

*r*

__>__1)

*be given. Then there exist positive constants c = c*(

*H*

_{1}

*,...,H*)

_{r}*>*0

*and k*(

_{0}= k_{0}*H*

_{1},

*... ,H*)

_{r}*for which the following holds. If k*

__>__

*ko and K*1

^{k}is given an arbitrary r-edge-colouring, then we necessarily have, for some__<__

*i*

__<__

*r, at least monochromatic copies of H*

_{i}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 *p _{H} *=

*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 *p _{H}. *Owing to the choice

*of p*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

_{H},*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 = G^{n} 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 inGare 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 inGthat contains this edge e ofG.

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*()ô*n*^{1+1/(–1)}

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

*p _{e}* =

*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,*p _{e}*)-sparse, we may apply the regularity lemma (Lemma 4), with some appropriate choices for

*k*

_{0}and e, to obtain an

*-*tuple (

*V*

_{1}, ...,

*V*

^{}) of subsets of

*V*(G) with (

*V*

_{i}, V_{i+}_{1}) (e;

*p*)-regular and with

_{e}*p*-density bounded away from 0, for all 1

_{e}__<__

*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 (

*V*

_{1}, ...,

*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 = G^{n}(**

*,*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*!)*n*^{1+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*(*n*w*), *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)}) = {*E _{f} *:

*f*Î

*E*(G

^{(e)})}

and with the map * f* Î *E*(G^{(e)}) *E _{f} *Î (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 {*e*_{1}*, . . . *, *e*_{M}} Ì . Suppose G admits a subgraph G^{(e)} with * J* Ì G^{(e)}. Then there must exist an *M*-tuple of hyperedges

with *e*_{i} Î *E _{i}* for all 1

__<__

*i*

__<__

*M*and with all the

*E*distinct. If

_{i}*X = X*() is the number of such

*M-*tuples of distinct hyperedges in , then

Therefore, by Markov's inequality, we have

where

*p _{e}* =

*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*,e*2*e*(*H*)*,p _{e}*)

*-sparse.*

*Proof. *Suppose *U, W *Ì *V = V*(G) = [*n*] are disjoint subsets of *V*(G) with cardinality ô*U*ô=ô*W*ô= é h*n*ù such that *e*_{G}(*U,W*) > *e2e*(*H*)*p _{e}*ô

*U*ôô

*W*ô. Then we have (

*U,W*)

__>__ée2

*p*ô

_{e}*U*ôô

*W*ôù, for some G

^{(e)}Ì G. The event that there should be G

^{(e)}Ì G with (

*U, W*)

__>__

*M =*ée2

*p*ô

_{e}*U*ôô

*W*ôù ée2

*p*ô

_{e}*U*ôô

*W*ôù = W (n

^{1+1/(–1)}) has probability at most

The number of disjoint subsets *U,W *Ì *V *with cardinality é h*n*ù is smaller than 2^{2n}. Therefore, the expected number of pairs of subsets (*U, W*) spanning > e2*p _{e}*(

*H*)ô

*U*ôô

*W*ô edges of F between them is at most 2

^{2n}2

^{–M}=

*o*(1). Our proposition follows from Markov's inequality.

We shall say that a graph on *V = *[*n*] is (*p _{e}, C*, )

*-locally-sparse*if, for all disjoint subsets

*U*and

*W*of

*V*with ô

*U*ô

__<__ô

*W*ô

__<__(

*p*)ô

_{e}n*U*ô

__<__(

*p*)

_{e}n^{–2}, we

*have e*(

*U,W*)

__<__

*C*ô

*W*ô.

**Proposition 8 ** *Almost surely the graph *G* is *(*p _{e},4:*(

*–*1)

*e*(

*H*)

*,*)

*-locally-sparse.*

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

*C = *4(* – *1)*e*(*H*)

and

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

Note that if *e*_{G}(*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*ô__<__ (*p _{e}n*)ô

*U*ô

__<__(

*p*)

_{e}n^{–2}. Notice that

*p*ô

_{e}*U*ô

__<__(

*p*)

_{e}n^{–2}

*/n*

__<__

*A*

^{–2}

*n*

^{–1/–1}. From the fact that ô

*U*ô

__<__ô

*W*ô

*<*l

*n*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 *__<__ (*p _{e}n*)

*u*

__<__(

*p*)

_{e}n^{–2}

and such that *e*_{G}(*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

Put

*C = *4(– 1)*e*(*H*) and *D = e*2*e*(*H*)*,*

and fix *k*_{0} Î . Let e*, B*_{0}, and *m*_{0} be the constants whose existence is guaranteed by Lemma 5 for the constants above, and let h and *K*_{0} be the constants given by Lemma 4 for these values of e*, D, *and *K*_{0}. Recall we write **V**^{(m)} for a vector of pair-wise disjoint, *m*-element subsets of *V*(G) = [*n*]. Re-call *p _{e }= An*

^{–1+1/(–1)}.

**Proposition 9 ***Suppose A *__>__* 2B _{0}K_{0}. Then almost surely *G

*has the following property. If*

**V**

^{(m)}

*and*G

^{(e)}Ì G

*are such that*

*and the pairs *(*V*_{i},*V*_{i+1}) *are *(e, G^{(e), }*p _{e} *)

*-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

*p _{e} = B_{m}*

^{–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 *p _{e}m^{2}*.

Now notice that

where the last inequality comes from *m *__>__* n/2K*_{0}. Note that if *n *is sufficiently large, then *m *__>__* m*_{0}, where *m*_{0 }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 *__>__ *p _{e}m^{2}*. Summing over all choices for 1

__<__

*m*

__<__

*n*and 1

__<__

*M*

__<__(), we have a factor of at most

*n*Therefore, our result follows by Markov's inequality.

^{3}. 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)/e^{h}. *For all *** W**^{(m)} = * with n*/log*n* __<__ *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 *X _{w} *as the number of hyperedges in with exactly one vertex from each

*W*.

_{i} The expectation of ** X_{w} **is

*X*=

_{w}*m*Using ChernofT s inequality we have

^{h}p_{H}. and, as the number of choices for ** W** = ** W**^{(m) } = is at most *2 ^{hn}, *the probability that there should exist

**W**such that

*X*

_{w}__<__(1/2)

*X*is smaller than

_{W} That is, almost surely *X _{w} > *(1/2)X

_{W}.

The number of hyperedges deleted from to get rid of short hypercycles is *O*(*n*w)*, *for any function w* = *w(*n*) ® ¥ as *n *® ¥. Therefore the number of hyperedges induced by ** W** in is almost surely __>__ (1/2)X_{W} – *O*(*n*w) __>__ (1/4)X_{W}. 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

*k _{0} * =

*k*(

_{0}*K*

^{2}, C^{}

*, K*) and c =

^{h}*c*(

*K*

^{2}, C^{}

*, K*)

^{h}be the constants given by Lemma 6. Set

and

*D = e2e*(*H*)*.*

Next, let

e * = *e(, a, *, C, D*)*, B _{0} = B_{0}*(, a,

*, C, D*)

*,*

and

*m _{0} = m_{0}*(, a,

*, C, D*)

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

h= h(e*, k _{0}, D*) and

*K*(e

_{0}= K_{0}*, k*)

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

*A *= max {*2B _{0}K_{0}, *(

*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 *H*_{1}*,...,H _{M}, *with

*M*

*p*and with any two distinct

_{H}*H*sharing at most one vertex. In fact, for each G in our family, we

_{i}*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 =

*H*Î

_{i}*=*(

*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*,*p _{e}*)-sparse and (

*p*)-locally-sparse;

_{e},C, (P3) for all **V**^{(m)} = (*V*_{1}*,...,V*^{})*, *where *n/2K _{0} *

__<__

*m*

__<__

*n/ko,*if G

^{(e)}Ì G[

**V**

^{(m)}] is such that the pairs (

*V*

_{i},V_{i}_{+1}) are (e, G

^{(e)},

*p*)-regular of

_{e}*p*density at least for all 1

_{e}-__<__

*i*

__<__, then G

^{(e)}contains

*C*

^{}

_{;} (P4) every **W**^{(m)} *=*(*W*_{1}*,...,W _{h}*) 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 *v _{u} *that belongs to at most one non-spontaneous copy

*H*of

_{i}*H*such that

*V*(

*H*) Ì

_{i}*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 G® ( C^{}H)**

Let G^{(e)} be the spanning subgraph of G defined by colouring red exactly one edge from each non-spontaneous copy *H _{i}*(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*,*p _{e}*)-sparse. Applying Lemma 4 we get an (e,

*k*, G

^{(e)},

*p*)-regular partition P = (

_{e}*V*

_{0},

*V*

_{1}, . . . ,

*V*

_{k}) with

*k*

_{0}__<__

*k*

__<__

*K*Denote by

_{0}.*m*the common cardinality of the

*V*(1

_{i}__<__

*i*

__<__

*k*)

*.*We have

Let *K ^{k}* be the complete graph on

*V*(

*K*)

^{k}*=*{

*V*,

_{i}*. . .*,

*V*}, and consider the following 3-colouring of the edges of

_{k}*K*

^{k}:(a) colour {

V} with 1 if (_{i}, V_{j}V) is not e-regular,_{i}, V_{j}(b) colour {

V} with 2 if (_{i}, V_{j}V) is e-regular of density_{i}, V_{j}>,(c) colour {

V} with 3 if (_{i}, V_{j}V) is e-regular of density < ._{i}, V_{j}

Since *k *__>__* k _{0}*, we have by Lemma 6 that in this colouring of

*K*there must be

^{k}(

i) at leastckcopies of^{2}Kwith all edges of colour^{2}l,oi(

ii) at leastck^{}copies ofC^{}with all edges of colour 2, or(

iii) at leastckcopies of^{h}Kwith all edges of colour 3.^{h}

Note that (*i*) cannot hold, because the number of pairs that are not e-regular is __<__ e __<__* 2c** < ck ^{2}. *If (

*ii*) holds, any

*C*

^{}C

*K*of colour 2 determines a vector, say

^{k}**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*(*V _{i}, V_{j}*) that correspond to colour 3 edges from

*K*is

^{k} On the other hand, by (*iii*)*, *we have at least *ck ^{h }*copies of

*K*that are monochromatic of colour 3 in

^{h}*K*Fix one such

^{k}.*K*and let

^{h},*J*be the

*h*-partite subgraph of G naturally associated with this

*K*Each vertex class of

^{h}.*J*has

*m*

__>__

*n/2K*

_{0}

__>__

*n/logn*vertices.

By Property (P4), we know that *J *spans __>__ (1/4*)e*(*H*)*m ^{h}p_{H} *edges that may be extended to non-spontaneous copies of

*H*within V(

*J*). Therefore, we have

__>__(

*l/4*)

*m*non-spontaneous copies of

^{h}p_{H}*H*within

*J,*and hence we have

__>__(1

*/4*)

*m*edges from G

^{h}p_{H}^{(e)}within

*J.*Finally, note that if we have two distinct

*K*monochromatic of colour 3 in

^{h}*K*then each 'contributes' with

^{k},__>__(1

*/4*)

*m*distinct edges in our edge count for G

^{h}pu^{(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 __>__ *ck ^{h} *copies of

*K*that are monochromatic of colour 3 in

^{h}*K*we have at least

^{k}, edges that belong to the *E*(*V _{i}, V_{j}*) that correspond to colour 3 edges from

*K*However, inequalities (5) and (6) contradict each other, and hence we may conclude that

^{k}.*(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 *v _{U} *that belongs to at most one non-spontaneous copy

*H*of

_{i}*H*in G such that

*V*(

*H*) Ì

_{i}*U;*for convenience, let

*H*be this

*H*if it exists. Now, fix a red-blue edge-colouring of G[

_{i}*U \*{

*v*}] with neither a red copy of

_{U}*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 *v _{U }*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= *H _{i}* 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 *E _{i} = V*(

*H*) (1

_{i}__<__i

__<__M). Recall that (PI) states that the hypergraph

*=*{

*E*: 1

_{i}__<__

*i*

__<__

*M*} has girth . Note that this implies that all the

*H*are induced subgraphs of G, jis

_{i }*>*2. Since is spontaneous, it follows that Ï .

Below, we shall often use the following fact: if *e* is an edge of G = * H _{i }*tnen

*e*Î

*E*(

*H*) for a uniquely determined index 1

_{i}__<__

*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 *H _{i} *(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 __<__ *i _{0} = i_{0}*(

*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

__<__j

_{o}=

*j*(

_{o}*f*)

__<__

*M*with

*f*Î

*E*(

*H*). Clearly,

*j*¹

_{0}*i*

_{0}. 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 *H _{i}, *as claimed.

Let us now observe that any useful cycle *C* Ì may be written as a concatenation of *q = q*(*C*) __>__ 2 paths *P*_{1} ,..., *P _{q} *such that

(

i) eachP(1_{i}<i<q) has at least one edge,(

ii) eachP(1_{i}<i<q) is contained in anHwhere_{j},j = j(i) is uniquely determined,(

ii) we havej(i– 1) ¹j(i) for all 1<i<q,where the indicesiare taken moduloq.

Let *C _{0} *Ì be a useful cycle of minimal length, and put

*q*(

_{0}= q*C*)

_{0}*.*

Recall that we write *E _{j} *for

*V*(

*H*) Î (1

_{j}__<__

*j*

__<__M). Consider the cyclic sequence

*E*

_{j}_{(1)},...

*,E*

_{j}_{(qo)}of hyperedges of determined by

*C*

_{0}(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

*q*

_{0}

__>__

*q'*

__>__. Because of (

*i*) above, we have that

*C*

_{0}has length

__>__

*q*

_{0}

__>__.

We now use the definition of the family () and the fact that Î() to deduce that the cycle *C _{0} *Ì must have a chord, say

*c*Î

*E*()

*.*This chord

*c*belongs to some

*H*(1

_{i}__<__

*i*

__<__M), say

*H*

_{i}_{(c)}. Recall

*C*

_{0}is a useful cycle, and let i(1) ¹

*i*(2) be such that C

_{0}contains edges from both

*H*

_{i}_{(1}

_{)}and

*H*

_{i}_{(2)}. Adjusting the notation, we may further assume that

*i*(

*c*) ¹

*i*(

*l*)

*.*

Let *C*_{1} and *C*_{2} be the two cycles sharing the chord *c *that together form *C*_{0}* + c. *By adjusting the notation again, we may assume that there is an edge of *H _{i}*

_{(1}

_{)}in

*C*

_{1}. Since

*c*Î

*E*(

*C*

_{1})Ç

*E*(

*H*

_{i}_{(c)}) and

*i*(

*c*) ¹

*i*(1), the cycle

*C*Ì is useful. As

*C*

_{1}is shorter than

*C*

_{0}, we have a contradiction to the choice of

*C*

_{0}

*.*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 *G _{n},_{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 (*G _{j}*,

*H*) are Ramsey-infinite, where the

_{j}*G*are the blocks of

_{i}*G*and the

*H*are the blocks of

_{j}*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.

**References**

[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).