The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim...
Transcript of The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim...
![Page 1: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/1.jpg)
The Final FourJim Davis
Irsee conferenceSeptember 2014
John Dillon, Taylor Applebaum, Gavin McGrew, Tahseen Rabbani, Daniel Habibi, Kevin Erb, Erin
Geoghan
![Page 2: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/2.jpg)
The Final FourJim Davis
Irsee conferenceSeptember 2014
John Dillon, Taylor Applebaum, Gavin McGrew, Tahseen Rabbani, Daniel Habibi, Kevin Erb, Erin
Geoghan
The Final Result
2017
Jonathan Jedwab, Ken Smith, William Yolland
![Page 3: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/3.jpg)
Statement of Problem
Which groups of order 256 contain a (256, 120, 56) difference set?
![Page 4: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/4.jpg)
History lesson #1
• Groups of order 16
• 1960s Kibler does computer search.
• 12 of 14 have difference sets
![Page 5: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/5.jpg)
History lesson #2
• Groups of order 64
• 1990s Dillon does computer search.
• 259 of 267 have difference sets
![Page 6: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/6.jpg)
Modular group
• Original proof: didn’t exist
• Ken Smith: construction!
![Page 7: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/7.jpg)
Statement of Problem
Which groups of order 256 contain a (256, 120, 56) difference set?
Issue: there are 56,092 nonisomorphic groups!
![Page 8: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/8.jpg)
Outline of talk• Motivation
• Easy examples
• Nonexistence
• Constructions
• Computer searches
• Final thoughts
![Page 9: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/9.jpg)
Key example
x
x x x
x
x
![Page 10: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/10.jpg)
Key example
x
x x x
x
x
(1,0)
(0,1)
(1,2)
(1,3)
(2,1) (3,1)
![Page 11: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/11.jpg)
Key example
X
X X X
X
X
![Page 12: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/12.jpg)
Similar group
X X X X
X X
![Page 13: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/13.jpg)
Move it around!
X X X X
X X
![Page 14: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/14.jpg)
Independently move pieces
X X X X
X X
![Page 15: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/15.jpg)
Independently move pieces
X X X X
X X
![Page 16: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/16.jpg)
Independently move pieces
X X X X
X X
![Page 17: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/17.jpg)
Independently move pieces
X X
X X X X
![Page 18: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/18.jpg)
Works here too
X
X X X
X
X
![Page 19: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/19.jpg)
Works here too
X X
X X
X X
![Page 20: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/20.jpg)
Works here too
X X X
X
X
X
![Page 21: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/21.jpg)
Nonexistence
G/H large and cyclic no (256,120,56) DS
![Page 22: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/22.jpg)
Nonexistence
G/H large and cyclic no (256,120,56) DS
G/H large and dihedral no (256,120,56) DS
![Page 23: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/23.jpg)
Nonexistence
G/H large and cyclic no (256,120,56) DS
G/H large and dihedral no (256,120,56) DS
That is it!! Rules out 43 groups.
![Page 24: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/24.jpg)
Nonexistence
G/H large and cyclic no (256,120,56) DS
G/H large and dihedral no (256,120,56) DS
That is it!! Rules out 43 groups.56,092-43 = 56,049
![Page 25: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/25.jpg)
Dillon-McFarland (Drisko)
If H < G is normal, H=(Z2)4, then G has a DS
![Page 26: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/26.jpg)
Dillon-McFarland (Drisko)
If H < G is normal, H=(Z2)4, then G has a DS
~42,300 groups have such a normal subgroup
![Page 27: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/27.jpg)
Dillon-McFarland (Drisko)
If H < G is normal, H=(Z2)4, then G has a DS
~42,300 groups have such a normal subgroup
~56000-42300 = ~13700
![Page 28: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/28.jpg)
Product constructions
G, H have DSs GxH has DS
![Page 29: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/29.jpg)
Product constructions
G, H have DSs GxH has DS
Handles ~9500 of remaining groups
![Page 30: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/30.jpg)
Product constructions
G, H have DSs GxH has DS
Handles ~9500 of remaining groups
~13700-9500 = ~4200
![Page 31: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/31.jpg)
[G:H] = 4
~3500 groups
795 groups remaining!
(Down to 714 a little later)
![Page 32: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/32.jpg)
Z4 x Z4 x Z2
• 649 of the remaining groups had a normal subgroup
• (16,8,8,-) covering EBSs
![Page 33: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/33.jpg)
Why does this work?
• BiBj-1 = cG for i = j
• giBiBi(-1)gi-1 nice?
![Page 34: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/34.jpg)
Modification of other methods
• K-Matrices
• Representation Theory
![Page 35: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/35.jpg)
Final Four
• SmallGroup(256,408)
• SmallGroup(256,501)
• SmallGroup(256,536)
• SmallGroup(256,6700)
![Page 36: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/36.jpg)
Final Four
• SmallGroup(256,408)
• SmallGroup(256,501)
• SmallGroup(256,536)
• SmallGroup(256,6700)
a2 = b32 = c2 = d2 = 1,cbc-1=ba, dbd-1=b23c,
dcd-1=b16ac
![Page 37: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/37.jpg)
Final Four
• SmallGroup(256,408)
• SmallGroup(256,501)
• SmallGroup(256,536)
• SmallGroup(256,6700)
b64 = a2 = c2 = 1,aba-1=b33, cbc-1 = ba
![Page 38: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/38.jpg)
Final Four
• SmallGroup(256,408)
• SmallGroup(256,501)
• SmallGroup(256,536)
• SmallGroup(256,6700)
b64=a4=1,aba-1=b-17
![Page 39: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/39.jpg)
Final Four
• SmallGroup(256,408)
• SmallGroup(256,501)
• SmallGroup(256,536)
• SmallGroup(256,6700) b32=a4=c2=1,aba-1=b-17, cbc-1=b17a2
![Page 40: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/40.jpg)
Where now?
Conjecture???: the large cyclic and large dihedral quotientnonexistence criteria are necessary and sufficient for
a difference set in a 2-group to exist.
![Page 41: The Final Four - Ghent Universitycage.ugent.be/~ml/irsee5/slides/Davis.pdf · The Final Four Jim Davis Irsee conference September 2014 John Dillon, Taylor Applebaum, Gavin McGrew,](https://reader035.fdocuments.us/reader035/viewer/2022070809/5f0782387e708231d41d5507/html5/thumbnails/41.jpg)
Related work
• Bent functions!
• Relative difference sets in nonabelian groups.
• # of distinct difference sets in a given group
• Inequivalent designs