finding many edge disjoint hamiltonian cycles in dense
play

Finding many edge-disjoint Hamiltonian cycles in dense graphs - PowerPoint PPT Presentation

Finding many edge-disjoint Hamiltonian cycles in dense graphs Stephen G. Hartke Department of Mathematics University of NebraskaLincoln www.math.unl.edu/ shartke2 hartke@math.unl.edu Joint work with T yler Seacrest Finding Edge-Disj.


  1. Finding many edge-disjoint Hamiltonian cycles in dense graphs Stephen G. Hartke Department of Mathematics University of Nebraska–Lincoln www.math.unl.edu/ ∼ shartke2 hartke@math.unl.edu Joint work with T yler Seacrest

  2. Finding Edge-Disj. Subgraphs in Dense Graphs Ques. How many edge-disjoint 1-factors can we find in a dense graph G with minimum degree δ ≥ n/ 2? How many edge-disjoint Hamiltonian cyles?

  3. Finding Edge-Disj. Subgraphs in Dense Graphs Ques. How many edge-disjoint 1-factors can we find in a dense graph G with minimum degree δ ≥ n/ 2? How many edge-disjoint Hamiltonian cyles? Thm. [Katerinis 1985; Egawa and Enomoto 1989] If δ ≥ n/ 2, then G contains a k -factor for all k ≤ ( n + 5 ) / 4. This is best possible. Thus, roughly n/ 4 edge-disjoint 1-factors and n/ 8 edge-disjoint Ham cycles are the best we can hope for.

  4. Finding Edge-Disj. Subgraphs in Dense Graphs Ques. How many edge-disjoint 1-factors can we find in a dense graph G with minimum degree δ ≥ n/ 2? How many edge-disjoint Hamiltonian cyles? Thm. [Katerinis 1985; Egawa and Enomoto 1989] If δ ≥ n/ 2, then G contains a k -factor for all k ≤ ( n + 5 ) / 4. This is best possible. Thus, roughly n/ 4 edge-disjoint 1-factors and n/ 8 edge-disjoint Ham cycles are the best we can hope for. Thm. [Nash-Williams, 1971] If δ ≥ n/ 2, then G contains at least ⌊ 5 n/ 224 ⌋ edge-disjoint Hamiltonian cycles. This gives roughly n/ 46 edge-disjoint Hamiltonian cycles, which gives n/ 23 edge-disjoint 1-factors.

  5. Results Thm. [Christofides, Kühn, Osthus, 2011+] For every ε > 0, if n is sufficiently large and δ ≥ ( 1 / 2 + ε ) n , then G contains n/ 8 Hamiltonian cycles.

  6. Results Thm. [Christofides, Kühn, Osthus, 2011+] For every ε > 0 , if n is sufficiently large and δ ≥ ( 1 / 2 + ε ) n , then G contains n/ 8 Hamiltonian cycles. Under the hypotheses, this gives n/ 4 edge-disjoint 1 -factors. CKO’s proof uses the Regularity Lemma.

  7. Results Thm. [Christofides, Kühn, Osthus, 2011+] For every ε > 0 , if n is sufficiently large and δ ≥ ( 1 / 2 + ε ) n , then G contains n/ 8 Hamiltonian cycles. Under the hypotheses, this gives n/ 4 edge-disjoint 1 -factors. CKO’s proof uses the Regularity Lemma. Thm. [H, Seacrest 2011+] Let G have min deg δ ≥ n/ 2 + O ( n 3 / 4 ln ( n )) . Then G contains n/ 8 − O ( n 7 / 8 ln ( n )) edge-disjoint Ham cycles. Our proof avoids the Regularity Lemma and hence the constants are much smaller.

  8. Results Thm. [Christofides, Kühn, Osthus, 2011+] For every ε > 0 , if n is sufficiently large and δ ≥ ( 1 / 2 + ε ) n , then G contains n/ 8 Hamiltonian cycles. Under the hypotheses, this gives n/ 4 edge-disjoint 1 -factors. CKO’s proof uses the Regularity Lemma. Thm. [H, Seacrest 2011+] Let G have min deg δ ≥ n/ 2 + O ( n 3 / 4 ln ( n )) . Then G contains n/ 8 − O ( n 7 / 8 ln ( n )) edge-disjoint Ham cycles. Our proof avoids the Regularity Lemma and hence the constants are much smaller. (All of our theorems also describe when δ > n/ 2 .)

  9. Large Bipartite Subgraphs Prop. Every graph G has a bipartite subgraph H with at least half the edges of G .

  10. Large Bipartite Subgraphs Prop. Every graph G has a bipartite subgraph H with at least half the edges of G . Proof. Partition verts of G ; let H be the induced bipartite subgraph. If  has deg H (  ) < deg G (  ) / 2 , then push  to the other part.

  11. Large Bipartite Subgraphs Prop. Every graph G has a bipartite subgraph H with at least half the edges of G . Proof. Partition verts of G ; let H be the induced bipartite subgraph. If  has deg H (  ) < deg G (  ) / 2 , then push  to the other part. Repeat; the number of edges in H strictly increases. �

  12. Large Bipartite Subgraphs Prop. Every graph G has a bipartite subgraph H where deg H (  ) ≥ deg G (  ) / 2 for all vertices  . Proof. Partition verts of G ; let H be the induced bipartite subgraph. If  has deg H (  ) < deg G (  ) / 2 , then push  to the other part. Repeat; the number of edges in H strictly increases. �

  13. Large Bipartite Subgraphs Prop. Every graph G has a bipartite subgraph H where deg H (  ) ≥ deg G (  ) / 2 for all vertices  . Proof. Partition verts of G ; let H be the induced bipartite subgraph. If  has deg H (  ) < deg G (  ) / 2 , then push  to the other part. Repeat; the number of edges in H strictly increases. � Prop. Every graph G has a bipartite subgraph H with at least half the edges of G . Proof 2 (sketch). Randomly partition the vertices of G to form H . Then E [ | E ( H ) | ] ≥ | E ( G ) | / 2 . �

  14. Large Bipartite Subgraphs Prop. Every graph G has a bipartite subgraph H where deg H (  ) ≥ deg G (  ) / 2 for all vertices  . Proof. Partition verts of G ; let H be the induced bipartite subgraph. If  has deg H (  ) < deg G (  ) / 2 , then push  to the other part. Repeat; the number of edges in H strictly increases. � Prop. Every graph G has a bipartite subgraph H with at least half the edges of G . Proof 2 (sketch). Randomly partition the vertices of G to form H . Then E [ | E ( H ) | ] ≥ | E ( G ) | / 2 . � The same analysis works with a random balanced partition.

  15. Large Bipartite Subgraphs Prop. Every graph G has a bipartite subgraph H where deg H (  ) ≥ deg G (  ) / 2 for all vertices  . Proof. Partition verts of G ; let H be the induced bipartite subgraph. If  has deg H (  ) < deg G (  ) / 2 , then push  to the other part. Repeat; the number of edges in H strictly increases. � Prop. Every graph G has a balanced bipartite subgraph H with at least half the edges of G . Proof 2 (sketch). Randomly partition the vertices of G to form H . Then E [ | E ( H ) | ] ≥ | E ( G ) | / 2 . � The same analysis works with a random balanced partition.

  16. Large Bipartite Subgraphs Can both properties be simultaneously obtained?

  17. Large Bipartite Subgraphs Can both properties be simultaneously obtained? A bisection is a balanced spanning bipartite subgraph. Conj. [Bollobás–Scott 2002] Every graph G with an even number of vertices has a bisection H with deg H (  ) ≥ ⌊ deg G (  ) / 2 ⌋ for all  .

  18. Sharpness The conjecture would be sharp: There exists a graph G with an even number of vertices with no bisection H with deg H (  ) ≥ ⌊ deg G (  ) / 2 ⌋ + 1 for all  . Let k < n/ 2 . K k n − k K k ∨ ( n − k ) K 1

  19. Sharpness The conjecture would be sharp: There exists a graph G with an even number of vertices with no bisection H with deg H (  ) ≥ ⌊ deg G (  ) / 2 ⌋ + 1 for all  . Let k < n/ 2 . K k For any partition, both n − k partite sets have vertices from the independent set. K k ∨ ( n − k ) K 1

  20. Probabilistic Approach Thm. Any graph G on n (even) vertices has a bisection H such that for all vertices  , 1 � deg H (  ) ≥ deg G (  ) − deg G (  ) ln ( n ) . 2 [similar result by A. Bush 2009]

  21. Probabilistic Approach Thm. Any graph G on n (even) vertices has a bisection H such that for all vertices  , 1 � deg H (  ) ≥ deg G (  ) − deg G (  ) ln ( n ) . 2 [similar result by A. Bush 2009] Proof Outline. Arbitrarily pair the vertices. Randomly split each pair between the two partite sets.

  22. Probabilistic Approach Thm. Any graph G on n (even) vertices has a bisection H such that for all vertices  , 1 � deg H (  ) ≥ deg G (  ) − deg G (  ) ln ( n ) . 2 [similar result by A. Bush 2009] Proof Outline. Arbitrarily pair the vertices. Randomly split each pair between the two partite sets. Bound the probability of a bad vertex using Chernoff bounds. Combine using the union sum bound.

  23. Larger Partitions Thm. Let G be a graph on n vertices, where n = pq for p > 1 . Then there exists a partition of G into q parts of size p such that every vertex  has � at least deg (  ) /q − deg (  ) · ln ( n ) neighbors in each part.

  24. Larger Partitions Thm. Let G be a graph on n vertices, where n = pq for p > 1 . Then there exists a partition of G into q parts of size p such that every vertex  has � at least deg (  ) /q − deg (  ) · ln ( n ) neighbors in each part. An upper bound can be obtained following a construction of Doerr and Srivastav 2003 from discrepancy theory. It is based on a construction of Spencer 1985 using Hadamard matrices. Thm. For infinitely many n , there exists a graph G on n vertices such than any partition of G into q parts contains a part P and vertex  such that  has less than deg (  ) /q − 1 � n/q 3 neighbors in P . 3

  25. Finding k -Factors in Bipartite Graphs Thm. [Csaba 2007] Let G be balanced bipart. graph on 2 p vertices with min deg δ ≥ p 2 . � δ + p ( 2 δ − p ) Let α = . 2 Then G has an ⌊ α ⌋ -regular spanning subgraph.

  26. Finding k -Factors in Bipartite Graphs Thm. [Csaba 2007] Let G be balanced bipart. graph on 2 p vertices with min deg δ ≥ p 2 . � δ + p ( 2 δ − p ) Let α = . 2 Then G has an ⌊ α ⌋ -regular spanning subgraph. Thm. � If G has min deg δ ≥ n/ 2 + 2 n/ 2 · ln ( n ) , then G contains n/ 8 edge-disjoint 1 -factors.

Recommend


More recommend