w hat does it mean
play

W HAT DOES IT MEAN ? Given a graph G with vertex set [ n ] : Pr ( G ( - PowerPoint PPT Presentation

Carg` ese Fall School on Random Graphs Carg` ese, Corsica, September 20-26, 2015 I NTRODUCTION TO RANDOM GRAPHS Tomasz uczak Adam Mickiewicz University, Pozna n, Poland T WO MAIN RANDOM GRAPH MODELS T HE BINOMIAL RANDOM GRAPH G ( n , p )


  1. R EVENONS ` A NOS MOUTONS Let X be the number of isolated vertices in G ( n , p ) , where p ( n ) = 1 n ( log n + γ ( n )) and γ → −∞ . Then E X = ( 1 + o ( 1 ) e − γ → ∞ . What about E X ( X − 1 ) ?

  2. R EVENONS ` A NOS MOUTONS Let X be the number of isolated vertices in G ( n , p ) , where p ( n ) = 1 n ( log n + γ ( n )) and γ → −∞ . Then E X = ( 1 + o ( 1 ) e − γ → ∞ . What about E X ( X − 1 ) ?

  3. R EVENONS ` A NOS MOUTONS Let X be the number of isolated vertices in G ( n , p ) , where p ( n ) = 1 n ( log n + γ ( n )) and γ → −∞ . Then E X = ( 1 + o ( 1 ) e − γ → ∞ . What about E X ( X − 1 ) ? n − 1 E X ( X − 1 ) = n ( n − 1 )( 1 − p ) 2 ( n − 1 ) − 1 = n ( 1 − p ) n − 1 � 2 � n ( 1 − p ) = ( 1 + o ( 1 ))( E X ) 2 .

  4. R EVENONS ` A NOS MOUTONS Let X be the number of isolated vertices in G ( n , p ) , where p ( n ) = 1 n ( log n + γ ( n )) and γ → −∞ . Then E X = ( 1 + o ( 1 ) e − γ → ∞ . What about E X ( X − 1 ) ? n − 1 E X ( X − 1 ) = n ( n − 1 )( 1 − p ) 2 ( n − 1 ) − 1 = n ( 1 − p ) n − 1 � 2 � n ( 1 − p ) = ( 1 + o ( 1 ))( E X ) 2 . Thus, Pr ( X > 0 ) → 1.

  5. E RD ˝ OS -R´ ENYI T HEOREM IS FINALLY SHOWN ! T HEOREM E RD ˝ OS , R´ ENYI ’59 Let p ( n ) = 1 n ( ln n + γ ( n )) . Then ( I ) If γ → −∞ , then aas G ( n , p ) contains isolated vertices (and so aas it is not connected); ( II ) If γ → ∞ , then aas G ( n , p ) is connected (and so contains no isolated vertices).

  6. E RD ˝ OS -R´ ENYI T HEOREM IS FINALLY SHOWN ! T HEOREM E RD ˝ OS , R´ ENYI ’59 Let p ( n ) = 1 n ( ln n + γ ( n )) . Then ( I ) If γ → −∞ , then aas G ( n , p ) contains isolated vertices (and so aas it is not connected); ( II ) If γ → ∞ , then aas G ( n , p ) is connected (and so contains no isolated vertices). Can we define (and prove) even stronger result which relates connectivity to the absence of isolated vertices?

  7. T HE HITTING TIME T HE RANDOM GRAPH PROCESS G ( n , M ) can be viewed as the ( M + 1 ) th stage of a Markov � n � chain { G ( n , M ) : 0 ≤ M ≤ } , where we add edges to a graph 2 in a random order. T HE HITTING TIME Let h 1 = min { M : δ ( G ( n , M )) ≥ 1 } and h conn = min { M : G ( n , M ) is connected } . Note that both h 1 and h conn are random variables! T HEOREM E RD ˝ OS , R´ ENYI ; B OLLOB ´ AS Aas h 1 = h conn .

  8. T HE HITTING TIME T HE RANDOM GRAPH PROCESS G ( n , M ) can be viewed as the ( M + 1 ) th stage of a Markov � n � chain { G ( n , M ) : 0 ≤ M ≤ } , where we add edges to a graph 2 in a random order. T HE HITTING TIME Let h 1 = min { M : δ ( G ( n , M )) ≥ 1 } and h conn = min { M : G ( n , M ) is connected } . Note that both h 1 and h conn are random variables! T HEOREM E RD ˝ OS , R´ ENYI ; B OLLOB ´ AS Aas h 1 = h conn .

  9. T HE HITTING TIME T HE RANDOM GRAPH PROCESS G ( n , M ) can be viewed as the ( M + 1 ) th stage of a Markov � n � chain { G ( n , M ) : 0 ≤ M ≤ } , where we add edges to a graph 2 in a random order. T HE HITTING TIME Let h 1 = min { M : δ ( G ( n , M )) ≥ 1 } and h conn = min { M : G ( n , M ) is connected } . Note that both h 1 and h conn are random variables! T HEOREM E RD ˝ OS , R´ ENYI ; B OLLOB ´ AS Aas h 1 = h conn .

  10. { G ( n , p ) : 0 ≤ p ≤ 1 } T HE RANDOM GRAPH PROCESS ( FOR G ( n , p ) ) G ( n , p ) can also be viewed as a stage of a Markov process { G ( n , M ) : 0 ≤ p ≤ 1 } .

  11. { G ( n , p ) : 0 ≤ p ≤ 1 }

  12. { G ( n , p ) : 0 ≤ p ≤ 1 }

  13. { G ( n , p ) : 0 ≤ p ≤ 1 }

  14. { G ( n , p ) : 0 ≤ p ≤ 1 }

  15. { G ( n , p ) : 0 ≤ p ≤ 1 }

  16. { G ( n , p ) : 0 ≤ p ≤ 1 }

  17. { G ( n , p ) : 0 ≤ p ≤ 1 }

  18. { G ( n , p ) : 0 ≤ p ≤ 1 }

  19. { G ( n , p ) : 0 ≤ p ≤ 1 }

  20. { G ( n , p ) : 0 ≤ p ≤ 1 }

  21. { G ( n , p ) : 0 ≤ p ≤ 1 }

  22. { G ( n , p ) : 0 ≤ p ≤ 1 }

  23. { G ( n , p ) : 0 ≤ p ≤ 1 }

  24. { G ( n , p ) : 0 ≤ p ≤ 1 }

  25. { G ( n , p ) : 0 ≤ p ≤ 1 }

  26. { G ( n , p ) : 0 ≤ p ≤ 1 } T HE HITTING TIMES FOR G ( n , p ) We can define ˆ h 1 = min { p : δ ( G ( n , p )) ≥ 1 } and ˆ h conn = min { p : G ( n , p ) is connected } . As in the case of h 1 and h conn both ˆ h 1 and ˆ h conn are random variables, but they take values in the interval [ 0 , 1 ] . T HE HITTING TIMES However, the statement that aas h 1 = h conn is clearly equivalent to the statement that aas ˆ h 1 = ˆ h conn .

  27. { G ( n , p ) : 0 ≤ p ≤ 1 } T HE HITTING TIMES FOR G ( n , p ) We can define ˆ h 1 = min { p : δ ( G ( n , p )) ≥ 1 } and ˆ h conn = min { p : G ( n , p ) is connected } . As in the case of h 1 and h conn both ˆ h 1 and ˆ h conn are random variables, but they take values in the interval [ 0 , 1 ] . T HE HITTING TIMES However, the statement that aas h 1 = h conn is clearly equivalent to the statement that aas ˆ h 1 = ˆ h conn .

  28. T HE RANDOM GRAPH PROCESS : COUPLING Since we can view G ( n , M ) as the stage of the random graph process, for M 1 ≤ M 2 we have G ( n , M 1 ) ⊆ G ( n , M 2 ) ,

  29. T HE RANDOM GRAPH PROCESS : COUPLING Since we can view G ( n , M ) as the stage of the random graph process, for M 1 ≤ M 2 we have G ( n , M 1 ) ⊆ G ( n , M 2 ) , and make sense out of it!

  30. T HE RANDOM GRAPH PROCESS : COUPLING Since we can view G ( n , M ) as the stage of the random graph process, for M 1 ≤ M 2 we have G ( n , M 1 ) ⊆ G ( n , M 2 ) , and make sense out of it! In a similar way, for p 1 ≤ p 2 we have G ( n , p 1 ) ⊆ G ( n , p 2 ) .

  31. T HE EVOLUTION OF THE RANDOM GRAPH If M = o ( √ n ) then aas G ( n , p ) consists of isolated vertices and isolated edges. If M = o ( n ( k − 1 ) / k ) then aas all components of G ( n , p ) are trees with at most k vertices. If M = o ( n ) then aas all components of G ( n , p ) are trees of size o ( log n ) .

  32. T HE EVOLUTION OF THE RANDOM GRAPH If M = o ( √ n ) then aas G ( n , p ) consists of isolated vertices and isolated edges. If M = o ( n ( k − 1 ) / k ) then aas all components of G ( n , p ) are trees with at most k vertices. If M = o ( n ) then aas all components of G ( n , p ) are trees of size o ( log n ) .

  33. T HE EVOLUTION OF THE RANDOM GRAPH If M = o ( √ n ) then aas G ( n , p ) consists of isolated vertices and isolated edges. If M = o ( n ( k − 1 ) / k ) then aas all components of G ( n , p ) are trees with at most k vertices. If M = o ( n ) then aas all components of G ( n , p ) are trees of size o ( log n ) .

  34. T HE SUBCRITICAL PHASE

  35. T HE SUBCRITICAL PHASE

  36. T HE CRITICAL PHASE

  37. T HE CRITICAL PHASE

  38. T HE SUPERCRITICAL PHASE

  39. T HE RIGHT SCALING T HEOREM E RD ˝ OS , R´ ENYI ’60 The “coagulation phase” takes place when M = ( 1 / 2 + o ( 1 )) n . Thus, for instance, the largest component of G ( n , 0 . 4999 n ) has aas Θ( log n ) vertices, while the size of the largest component of G ( n , 0 . 5001 n ) is aas Θ( n ) . T HEOREM B OLLOB ´ AS ’84, Ł UCZAK ’90 The components start to merge when they are of size Θ( n 2 / 3 ) . It happens when M = n / 2 + Θ( n 2 / 3 ) .

  40. T HE RIGHT SCALING T HEOREM E RD ˝ OS , R´ ENYI ’60 The “coagulation phase” takes place when M = ( 1 / 2 + o ( 1 )) n . Thus, for instance, the largest component of G ( n , 0 . 4999 n ) has aas Θ( log n ) vertices, while the size of the largest component of G ( n , 0 . 5001 n ) is aas Θ( n ) . T HEOREM B OLLOB ´ AS ’84, Ł UCZAK ’90 The components start to merge when they are of size Θ( n 2 / 3 ) . It happens when M = n / 2 + Θ( n 2 / 3 ) .

  41. T HE RIGHT SCALING T HEOREM E RD ˝ OS , R´ ENYI ’60 The “coagulation phase” takes place when M = ( 1 / 2 + o ( 1 )) n . Thus, for instance, the largest component of G ( n , 0 . 4999 n ) has aas Θ( log n ) vertices, while the size of the largest component of G ( n , 0 . 5001 n ) is aas Θ( n ) . T HEOREM B OLLOB ´ AS ’84, Ł UCZAK ’90 The components start to merge when they are of size Θ( n 2 / 3 ) . It happens when M = n / 2 + Θ( n 2 / 3 ) .

  42. T RIANGLES T HEOREM E RD ˝ OS , R´ ENYI ’60 If np → 0, then aas G ( n , p ) contains no triangles. If np → ∞ , then aas G ( n , p ) contains triangles. This can be easily proved using the 1st and 2nd moment method we mastered ten minutes ago. P ROBLEM How fast does the probability Pr ( G ( n , p ) �⊇ K 3 ) tends to 0 for np → ∞ ?

  43. T RIANGLES T HEOREM E RD ˝ OS , R´ ENYI ’60 If np → 0, then aas G ( n , p ) contains no triangles. If np → ∞ , then aas G ( n , p ) contains triangles. This can be easily proved using the 1st and 2nd moment method we mastered ten minutes ago. P ROBLEM How fast does the probability Pr ( G ( n , p ) �⊇ K 3 ) tends to 0 for np → ∞ ?

  44. T RIANGLES T HEOREM E RD ˝ OS , R´ ENYI ’60 If np → 0, then aas G ( n , p ) contains no triangles. If np → ∞ , then aas G ( n , p ) contains triangles. This can be easily proved using the 1st and 2nd moment method we mastered ten minutes ago. P ROBLEM How fast does the probability Pr ( G ( n , p ) �⊇ K 3 ) tends to 0 for np → ∞ ?

  45. L ARGE DEVIATION INEQUALITIES Let us consider a partition P of the set of all edges of K n into small sets.

  46. L ARGE DEVIATION INEQUALITIES Let us consider a partition P of the set of all edges of K n into small sets.

  47. L IPSCHITZ CONDITION Take any graph parameter A and compute for each part of the partition its “Lipschitz constant”. c 3 c 2 c 1 c 4 c k

  48. L IPSCHITZ CONDITION Take any graph parameter A and compute for each part of the partition its “Lipschitz constant” . c 3 c 2 c 1 c 4 c k

  49. E XAMPLES � n � Consider a partition of the set of edges into singletons. 2

  50. E XAMPLES � n � Consider a partition of the set of edges into singletons. 2 (i) The independence number α has Lipschitz constants 1, since changing one edge cannot affect it by more than 1.

  51. E XAMPLES � n � Consider a partition of the set of edges into singletons. 2 (i) The independence number α has Lipschitz constants 1, since changing one edge cannot affect it by more than 1. (ii) The chromatic number χ has also Lipschitz constants 1.

  52. E XAMPLES � n � Consider a partition of the set of edges into singletons. 2 (i) The independence number α has Lipschitz constants 1, since changing one edge cannot affect it by more than 1. (ii) The chromatic number χ has also Lipschitz constants 1. (iii) The number of triangles has Lipschitz constants n − 2.

  53. E XAMPLES � n � Consider a partition of the set of edges into singletons. 2 (i) The independence number α has Lipschitz constants 1, since changing one edge cannot affect it by more than 1. (ii) The chromatic number χ has also Lipschitz constants 1. (iii) The number of triangles has Lipschitz constants n − 2. (iv) The size of the maximum family of edge-disjoint triangles has Lipschitz constants 1.

  54. E XAMPLES Consider a partition of the set of edges into n − 1 stars.

  55. E XAMPLES Consider a partition of the set of edges into n − 1 stars.

  56. E XAMPLES Consider a partition of the set of edges into n − 1 stars.

  57. E XAMPLES Consider a partition of the set of edges into n − 1 stars.

  58. E XAMPLES Consider a partition of the set of edges into n − 1 stars. (i) The independence number α has Lipschitz constants 1, since changing edges incident to one vertex cannot affect it by more than 1.

  59. E XAMPLES Consider a partition of the set of edges into n − 1 stars. (i) The independence number α has Lipschitz constants 1, since changing edges incident to one vertex cannot affect it by more than 1. (ii) The chromatic number χ has also Lipschitz constants 1.

  60. E XAMPLES Consider a partition of the set of edges into n − 1 stars. (i) The independence number α has Lipschitz constants 1, since changing edges incident to one vertex cannot affect it by more than 1. (ii) The chromatic number χ has also Lipschitz constants 1. � n − 1 � (iii) The number of triangles has Lipschitz constants . 2

  61. E XAMPLES Consider a partition of the set of edges into n − 1 stars. (i) The independence number α has Lipschitz constants 1, since changing edges incident to one vertex cannot affect it by more than 1. (ii) The chromatic number χ has also Lipschitz constants 1. � n − 1 � (iii) The number of triangles has Lipschitz constants . 2 (iv) The size of the maximum family of vertex-disjoint triangles has Lipschitz constants 1.

  62. A ZUMA ’ S INEQUALITY A ZUMA ’ S INEQUALITY Let P be a partition, A be a graph parameter, and c 1 , . . . , c k denote Lipschitz constants for P and A . Consider the random variable X = A ( G ( n , p )) for some p . Then, for every t , t 2 � � � � Pr | X − E X | ≥ t ≤ 2 exp − . i c 2 2 � i In particular, − ( E X ) 2 � � Pr ( X = 0 ) ≤ 2 exp . i c 2 2 � i

  63. T HE INDEPENDENCE AND CHROMATIC NUMBERS A ZUMA ’ S INEQUALITY Let P be a partition, A be a graph parameter, and c 1 , . . . , c k denote Lipschitz constants for P and A . Consider the random variable X = A ( G ( n , p )) for some p . Then, for every t , t 2 � � � � Pr | X − E X | ≥ t ≤ 2 exp − . i c 2 2 � i T IGHT CONCENTRATION RESULTS Let γ ( n ) → ∞ . Then, for every p , √ � � Pr | α ( G ( n , p )) − E α ( G ( n , p )) | ≥ γ n → 0 , and √ � � Pr | χ ( G ( n , p )) − E χ ( G ( n , p )) | ≥ γ n → 0 .

  64. T HE INDEPENDENCE AND CHROMATIC NUMBERS A ZUMA ’ S INEQUALITY Let P be a partition, A be a graph parameter, and c 1 , . . . , c k denote Lipschitz constants for P and A . Consider the random variable X = A ( G ( n , p )) for some p . Then, for every t , t 2 � � � � Pr | X − E X | ≥ t ≤ 2 exp − . i c 2 2 � i Applying it to the star partition, we get the following result. T IGHT CONCENTRATION RESULTS Let γ ( n ) → ∞ . Then, for every p , √ � � Pr | α ( G ( n , p )) − E α ( G ( n , p )) | ≥ γ n → 0 , and √ � � Pr | χ ( G ( n , p )) − E χ ( G ( n , p )) | ≥ γ n → 0 .

  65. T HE INDEPENDENCE AND CHROMATIC NUMBERS A ZUMA ’ S INEQUALITY Let P be a partition, A be a graph parameter, and c 1 , . . . , c k denote Lipschitz constants for P and A . Consider the random variable X = A ( G ( n , p )) for some p . Then, for every t , t 2 � � � � Pr | X − E X | ≥ t ≤ 2 exp − . i c 2 2 � i Applying it to the star partition, we get the following result. T IGHT CONCENTRATION RESULTS Let γ ( n ) → ∞ . Then, for every p , √ � � Pr | α ( G ( n , p )) − E α ( G ( n , p )) | ≥ γ n → 0 , and √ � � Pr | χ ( G ( n , p )) − E χ ( G ( n , p )) | ≥ γ n → 0 .

  66. T ALAGRAND ’ S INEQUALITY A ZUMA ’ S INEQUALITY Let P be a partition, A be a graph parameter, and c 1 , . . . , c k denote Lipschitz constants for P and A . Consider the random variable X = A ( G ( n , p )) for some p . Then, for every t , t 2 � � � � Pr | X − E X | ≥ t ≤ 2 exp − . 2 � k i = 1 c 2 i O UR AIM We want to replace the full sum � k i = 1 c 2 i by a partial sum of c i ’s.

  67. T ALAGRAND ’ S INEQUALITY A ZUMA ’ S INEQUALITY Let P be a partition, A be a graph parameter, and c 1 , . . . , c k denote Lipschitz constants for P and A . Consider the random variable X = A ( G ( n , p )) for some p . Then, for every t , t 2 � � � � Pr | X − E X | ≥ t ≤ 2 exp − . 2 � k i = 1 c 2 i O UR AIM We want to replace the full sum � k i = 1 c 2 i by a partial sum of c i ’s.

  68. T ALAGRAND ’ S INEQUALITY A ZUMA ’ S INEQUALITY Let P be a partition, A be a graph parameter, and c 1 , . . . , c k denote Lipschitz constants for P and A . Consider the random variable X = A ( G ( n , p )) for some p . Then, for every t , t 2 � � � � Pr | X − E X | ≥ t ≤ 2 exp − . 2 � k i = 1 c 2 i T ALAGRAND ’ S INEQUALITY − t 2 � � � � Pr | X − µ X | ≥ t ≤ 4 exp , 4 w where µ X is the median of X and � � � c 2 w = max i Λ i ∈ Λ where the maximum is taken over all certificates Λ for A .

  69. C ERTIFICATES Take any graph parameter A and find the set of partitions which can certify that A ≥ r c 3 c 2 c 1 c 4 c k

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend