fibonacci meets erdos-ko-rado - department of...
TRANSCRIPT
![Page 1: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/1.jpg)
Fibonacci meets Erdos-Ko-Rado
Steve Butler
Drake Mathematics Club7 October 2011
![Page 2: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/2.jpg)
Leonardo Pisano Bigolloaka Leonardo of Pisaaka Leonardo Bonacciaka Leonardo Fibonacciaka Fibonaccic. 1170 AD – c. 1250 AD
![Page 3: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/3.jpg)
Leonardo Pisano Bigolloaka Leonardo of Pisaaka Leonardo Bonacciaka Leonardo Fibonacciaka Fibonaccic. 1170 AD – c. 1250 AD
Introduced decimal notationfor working with numbersand wrote the first algebratextbook Liber Abaci(1202 AD).
![Page 4: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/4.jpg)
![Page 5: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/5.jpg)
![Page 6: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/6.jpg)
Domino tilings of 2×n
n 1 2 3 4
# tilings 1 2 3 5
![Page 7: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/7.jpg)
Domino tilings of 2×n
n 1 2 3 4
# tilings 1 2 3 5
![Page 8: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/8.jpg)
Recurrence relation
Let Qn be the number of tilings of 2×n with dominoes.
Qn = Qn−1 +Qn−2
![Page 9: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/9.jpg)
Recurrence relation
Let Qn be the number of tilings of 2×n with dominoes.
Qn = Qn−1 +Qn−2
![Page 10: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/10.jpg)
The Qn are (almost) the Fibonacci numbers. We can nowcompute the first few terms.
n 1 2 3 4 5 6 7 8 9 10
Qn 1 2 3 5 8 13 21 34 55 89
Fun fact: Qn ≈ϕn+1
√5
where ϕ =1+√5
2
![Page 11: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/11.jpg)
The Qn are (almost) the Fibonacci numbers. We can nowcompute the first few terms.
n 1 2 3 4 5 6 7 8 9 10
Qn 1 2 3 5 8 13 21 34 55 89
Fun fact: Qn ≈ϕn+1
√5
where ϕ =1+√5
2
![Page 12: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/12.jpg)
Erdos-Ko-RadoPaul Erdos, Chao Ko and Richard Rado were three twentiethcentury mathematicians.
Paul Erdos (1913–1996)
Another roof, another proof. — Paul Erdos
![Page 13: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/13.jpg)
Erdos-Ko-RadoPaul Erdos, Chao Ko and Richard Rado were three twentiethcentury mathematicians.
Paul Erdos (1913–1996)
Another roof, another proof. — Paul Erdos
![Page 14: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/14.jpg)
Paul Erdos was in N is a number with Alec Guinness
Alec Guinness was in Lovesick with David Strathairn
David Strathairn was in Enormous Changesat the Last Minute with Kevin Bacon
![Page 15: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/15.jpg)
Paul Erdos was in N is a number with Alec Guinness
Alec Guinness was in Lovesick with David Strathairn
David Strathairn was in Enormous Changesat the Last Minute with Kevin Bacon
![Page 16: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/16.jpg)
Paul Erdos was in N is a number with Alec Guinness
Alec Guinness was in Lovesick with David Strathairn
David Strathairn was in Enormous Changesat the Last Minute with Kevin Bacon
![Page 17: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/17.jpg)
Erdos Number
A mathematician’s Erdos number measures the distance incollaborations to Erdos.
• Erdos has an Erdos number of 0.
• Someone who wrote a paper with Erdos has an Erdosnumber of 1.
• Someone who wrote a paper with Erdos number of 1 hasan Erdos number of 2.
• . . . and so on . . .
![Page 18: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/18.jpg)
Erdos Number
A mathematician’s Erdos number measures the distance incollaborations to Erdos.
• Erdos has an Erdos number of 0.
• Someone who wrote a paper with Erdos has an Erdosnumber of 1.
• Someone who wrote a paper with Erdos number of 1 hasan Erdos number of 2.
• . . . and so on . . .
![Page 19: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/19.jpg)
Erdos Number
A mathematician’s Erdos number measures the distance incollaborations to Erdos.
• Erdos has an Erdos number of 0.
• Someone who wrote a paper with Erdos has an Erdosnumber of 1.
• Someone who wrote a paper with Erdos number of 1 hasan Erdos number of 2.
• . . . and so on . . .
![Page 20: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/20.jpg)
Paul Erdos wrote a paper with Mark Kac
Mark Kac wrote a paper with Wayne Barrett
Wayne Barrett wrote a paper with Jason Grout
![Page 21: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/21.jpg)
Paul Erdos wrote a paper with Mark Kac
Mark Kac wrote a paper with Wayne Barrett
Wayne Barrett wrote a paper with Jason Grout
![Page 22: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/22.jpg)
Paul Erdos wrote a paper with Mark Kac
Mark Kac wrote a paper with Wayne Barrett
Wayne Barrett wrote a paper with Jason Grout
![Page 23: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/23.jpg)
MIGHTY — September 2012
Ron Graham Persi Diaconis
![Page 24: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/24.jpg)
Given a collection of objects a subset is a collection of some ofthese objects. For example, we can take students to be ourobjects and group them by what clubs they belong to.
math math karate juggling math math karatekarate juggling knitting book juggling knitting bookbook rowing tennis knitting rowing tennis
Japanese Japanese rowing Japanese
![Page 25: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/25.jpg)
Two subsets intersect if they have at least one object incommon. Two subsets do not intersect if they have no object incommon.
math math karate juggling math math karatekarate juggling knitting book juggling knitting bookbook rowing tennis knitting rowing tennis
Japanese Japanese rowing Japanese
![Page 26: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/26.jpg)
Goal: Given n objects what is the maximum number ofsubsets we can make so that each subset has k objects and everypair of subsets intersects?
Obvious thing: Pick one object and take all subsets with k
objects that contain the fixed object. Total number of suchsubsets is the number of ways to pick k− 1 objects out of then− 1 objects that remain, this number is denoted(
n− 1
k− 1
)“n− 1 choose k− 1”.
Erdos-Ko-Rado TheoremIf n ≥ 2k, you cannot do better than doing the obvious thing.
![Page 27: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/27.jpg)
Goal: Given n objects what is the maximum number ofsubsets we can make so that each subset has k objects and everypair of subsets intersects?
Obvious thing: Pick one object and take all subsets with k
objects that contain the fixed object. Total number of suchsubsets is the number of ways to pick k− 1 objects out of then− 1 objects that remain, this number is denoted(
n− 1
k− 1
)“n− 1 choose k− 1”.
Erdos-Ko-Rado TheoremIf n ≥ 2k, you cannot do better than doing the obvious thing.
![Page 28: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/28.jpg)
Goal: Given n objects what is the maximum number ofsubsets we can make so that each subset has k objects and everypair of subsets intersects?
Obvious thing: Pick one object and take all subsets with k
objects that contain the fixed object. Total number of suchsubsets is the number of ways to pick k− 1 objects out of then− 1 objects that remain, this number is denoted(
n− 1
k− 1
)“n− 1 choose k− 1”.
Erdos-Ko-Rado TheoremIf n ≥ 2k, you cannot do better than doing the obvious thing.
![Page 29: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/29.jpg)
An Erdos-Ko-Rado problem is one where we have a collectionof objects with a notion of intersection and try to find themaximal family.
We will say that two domino tilings intersect if they have atleast one tile in the same location in both tilings (i.e., if theywere laid on top of one another).
intersecting not intersecting
![Page 30: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/30.jpg)
An Erdos-Ko-Rado problem is one where we have a collectionof objects with a notion of intersection and try to find themaximal family.
We will say that two domino tilings intersect if they have atleast one tile in the same location in both tilings (i.e., if theywere laid on top of one another).
intersecting not intersecting
![Page 31: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/31.jpg)
Question: What is the size of the largest maximal collection ofintersecting 2×n domino tilings? (Recall that there are a totalof Qn tilings of 2×n.)
Obvious thing: Take all the 2×n tilings which start with avertical tile. There are Qn−1 such tilings.
Theorem (Butler-Horn-Tressler)You cannot do better than doing the obvious thing.
![Page 32: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/32.jpg)
Question: What is the size of the largest maximal collection ofintersecting 2×n domino tilings? (Recall that there are a totalof Qn tilings of 2×n.)
Obvious thing: Take all the 2×n tilings which start with avertical tile. There are Qn−1 such tilings.
Theorem (Butler-Horn-Tressler)You cannot do better than doing the obvious thing.
![Page 33: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/33.jpg)
Question: What is the size of the largest maximal collection ofintersecting 2×n domino tilings? (Recall that there are a totalof Qn tilings of 2×n.)
Obvious thing: Take all the 2×n tilings which start with avertical tile. There are Qn−1 such tilings.
Theorem (Butler-Horn-Tressler)You cannot do better than doing the obvious thing.
![Page 34: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/34.jpg)
Sketch of proof IStart by taking all of the tilings and group them into those thatstart with a vertical tile (these will form S) and those that startwith horizontal tiles (these will form T ).
S T
![Page 35: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/35.jpg)
Sketch of proof II
Join two tilings with an edge whenever they do not intersect.
S T
![Page 36: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/36.jpg)
Sketch of proof III
For every tiling in T we can pair it with a tiling in S. This isdone by breaking up tilings and using the rule as indicatedbelow.
· · · }
2k vertical
→ · · · }k horizontal
· · · }2k−1 vertical
→ · · · }k horizontal
![Page 37: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/37.jpg)
Sketch of proof IV
S T
Given an intersecting family let it consist of S ∪ T with S ⊆ Sand T ⊆ T . We can replace each element of T by what itmatches with in S, this is also an intersecting family of the samesize but is completely in T . So original size is ≤ |T | = Qn−1.
![Page 38: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/38.jpg)
Sketch of proof IV
S T
Given an intersecting family let it consist of S ∪ T with S ⊆ Sand T ⊆ T . We can replace each element of T by what itmatches with in S, this is also an intersecting family of the samesize but is completely in T . So original size is ≤ |T | = Qn−1.
![Page 39: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/39.jpg)
Sketch of proof IV
S T
Given an intersecting family let it consist of S ∪ T with S ⊆ Sand T ⊆ T . We can replace each element of T by what itmatches with in S, this is also an intersecting family of the samesize but is completely in T . So original size is ≤ |T | = Qn−1.
![Page 40: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/40.jpg)
Instead of requiring intersection, we can require that itintersects in at least t places.
Erdos-Ko-Rado TheoremFor subsets, if n is sufficiently large then we cannot do betterthan doing the obvious thing (i.e., fix t elements and take allsubsets of size k that contain those t elements).
What about for domino tilings?
Obvious Better
![Page 41: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/41.jpg)
Instead of requiring intersection, we can require that itintersects in at least t places.
Erdos-Ko-Rado TheoremFor subsets, if n is sufficiently large then we cannot do betterthan doing the obvious thing (i.e., fix t elements and take allsubsets of size k that contain those t elements).
What about for domino tilings?
Obvious Better
![Page 42: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/42.jpg)
Instead of requiring intersection, we can require that itintersects in at least t places.
Erdos-Ko-Rado TheoremFor subsets, if n is sufficiently large then we cannot do betterthan doing the obvious thing (i.e., fix t elements and take allsubsets of size k that contain those t elements).
What about for domino tilings?
Obvious
Better
![Page 43: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/43.jpg)
Instead of requiring intersection, we can require that itintersects in at least t places.
Erdos-Ko-Rado TheoremFor subsets, if n is sufficiently large then we cannot do betterthan doing the obvious thing (i.e., fix t elements and take allsubsets of size k that contain those t elements).
What about for domino tilings?
Obvious Better
![Page 44: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/44.jpg)
Fault free tilings
Tiling with faults Fault free tiling
Challenge: Find a fault free tiling of 6×6.
![Page 45: Fibonacci meets Erdos-Ko-Rado - Department of Mathematicsorion.math.iastate.edu/.../talks/fibonacci_meets_erdos.pdf · 2011-12-15 · Fibonacci meets Erdos-Ko-Rado˝ Steve Butler](https://reader033.vdocument.in/reader033/viewer/2022052423/5f08a1ab7e708231d422f686/html5/thumbnails/45.jpg)
Fault free tilings
Tiling with faults Fault free tiling
Challenge: Find a fault free tiling of 6×6.