Random Graph Coverings Alon Amit and Nathan Linial and JirΔ±Μ Matousek Abstract with main theorems created by Marcin Witkowski and L Μ· ukasz Witkowski Homomorphism of graphs are adjacency-preserving maps: a map π : π (π») → π (πΊ) is a homomorphism of the graph π» to the graph πΊ if {π(π₯), π(π¦)} ∈ πΈ(πΊ) whenever {π₯, π¦} ∈ πΈ(π»). We say that homomorphism π is a covering if the star of each vertex π£˜ ∈ π» is mapped bijectively to the star of its image π˜ π£ , where a star is a collection of edges incident to a vertex. A loop is considered as two edges in the star. ˜ We call πΊ the base graph and the inverse image We denote the covering of a graph πΊ as πΊ. −1 ˜ π (π£) is called ο¬ber, denoted πΊπ£ . Usually all the ο¬bers have the same cardinality, this common cardinality is called the degree of the covering; if it is ο¬nite and equal to π we call π an ncovering. ˜ called the liftings of the path. This is the Every path in πΊ is covered by π disjoint paths in πΊ, well known unique path-lifting property of coverings. Deο¬nition 1. Given a graph πΊ, a random labeled n-covering of πΊ is obtained by arbitrarily orienting the edges of πΊ, choosing a permutation ππ in ππ for each edge π uniformly and indepen˜ with π vertices π’1 , ..., π’π for each vertex π’ of πΊ and edges dently, and constructing the graph πΊ ˜ → πΊ is deο¬ned by ππ = (π’π , π£ππ (π) ) whenever π = (π’, π£) is an oriented edge. A covering π : πΊ π(π’π ) = π’ and π(ππ ) = π. The choice of orientation of edges has no real eο¬ect on the possible outcomes and can be done arbitrary. If πΊ would have multiple edges or loops we can simply assign diο¬erent permutations to each parallel edge, and a single permutation to each loop. Analogously to the case of random graphs πΊ(π, π), properties of coverings have the same asymptotic distribution in the labeled and unlabeled models. Connectivity [1] If πΏ(πΊ) is the minimal degree of πΊ, it is also the minimal degree in every covering of πΊ. Therefore no covering can have connectivity higher than πΏ. Theorem 1. Let πΊ be a connected simple graph with minimal degree πΏ ≥ 3. Then with probability 1 − π(1), a random π-covering of πΊ is πΏ-connected. ˜ is πΏ-connected, we need to show that for every set π of vertices with To show that covering πΊ ˜ β£πβ£ < β£πΊβ£/2, β£∂πβ£ - size of the boundary (number of vertices outside of π that are adjacent to ˜ π£ be the set of vertices of π that lie above some vertex in π), is equal at least πΏ. Let ππ£ = π ∩ πΊ a vertex π£ ∈ π (πΊ), and π₯π£ = β£ππ£ β£ its size. If, for some π’, π£ ∈ πΊ, β£π₯π’ −π₯π£ β£ ≥ πΏ then π always satisfy β£∂πβ£ ≥ πΏ (we can look at corresponding lifts of path between π’ and π£). So we must focus on those sets π for which β£π₯π’ − π₯π£ β£ ≤ πΏ − 1, for every π’, π£ ∈ πΊ. Let call a set π for which max{π₯π£ β£π£ ∈ πΊ} = 1 as a thin. π is called a thick if it is not thin. We provide a sketch of the most important parts of the proof. First we look at connectivity of a topological πΎ2 (πΌ) (the graph with two vertices and πΌ edges between them) inside πΊ. ˜ be a random π-covering of πΊ = πΎ2 (πΌ), where πΌ ≥ 3. Then a.s. every subset Lemma 1. Let πΊ ˜ ˜ π ⊂ π ((πΊ)) such that 3 ≤ β£πβ£ < 2β£πΊβ£/3 satisο¬es β£∂πβ£ ≥ πΌ. The results can be naturally extend to topological πΎ2 (πΌ)s (graph with two vertices and πΌ disjoint paths between them) as well. Corollary 1. For a random covering of a topological πΎ2 (πΌ) with endpoints π, π and πΌ ≥ 3 a.s. ˜ with 3 ≤ π₯π + π₯π < 2 ⋅ 2π/3 has β£∂πβ£ ≥ πΌ. every set π ⊂ π (πΊ) ˜ → πΊ be a covering such that Proposition 1. Let πΊ be a ο¬nite graph with πΏ = πΏ(πΊ) ≥ 3, and let πΊ ˜ the restriction π» → π» satisο¬es property from Corollary 1 for every π» that is a topological πΎ2 (πΌ) ˜ β£∂πβ£ ≥ πΏ. with πΌ ≥ 3. Then for every thick set π ⊂ π (πΊ), Proof of the above theorem uses following Mader’s [4] result. Theorem 2. In every ο¬nite graph πΊ there is an edge [a,b] such that π (π, π) = min(πππ(π), πππ(π)). We can perform similar reasoning for thin sets, proving following statements. ˜ is called edge-thin if it does not contain a pair of Deο¬nition 2. A subgraph π» of a covering πΊ parallel edges, namely edges covering the same edge of the base graph πΊ. ˜ a random π-covering. Then a.s. in every edge-thin Lemma 2. Let πΊ be a ο¬nite base graph and πΊ ˜ subgraph of πΊ, every connected component is a tree or is unicyclic. ˜ → πΊ be a covering such that Proposition 2. Let πΊ be a ο¬nite graph with πΏ = πΏ(πΊ) ≥ 3, and let πΊ ˜ satisο¬es β£πΈ(π»)β£ ≤ β£π (π»)β£. Then for every thin set π ⊂ π (πΊ), ˜ every edge-thin subgraph π» of πΊ β£∂πβ£ ≥ πΏ. Summing up above results we get that both thick and thin sets have πΏ neighbours outside them, ˜ is πΏ-connected. so πΊ Open problems β Let π = π1 ⋅ π2 ⋅ ⋅ ⋅ ππ . Starting from πΊ, we form a random π1 -covering, then a random π2 covering of the result and so on. Since a composition of coverings map is itself a covering, the resulting graph is an π-degree cover of πΊ, distributed diο¬erently than one formed by taking a random π-covering directly. Can we say something about this model? β Estimate the probability that a random π-covering fails to be πΏ-connected in terms of π. The Independence Number [2] ˜ As usual, let πΌ(πΊ) denote the maximal size of an independent set in a graph πΊ. For a set π ⊂ π (πΊ), ˜ π£ be its intersection with the ο¬ber over π£ ∈ π (πΊ). We also set π₯π£ = β£ππ£ β£. we let ππ£ = π ∩ πΊ ˜ ≥ ππΌ(πΊ) Theorem 3. πΌ(πΊ) 2 Upper bound ˜ Deο¬nition 3. A proο¬le on G is a vector π = (ππ£ : π£ ∈ π (πΊ)) ∈ [0, 1]π (πΊ) . A set π ⊂ π (πΊ) π₯π£ determines a proο¬le by ππ£ = π , which represents the way π is distributed across the ο¬bers. Deο¬nition 4. For nonnegative real numbers π₯1 , π₯2 , ...., π₯π with π₯1 + π₯2 + ... + π₯π ≤ 1, let ∑ ∑ ∑ π»(π₯1 , ..., π₯π ) = − π₯π log π₯π − (1 − π₯π ) log(1 − π₯π ) π π π be the entropy function (all logs are to the base 2). For real numbers π₯, π¦ ≥ 0, we set πΌ(π₯, π¦) = π»(π₯) + π»(π¦) − π»(π₯, π¦), letting πΌ(π₯, π¦) = ∞ if π₯π¦ > 1. For a proο¬le π ∈ [0, 1]π (πΊ) , let ∑ ∑ β(π) = π»(ππ£ ) − πΌ(ππ’ , ππ£ ) π£∈π (πΊ) [π’,π£]∈πΈ(πΊ) and ∑ β0 (π) = π»(ππ£ ) − log(π) π’∈π (πΊ) ∑ ππ’ ππ£ [π’,π£]∈πΈ(πΊ) For a subset π ⊂ π (πΊ), we let β(π, π) = ∑ π»(ππ£ ) − π£∈π ∑ πΌ(ππ’ , ππ£ ). [π’,π£]∈πΈ(πΊ[π]) Lemma 3. Let πΊ be a graph, and let π be a proο¬le on πΊ. The probability π that a random π-lift ˜ of πΊ contains an independent set π with proο¬le π satisο¬es π ≤ 2πβ(π) . πΊ ˜ That is, Deο¬nition 5. We deο¬ne π ˜(πΊ) as the best upper bound on πΌ(πΊ). } { ∑ π ˜(πΊ) = max ππ£ β£β(π, π) ≥ 0 for all π ⊂ π (πΊ) . π π£ ˜ of G satisο¬es Theorem 4. (The ο¬rst moment upper bound) Almost every π-lift πΊ πΌ(πΊ) ≤ π˜ π(πΊ) ≤ ππ˜0 (πΊ). Lower bound Proposition 3. Let π (πΊ) = {π£1 , π£2 , ..., π£π } and suppose that a proο¬le π = (ππ : π ∈ [π]) satisο¬es, for every π ∈ [π] ∏ 0 ≤ ππ ≤ (1 − ππ ). π<π [π£π ,π£π ]∈πΈ(πΊ) ∑ ˜ of πΊ almost surely contains an independent set of Let π = ππ . For every π > 0, a random lift πΊ size π(π − π). Lemma 4. A random π-lift of a cycle πΆ a.s. contains an independent set with 21 π(1±π(1)) vertices in each ο¬ber. ˜ π+1 of a complete graph a.s. satisProposition 4. The independence number of a random π-lift πΎ ο¬es ˜ π+1 ) = π©(π log π). πΌ(πΎ 3 Chromatic Number [2] Deο¬nition 6. Given a graph πΊ, let ˜ ≤ π for a.e. lift πΊ ˜ of πΊ} π ˜β (πΊ) = min{πβ£π(πΊ) ˜ ≥ π for a.e. lift πΊ ˜ of πΊ} π ˜π (πΊ) = min{πβ£π(πΊ) Conjecture 1. For every graph πΊ, π ˜π (πΊ) = π ˜β (πΊ). Lemma 5. If π(πΊ) ≥ 3 then π ˜π (πΊ) ≥ 3. Lower bound Theorem 5. For every graph πΊ with π(πΊ) ≥ 2, √ π ˜π (πΊ) ≥ π(πΊ) 3 log π(πΊ) Corollary 2. Let πΊ be a graph with average degree π, and suppose that π½ satisο¬es ππ½/2 + ln π½ ≥ 1. ˜ π£ ≥ π½π for A random π-lift ˜(πΊ) o G almost surely contains no independent set π such that π ∩ πΊ every v. Theorem 6. For every graph πΊ, ( π ˜π (πΊ) ≥ πΊ ππ (πΊ) 3 log2 ππ (πΊ) ) Upper bound ˜ of πΊ has the following Lemma 6. Let πΊ be a graph and let π be any ο¬xed integer. A random lift πΊ ˜ property almost surely: Every subgraph π» ⊂ πΊ with β£π (π»)β£ ≤ π also satisο¬es β£πΈ(π»)β£ ≤ π . Theorem 7. Let πΊ be a graph with maximal degree π₯ = π₯(πΊ). Then π ˜β (πΊ) ≤ π₯ (1 + ππ₯ (1)) ln π₯ Proof uses result from [3]. Corollary 3. There exist constants π΄ > π΅ > 0 such that π΄ π π ≥π ˜β (πΎπ ) ≥ π ˜π (πΎπ ) ≥ π΅ log π log π Open problems β (Zero-one law) Is there a zero-one law for the chromatic number of random lifts? In particular is the chromatic number of a random lift of πΎ5 a.s equal to a single number (3 or 4 ?). β (Gap between chromatic numbers) Are there graphs πΊ such that √the chromatic number of their random lift is a.s. π(π(πΊ)/ log π(πΊ)), or perhaps even close to π(πΊ). 4 References [1] Alon Amit and Nathan Linial. Random graph coverings I: General theory and graph connectivity. Combinatorica, 22(1):1–18, 2002. [2] Alon Amit, Nathan Linial, and JirΔ±Μ Matousek. Random lifts of graphs: Independence and chromatic number. Random Struct. Algorithms, 20(1):1–22, 2002. [3] Jeong Han Kim. On brooks’ theorem for sparse graphs. Combinatorics, Probability and Computing, 4:97–132, 1995. [4] W. Mader. Grad und lokaler zusammenhang in endlichen graphen. Mathematische Annalen, 205:9–11, 1973. Fig. 1: Figures used in proof of Proposition 1. Fig. 2: Figures used in proof of Proposition 2. 5