Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller ›...
Transcript of Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller ›...
![Page 1: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/1.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Phase Transitions in Generalized Sumsets
Ginny Hogan and Kevin VissuetAdvisor: Steven J. Miller
Young Mathematicians ConferenceThe Ohio State University, July 29, 2012
1
![Page 2: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/2.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Outline
IntroductionProbability of Choosing Elements in Set
Fast DecayCritical DecaySlow Decay
Non-Abelian GroupsDihedral GroupsFibonacci Recurrence
Conclusion
2
![Page 3: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/3.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Introduction
3
![Page 4: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/4.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Statement
A finite set of integers, |A| its size. Form
Sumset: A + A = {ai + aj : aj ,aj ∈ A}.Difference set: A− A = {ai − aj : aj ,aj ∈ A}.
DefinitionWe say A is difference dominated if |A− A| > |A + A|,balanced if |A− A| = |A + A| and sum dominated (or anMSTD set) if |A + A| > |A− A|.
4
![Page 5: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/5.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Statement
A finite set of integers, |A| its size. Form
Sumset: A + A = {ai + aj : aj ,aj ∈ A}.Difference set: A− A = {ai − aj : aj ,aj ∈ A}.
DefinitionWe say A is difference dominated if |A− A| > |A + A|,balanced if |A− A| = |A + A| and sum dominated (or anMSTD set) if |A + A| > |A− A|.
5
![Page 6: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/6.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Questions
We expect a generic set to be difference dominated:addition is commutative, subtraction isn’t.Generic pair (ai ,aj) gives 1 sum, 2 differences.
QuestionsWhat happens when we increase the number ofsummands?What happens if we let the probability of choosingelements decays with N?What happens if we take subsets of non-abeliangroups?
6
![Page 7: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/7.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Questions
We expect a generic set to be difference dominated:addition is commutative, subtraction isn’t.Generic pair (ai ,aj) gives 1 sum, 2 differences.
QuestionsWhat happens when we increase the number ofsummands?What happens if we let the probability of choosingelements decays with N?What happens if we take subsets of non-abeliangroups?
7
![Page 8: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/8.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Past Results
Martin and O’Bryant, 2006: Positive percentage ofsets are MSTD when sets chosen with uniformprobability.
Iyer, Lazarev, Miller, Zhang, 2011: Generalizedresults above to an arbitrary number of summands.
8
![Page 9: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/9.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Past Results
Martin and O’Bryant, 2006: Positive percentage ofsets are MSTD when sets chosen with uniformprobability.
Iyer, Lazarev, Miller, Zhang, 2011: Generalizedresults above to an arbitrary number of summands.
9
![Page 10: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/10.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Past Results
Hegarty and Miller, 2008: When elements chosenwith probability p(N)→ 0 as N →∞, then|A− A| > |A + A| almost surely.
Found critical value of δ = 12 for probability
p(N) = cN−δ, δ ∈ (0,1). δ corresponds to the order ofthe number of repeated elements in the sumset.We call the critical value the phase transition becauseit is the value at which the order of the number ofrepeated elements is as large as the number ofdistinct elements.
10
![Page 11: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/11.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Past Results
Hegarty and Miller, 2008: When elements chosenwith probability p(N)→ 0 as N →∞, then|A− A| > |A + A| almost surely.
Found critical value of δ = 12 for probability
p(N) = cN−δ, δ ∈ (0,1). δ corresponds to the order ofthe number of repeated elements in the sumset.We call the critical value the phase transition becauseit is the value at which the order of the number ofrepeated elements is as large as the number ofdistinct elements.
11
![Page 12: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/12.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Generalized Sumsets
DefinitionFor s > d , consider the Generalized SumsetAs,d = A + · · ·+ A− A− · · · − A where we have s plussigns and d minus signs. Let h = s + d .
We want to study the size of this set as a function of s,d ,and δ for probability p(N) = cN−δ.
Our goal: Extend the results of Hegarty-Miller to the caseof Generalized Sumsets and determine where the phasetransition occurs for h > 2.
12
![Page 13: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/13.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Generalized Sumsets
DefinitionFor s > d , consider the Generalized SumsetAs,d = A + · · ·+ A− A− · · · − A where we have s plussigns and d minus signs. Let h = s + d .
We want to study the size of this set as a function of s,d ,and δ for probability p(N) = cN−δ.
Our goal: Extend the results of Hegarty-Miller to the caseof Generalized Sumsets and determine where the phasetransition occurs for h > 2.
13
![Page 14: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/14.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Questions
Questions
How does di effect the size of Asi ,di ?
Can we say anything about the relationship between δand the ratio
|As1,d1|
|As2,d2| for s1 + d1 = s2 + d2 = h?
What is the critical value as a function of δ?
14
![Page 15: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/15.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Questions
Questions
How does di effect the size of Asi ,di ?
Can we say anything about the relationship between δand the ratio
|As1,d1|
|As2,d2| for s1 + d1 = s2 + d2 = h?
What is the critical value as a function of δ?
15
![Page 16: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/16.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Questions
Questions
How does di effect the size of Asi ,di ?
Can we say anything about the relationship between δand the ratio
|As1,d1|
|As2,d2| for s1 + d1 = s2 + d2 = h?
What is the critical value as a function of δ?
16
![Page 17: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/17.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Questions
Questions
How does di effect the size of Asi ,di ?
Can we say anything about the relationship between δand the ratio
|As1,d1|
|As2,d2| for s1 + d1 = s2 + d2 = h?
What is the critical value as a function of δ?
17
![Page 18: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/18.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Questions
Questions
How does di effect the size of Asi ,di ?
Can we say anything about the relationship between δand the ratio
|As1,d1|
|As2,d2| for s1 + d1 = s2 + d2 = h?
What is the critical value as a function of δ?
18
![Page 19: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/19.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Cases for δ
To answer, we must consider three different cases for δ.
Fast Decay: δ > h−1h .
Critical Decay: δ = h−1h .
Slow Decay: δ < h−1h .
These three cases correspond to the speed at which theprobability of choosing elements decays to 0.
19
![Page 20: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/20.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Cases for δ
To answer, we must consider three different cases for δ.
Fast Decay: δ > h−1h .
Critical Decay: δ = h−1h .
Slow Decay: δ < h−1h .
These three cases correspond to the speed at which theprobability of choosing elements decays to 0.
20
![Page 21: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/21.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Cases for δ
To answer, we must consider three different cases for δ.
Fast Decay: δ > h−1h .
Critical Decay: δ = h−1h .
Slow Decay: δ < h−1h .
These three cases correspond to the speed at which theprobability of choosing elements decays to 0.
21
![Page 22: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/22.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Fast Decay
For δ > h−1h , the set with more differences is larger
100% of the time.
Ratio is a function of(h
d
).
Results rely on the scarcity of elements chosen to bein A.
22
![Page 23: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/23.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Proof I
Compute the number of distinct h-tuples.
For h-tuples a = (a1, · · · ,ah),b = (b1, · · · ,bh), defineindicator variable Ya,b to be 1 when a and b generatethe same element.
Define Y =∑
a,b Ya,b
Bound the expected value and variance of Y .
23
![Page 24: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/24.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Proof I
Compute the number of distinct h-tuples.
For h-tuples a = (a1, · · · ,ah),b = (b1, · · · ,bh), defineindicator variable Ya,b to be 1 when a and b generatethe same element.
Define Y =∑
a,b Ya,b
Bound the expected value and variance of Y .
24
![Page 25: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/25.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Proof I
Compute the number of distinct h-tuples.
For h-tuples a = (a1, · · · ,ah),b = (b1, · · · ,bh), defineindicator variable Ya,b to be 1 when a and b generatethe same element.
Define Y =∑
a,b Ya,b
Bound the expected value and variance of Y .
25
![Page 26: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/26.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Proof I
Compute the number of distinct h-tuples.
For h-tuples a = (a1, · · · ,ah),b = (b1, · · · ,bh), defineindicator variable Ya,b to be 1 when a and b generatethe same element.
Define Y =∑
a,b Ya,b
Bound the expected value and variance of Y .
26
![Page 27: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/27.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Proof II
Use Chebyshev’s Inequality:
Pr (|X − µ| ≥ kσ) ≤ 1k2
Show that Y is close to E(Y ) .
Conclude that almost all h-tuples generate a distinctnumber as N →∞.
Using combinatorics, conclude that ratio is:|As1,d1
||As2,d2
| =( h
d1)
( hd2)= s2!d2!
s1!d1!.
27
![Page 28: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/28.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Proof II
Use Chebyshev’s Inequality:
Pr (|X − µ| ≥ kσ) ≤ 1k2
Show that Y is close to E(Y ) .
Conclude that almost all h-tuples generate a distinctnumber as N →∞.
Using combinatorics, conclude that ratio is:|As1,d1
||As2,d2
| =( h
d1)
( hd2)= s2!d2!
s1!d1!.
28
![Page 29: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/29.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Proof II
Use Chebyshev’s Inequality:
Pr (|X − µ| ≥ kσ) ≤ 1k2
Show that Y is close to E(Y ) .
Conclude that almost all h-tuples generate a distinctnumber as N →∞.
Using combinatorics, conclude that ratio is:|As1,d1
||As2,d2
| =( h
d1)
( hd2)= s2!d2!
s1!d1!.
29
![Page 30: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/30.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Critical Decay
Set with more minus signs is larger 100% of time.
In the two-case, for g(x) = 2∑ (−1)k−1xk
(k+1)! ,
S ∼ g(
c2
2
)N and D ∼ g
(c2)
N.
For A + A + A, g(x) =∑
(−1)k−1(
1k12k + ck
(−8)k
)xk
with ck =∫ 1√
3
− 1√3
(x2 − 1)kdx .
For A+A−A, g(x) =∑m
k=1(−1)k−1 1k!((−
38)
kck +1k )x
k .
Second Moment Method
30
![Page 31: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/31.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Critical Decay
Set with more minus signs is larger 100% of time.
In the two-case, for g(x) = 2∑ (−1)k−1xk
(k+1)! ,
S ∼ g(
c2
2
)N and D ∼ g
(c2)
N.
For A + A + A, g(x) =∑
(−1)k−1(
1k12k + ck
(−8)k
)xk
with ck =∫ 1√
3
− 1√3
(x2 − 1)kdx .
For A+A−A, g(x) =∑m
k=1(−1)k−1 1k!((−
38)
kck +1k )x
k .
Second Moment Method
31
![Page 32: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/32.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Critical Decay
Set with more minus signs is larger 100% of time.
In the two-case, for g(x) = 2∑ (−1)k−1xk
(k+1)! ,
S ∼ g(
c2
2
)N and D ∼ g
(c2)
N.
For A + A + A, g(x) =∑
(−1)k−1(
1k12k + ck
(−8)k
)xk
with ck =∫ 1√
3
− 1√3
(x2 − 1)kdx .
For A+A−A, g(x) =∑m
k=1(−1)k−1 1k!((−
38)
kck +1k )x
k .
Second Moment Method
32
![Page 33: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/33.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Critical Decay
Set with more minus signs is larger 100% of time.
In the two-case, for g(x) = 2∑ (−1)k−1xk
(k+1)! ,
S ∼ g(
c2
2
)N and D ∼ g
(c2)
N.
For A + A + A, g(x) =∑
(−1)k−1(
1k12k + ck
(−8)k
)xk
with ck =∫ 1√
3
− 1√3
(x2 − 1)kdx .
For A+A−A, g(x) =∑m
k=1(−1)k−1 1k!((−
38)
kck +1k )x
k .
Second Moment Method
33
![Page 34: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/34.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Critical Decay
Set with more minus signs is larger 100% of time.
In the two-case, for g(x) = 2∑ (−1)k−1xk
(k+1)! ,
S ∼ g(
c2
2
)N and D ∼ g
(c2)
N.
For A + A + A, g(x) =∑
(−1)k−1(
1k12k + ck
(−8)k
)xk
with ck =∫ 1√
3
− 1√3
(x2 − 1)kdx .
For A+A−A, g(x) =∑m
k=1(−1)k−1 1k!((−
38)
kck +1k )x
k .
Second Moment Method34
![Page 35: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/35.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Slow Decay
If δ < h−1h , an even more delicate argument is needed.
Now the number of repeated elements are of a higherorder.
Martingale Machinery of Kim and Vu.
35
![Page 36: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/36.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Non-Abelian Finite Groups
36
![Page 37: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/37.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Some new Definitions
Since we are now looking at groups we need ananalogous definition.
So the sumset becomes S · S = {xy : x , y ∈ S}.
While the sum-difference becomesS · S−1 = {xy−1 : x , y ∈ S}.
37
![Page 38: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/38.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Some new Definitions
Since we are now looking at groups we need ananalogous definition.
So the sumset becomes S · S = {xy : x , y ∈ S}.
While the sum-difference becomesS · S−1 = {xy−1 : x , y ∈ S}.
38
![Page 39: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/39.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Dihedral Group
The non-abelian group we will look at for thispresentation: the Dihedral Group with 2n elements(D2n).
Recall that a presentation for the dihedral group is D2nis 〈a,b|an = abab = b2 = e〉.Note: at least half the elements in D2n are of order 2.
39
![Page 40: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/40.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Dihedral Group
The non-abelian group we will look at for thispresentation: the Dihedral Group with 2n elements(D2n).
Recall that a presentation for the dihedral group is D2nis 〈a,b|an = abab = b2 = e〉.Note: at least half the elements in D2n are of order 2.
40
![Page 41: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/41.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Dihedral Group
The non-abelian group we will look at for thispresentation: the Dihedral Group with 2n elements(D2n).
Recall that a presentation for the dihedral group is D2nis 〈a,b|an = abab = b2 = e〉.
Note: at least half the elements in D2n are of order 2.
41
![Page 42: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/42.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Dihedral Group
The non-abelian group we will look at for thispresentation: the Dihedral Group with 2n elements(D2n).
Recall that a presentation for the dihedral group is D2nis 〈a,b|an = abab = b2 = e〉.Note: at least half the elements in D2n are of order 2.
42
![Page 43: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/43.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Theorem
TheoremIf we let S be a random subset of D2n (if α ∈ D2n thenP(α ∈ S) = 1/2) then
limn→∞
P(|S · S| = |S · S−1|) = 1.
It is also true that
limn→∞
P(|S · S| = |S · S−1| = 2n) = 1.
We compute this instead, as it serve as a sufficient lowerbound.
43
![Page 44: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/44.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Intuition
Key Idea: In the Z case, fringe matters most, middlesums and differences are present with high probability
If we choose the "fringe" of S cleverly, the middle of Swill become largely irrelevant. - Martin O’Bryant 2007
In Z/nZ there is no fringe. So the "largely irrelevant"is the only thing that can be relevant.
44
![Page 45: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/45.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Intuition
Key Idea: In the Z case, fringe matters most, middlesums and differences are present with high probability
If we choose the "fringe" of S cleverly, the middle of Swill become largely irrelevant. - Martin O’Bryant 2007
In Z/nZ there is no fringe. So the "largely irrelevant"is the only thing that can be relevant.
45
![Page 46: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/46.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Intuition
Key Idea: In the Z case, fringe matters most, middlesums and differences are present with high probability
If we choose the "fringe" of S cleverly, the middle of Swill become largely irrelevant. - Martin O’Bryant 2007
In Z/nZ there is no fringe. So the "largely irrelevant"is the only thing that can be relevant.
46
![Page 47: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/47.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Sketch of Proof
Let S ⊆ D2n
Let S = R ∪ F where R is the set of rotations in S andF is the set of flips in S.
For now we can ignore R − R,−R + F .
We use that both F + F and R + F are in S · S andS · S−1 to compute lower bounds.
47
![Page 48: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/48.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Sketch of Proof
Let S ⊆ D2n
Let S = R ∪ F where R is the set of rotations in S andF is the set of flips in S.
For now we can ignore R − R,−R + F .
We use that both F + F and R + F are in S · S andS · S−1 to compute lower bounds.
48
![Page 49: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/49.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Sketch of Proof
Let S ⊆ D2n
Let S = R ∪ F where R is the set of rotations in S andF is the set of flips in S.
For now we can ignore R − R,−R + F .
We use that both F + F and R + F are in S · S andS · S−1 to compute lower bounds.
49
![Page 50: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/50.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Sketch of Proof
Let S ⊆ D2n
Let S = R ∪ F where R is the set of rotations in S andF is the set of flips in S.
For now we can ignore R − R,−R + F .
We use that both F + F and R + F are in S · S andS · S−1 to compute lower bounds.
50
![Page 51: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/51.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Sketch of Proof
Let S ⊆ D2n
Let S = R ∪ F where R is the set of rotations in S andF is the set of flips in S.
For now we can ignore R − R,−R + F .
We use that both F + F and R + F are in S · S andS · S−1 to compute lower bounds.
51
![Page 52: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/52.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Reduction to Cyclic Groups
Note that elements in R have the form ai , andelements in F have the form aib,
so elements in R + R look like ax+y , while elements inF + F look like ax−yb.
This observation allows us to look at powers of theelements as an cyclic group instead.
52
![Page 53: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/53.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Reduction to Cyclic Groups
Note that elements in R have the form ai , andelements in F have the form aib,
so elements in R + R look like ax+y , while elements inF + F look like ax−yb.
This observation allows us to look at powers of theelements as an cyclic group instead.
53
![Page 54: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/54.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Reduction to Cyclic Groups
Note that elements in R have the form ai , andelements in F have the form aib,
so elements in R + R look like ax+y , while elements inF + F look like ax−yb.
This observation allows us to look at powers of theelements as an cyclic group instead.
54
![Page 55: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/55.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Flips and Rotations
If we let R∗ and F ∗ be random subsets of Z/nZ thenwe have the following:
P(|S · S−1| = |S · S|) ≥ P(|S · S−1| = 2n and |S · S| = 2n)
≥ P(|S · S−1| = 2n)P(S · S = 2n)
≥ P(|S · S−1| = 2n)2
= P(|F ∗ − F ∗| = n & |F ∗ + R∗| = n)2
55
![Page 56: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/56.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Probability of Missing Elements
We now proceed by computing the probability that anelement is not in the desired set.
Lemma (Number of Missing Flips)P(k /∈ F ∗ + R∗) = O((3/4)n)
This follows immediately from the number of waysone can add numbers in Z/nZ to equal k .
56
![Page 57: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/57.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Lemma
Lemma (Number of Missing Rotations)
P(k /∈ F ∗ − F ∗) = f (n/d)d
2n ≤ (ϕ/2)n where gcd(k ,n) = dand f (n) = F (n + 1) + F (n − 1) where F (n) is the nthFibonacci number
The proof does not follow as immediately as it requiressome combinatorics.
57
![Page 58: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/58.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Why do we care about the gcd
Here’s an example what the polygons would look likewhen F ∗ = Z/6Z and k ≡ 2 (mod 6)
6
4
2 5
3
1
Note that we get gcd(2,6) = 2 number of polygonsand they each have 6/gcd(2,6) = 3 vertices.
58
![Page 59: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/59.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Why do we care about the gcd
Here’s an example what the polygons would look likewhen F ∗ = Z/6Z and k ≡ 2 (mod 6)
6
4
2 5
3
1
Note that we get gcd(2,6) = 2 number of polygonsand they each have 6/gcd(2,6) = 3 vertices.
59
![Page 60: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/60.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Why do we care about the gcd
Here’s an example what the polygons would look likewhen F ∗ = Z/6Z and k ≡ 2 (mod 6)
6
4
2 5
3
1
Note that we get gcd(2,6) = 2 number of polygonsand they each have 6/gcd(2,6) = 3 vertices.
60
![Page 61: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/61.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
So where does Fibonacci come from?
So the problem is thus reduced to counting thenumber of ways how the vertices of a n polygon canbe colored either red or blue such that there are no 2red vertices next to each other.
61
![Page 62: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/62.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
So where does Fibonacci come from?
So the problem is thus reduced to counting thenumber of ways how the vertices of a n polygon canbe colored either red or blue such that there are no 2red vertices next to each other.
62
![Page 63: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/63.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
So where does Fibonacci come from?
So the problem is thus reduced to counting thenumber of ways how the vertices of a n polygon canbe colored either red or blue such that there are no 2red vertices next to each other.
63
![Page 64: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/64.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
So where does Fibonacci come from?
So the problem is thus reduced to counting thenumber of ways how the vertices of a n polygon canbe colored either red or blue such that there are no 2red vertices next to each other.
64
![Page 65: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/65.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
So where does Fibonacci come from?
So the problem is thus reduced to counting thenumber of ways how the vertices of a n polygon canbe colored either red or blue such that there are no 2red vertices next to each other.
f (4) =
65
![Page 66: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/66.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
So where does Fibonacci come from?
So the problem is thus reduced to counting thenumber of ways how the vertices of a n polygon canbe colored either red or blue such that there are no 2red vertices next to each other.
66
![Page 67: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/67.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
So where does Fibonacci come from?
So the problem is thus reduced to counting thenumber of ways how the vertices of a n polygon canbe colored either red or blue such that there are no 2red vertices next to each other.
67
![Page 68: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/68.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
So where does Fibonacci come from?
So the problem is thus reduced to counting thenumber of ways how the vertices of a n polygon canbe colored either red or blue such that there are no 2red vertices next to each other.
f (3) =
68
![Page 69: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/69.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Proof II
Although there are dependency issues, for the sakeof this theorem we can be crude enough to say if anyelement is missing, then all elements are missing.
So by our two lemmas we have that as n goes toinfinity,
P(|F ∗ − F ∗| = n and |F ∗ + R∗| = n)2 = 1.
Since this is the lower bound, we are done.
69
![Page 70: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/70.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Proof II
Although there are dependency issues, for the sakeof this theorem we can be crude enough to say if anyelement is missing, then all elements are missing.
So by our two lemmas we have that as n goes toinfinity,
P(|F ∗ − F ∗| = n and |F ∗ + R∗| = n)2 = 1.
Since this is the lower bound, we are done.
70
![Page 71: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/71.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Proof II
Although there are dependency issues, for the sakeof this theorem we can be crude enough to say if anyelement is missing, then all elements are missing.
So by our two lemmas we have that as n goes toinfinity,
P(|F ∗ − F ∗| = n and |F ∗ + R∗| = n)2 = 1.
Since this is the lower bound, we are done.
71
![Page 72: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/72.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Additional Results
Theorem (Semi-Direct Products)For the group Z/nZ o Z/mZ, if either n or m go to infinitythen, P(|S · S| = |S · S−1|) = 1.
Theorem ([Abelian Groups)As the size of an abelian group approaches infinity, thenP(|S · S| = |S · S−1|) = 1.
72
![Page 73: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/73.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Additional Results
Theorem (Semi-Direct Products)For the group Z/nZ o Z/mZ, if either n or m go to infinitythen, P(|S · S| = |S · S−1|) = 1.
Theorem ([Abelian Groups)As the size of an abelian group approaches infinity, thenP(|S · S| = |S · S−1|) = 1.
73
![Page 74: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/74.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Additional Results
Theorem (Semi-Direct Products)For the group Z/nZ o Z/mZ, if either n or m go to infinitythen, P(|S · S| = |S · S−1|) = 1.
Theorem ([Abelian Groups)As the size of an abelian group approaches infinity, thenP(|S · S| = |S · S−1|) = 1.
74
![Page 75: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/75.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Ping Pong
Theorem (Free Group)If we let 〈a,b〉l be all words up to length l and S ⊆ 〈a,b〉lthen as l goes to infinity we have that:
P(|S · S| ≥ |S · S−1|) = 1
75
![Page 76: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/76.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
76
![Page 77: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/77.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Acknowledgements
We would like to thank the National Science Foundationfor supporting our research through NSF GrantDMS0850577 and NSF Grant DMS0970067, as well asWilliams College and The Ohio State University.
77
![Page 78: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/78.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Bibliography
78
![Page 79: Ginny Hogan and Kevin Vissuet Advisor: Steven J. Miller ... › Mathematics › sjmiller › ...Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof](https://reader034.fdocuments.us/reader034/viewer/2022042408/5f2402f05e5b5852d740ab17/html5/thumbnails/79.jpg)
Introduction Generalized Sumsets Critical Value Dihedral Group Theorem Sketch of Proof Additional Results and Questions Bibliography
Bibliography
G. Iyer, O. Lazarev, S.J. Miller, L. Zhang. Generalized More Sums ThanDifferences Sets. Journal of Number Theory. (132(2012),no 5,1054–1073).
O. Lazarev, S.J. Miller, K. O’Bryant. Distribution of Missing Sums inSumsets. 2012.
P. V. Hegarty and S. J. Miller, When almost all sets are differencedominated, Random Structures and Algorithms. 35 (2009), no. 1,118–136.
G. Martin, K. O’Bryant. Many Sets Have More Sums Than Differences,Additive Combinatorics, 287–305, 2007.
79