Dependent random choice

Last updated

In mathematics, dependent random choice is a probabilistic technique that shows how to find a large set of vertices in a dense graph such that every small subset of vertices has many common neighbors. It is a useful tool to embed a graph into another graph with many edges. Thus it has its application in extremal graph theory, additive combinatorics and Ramsey theory.

Contents

Statement of theorem

Let , and suppose: [1] [2] [3] [4] [5]

Every graph on vertices with at least edges contains a subset of vertices with such that for all with , has at least common neighbors.

Proof

The basic idea is to choose the set of vertices randomly. However, instead of choosing each vertex uniformly at random, the procedure randomly chooses a list of vertices first and then chooses common neighbors as the set of vertices. The hope is that in this way, the chosen set would be more likely to have more common neighbors.

Formally, let be a list of vertices chosen uniformly at random from with replacement (allowing repetition). Let be the common neighborhood of . The expected value of is

For every -element subset of , contains if and only if is contained in the common neighborhood of , which occurs with probability An is bad if it has less than common neighbors. Then for each fixed -element subset of , it is contained in with probability less than . Therefore by linearity of expectation,

To eliminate bad subsets, we exclude one element in each bad subset. The number of remaining elements is at least , whose expected value is at least Consequently, there exists a such that there are at least elements in remaining after getting rid of all bad -element subsets. The set of the remaining elements expresses the desired properties.

Applications

Turán numbers of a bipartite graph

Dependent random choice can help find the Turán number. Using appropriate parameters, if is a bipartite graph in which all vertices in have degree at most , then the extremal number where only depends on . [1] [5]

Formally, with , let be a sufficiently large constant such that If then

and so the assumption of dependent random choice holds. Hence, for each graph with at least edges, there exists a vertex subset of size satisfying that every -subset of has at least common neighbors. By embedding into by embedding into arbitrarily and then embedding the vertices in one by one, then for each vertex in , it has at most neighbors in , which shows that their images in have at least common neighbors. Thus can be embedded into one of the common neighbors while avoiding collisions.

This can be generalized to degenerate graphs using a variation of dependent random choice.

Embedding a 1-subdivision of a complete graph

DRC can be applied directly to show that if is a graph on vertices and edges, then contains a 1-subdivision of a complete graph with vertices. This can be shown in a similar way to the above proof of the bound on Turán number of a bipartite graph. [1]

Indeed, if we set , we have (since )

and so the DRC assumption holds. Since a 1-subdivision of the complete graph on vertices is a bipartite graph with parts of size and where every vertex in the second part has degree two, the embedding argument in the proof of the bound on Turán number of a bipartite graph produces the desired result.

Variation

A stronger version finds two subsets of vertices in a dense graph so that every small subset of vertices in has a lot of common neighbors in .

Formally, let be some positive integers with , and let be some real number. Suppose that the following constraints hold:

Then every graph on vertices with at least edges contains two subsets of vertices so that any vertices in have at least common neighbors in . [1]

Extremal number of a degenerate bipartite graph

Using this stronger statement, one can upper bound the extremal number of -degenerate bipartite graphs: for each -degenerate bipartite graph with at most vertices, the extremal number is at most [1]

Ramsey number of a degenerate bipartite graph

This statement can be also applied to obtain an upper bound of the Ramsey number of a degenerate bipartite graphs. If is a fixed integer, then for every bipartite -degenerate bipartite graph on vertices, the Ramsey number is of the order [1]

Related Research Articles

In graph theory, an expander graph is a sparse graph that has strong connectivity properties, quantified using vertex, edge or spectral expansion. Expander constructions have spawned research in pure and applied mathematics, with several applications to complexity theory, design of robust computer networks, and the theory of error-correcting codes.

In graph theory, a regular graph is a graph where each vertex has the same number of neighbors; i.e. every vertex has the same degree or valency. A regular directed graph must also satisfy the stronger condition that the indegree and outdegree of each internal vertex are equal to each other. A regular graph with vertices of degree k is called a k‑regular graph or regular graph of degree k. Also, from the handshaking lemma, a regular graph contains an even number of vertices with odd degree.

In mathematics, Hall's marriage theorem, proved by Philip Hall, is a theorem with two equivalent formulations. In each case, the theorem gives a necessary and sufficient condition for an object to exist:

<span class="mw-page-title-main">Szemerédi regularity lemma</span>

In extremal graph theory, Szemerédi’s regularity lemma states that a graph can be partitioned into a bounded number of parts so that the edges between parts are regular. The lemma shows that properties of random graphs can be applied to general graphs like counting the copies of a given subgraph within graphs. Endre Szemerédi proved the lemma over bipartite graphs for his theorem on arithmetic progressions in 1975 and for general graphs in 1978. Variants of the lemma use different notions of regularity and apply to other mathematical objects like hypergraphs.

<span class="mw-page-title-main">Kneser graph</span> Graph whose vertices correspond to combinations of a set of n elements

In graph theory, the Kneser graphK(n, k) (alternatively KGn,k) is the graph whose vertices correspond to the k-element subsets of a set of n elements, and where two vertices are adjacent if and only if the two corresponding sets are disjoint. Kneser graphs are named after Martin Kneser, who first investigated them in 1956.

The Zarankiewicz problem, an unsolved problem in mathematics, asks for the largest possible number of edges in a bipartite graph that has a given number of vertices and has no complete bipartite subgraphs of a given size. It belongs to the field of extremal graph theory, a branch of combinatorics, and is named after the Polish mathematician Kazimierz Zarankiewicz, who proposed several special cases of the problem in 1951.

