Hindawi Publishing Corporation International Journal of Mathematics and Mathematical Sciences Volume 2014, Article ID 749856, 4 pages http://dx.doi.org/10.1155/2014/749856 Research Article A Note on the Warmth of Random Graphs with Given Expected Degrees Yilun Shang1,2 1 2 Einstein Institute of Mathematics, Hebrew University of Jerusalem, 91904 Jerusalem, Israel Singapore University of Technology and Design, Singapore 138682 Correspondence should be addressed to Yilun Shang; [email protected] Received 1 February 2014; Revised 12 May 2014; Accepted 16 June 2014; Published 30 June 2014 Academic Editor: Imed Kacem Copyright © 2014 Yilun Shang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. We consider the random graph model πΊ(w) for a given expected degree sequence w = (π€1 , π€2 , . . . , π€π ). Warmth, introduced by Brightwell and Winkler in the context of combinatorial statistical mechanics, is a graph parameter related to lower bounds of chromatic number. We present new upper and lower bounds on warmth of πΊ(w). In particular, the minimum expected degree turns out to be an upper bound of warmth when it tends to infinity and the maximum expected degree π = π(ππΌ ) with 0 < πΌ < 1/2. 1. Introduction Let πΊ = (π(πΊ), πΈ(πΊ)) be a graph with vertex set π(πΊ) and edge set πΈ(πΊ). For graphs π» and πΊ, a function π : π(π») β π(πΊ) is said to be a graph homomorphism [1] if it induces a map between edges πΈ(π») β πΈ(πΊ). Denote by Hom(π», πΊ) the set of all homomorphisms of a graph π» to a graph πΊ. Let ππ denote the π-branching rooted tree (with the root having degree π); see Figure 1 for an illustration. A map π in Hom(ππ , πΊ) is said to be cold if there is a vertex V of πΊ such that for any π no π β Hom(ππ , πΊ) agrees with π on the vertices at distance π from the root π but has π(π) = V. We say that πΊ is π-warm if Hom(ππβ2 , πΊ) does not contain any cold maps. Moreover, the warmth, warmth(πΊ), of πΊ is defined to be the largest π for which πΊ is π-warm. By definition, for any finite and connected graph πΊ, warmth(πΊ) β₯ 2 and warmth(πΊ) = 2 if and only if πΊ is bipartite. Warmth is a graph parameter introduced by Brightwell and Winkler [2] in the context of combinatorial statistical physics. It is closely related to the chromatic number of a graph, which is the smallest positive integer that is not a root of the chromatic polynomial (see, e.g., [3]). It was shown that [2, Theorem 5.1] for any unlooped graph πΊ the warmth of πΊ is at most its chromatic number. A natural question to ask would be what the warmth of a graph looks like in a typical graph or random graphs [4]. Recently, Fadnavis and Kahle [5] established some upper and lower bounds for ErdoΜs-ReΜnyi random graphs as well as random regular graphs. The main finding is that warmth is often much smaller than chromatic number for random graphs. We mention that most of the parameters examined in random graph theory are monotone with respect to the addition (or deletion) of edges [4, 6]. However, warmth is not such a parameter, which makes it difficult to study in random graph settings. In this paper, motivated by the work of [5], we study the upper and lower bounds of warmth in a general random graph model πΊ(w). For a given sequence w = (π€1 , π€2 , . . . , π€π ), πΊ(w) is defined as follows. Each potential edge between vertices Vπ and Vπ is chosen with probability πππ and is independent of other edges, where πππ = π€π π€π βππ=1 π€π . (1) 2 Here, we assume that π€max = maxπ π€π2 < βππ=1 π€π and define π ππ = βπ=1 π€π . An immediate consequence of (1) is that the expected degree at a vertex Vπ is exactly π€π [7]. Hence, π is the expected average degree. This model, known as the Chung-Lu model, was first proposed in [8]. The classical ErdoΜs-ReΜnyi random graph πΊ(π, π) can be viewed as a special case of πΊ(w) by taking expected degree sequence w = (ππ, ππ, . . . , ππ). Many graph properties, such as component structure [8, 9], average 2 International Journal of Mathematics and Mathematical Sciences 28 26 27 25 29 23 8 30 9 31 32 22 21 7 2 20 6 10 33 3 19 1 0 34 18 5 11 35 in this regime tends to infinity a.a.s. Therefore, the warmth of πΊ(π, π) is much smaller than its chromatic number. Our Theorem 1, nevertheless, provides an example where warmth may be close to chromatic number. To see this, we choose π€min = ππΌ / ln π, π = Ξ(ππΌ ), and πΌ < 1/4. The main result in [17] then concludes that (in a slightly different formulation, where precise degrees rather than expected degrees are specified) the chromatic number π(πΊ(w)) = Ξ(π/ ln π) = Ξ(ππΌ / ln π) a.a.s. On the other hand, Theorem 1 yields a comparable upper bound warmth(πΊ) β€ (1 β πΏ)(ππΌ / ln π) + 1. For dense random graphs, we have the following lower bound. 24 12 4 17 16 36 37 38 39 13 14 Theorem 2 (lower bound). For a random graph πΊ β πΊ(w), suppose π€π2 /ππ = Ξ(1) for any 1 β€ π β€ π. Then, for 0 < πΏ < 1 and π β₯ 2, one has 15 Figure 1: The labeling of vertices for the 3-branching rooted tree. distance [10], hyperbolicity [11], and spectral gap [12β14], have been explored for this model. We refer the reader to monograph [7] for detailed backgrounds and varied related results. The rest of the note is organized as follows. We state and discuss the upper and lower bounds for warmth in Section 2. Section 3 contains the proofs. A brief conclusion is drawn in Section 4. 2. Main Results In this section we establish our main results for upper and lower bounds. We say an event holds asymptotically almost surely (a.a.s.), if it holds with probability tending to 1 as π β β. The asymptotics π, π, Ξ©, and Ξ are used in their standard sense [15]. For example, let π(π) and π(π) be two sequences of positive real numbers. Consider π(π) = π(π(π)) means limπ β β π(π)/π(π) = 0; consider π(π) = π(π(π)) means that there exists some constant πΆ > 0 such that π(π) β€ πΆπ(π) for all large enough π; consider π(π) = Ξ©(π(π)) means that there exists some constant πΆ > 0 such that π(π) β₯ πΆπ(π) for all large enough π; consider π(π) = Ξ(π(π)) means that there exists some constant πΆ > 0 such that πΆβ1 β€ π(π)/π(π) β€ πΆ for all large enough π. For a sparse random graph πΊ(w), we may upper bound its warmth using minimum expected degree. Theorem 1 (upper bound). For a random graph πΊ β πΊ(w), suppose the maximum expected degree π€max = π = π(ππΌ ) with 0 < πΌ < 1/2 and the minimum expected degree π€min = π(π) β β as π β β. Then, for 0 < πΏ < 1, one has warmth(πΊ) β€ (1 β πΏ) π (π) + 1 a.a.s. (2) The authors in [5, Theorem 3.1] showed that, for sparse ErdoΜs-ReΜnyi random graph πΊ(π, π) with π = π(πβπΌ ) for some πΌ > 0, warmth(πΊ(π, π)) β€ β1/πΌ + 2β a.a.s. On the other hand, it is well known that [4, 16] the chromatic number π(πΊ(π, π)) warmth(πΊ) β₯ (1 β πΏ) lnπ π a.a.s. (3) We remark that the above result implies Theorem 3.4 in [5] when π = 2 and π€1 = β β β = π€π = π/2. In view of [2, Theorem 5.1] (as mentioned in Section 1), Theorem 2 provides an alternative approach to obtaining lower bounds for π(πΊ(w)). 3. Proofs For a graph π», let πΏ(π») denote the minimum degree of π». For a vertex V β π(π»), the neighborhood of V is denoted by π(V), and, for a subset π΄ β π(π»), the neighborhood of π΄ is defined as π(π΄) = βͺVβπ΄ π(V). A collection {π΄ π }ππ=1 of subsets of π» is called a π-stable family if for any 1 β€ π β€ π there are π΄ π1 , . . . , π΄ ππ β π(π») such that β©ππ=1 π(π΄ ππ ) = π΄ π . We will need the following lemma to prove Theorem 1. Lemma 3 (see [2]). Given a graph π» and a natural number π β₯ 1, π» is not (π + 2)-warm if and only if there is a π-stable family of subsets of π». Proof of Theorem 1. Since π(π) β β, for 0 < πΏ < 1, we have π(πΏ(πΊ) β₯ (1 β πΏ/2)π(π)) β 1 as π β β using a concentration inequality [7]. Set π = (1βπΏ)π(π). We will prove that warmth(πΊ) β€ π + 1. Now consider π(πΊ) consisting of all singleton vertices of πΊ. A vertex set {V1 , . . . , Vπ } is called an π -representative [5] of V β π(πΊ) if V1 , . . . , Vπ β π(V) such that all of them are not in the neighborhood π(π’) for any vertex π’ =ΜΈ V. Therefore, by Lemma 3, it suffices to prove that every vertex V has an π representative. Suppose V1 , . . . , Vπ β π(V). Let π΄(V)(V1 , . . . , Vπ ) denote the event that V1 , . . . , Vπ are in the neighborhood π(V) of V. Hence, π (π΄ (Vπ ) (V1 , . . . , Vπ ) for some Vπ β π (πΊ)) β€ β π (π΄ (Vπ ) (V1 , . . . , Vπ )) Vπ βπ(πΊ) International Journal of Mathematics and Mathematical Sciences π = β βπππ = β Vπ βπ(πΊ) π=1 = π€ππ βπ π=1 π€π βππ=1 π€ππ βπ π=1 π€π (ππ)π β€ which is bounded away from 0 for large enough π. We claim the following. (ππ)π Vπ βπ(πΊ) βππ=1 3 (4) π€ππ ππ . π (ππ) Recall that |π(V)| β₯ (1 β πΏ/2)π(π) as shown in the beginning of the proof. Let πΎ = β(1 β πΏ/2)/(1 β πΏ)β and π1 , . . . , ππΎ be some disjoint subsets of the neighbors of V with |ππ | = π for 1 β€ π β€ πΎ. For π β π(V) and |π| = π , denote by π΄(π) the event that π β π(π’) for some π’ =ΜΈ V. Therefore, the disjointness and inequality (4) imply Claim 1. For π β π(πVπ ) and π, ππ β πΊ, the probability that a function π with π(0) = π and π(π) = ππ is not πΊ-extendable is at most exp(βπΆππ½ ) for some constants πΆ, π½ > 0. Proof of Claim 1. We use Jansonβs inequality [15] to prove Claim 1. Note that by definition (8) the assumptions π€π2 /ππ = Ξ(1) for any 1 β€ π β€ π are equivalent to πΎ π( β |π|=π ,πβπ(V) π΄ (π)) β€ π (βπ΄ (ππ )) π=1 β€ (βππ=1 πΎ π€ππ ) ππ πΎ . π πΎ (5) (ππ) Thus, the probability that some vertex does not have an π representative is bounded from above by πΎ β( Vβπ which tends to zero since π = π(ππΌ ) with 0 < πΌ < 1/2 and π β β. This completes the proof of Theorem 1. Proof of Theorem 2. Set π = (1 β πΏ)lnπ π β 2. By definition, we need to prove that Hom(ππ , πΊ) contains no cold maps. In what follows, we proceed with the similar lines of reasoning of Section 5 in [5]. We label the vertices of π branching rooted tree ππ according to Figure 1 with the root labeled 0 and its children 1, 2, . . ., sequently. Let πVπ denote the truncated version of π -branching rooted tree ππ with V vertices, labeled 0 to V β 1. We suppose V β‘ 1(mod π ) and πVπ has π vertices up to level π and V β π vertices from level π + 1 of ππ , where π = 1 + π + β β β + π πβ1 = (π π β 1)/(π β 1). Hence, we have π < V β€ π π + 1 and V β‘ π β‘ 1(mod π ). The number of leaves of πVπ can be calculated as V β π (π β 1) V + 1 = . π π (7) The leaves are labeled as (V β 1)/π , (V β 1)/π + 1, . . . , V β 1. Denote by π = π(πVπ ) the set of roots and leaves; that is, π = {0, (V β 1)/π , (V β 1)/π + 1, . . . , V β 1}. For a graph π» and a function π : π β π(π»), π is said to be π»-extendable if there is a homomorphism π : πVπ β π» such that π|π = π. Hence, if every function π : π β π(πΊ) is πΊ-extendable, then Hom(ππ , πΊ) contains no cold maps, and thus the proof will be complete. Now let (1 β πΏ) lnπ π β 2 π=1β , lnπ π 2 π€max = π (πβ1/lnπ π ) = π (πβ(1βπ)/π ) . ππ (10) Let {ππ } = π(π \ {π, ππ }) β π(πΊ). Then, from (9) and (10), the probability that there does not exist such a π for a particular choice of {π, ππ , ππ } is at most 1 β Ξ©(πβ(1βπ)(Vβ1)/π ) and at least 1 β π(πβ(1βπ)(Vβ1)/π ). Let |π (π΄)| = V β π β 1, π (π΄) β© {π, ππ } = 0} . (6) = π (π2πΎπ π1+πΎβπΎπ ) , π = V β π + π πβ1 β (9) A = {π΄ is an induced subgraph of πΊ | πΎ (βππ=1 π€ππ ) ππ πΎ π(βππ=1 π€ππ ) ππ πΎ ) = (ππ)π πΎ (ππ)π πΎ 2 π€min = Ξ© (πβ1/lnπ π ) = Ξ© (πβ(1βπ)/π ) , ππ (8) (11) π π We have |A| = ( πβπβ1 Vβπβ1 ). For π΄ π β A, denote by {π1 , . . . , πVβπβ1 } the set of vertices of π΄ π ordered according to its labeling. Denote by π΅π the event that π governed by ππ = πππ is a homomorphism. Hence, the above discussion implies π (π΅π ) = 1 β Ξ (πβ(1βπ)(Vβ1)/π ) , (12) where π΅π denotes the complement of the event π΅π . Let π΄σΈ be a subgraph of πΊ induced by π(π΄) βͺ {π, ππ }. Let π βΌ π mean that the edges of π΄σΈ π and π΄σΈ π have a nontrivial intersection. We apply Jansonβs inequality [15] and (12) to get π (βπ΅π ) β€ exp (βπ + π β€ exp (βπ + Ξ minπ π (π΅π ) ) (13) Ξ ), 1 β Ξ (πβ(1βπ)(Vβ1)/π ) where π = βπ π(π΅π ) and Ξ = βπβΌπ π(π΅π β© π΅π ). From (9) and (12) we have π = Ξ (πVβπβ1 π(1βπ)(Vβ1)/π ) = Ξ (πβ1+(π(Vβ1)/π ) ) . (14) To estimate Ξ, we denote by ππ = maxπ,π {|πΈ(π΄σΈ π β© π΄σΈ π )| | |π(π΄ π β© π΄ π )| = π} the maximum over all pairs π, π of the number of edges that π΄ π and π΄ π intersect in π vertices. Since the edge sets of π΄σΈ π and π΄σΈ π have a nontrivial intersection, we get π β₯ 1. Hence by (10) 2(Vβ1)βππ π (π΅π β© π΅π ) β€ ( 2 π€max ) ππ = π (πβ(1βπ)(2(Vβ1)βπ π)/π ) , (15) 4 International Journal of Mathematics and Mathematical Sciences since ππ β€ π π. Noting that there are πβπβ1βπ ) ( πβπβ1βV+π+1 ) = π(π2Vβ2πβ2βπ ) such pairs of ( πβπβ1 ) ( Vβπβ1βπ Vβπβ1βπ π π΄ π and π΄ π , we obtain Vβπβ1 Ξ = β π (π2Vβ2πβ2βπ πβ(1βπ)(2(Vβ1)βπ π)/π ) π=1 = π (π (16) β2+(π/π )(2Vβπ β2) ). We choose V such that V β‘ π β‘ 1(mod π ) and π /π + 1 < V < π /π + π + 1. Hence, estimates (14) and (16) readily yield Ξ = π (πβ2+(π/π )(2Vβπ β2) ) = π (π) . 1 β Ξ (πβ(1βπ)(Vβ1)/π ) (17) Note that π½ = lim inf π β β (β1 + π(V β 1)/π ) > 0 by our choice of V. Thus, inequality (13) in conjunction with estimates (14) and (17) means that π (βπ΅π ) β€ πβπΆπ π½ (18) π for some constant πΆ > 0, which then concludes the proof of the claim. Since there are at most ππ+1 choices for {π, ππ }, the probability that a homomorphism π (with π|π = π) does not exist for at least one choice is at most ππ+1 exp(βπΆππ½ ), which tends to zero as π β β. Consequently, with probability one, every map π : π(πVπ ) β π(πΊ) is πΊ-extendable for some V. The proof of Theorem 2 is then complete. 4. Conclusion In this paper we presented upper and lower bounds for the warmth of random graphs with given expected degrees. Our results indicate that the warmth of a typical dense graph is smaller than (but can be rather close to) its chromatic number, shedding some insight on the universal upper bound warmth(πΊ) β€ π(πΊ). It is worth noting that Fadnavis and Kahle [5] showed that a typical sparse graph has much smaller warmth than chromatic number. We mention that the degree distributions of the random graph models studied in this paper and [5] are more or less homogeneous (namely, Poisson-like). It would be interesting to know the behavior of warmth for heterogeneously connected graphs or digraphs [18β20], which are ubiquitous in real-world systems and investigate further the influence of maximum/minimum degrees on the warmth as hinted in Theorem 1. Conflict of Interests The author declares that there is no conflict of interests. Acknowledgments The author expresses his sincere gratitude to the anonymous referees and the editor for the careful reading of the original paper and the useful comments that helped to improve the presentation of results. References [1] P. Hell and J. NesΜetrΜil, Graphs and Homomorphisms, vol. 28, Oxford University Press, Oxford, UK, 2004. [2] G. R. Brightwell and P. Winkler, βGraph homomorphisms and long range action,β in Graphs, Morphisms and Statistical Physics, pp. 29β48, American Mathematical Society, Providence, RI, USA, 2004. [3] Y. Shang, βA remark on the chromatic polynomials of incomparability graphs of posets,β International Journal of Pure and Applied Mathematics, vol. 67, no. 2, pp. 159β164, 2011. [4] B. Bollobas, Random Graphs, Cambridge University Press, Cambridge, UK, 2001. [5] S. Fadnavis and M. Kahle, βWarmth and mobility of random graphs,β http://arxiv.org/abs/1009.0792. [6] E. Friedgut and G. Kalai, βEvery monotone graph property has a sharp threshold,β Proceedings of the American Mathematical Society, vol. 124, no. 10, pp. 2993β3002, 1996. [7] F. Chung and L. Lu, Complex Graphs and Networks, American Mathematical Society, Boston, Mass, USA, 2006. [8] F. Chung and L. Lu, βConnected components in random graphs with given expected degree sequences,β Annals of Combinatorics, vol. 6, no. 2, pp. 125β145, 2002. [9] F. Chung and L. Lu, βThe volume of the giant component of a random graph with given expected degrees,β SIAM Journal on Discrete Mathematics, vol. 20, no. 2, pp. 395β411, 2006. [10] F. Chung and L. Lu, βThe average distance in a random graph with given expected degrees,β Internet Mathematics, vol. 1, no. 1, pp. 91β113, 2003. [11] Y. Shang, βNon- hyperbolicity of random grap hs with given expected degrees,β Stochastic Models, vol. 29, no. 4, pp. 451β462, 2013. [12] F. Chung, L. Lu, and V. Vu, βEigenvalues of random power law graphs,β Annals of Combinatorics, vol. 7, no. 1, pp. 21β33, 2003. [13] A. Coja-Oghlan and A. Lanka, βThe spectral gap of random graphs with given expected degrees,β The Electronic Journal of Combinatorics, vol. 16, article R138, 2009. [14] Y. Shang, βA remark on the spectra of random graphs with given expected degrees,β Journal of Discrete Mathematical Sciences & Cryptography, vol. 15, no. 6, pp. 317β321, 2012. [15] N. Alon and J. H. Spencer, The Probabilistic Method, John Wiley and Sons, Hoboken, NJ, USA, 2008. [16] N. Alon and M. Krivelevich, βThe concentration of the chromatic number of random graphs,β Combinatorica, vol. 17, no. 3, pp. 303β313, 1997. [17] A. Frieze, M. Krivelevich, and C. Smyth, βOn the chromatic number of random graphs with a fixed degree sequence,β Combinatorics, Probability and Computing, vol. 16, no. 5, pp. 733β746, 2007. [18] Y. Shang, βMulti-type directed scale-free percolation,β Communications in Theoretical Physics, vol. 57, no. 4, pp. 701β716, 2012. [19] Y. Shang, βLarge dicliques in a directed inhomogeneous random graph,β International Journal of Computer Mathematics, vol. 90, no. 3, pp. 445β456, 2013. [20] Y. Shang, βThe natural connectivity of colored random graphs,β Creative Mathematics and Informatics, vol. 20, no. 2, pp. 197β 202, 2011. Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Applied Mathematics Algebra Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Mathematical Problems in Engineering Journal of Mathematics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Discrete Dynamics in Nature and Society Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Abstract and Applied Analysis Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Journal of Stochastic Analysis Optimization Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014
© Copyright 2026 Paperzz