proof of the 1-factorization and hamilton decomposition conjectures · 2013-07-21 ·...
TRANSCRIPT
![Page 1: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/1.jpg)
Proof of the 1-factorization and Hamiltondecomposition conjectures
Allan Lo
University of Birmingham
LMS–EPSRC Durham Symposium22 July 2013
Joint work withBela Csaba (Szeged), Daniela Kuhn (Birmingham),
Deryk Osthus (Birmingham) and Andrew Treglown (QMUL)
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 2: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/2.jpg)
1-factorization
A 1-factorization of a graph G is a decomposition into edge-disjointperfect matchings.
= + +
If G contains a 1-factorization, then |G| is even and G is D-regular.⇒ χ ′(G) = D.
Question
Does every D-regular graph G with |G|= n even and D ≥ n/2 containa 1-factorization?
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 3: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/3.jpg)
1-factorization
A 1-factorization of a graph G is a decomposition into edge-disjointperfect matchings.
= + +
If G contains a 1-factorization, then |G| is even and G is D-regular.⇒ χ ′(G) = D.
Question
Does every D-regular graph G with |G|= n even and D ≥ n/2 containa 1-factorization?
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 4: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/4.jpg)
1-factorization conjecture
1-factorization conjecture (Chetwynd and Hilton 1985, Dirac 1950s)
Every D-regular graph G with |G|= n even and
D ≥
{n/2−1 if n = 0 (mod 4)
n/2 if n = 2 (mod 4),
contains a 1-factorization. Equivalently, χ ′(G) = D.
The bound is best possible.“An odd component contains no perfect matching.”
Kn/2 Kn/2
n = 2 (mod 4)
Kn/2+1−Cn/2+1 Kn/2−1
n = 0 (mod 4)
Same bound for the existence of a single perfect matching in D-regulargraphs.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 5: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/5.jpg)
1-factorization conjecture
1-factorization conjecture (Chetwynd and Hilton 1985, Dirac 1950s)
Every D-regular graph G with |G|= n even and
D ≥
{n/2−1 if n = 0 (mod 4)
n/2 if n = 2 (mod 4),
contains a 1-factorization. Equivalently, χ ′(G) = D.
The bound is best possible.“An odd component contains no perfect matching.”
Kn/2 Kn/2
n = 2 (mod 4)
Kn/2+1−Cn/2+1 Kn/2−1
n = 0 (mod 4)
Same bound for the existence of a single perfect matching in D-regulargraphs.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 6: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/6.jpg)
1-factorization conjecture
1-factorization conjecture (Chetwynd and Hilton 1985, Dirac 1950s)
Every D-regular graph G with |G|= n even and
D ≥
{n/2−1 if n = 0 (mod 4)
n/2 if n = 2 (mod 4),
contains a 1-factorization. Equivalently, χ ′(G) = D.
The bound is best possible.“An odd component contains no perfect matching.”
Kn/2 Kn/2
n = 2 (mod 4)
Kn/2+1−Cn/2+1 Kn/2−1
n = 0 (mod 4)
Same bound for the existence of a single perfect matching in D-regulargraphs.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 7: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/7.jpg)
1-factorization conjecture
1-factorization conjecture (Chetwynd and Hilton 1985, Dirac 1950s)
Every D-regular graph G with |G|= n even and
D ≥
{n/2−1 if n = 0 (mod 4)
n/2 if n = 2 (mod 4),
contains a 1-factorization. Equivalently, χ ′(G) = D.
Some partial results:
True for D = n−1, i.e. complete graphs.
Chetwynd and Hilton (1989), and independently Niessen andVolkmann (1990), for D ≥ (
√7−1)n/2≈ 0.82n.
Perkovic and Reed (1997) for D ≥ (1/2+ ε)n with ε > 0.
Theorem (Csaba, Kuhn, L, Osthus, Treglown 2013+)
The 1-factorization conjecture holds for large n.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 8: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/8.jpg)
1-factorization conjecture
1-factorization conjecture (Chetwynd and Hilton 1985, Dirac 1950s)
Every D-regular graph G with |G|= n even and
D ≥
{n/2−1 if n = 0 (mod 4)
n/2 if n = 2 (mod 4),
contains a 1-factorization. Equivalently, χ ′(G) = D.
Some partial results:
True for D = n−1, i.e. complete graphs.
Chetwynd and Hilton (1989), and independently Niessen andVolkmann (1990), for D ≥ (
√7−1)n/2≈ 0.82n.
Perkovic and Reed (1997) for D ≥ (1/2+ ε)n with ε > 0.
Theorem (Csaba, Kuhn, L, Osthus, Treglown 2013+)
The 1-factorization conjecture holds for large n.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 9: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/9.jpg)
Hamilton decomposition
A Hamilton decomposition of a graph G is a decomposition intoedge-disjoint Hamilton cycles.
= +
If G contains a Hamilton decomposition, then G is D-regular and D iseven.
Question
Does every D-regular graph on n vertices with D ≥ n/2 even contain aHamilton decomposition?
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 10: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/10.jpg)
Hamilton decomposition
A Hamilton decomposition of a graph G is a decomposition intoedge-disjoint Hamilton cycles.
= +
If G contains a Hamilton decomposition, then G is D-regular and D iseven.
Question
Does every D-regular graph on n vertices with D ≥ n/2 even contain aHamilton decomposition?
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 11: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/11.jpg)
Hamilton decomposition conjecture
Hamilton decomposition conjecture (Nash-Williams 1970)
Every D-regular graph on n vertices with D ≥ bn/2c can bedecomposed into edge-disjoint Hamilton cycles and at most oneperfect matching.
The bound is best possible.“No disconnected graph contains a Hamilton cycle.”
dn/2ebn/2c
Same bound for the existence of a single Hamilton cycle in D-regulargraphs.
ObservationIf n is even, then ‘a Hamilton cycle = two perfect matchings’.Hamilton decomposition⇒ 1-factorization.But Hamilton decomposition conjecture 6⇒ 1-factorization conjecture.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 12: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/12.jpg)
Hamilton decomposition conjecture
Hamilton decomposition conjecture (Nash-Williams 1970)
Every D-regular graph on n vertices with D ≥ bn/2c can bedecomposed into edge-disjoint Hamilton cycles and at most oneperfect matching.
The bound is best possible.“No disconnected graph contains a Hamilton cycle.”
dn/2ebn/2c
Same bound for the existence of a single Hamilton cycle in D-regulargraphs.
ObservationIf n is even, then ‘a Hamilton cycle = two perfect matchings’.Hamilton decomposition⇒ 1-factorization.But Hamilton decomposition conjecture 6⇒ 1-factorization conjecture.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 13: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/13.jpg)
Hamilton decomposition conjecture
Hamilton decomposition conjecture (Nash-Williams 1970)
Every D-regular graph on n vertices with D ≥ bn/2c can bedecomposed into edge-disjoint Hamilton cycles and at most oneperfect matching.
The bound is best possible.“No disconnected graph contains a Hamilton cycle.”
dn/2ebn/2c
Same bound for the existence of a single Hamilton cycle in D-regulargraphs.
ObservationIf n is even, then ‘a Hamilton cycle = two perfect matchings’.Hamilton decomposition⇒ 1-factorization.But Hamilton decomposition conjecture 6⇒ 1-factorization conjecture.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 14: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/14.jpg)
Hamilton decomposition conjecture
Hamilton decomposition conjecture (Nash-Williams 1970)
Every D-regular graph on n vertices with D ≥ bn/2c can bedecomposed into edge-disjoint Hamilton cycles and at most oneperfect matching.
The bound is best possible.“No disconnected graph contains a Hamilton cycle.”
dn/2ebn/2c
Same bound for the existence of a single Hamilton cycle in D-regulargraphs.
ObservationIf n is even, then ‘a Hamilton cycle = two perfect matchings’.Hamilton decomposition⇒ 1-factorization.
But Hamilton decomposition conjecture 6⇒ 1-factorization conjecture.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 15: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/15.jpg)
Hamilton decomposition conjecture
Hamilton decomposition conjecture (Nash-Williams 1970)
Every D-regular graph on n vertices with D ≥ bn/2c can bedecomposed into edge-disjoint Hamilton cycles and at most oneperfect matching.
The bound is best possible.“No disconnected graph contains a Hamilton cycle.”
dn/2ebn/2c
Same bound for the existence of a single Hamilton cycle in D-regulargraphs.
ObservationIf n is even, then ‘a Hamilton cycle = two perfect matchings’.Hamilton decomposition⇒ 1-factorization.But Hamilton decomposition conjecture 6⇒ 1-factorization conjecture.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 16: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/16.jpg)
Hamilton decomposition conjecture
Hamilton decomposition conjecture (Nash-Williams 1970)
Every D-regular graph on n vertices with D ≥ bn/2c can bedecomposed into edge-disjoint Hamilton cycles and at most oneperfect matching.
Some partial results:
Walecki (1890) Kn has a Hamilton decomposition.Nash-Williams (1969), D ≥ bn/2c implies a Hamilton cycle.Jackson (1979), D/2−n/6 edge-disjoint Hamilton cyclesChristofides, Kuhn and Osthus (2012) if D ≥ n/2+ εn, then Gcontains (1− ε ′)D/2 edge-disjoint Hamilton cyclesKuhn and Osthus (2013) D ≥ n/2+ εn implies Hamiltondecomposition.
Theorem (Csaba, Kuhn, L, Osthus, Treglown 2013+)
The Hamilton decomposition conjecture holds for large n.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 17: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/17.jpg)
Hamilton decomposition conjecture
Hamilton decomposition conjecture (Nash-Williams 1970)
Every D-regular graph on n vertices with D ≥ bn/2c can bedecomposed into edge-disjoint Hamilton cycles and at most oneperfect matching.
Some partial results:
Walecki (1890) Kn has a Hamilton decomposition.Nash-Williams (1969), D ≥ bn/2c implies a Hamilton cycle.Jackson (1979), D/2−n/6 edge-disjoint Hamilton cyclesChristofides, Kuhn and Osthus (2012) if D ≥ n/2+ εn, then Gcontains (1− ε ′)D/2 edge-disjoint Hamilton cyclesKuhn and Osthus (2013) D ≥ n/2+ εn implies Hamiltondecomposition.
Theorem (Csaba, Kuhn, L, Osthus, Treglown 2013+)
The Hamilton decomposition conjecture holds for large n.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 18: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/18.jpg)
Robust expander
Definition
Given 0 < ν < τ < 1, we say that a graph G on n vertices is a robust(ν ,τ)-expander, if for all S ⊆ V (G) with τn ≤ |S| ≤ (1− τ)n thenumber of vertices that have at least νn neighbours in S is at least|S|+νn.
S RNν(S)≥ νn
“G is still an expander after removing a sparse subgraph.”
Theorem (Kuhn and Osthus 2013)
For 1/n� ν � τ � α , every αn-regular robust (ν ,τ)-expander G onn vertices can be decomposed into edge-disjoint Hamilton cycles andat most one perfect matching.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 19: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/19.jpg)
Robust expander
Definition
Given 0 < ν < τ < 1, we say that a graph G on n vertices is a robust(ν ,τ)-expander, if for all S ⊆ V (G) with τn ≤ |S| ≤ (1− τ)n thenumber of vertices that have at least νn neighbours in S is at least|S|+νn.
S RNν(S)≥ νn
“G is still an expander after removing a sparse subgraph.”
Theorem (Kuhn and Osthus 2013)
For 1/n� ν � τ � α , every αn-regular robust (ν ,τ)-expander G onn vertices can be decomposed into edge-disjoint Hamilton cycles andat most one perfect matching.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 20: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/20.jpg)
Extremal structure
Structural Lemma
Let G be a D-regular graph with |G|= n and D ≥ n/2−1. Then either
(i) G is a robust expander;
X
(ii) G is ε-close to complete bipartite graph Kn/2,n/2;
(iii) G is ε-close to union of two complete graphs Kn/2.
(i)
robust expander
n/2 n/2
(ii)
≈ Kn/2 ≈ Kn/2
n/2 n/2
(iii)
G is ε-close to H if G can be transformed to H by adding/removing atmost εn2 edges.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 21: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/21.jpg)
Extremal structure
Structural Lemma
Let G be a D-regular graph with |G|= n and D ≥ n/2−1. Then either
(i) G is a robust expander; X
(ii) G is ε-close to complete bipartite graph Kn/2,n/2;
(iii) G is ε-close to union of two complete graphs Kn/2.
(i)
robust expander
X n/2 n/2
(ii)
≈ Kn/2 ≈ Kn/2
n/2 n/2
(iii)
G is ε-close to H if G can be transformed to H by adding/removing atmost εn2 edges.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 22: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/22.jpg)
Extremal structure
Structural Lemma
Let G be a D-regular graph with |G|= n and D ≥ n/2−1. Then either
(i) G is a robust expander; X
(ii) G is ε-close to complete bipartite graph Kn/2,n/2;
(iii) G is ε-close to union of two complete graphs Kn/2.
(i)
robust expander
X n/2 n/2
(ii)
≈ Kn/2 ≈ Kn/2
n/2 n/2
(iii)
G is ε-close to H if G can be transformed to H by adding/removing atmost εn2 edges.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 23: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/23.jpg)
First attempt : Finding many Hamilton cycles
A B≈ Kn/2 ≈ Kn/2
1 Find many Hamilton cycles in G[A] and G[B].‘Easy’, because G[A] and G[B] are almost complete.
2 ‘Connect’ cycles on to get a Hamilton decomposition.Hard, because G[A,B] is sparse.
Actually, we need to first construct the connections, then extend eachconnection into a Hamilton cycle.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 24: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/24.jpg)
First attempt : Finding many Hamilton cycles
A B≈ Kn/2 ≈ Kn/2
1 Find many Hamilton cycles in G[A] and G[B].‘Easy’, because G[A] and G[B] are almost complete.
2 ‘Connect’ cycles on to get a Hamilton decomposition.Hard, because G[A,B] is sparse.
Actually, we need to first construct the connections, then extend eachconnection into a Hamilton cycle.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 25: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/25.jpg)
First attempt : Finding many Hamilton cycles
A B≈ Kn/2 ≈ Kn/2???
1 Find many Hamilton cycles in G[A] and G[B].‘Easy’, because G[A] and G[B] are almost complete.
2 ‘Connect’ cycles on to get a Hamilton decomposition.
Hard, because G[A,B] is sparse.
Actually, we need to first construct the connections, then extend eachconnection into a Hamilton cycle.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 26: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/26.jpg)
First attempt : Finding many Hamilton cycles
A B≈ Kn/2 ≈ Kn/2???
1 Find many Hamilton cycles in G[A] and G[B].‘Easy’, because G[A] and G[B] are almost complete.
2 ‘Connect’ cycles on to get a Hamilton decomposition.Hard, because G[A,B] is sparse.
Actually, we need to first construct the connections, then extend eachconnection into a Hamilton cycle.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 27: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/27.jpg)
First attempt : Finding many Hamilton cycles
A B≈ Kn/2 ≈ Kn/2???
1 Find many Hamilton cycles in G[A] and G[B].‘Easy’, because G[A] and G[B] are almost complete.
2 ‘Connect’ cycles on to get a Hamilton decomposition.Hard, because G[A,B] is sparse.
Actually, we need to first construct the connections, then extend eachconnection into a Hamilton cycle.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 28: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/28.jpg)
Vertex partition
A B
V0
G[A] and G[B] are almost complete.
V0 = {bad vertices} and |V0| ≤ εn.e.g. If v has εn neighbours in A and in B, then v is bad.
A connecting subgraph J will cover V0, connect A and B, hasendpoints in A∪B.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 29: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/29.jpg)
Vertex partition
A B
V0
G[A] and G[B] are almost complete.
V0 = {bad vertices} and |V0| ≤ εn.e.g. If v has εn neighbours in A and in B, then v is bad.
A connecting subgraph J will cover V0, connect A and B, hasendpoints in A∪B.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 30: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/30.jpg)
A key property of connecting subgraphs
A B
V0
J
‘Contract’ all paths incident with V0.Replace AB-edges with AA-edges and BB-edges.Call resulting green graph J∗.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 31: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/31.jpg)
A key property of connecting subgraphs
A B
V0
‘Contract’ all paths incident with V0.
Replace AB-edges with AA-edges and BB-edges.Call resulting green graph J∗.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 32: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/32.jpg)
A key property of connecting subgraphs
A B
V0
‘Contract’ all paths incident with V0.Replace AB-edges with AA-edges and BB-edges.
Call resulting green graph J∗.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 33: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/33.jpg)
A key property of connecting subgraphs
A B
V0
J∗
‘Contract’ all paths incident with V0.Replace AB-edges with AA-edges and BB-edges.Call resulting green graph J∗.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 34: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/34.jpg)
A key property of connecting subgraphs
A B
V0
J∗CA CB
‘Contract’ all paths incident with V0.Replace AB-edges with AA-edges and BB-edges.Call resulting green graph J∗.
Properties of J∗
Let CA be a spanning cycle on A and CB be a spanning cycle on B.Suppose that J∗ ⊆ CA +CB (in a suitable order).If we replace J∗ with J, then we get a Hamilton cycle.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 35: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/35.jpg)
A key property of connecting subgraphs
A B
V0
‘Contract’ all paths incident with V0.Replace AB-edges with AA-edges and BB-edges.Call resulting green graph J∗.
Properties of J∗
Let CA be a spanning cycle on A and CB be a spanning cycle on B.Suppose that J∗ ⊆ CA +CB (in a suitable order).If we replace J∗ with J, then we get a Hamilton cycle.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 36: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/36.jpg)
A key property of connecting subgraphs
A B
V0
‘Contract’ all paths incident with V0.Replace AB-edges with AA-edges and BB-edges.Call resulting green graph J∗.
Properties of J∗
Let CA be a spanning cycle on A and CB be a spanning cycle on B.Suppose that J∗ ⊆ CA +CB (in a suitable order).If we replace J∗ with J, then we get a Hamilton cycle.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 37: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/37.jpg)
A key property of connecting subgraphs
A B
V0
‘Contract’ all paths incident with V0.Replace AB-edges with AA-edges and BB-edges.Call resulting green graph J∗.
Properties of J∗
Let CA be a spanning cycle on A and CB be a spanning cycle on B.Suppose that J∗ ⊆ CA +CB (in a suitable order).If we replace J∗ with J, then we get a Hamilton cycle.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 38: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/38.jpg)
Finding a Hamilton decomposition
A B
V0
1 Decompose edges not in A and not in B into connectingsubgraphs, J1,J2, . . . ,JD/2.
2 Replace each Ji with J∗i .
Let G∗ = G[A]+G[B]+ J∗1 + · · ·+ J∗D/2.Note that G∗[A] and G∗[B] are D-regular multigraphs.
3 ‘Hamilton decompose’ G∗[A]4 Replace each J∗i with Ji .5 G contains a Hamilton decomposition. �
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 39: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/39.jpg)
Finding a Hamilton decomposition
A B
V0
1 Decompose edges not in A and not in B into connectingsubgraphs, J1,J2, . . . ,JD/2.
2 Replace each Ji with J∗i .
Let G∗ = G[A]+G[B]+ J∗1 + · · ·+ J∗D/2.Note that G∗[A] and G∗[B] are D-regular multigraphs.
3 ‘Hamilton decompose’ G∗[A]4 Replace each J∗i with Ji .5 G contains a Hamilton decomposition. �
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 40: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/40.jpg)
Finding a Hamilton decomposition
A B
V0
1 Decompose edges not in A and not in B into connectingsubgraphs, J1,J2, . . . ,JD/2.
2 Replace each Ji with J∗i .
Let G∗ = G[A]+G[B]+ J∗1 + · · ·+ J∗D/2.Note that G∗[A] and G∗[B] are D-regular multigraphs.
3 ‘Hamilton decompose’ G∗[A]4 Replace each J∗i with Ji .5 G contains a Hamilton decomposition. �
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 41: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/41.jpg)
Finding a Hamilton decomposition
A B
V0
1 Decompose edges not in A and not in B into connectingsubgraphs, J1,J2, . . . ,JD/2.
2 Replace each Ji with J∗i .
Let G∗ = G[A]+G[B]+ J∗1 + · · ·+ J∗D/2.Note that G∗[A] and G∗[B] are D-regular multigraphs.
3 ‘Hamilton decompose’ G∗[A]4 Replace each J∗i with Ji .5 G contains a Hamilton decomposition. �
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 42: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/42.jpg)
Finding a Hamilton decomposition
A B
V0
1 Decompose edges not in A and not in B into connectingsubgraphs, J1,J2, . . . ,JD/2.
2 Replace each Ji with J∗i .
Let G∗ = G[A]+G[B]+ J∗1 + · · ·+ J∗D/2.Note that G∗[A] and G∗[B] are D-regular multigraphs.
3 ‘Hamilton decompose’ G∗[A]4 Replace each J∗i with Ji .5 G contains a Hamilton decomposition. �
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 43: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/43.jpg)
Finding a Hamilton decomposition
A B
V0
1 Decompose edges not in A and not in B into connectingsubgraphs, J1,J2, . . . ,JD/2.
2 Replace each Ji with J∗i .Let G∗ = G[A]+G[B]+ J∗1 + · · ·+ J∗D/2.Note that G∗[A] and G∗[B] are D-regular multigraphs.
3 ‘Hamilton decompose’ G∗[A]4 Replace each J∗i with Ji .5 G contains a Hamilton decomposition. �
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 44: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/44.jpg)
Finding a Hamilton decomposition
A B
V0
1 Decompose edges not in A and not in B into connectingsubgraphs, J1,J2, . . . ,JD/2.
2 Replace each Ji with J∗i .Let G∗ = G[A]+G[B]+ J∗1 + · · ·+ J∗D/2.Note that G∗[A] and G∗[B] are D-regular multigraphs.
3 ‘Hamilton decompose’ G∗[A]
4 Replace each J∗i with Ji .5 G contains a Hamilton decomposition. �
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 45: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/45.jpg)
Finding a Hamilton decomposition
A B
V0
1 Decompose edges not in A and not in B into connectingsubgraphs, J1,J2, . . . ,JD/2.
2 Replace each Ji with J∗i .Let G∗ = G[A]+G[B]+ J∗1 + · · ·+ J∗D/2.Note that G∗[A] and G∗[B] are D-regular multigraphs.
3 ‘Hamilton decompose’ G∗[A] and G∗[B].
4 Replace each J∗i with Ji .5 G contains a Hamilton decomposition. �
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 46: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/46.jpg)
Finding a Hamilton decomposition
A B
V0
1 Decompose edges not in A and not in B into connectingsubgraphs, J1,J2, . . . ,JD/2.
2 Replace each Ji with J∗i .Let G∗ = G[A]+G[B]+ J∗1 + · · ·+ J∗D/2.Note that G∗[A] and G∗[B] are D-regular multigraphs.
3 ‘Hamilton decompose’ G∗[A] and G∗[B].4 Replace each J∗i with Ji .
5 G contains a Hamilton decomposition. �
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 47: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/47.jpg)
Finding a Hamilton decomposition
A B
V0
1 Decompose edges not in A and not in B into connectingsubgraphs, J1,J2, . . . ,JD/2.
2 Replace each Ji with J∗i .Let G∗ = G[A]+G[B]+ J∗1 + · · ·+ J∗D/2.Note that G∗[A] and G∗[B] are D-regular multigraphs.
3 ‘Hamilton decompose’ G∗[A] and G∗[B].4 Replace each J∗i with Ji .
5 G contains a Hamilton decomposition. �
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 48: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/48.jpg)
Finding a Hamilton decomposition
A B
V0
1 Decompose edges not in A and not in B into connectingsubgraphs, J1,J2, . . . ,JD/2.
2 Replace each Ji with J∗i .Let G∗ = G[A]+G[B]+ J∗1 + · · ·+ J∗D/2.Note that G∗[A] and G∗[B] are D-regular multigraphs.
3 ‘Hamilton decompose’ G∗[A] and G∗[B].4 Replace each J∗i with Ji .
5 G contains a Hamilton decomposition. �
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 49: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/49.jpg)
Finding a Hamilton decomposition
A B
V0
1 Decompose edges not in A and not in B into connectingsubgraphs, J1,J2, . . . ,JD/2.
2 Replace each Ji with J∗i .Let G∗ = G[A]+G[B]+ J∗1 + · · ·+ J∗D/2.Note that G∗[A] and G∗[B] are D-regular multigraphs.
3 ‘Hamilton decompose’ G∗[A] and G∗[B].4 Replace each J∗i with Ji .5 G contains a Hamilton decomposition. �
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 50: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/50.jpg)
Finding a Hamilton decomposition
A B
V0
1 Decompose edges not in A and not in B into connectingsubgraphs, J1,J2, . . . ,JD/2. Hard
2 Replace each Ji with J∗i .Let G∗ = G[A]+G[B]+ J∗1 + · · ·+ J∗D/2.Note that G∗[A] and G∗[B] are D-regular multigraphs.
3 ‘Hamilton decompose’ G∗[A] and G∗[B]. Hard4 Replace each J∗i with Ji .5 G contains a Hamilton decomposition. �
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 51: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/51.jpg)
Packing Hamilton cycles with large δ (G)
Question
Suppose that G is a graph on n vertices with δ (G)≥ n/2 (notnecessarily regular). How many edge-disjoint Hamilton cycles arecontained in G?
Dirac (1957) one Hamilton cycle.
Nash-Williams (1971) b5n/224c edge-disjoint Hamilton cycles
Conjecture (Nash-Williams 1971)
Every graph G on n vertices with δ (G)≥ n/2 contains (n−2)/8edge-disjoint Hamilton cycles.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 52: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/52.jpg)
Packing Hamilton cycles with large δ (G)
Question
Suppose that G is a graph on n vertices with δ (G)≥ n/2 (notnecessarily regular). How many edge-disjoint Hamilton cycles arecontained in G?
Dirac (1957) one Hamilton cycle.
Nash-Williams (1971) b5n/224c edge-disjoint Hamilton cycles
Conjecture (Nash-Williams 1971)
Every graph G on n vertices with δ (G)≥ n/2 contains (n−2)/8edge-disjoint Hamilton cycles.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 53: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/53.jpg)
Packing Hamilton cycles with large δ (G)
Question
Suppose that G is a graph on n vertices with δ (G)≥ n/2 (notnecessarily regular). How many edge-disjoint Hamilton cycles arecontained in G?
Dirac (1957) one Hamilton cycle.
Nash-Williams (1971) b5n/224c edge-disjoint Hamilton cycles
Conjecture (Nash-Williams 1971)
Every graph G on n vertices with δ (G)≥ n/2 contains (n−2)/8edge-disjoint Hamilton cycles.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 54: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/54.jpg)
Packing Hamilton cycles with large δ (G)
Babai’s construction:
A B
|A|= 4k +2 and |B|= |A|−2G[A] is a matching of size 2k +1
ObservationEvery Hamilton cycles contains at least 2 edges from A⇒ G has at most e(A)/2 edge-disjoint Hamilton cycles⇒ G has ≤ k edge-disjoint Hamilton cycles
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 55: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/55.jpg)
Packing Hamilton cycles with large δ (G)
Babai’s construction:
A B
|A|= 4k +2 and |B|= |A|−2G[A] is a matching of size 2k +1
ObservationEvery Hamilton cycles contains at least 2 edges from A⇒ G has at most e(A)/2 edge-disjoint Hamilton cycles⇒ G has ≤ k edge-disjoint Hamilton cycles
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 56: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/56.jpg)
Packing Hamilton cycles with large δ (G)
Question
Suppose that G is a graph on n vertices with δ (G)≥ n/2 (notnecessarily regular). How many edge-disjoint Hamilton cycles arecontained in G?
Dirac (1957) one Hamilton cycle.
Nash-Williams (1971) b5n/224c edge-disjoint Hamilton cycles
Conjecture (Nash-Williams 1971)
Every graph G on n vertices with δ (G)≥ n/2 contains (n−2)/8edge-disjoint Hamilton cycles.
Theorem (Csaba, Kuhn, Lapinskas, L, Osthus, Treglown 2013+)
The Nash-Williams conjecture is true for large n.
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 57: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/57.jpg)
Open problem
Let regeven(G) be the degree of the largest even-regular spanningsubgraph in G.
Observation
Every graph G on n vertices contains ≤ regeven(G)/2 edge-disjointHamilton cycles.
Conjecture (Kuhn, Lapinskas and Osthus 2013)
Every graph G on n vertices with δ (G)≥ n/2 contains regeven(G)/2edge-disjoint Hamilton cycles.
Some partial results by
Ferber, Krivelevich and Sudakov (2013+)
Kuhn and Osthus (2013+)
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 58: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/58.jpg)
Open problem
Let regeven(G) be the degree of the largest even-regular spanningsubgraph in G.
Observation
Every graph G on n vertices contains ≤ regeven(G)/2 edge-disjointHamilton cycles.
Conjecture (Kuhn, Lapinskas and Osthus 2013)
Every graph G on n vertices with δ (G)≥ n/2 contains regeven(G)/2edge-disjoint Hamilton cycles.
Some partial results by
Ferber, Krivelevich and Sudakov (2013+)
Kuhn and Osthus (2013+)
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 59: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/59.jpg)
Open problem
Let regeven(G) be the degree of the largest even-regular spanningsubgraph in G.
Observation
Every graph G on n vertices contains ≤ regeven(G)/2 edge-disjointHamilton cycles.
Conjecture (Kuhn, Lapinskas and Osthus 2013)
Every graph G on n vertices with δ (G)≥ n/2 contains regeven(G)/2edge-disjoint Hamilton cycles.
Some partial results by
Ferber, Krivelevich and Sudakov (2013+)
Kuhn and Osthus (2013+)
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures
![Page 60: Proof of the 1-factorization and Hamilton decomposition conjectures · 2013-07-21 · 1-factorization A1-factorizationof a graph G is a decomposition into edge-disjoint perfect matchings](https://reader033.vdocument.in/reader033/viewer/2022041819/5e5cb2758d214643ba2e75cf/html5/thumbnails/60.jpg)
Open problem
Let regeven(G) be the degree of the largest even-regular spanningsubgraph in G.
Observation
Every graph G on n vertices contains ≤ regeven(G)/2 edge-disjointHamilton cycles.
Conjecture (Kuhn, Lapinskas and Osthus 2013)
Every graph G on n vertices with δ (G)≥ n/2 contains regeven(G)/2edge-disjoint Hamilton cycles.
Some partial results by
Ferber, Krivelevich and Sudakov (2013+)
Kuhn and Osthus (2013+)
Allan Lo Proof of the 1-factorization and Hamilton decomposition conjectures