In graph theory, a graph is said to be a pseudorandom graph if it obeys certain properties that random graphs obey with high probability. There is no concrete definition of graph pseudorandomness, but there are many reasonable characterizations of pseudorandomness one can consider.

The expander mixing lemma intuitively states that the edges of certain -regular graphs are evenly distributed throughout the graph. In particular, the number of edges between two vertex subsets and is always close to the expected number of edges between them in a random -regular graph, namely .

<span class="mw-page-title-main">Triadic closure</span>

Triadic closure is a concept in social network theory, first suggested by German sociologist Georg Simmel in his 1908 book Soziologie [Sociology: Investigations on the Forms of Sociation]. Triadic closure is the property among three nodes A, B, and C, that if the connections A-B and A-C exist, there is a tendency for the new connection B-C to be formed. Triadic closure can be used to understand and predict the growth of networks, although it is only one of many mechanisms by which new connections are formed in complex networks.

In extremal graph theory, the forbidden subgraph problem is the following problem: given a graph , find the maximal number of edges an -vertex graph can have such that it does not have a subgraph isomorphic to . In this context, is called a forbidden subgraph.

In coding theory, Zemor's algorithm, designed and developed by Gilles Zemor, is a recursive low-complexity approach to code construction. It is an improvement over the algorithm of Sipser and Spielman.

In graph theory, the graph removal lemma states that when a graph contains few copies of a given subgraph, then all of the copies can be eliminated by removing a small number of edges. The special case in which the subgraph is a triangle is known as the triangle removal lemma.

The counting lemmas this article discusses are statements in combinatorics and graph theory. The first one extracts information from -regular pairs of subsets of vertices in a graph , in order to guarantee patterns in the entire graph; more explicitly, these patterns correspond to the count of copies of a certain graph in . The second counting lemma provides a similar yet more general notion on the space of graphons, in which a scalar of the cut distance between two graphs is correlated to the homomorphism density between them and .

Sidorenko's conjecture is a conjecture in the field of graph theory, posed by Alexander Sidorenko in 1986. Roughly speaking, the conjecture states that for any bipartite graph and graph on vertices with average degree , there are at least labeled copies of in , up to a small error term. Formally, it provides an intuitive inequality about graph homomorphism densities in graphons. The conjectured inequality can be interpreted as a statement that the density of copies of in a graph is asymptotically minimized by a random graph, as one would expect a fraction of possible subgraphs to be a copy of if each edge exists with probability .

In spectral graph theory, the Alon–Boppana bound provides a lower bound on the second-largest eigenvalue of the adjacency matrix of a -regular graph, meaning a graph in which every vertex has degree . The reason for the interest in the second-largest eigenvalue is that the largest eigenvalue is guaranteed to be due to -regularity, with the all-ones vector being the associated eigenvector. The graphs that come close to meeting this bound are Ramanujan graphs, which are examples of the best possible expander graphs.

In the mathematical field of graph theory, Hall-type theorems for hypergraphs are several generalizations of Hall's marriage theorem from graphs to hypergraphs. Such theorems were proved by Ofra Kessler, Ron Aharoni, Penny Haxell, Roy Meshulam, and others.

In graph theory, perfect matching in high-degree hypergraphs is a research avenue trying to find sufficient conditions for existence of a perfect matching in a hypergraph, based only on the degree of vertices or subsets of them.

In mathematics, a quasirandom group is a group that does not contain a large product-free subset. Such groups are precisely those without a small non-trivial irreducible representation. The namesake of these groups stems from their connection to graph theory: bipartite Cayley graphs over any subset of a quasirandom group are always bipartite quasirandom graphs.

The blow-up lemma, proved by János Komlós, Gábor N. Sárközy, and Endre Szemerédi in 1997, is an important result in extremal graph theory, particularly within the context of the regularity method. It states that the regular pairs in the statement of Szemerédi's regularity lemma behave like complete bipartite graphs in the context of embedding spanning graphs of bounded degree.

The method of (hypergraph) containers is a powerful tool that can help characterize the typical structure and/or answer extremal questions about families of discrete objects with a prescribed set of local constraints. Such questions arise naturally in extremal graph theory, additive combinatorics, discrete geometry, coding theory, and Ramsey theory; they include some of the most classical problems in the associated fields.

References

  1. 1 2 3 4 5 6 Fox, Jacob; Sudakov, Benny (2011). "Dependent random choice". Random Structures & Algorithms. 38 (1–2): 68–99. doi:10.1002/rsa.20344. hdl: 1721.1/70097 . ISSN   1098-2418. S2CID   2321395.
  2. Verstraëte, Jacques (2015). "6 - Dependent Random Choice" (PDF). University of California San Diego. S2CID   47638896. Archived from the original (PDF) on 2017-05-19.
  3. Kostochka, A. V.; Rödl, V. (2001). "On graphs with small Ramsey numbers*". Journal of Graph Theory . 37 (4): 198–204. CiteSeerX   10.1.1.225.1347 . doi:10.1002/jgt.1014. ISSN   1097-0118. S2CID   12292577.
  4. Sudakov, Benny (2003-05-01). "A few remarks on Ramsey–Turán-type problems". Journal of Combinatorial Theory . Series B. 88 (1): 99–106. doi: 10.1016/S0095-8956(02)00038-2 . ISSN   0095-8956.
  5. 1 2 Alon, Noga; Krivelevich, Michael; Sudakov, Benny (November 2003). "Turán Numbers of Bipartite Graphs and Related Ramsey-Type Questions". Combinatorics, Probability and Computing. 12 (5+6): 477–494. doi:10.1017/S0963548303005741. ISSN   1469-2163.

Further reading