arXiv:0909.3271v2 [math.CO] 24 Apr 2010 rt nepann h anieswihw eiv aewide have believe we sharpes which the ideas pro or main combinatorial results the of known explaining variety best on a the trate on to r progress lead dependent which make go of arguments to main variants known used the the is be and of This can approach most treatment. this describe systematic to use a which attempt topic papers this of give number to growing a now Combinatoric Additive are Theory, Ramsey Theory, Graph tremal npr yNFCRE wr M-820 n yUAIreiBS USA-Israeli by and DMS-0812005 award CAREER NSF by part in oehtvge ewl aei oepeiei h etsecti next the in precise more it make expect will not we vague, do somewhat we Hence, neighbors. these e omnnihos ti nieyta l h ebr ft of members the all that unlikely is it neighbors, common few U upre ya S rdaeRsac elwhpadaPrinc a and Fellowship Research Graduate NSF an by supported neapeo h eertdPoaiitcMto se e.g graph (see, dense Method a Probabilistic Given celebrated the of [6 example (see an Sudakov and Kostochka, R¨odl, Gowers, with starting choice random embed subset an vertex such large obtain a To graph graph. Graph dense dense Extremal a a and in in find Theory graph Ramsey sparse in or problems small of number vast A Introduction 1 eie ugahoevre tatm.I hspprw discus we paper this In time. a at subset. vertex one subgraph desired of subsets ssml h e fcmo egbr of neighbors common of set the simply is ∗ † eateto ahmtc,Pictn rneo,N 08544 NJ Princeton, Princeton, Mathematics, of Department eateto ahmtc,UL,LsAgls A905 Ema 90095. CA Angeles, Los UCLA, Mathematics, of Department h attnyashv ruh eea tiigapplicatio striking several brought have years ten last The hsapoc sbsdo eysml e upiigypowe surprisingly yet simple very a on based is approach This ics oeo them. a of almost Combinatoria some (or and discuss all Combinatorics, which Additive strikin Theory, several in had vertices Ramsey has Theory, of technique subset this Recently large a neighbors. common graph dense a in find edsrb ipeadytsrrsnl oeflpoaiitctechn probabilistic powerful surprisingly yet and simple a describe We U aemn omnnihos hnoecnueti set this use can one Then neighbors. common many have al esoso hstcnqewr rvdadapidby applied and proved were technique this of versions Early . G epc ml subset small a pick we , eedn admChoice Random Dependent ao Fox Jacob ∗ U U T ocnanaysc ust lhuhti ih sound might this Although subset. such any contain to nutvl ti la hti oesbe of subset some if that clear is it Intuitively . Abstract hc src ntesneta l o lotal small all) almost (or all that sense the in rich is which T 1 fvrie nfrl trno.Te h ihset rich the Then random. at uniformly vertices of en Sudakov Benny tnCnena Fellowship. Centennial eton Email: . ,[],cnb ogl ecie sfollows. as described roughly be can [7]), ., il: ] 4] 8].Tebscmto,wihis which method, basic The [81]). [49], 0], grant. F [email protected] ,adCmiaoilGoer.There Geometry. Combinatorial and s, erno set random he so eedn admcoc oEx- to choice random dependent of ns lo u uvy nti ae ewill we paper this In survey. our of al on. no hieadilsrt o they how illustrate and choice andom osbebud,btrte concen- rather but bounds, possible t plcblt.Truhu h paper, the Throughout applicability. napoc ofidn uharich a such finding to approach an s lm.W iluulyntgv the give not usually will We blems. [email protected] plctost xrmlGraph Extremal to applications g ig ti oeie ovnetto convenient sometimes is it ding, fltcnqekonas known technique rful etikta h iehscome has time the that think we emty nti uvywe survey this In Geometry. l † hoyda ihebdiga embedding with deal Theory l ml ust aemany have subsets small ll) qewihsoshwto how shows which ique U n reiyebdthe embed greedily and T ilb hsnamong chosen be will aiu researchers, various eerhsupported Research . G dependent Research . a only has we systematically omit floor and ceiling signs whenever they are not crucial for the sake of clarity of presentation. All logarithms are in base 2. The choice of topics and examples described in this survey is inevitably biased and is not meant to be comprehensive. We prove a basic lemma in the next section, and give several quick applications in Section 3. In Section 4 we discuss an example, based on the isoperimetric inequality for binary cubes, which shows certain limitations of dependent random choice. Next we present Gowers’ celebrated proof of the Balogh-Szemer´edi lemma, which is one of the earliest applications of this technique to additive combinatorics. In Sections 6 and 7 we study Ramsey problems for sparse graphs and discuss recent progress on some old conjectures of Burr and Erd˝os. Section 8 contains more variants of dependent random choice which were needed to study embeddings of subdivisions of various graphs into dense graphs. Another twist in the basic approach is presented in Section 9, where we discuss graphs whose edges are in few triangles. The final section of the paper contains more applications of dependent random choice and concluding remarks. These additional applications are discussed only very briefly, since they do not require any new alterations of the basic technique.
2 Basic Lemma
For a vertex v in a graph G, let N(v) denote the set of neighbors of v in G. Given a subset U G, the ⊂ common neighborhood N(U) of U is the set of all vertices of G that are adjacent to U, i.e., to every vertex in U. Sometimes, we might write NG(v),NG(U) to stress that the underlying graph is G when this is not entirely clear from the context. The following lemma (see, e.g., [60, 81, 3]) is a typical result proved by dependent random choice. It demonstrates that every dense graph contains a large vertex subset U such that all small subsets of U have large common neighborhood. We discuss applications of this lemma in the next section. Lemma 2.1 Let a, d, m, n, r be positive integers. Let G = (V, E) be a graph with V = n vertices and | | average degree d = 2 E(G) /n. If there is a positive integer t such that | | dt n m t t 1 a, n − − r n ≥ then G contains a subset U of at least a vertices such that every r vertices in U have at least m common neighbors.
Proof. Pick a set T of t vertices of V uniformly at random with repetition. Set A = N(T ), and let X denote the cardinality of A. By linearity of expectation, t t N(v) t N(v) t t 1 t v V (G) d E[X]= | | = n− N(v) n − ∈ | | = , n | | ≥ n nt 1 v V (G) v V (G) P ! − ∈X ∈X where the last inequality is by convexity of the function f(z)= zt. Let Y denote the random variable counting the number of subsets S A of size r with fewer than ⊂ N(S) t m common neighbors. For a given such S, the probability that it is a subset of A equals | n | . Since there are at most n subsets S of size r for which N(S)