small cycle systems
DESCRIPTION
Small Cycle Systems. Chris Rodger Auburn University. Hamilton Cycle. 4-cycle. Graph Decompositions - Paths. Partition the edges of your favorite graph so that each element of the partition induces something interesting. Use colors on the edges to denote the partition. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/1.jpg)
Small Cycle Systems
Chris RodgerAuburn University
![Page 2: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/2.jpg)
Hamilton Cycle
4-cycle
![Page 3: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/3.jpg)
Graph Decompositions - Paths
• Partition the edges of your favorite graph so that each element of the partition induces something interesting.
K7 =
Use colors on the edges to denote the partition.
Maybe you like paths,but with variety!
![Page 4: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/4.jpg)
Graph Decompositions - Cycles
• Partition the edges of your favorite graph so that each element of the partition induces something interesting.
K7 =
Use colors on the edges to denote the partition.
Or perhaps you likesmall cycles. This is a C3-decomposition of K7.Steiner Triple System
![Page 5: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/5.jpg)
Existence Problems• When do 4-cycle systems exist?• Clearly the number of edges must be divisible by 4• And the degree of each vertex must be even.• So n must be congruent to 1 modulo 8.
1
3
2
4
Each edge has an associated “difference”.
![Page 6: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/6.jpg)
One Construction
• 4-cycle decompositions are easy to make now that we have a decomposition of K9.
Let’s try K17
Put 4-cycle decompositions of K9 on each of these two sets of 9 vertices. Pair the vertices and place a 4-cycle between pairs in different columns.
![Page 7: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/7.jpg)
It Solves the Existence Problem
Add as manycolumnsas you like!
![Page 8: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/8.jpg)
Another 4-cycle system of K17
Sometimes we need something more complicatedRotate left to right Pure Difference 4
Pure Difference 4
Mixed Difference 4
What’s missing??
∞
Mixed differences 2 and -2
![Page 9: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/9.jpg)
Other Cycle Lengths
• Of course that was just for 4-cycles. • The existence of m-cycle systems of order n
has been solved after a long history.• Clearly – the number of edges must be divisible by m– the degree of each vertex must be even, and– n must be at least m, or n = 1.Alspach, Gavlas, Šajna (Hoffman, Lindner, Rodger)
![Page 10: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/10.jpg)
Partial Cycle Systems
• A set of edge disjoint 4-cycles in Kn is said to be a partial 4-cycle system of order n.
This is a partial4-cycle system oforder 11that is EQUITABLE.
![Page 11: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/11.jpg)
Equitable Partial Cycle Systems
• Equitable: for each pair of vertices u and v, the number of cycles containing u differs by at most one from the number of cycles containing v.
These are VERY useful!
• 3-cycles: Andersen, Hilton and Mendelsohn • 4-cycles and 5-cycles: Raines and Staniszló• Any mixture of cycle lengths! Bryant, Horsley and
Maenhaut
![Page 12: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/12.jpg)
Embeddings
P with λ = 1 Q
![Page 13: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/13.jpg)
We Have An Embedding Already
This is an embedding of a 4-cycle system of K9 (left vertices)into a 4-cycle system of K17.
![Page 14: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/14.jpg)
Embeddings - History• The Lindner problem of embedding a partial 3-
cycle system of order n into an STS(v) has been solved! (Bryant and Horsley)• A necessary condition requires that v ≥ 2n+1
• For 4-cycles the situation is messier, but recent progress has been dramatic:• Necessarily v ≥ n+n1/2-1• Lindner had the best result of 2n+15 until recently:• n + 121/2n3/4 + o(n3/4) (Lindner and Hilton)• n + n1/2 + o(n1/2) (Füredi and Lehel)
![Page 15: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/15.jpg)
Embeddings - History• Partial 3-cycle system of order n into an STS(v)• v ≥ 2n+1 (Bryant, Horsley)
• Partial 4-cycles systems:• n + n1/2 + o(n1/2) (Füredi, Lehel)
• Partial 2k-cycle systems• Around kn (Hoffman, Lindner ,Rodger)
• Partial 2k+1-cycle systems• Around (4k+2)n (Lindner, Rodger, Stinson)
![Page 16: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/16.jpg)
Enclosings
P with λ = 1 Q with λ+μ = 2
![Page 17: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/17.jpg)
Theorem
A 4-cycle system of λK v can be enclosed in a 4-cycle system of (λ+μ)Kv+u if and only if
1.(v+u-1)(λ+μ) is even,2.The number of new edges is divisible by 4, 3.If u = 1 then μ(v-1)/2 ≥ λ + μ, and4.If u = 2 then μv(v-1)/2 ≥ λ + μ.
(Newman and Rodger)
![Page 18: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/18.jpg)
The biggest case: u ≥ 3
So let’s move on to the more interesting cases!
Use existing results on maximum partial 4-cycle systems.
It is easy to use the edges that join 2 new vertices!
Add at least 3 vertices
![Page 19: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/19.jpg)
The neatest case: u = 2
• Settling this case involves:• Equitable partial 4-cycle systems,• Directed Euler Tours, and• Expanding nearly-regular graphs into copies
of K2,2.
• But first we check the necessary condition.
![Page 20: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/20.jpg)
Recall: If u = 2 then μv(v-1)/2 ≥ λ + μ
In hereλ edges between each pair
of vertices are already used.
Eventually μ more edges are used between each pair of vertices
in here. So μv(v-1)/2 ≥ (λ + μ)
There areλ + μ edgesjoining the 2 added vertices.
Add u = 2 vertices.
![Page 21: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/21.jpg)
Sufficiency with u = 2: μv(v-1)/2 ≥ λ + μ
In P, μ edges between each pair ofvertices need to be used in 4-cycles.
We just saw: there are λ + μ edges joining the 2 added vertices, each of which must be in 4-cycles like this.
So exactly μv(v-1)/2 – (λ + μ) edges “must”be in 4-cycles joining vertices in P.
P
![Page 22: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/22.jpg)
Sufficiency with u = 2: μv(v-1)/2 ≥ λ + μ
In P, μ edges between each pair ofvertices need to be used in 4-cycles.
So start with an equitable partial 4-cycle systemC1 of μKv with exactly μv(v-1)/2 – (λ + μ) edges!
P
It turns outthat this number is divisible by 4.
And it is not negative!
![Page 23: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/23.jpg)
Sufficiency with u = 2: μv(v-1)/2 ≥ λ + μ
In P, μ edges between each pair ofvertices need to be used in 4-cycles.
P
Now look at the complement in μKv of C1. It has exactly λ + μ edges!
All vertices have even degree, so form a directed Euler tour.
End
Start
Let C2 be theSet of these 4-cycles.
In P, μ edges between each pair ofvertices ARE NOW used in 4-cycles.
v
![Page 24: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/24.jpg)
Sufficiency with u = 2: μv(v-1)/2 ≥ λ + μ
PE
S
The remaining edges induce a bipartite graph B between P and {S, E}. Since C1 is equitable, eachvertex v in P has degree 2s or 2s+2 in B (for some s).
Form a graph on V(P) in which each vertex v has degree dB(v)/2.
For each edge add a 4-cycle.
v
Also note that s or s+1edges in B respectively join v to each of S and E.
![Page 25: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/25.jpg)
The last necessary condition: If u = 1 then μ(v-1)/2 ≥ λ + μ
In hereλ edges between each pair
of vertices are already used.
Add λ + μ edges going to each of the v vertices.
Eventually μ more edges between pairs of vertices are used
in here. So μv(v-1)/2 ≥ (λ + μ)v
![Page 26: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/26.jpg)
A typical case:v = 4x+1; μ even (so 4 | λ+μ)
1
1 2 1 2 . . . (v-1)/2-1 (v-1)/2
(v-1)/2-1 (v-1)/2
µ/2 1 21 2 . . . (v-1)/2-1 (v-1)/2
(v-1)/2-1 (v-1)/2
Select (λ+μ)/4 of the (μ/2)(v-1)/4 cells and form cycles like these.
2i-1
2i
0V-1
2i2i-1
Recall the necessary condition:μ(v-1)/2 ≥ λ + μ
∞ is the added vertex
∞
2i-1 2i2i-1 2i
![Page 27: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/27.jpg)
v = 4x+1; μ even 1
1 2 1 2 . . . (v-1)/2-1 (v-1)/2
(v-1)/2-1 (v-1)/2
2i-1 2i2i-1 2i
µ/2 1 21 2 . . . (v-1)/2-1 (v-1)/2
(v-1)/2-1 (v-1)/2
Select the remaining cells and form cycles like these.
2i-1
2i
2i
2i-1
0V-1
∞
![Page 28: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/28.jpg)
Another typical case:v ≡ 2 (mod 4); so 4 | λ,μ
λ/2 differences for these
We have pure and mixed differences
1,2, …, (v-2)/4, and mixed difference 0.
0
v/2 -1
∞
ss and -s
s
![Page 29: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/29.jpg)
Another typical case:v ≡ 2 (mod 4); so 4 | λ,μ
λ/2 differences for these
• We have pure and mixed differences
1,2, …, (v-2)/4, and mixed difference 0.
μ/4 differences for these
s
sThis uses 4 times: mixed difference 0; ∞ to both sides
0
v/2 -1
∞
![Page 30: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/30.jpg)
Another typical case:v ≡ 2 (mod 4); so 4 | λ,μ
λ/2 differences for these
• We have pure and mixed differences
1,2, …, (v-2)/4, and mixed difference 0.
μ/4 differences for these
Use each of the remaining differencesin these 4-cycles
0
v/2 -1
∞
![Page 31: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/31.jpg)
v ≡ 0 (mod 4) Really Tricky!Try μ ≡ 3 (mod 4)
• λ is even (v is λ-admissible)
• So λ + μ is odd
• 4 divides (λ + μ) v(v+1)/2
(v+1 is (λ+μ)-admissible)
• So v ≡ 0 (mod 8)
• μ(v-1)/2 = (4x+3)(4y+3)/2 = 4z + 1/2
• λ + μ ≤ μ(v-1)/2 - 3/2
So 1.5 parallel classes must avoid ∞!
![Page 32: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/32.jpg)
v ≡ 0 (mod 8); μ ≡ 3 (mod 4)
0
v/2 -1
∞ 1 copy of these (using:one v/8 difference;one mixed 0 difference; ∞ to both sides)
The orange edges provide the required1.5 parallel classes That avoid ∞
This vertex structure allows us to find the 1.5 parallel classes avoiding ∞ in a natural way.
v/8
v/4
![Page 33: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/33.jpg)
Do you remember this?Sometimes we need something more complicatedRotate left to right
![Page 34: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/34.jpg)
Other EnclosingsFor 3-cycle systems: • The problem remains open.• There are earlier results by Colbourn and Hamm, and also
with Rosa (this conference in 1985!).• There are several recent results by Hurd, Munson and
Sarvate that consider small enclosings.• One of the necessary conditions is quadratic.• Enclosings do not exist in the interval:
• Recent result approach this gap from both sides (Newman and Rodger
Nothing appears to be known for longer cycles.
(v+1)(1 –(1-(4mv)/(v-1)2(λ+m)2)1/2, (v+1)(1 +(1-(4mv)/(v-1)2(λ+m)2)1/2
![Page 35: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/35.jpg)
Spouse Avoiding DinnersTry to find a way for 4 couples to sit at 2 tables, each seating 4 people so that each sits next to each other person exactly once.
Friday
Men
Women
1 2 3 4
W4 W1
W3W2
M1
M3M4
M2W4 W3
W2W1
M3
M2M4
M1W4 W2
W1W3
M2
M1M4
M3
SaturdaySunday
Not the spouses!
![Page 36: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/36.jpg)
Spouse Avoiding DinnersTry to find a way for 4 couples to sit at 2 tables, each seating 4 people so that each sits next to each other person exactly once.
Friday
Men
Women
1 2 3 4
SaturdaySunday
Not the spouses!
Can you do this so that each table has 2 men and 2 women?
![Page 37: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/37.jpg)
Must one avoid one’s spouse??
Cycle systems of graphs other than Kn are also interesting.
Join vertices in the same group with λ1 edges and vertices in different groups with λ2 edges
λ1 = 2 and λ2 = 1
Pure and Mixed Edges
No! You now have an excuse for another dinner!
![Page 38: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/38.jpg)
Cycle Systems with 2 Associate Classes
K(a,p;λ1,λ2)
Suppose a is even.
There exists a C4-factorization of K(a,p;λ1,λ2) if and only if 1.4 divides ap2.λ1 is even, and3.If a ≡ 2 (mod 4) then
λ2a(p-1) ≥ λ1.
(Billington, Rodger)
1 2 p
1
2
a
λ1
λ2
![Page 39: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/39.jpg)
Cycle Systems with 2 Associate Classes
1 2 p
1
2
a
K(a,p;λ1,λ2)
λ1
λ2
Suppose a ≡ 1 (mod 4).
There exists a C4-factorization of K(a,p;λ1,λ2) if and only if 1.4 divides p2.λ2 > 0 and is even, and3.λ2a(p-1) ≥ λ1,
(Rodger, Tiemeyer)
except possibly if a = 9 and λ1 is odd.
![Page 40: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/40.jpg)
What about a ≡ 3 (mod 4)?
Looks difficult from my point of view!
![Page 41: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/41.jpg)
Why must λ2a(p-1) ≥ λ1?
K(a,p;λ1,λ2)
12
a =6
Suppose a ≡ 2 (mod 4).Consider one C4-factor.
Every part must contain at least 2 vertices incident with mixed edges.
So each C4-factor must contain at least p mixed edges!
1 p
![Page 42: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/42.jpg)
4-cycle systems of K(a,p;λ1,λ2)There exists a 4-cycle system of K(a,p;λ1,λ2) if and only if 1.Each vertex has even degree,2.The number of edges is divisible by 4,3.If a = 2 then • λ2 > 0, and
• λ1 ≤ 2(p-1) λ2
4.If a = 3 then• λ2 > 0, and
• λ1 ≤ 3(p-1) λ2/2 if λ2 is even, and
• λ1 ≤ 3(p-1) λ2/2 if λ2 is odd.(Hung Lin Fu, Rodger) For 3-cycles: Fu, Rodger, SarvateFor block designs: Bose and Shimamoto – 1952!
- (p-1)/9
![Page 43: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/43.jpg)
Why is λ1 ≤ 3(p-1) λ2/2 when a = 3?
• Every 4-cycle must use at least 2 mixed edges.• So 3pλ1 ≤ 9p(p-1) λ2/2
1 p
K(a,p;λ1,λ2)
Each of these uses an even number of mixed edges.
![Page 44: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/44.jpg)
Is λ1 ≤ 3(p-1) λ2/2 –(p-1)/9 when λ2 is odd?
• There are an odd number of edges between each pair of parts!
• So some 4-cycles must use at least 3 mixed edges• So 3pλ1 ≤ 9p(p-1) λ2/2 – (p-1)/9
1 p
K(a,p;λ1,λ2)
Each of these uses an even number of mixed edges.
![Page 45: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/45.jpg)
Plenty More!• 4-cycle systems that cover 2-paths
(Heinrich and Nonay, Cox and Rodger, Kobayashi and Nakamura)
• Resolvable versions(Kobayashi and Nakamura)
• 4-cycle systems of line graphs of Kn and of line graphs of complete multipartite graphs
(Rodger and Sehgal)• 4-cycle systems of Kn minus any graph with – maximum degree 3 – One vertex of any degree, all others of degree at most 2
(Fu, Fu and Rodger, Sehgal, Ash)
![Page 46: Small Cycle Systems](https://reader035.vdocuments.us/reader035/viewer/2022081603/56813870550346895da01f58/html5/thumbnails/46.jpg)
Thanks for listening!