from fibonacci quilts to benford's law through zeckendorf...

77
Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations From Fibonacci Quilts to Benford’s Law through Zeckendorf Decompositions Steven J. Miller ([email protected]) http://www.williams.edu/Mathematics/sjmiller/public_html Science Talk, Williams College, November 11, 2014 1

Upload: others

Post on 23-Mar-2021

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

From Fibonacci Quilts to Benford’s Lawthrough Zeckendorf Decompositions

Steven J. Miller ([email protected])http://www.williams.edu/Mathematics/sjmiller/public_html

Science Talk, Williams College, November 11, 2014

1

Page 2: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Introduction

2

Page 3: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Goals of the Talk

3

Page 4: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Predator-Prey Equations: Discrete Version

hn: Number of humans at time n.

zn: Number of zombies at time n.

4

Page 5: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Predator-Prey Equations: Discrete Version

hn: Number of humans at time n.

zn: Number of zombies at time n.

Lotka-Volterra Equation:

hn+1 = αhn − βhnzn

zn+1 = −γzn + δhnzn.

5

Page 6: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Predator-Prey Equations: Discrete Version

hn: Number of humans at time n.

zn: Number of zombies at time n.

Lotka-Volterra Equation:

hn+1 = αhn − βhnzn

zn+1 = −γzn + δhnzn.

Now that zn = 0 can return to pure math decompositionproblems....

6

Page 7: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Collaborators and Thanks

Collaborators:Gaps (Bulk, Individual, Longest): Olivia Beckwith, AmandaBower, Louis Gaudet, Rachel Insoft, Shiyu Li, Philip Tosteson.Kentucky Sequence, Fibonacci Quilt: Joint with MinervaCatral, Pari Ford, Pamela Harris & Dawn Nelson.Benfordness: Andrew Best, Patrick Dynes, Xixi Edelsbunner,Brian McDonald, Kimsy Tor, Caroline Turnage-Butterbaugh &Madeleine Weinstein.

Supported by:NSF Grants DMS1265673, DMS0970067, DMS1347804 andDMS0850577, AIM and Williams College.

7

Page 8: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Previous Results

Fibonacci Numbers: Fn+1 = Fn + Fn−1;First few: 1,2,3,5,8,13,21,34,55,89, . . . .

8

Page 9: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Previous Results

Fibonacci Numbers: Fn+1 = Fn + Fn−1;First few: 1,2,3,5,8,13,21,34,55,89, . . . .

Zeckendorf’s TheoremEvery positive integer can be written uniquely as a sum ofnon-consecutive Fibonacci numbers.

9

Page 10: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Previous Results

Fibonacci Numbers: Fn+1 = Fn + Fn−1;First few: 1,2,3,5,8,13,21,34,55,89, . . . .

Zeckendorf’s TheoremEvery positive integer can be written uniquely as a sum ofnon-consecutive Fibonacci numbers.

Example: 51 =?

10

Page 11: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Previous Results

Fibonacci Numbers: Fn+1 = Fn + Fn−1;First few: 1,2,3,5,8,13,21,34,55,89, . . . .

Zeckendorf’s TheoremEvery positive integer can be written uniquely as a sum ofnon-consecutive Fibonacci numbers.

Example: 51 = 34 + 17 = F8 + 17.

11

Page 12: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Previous Results

Fibonacci Numbers: Fn+1 = Fn + Fn−1;First few: 1,2,3,5,8,13,21,34,55,89, . . . .

Zeckendorf’s TheoremEvery positive integer can be written uniquely as a sum ofnon-consecutive Fibonacci numbers.

Example: 51 = 34 + 13 + 4 = F8 + F6 + 4.

12

Page 13: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Previous Results

Fibonacci Numbers: Fn+1 = Fn + Fn−1;First few: 1,2,3,5,8,13,21,34,55,89, . . . .

Zeckendorf’s TheoremEvery positive integer can be written uniquely as a sum ofnon-consecutive Fibonacci numbers.

Example: 51 = 34 + 13 + 3 + 1 = F8 + F6 + F3 + 1.

13

Page 14: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Previous Results

Fibonacci Numbers: Fn+1 = Fn + Fn−1;First few: 1,2,3,5,8,13,21,34,55,89, . . . .

Zeckendorf’s TheoremEvery positive integer can be written uniquely as a sum ofnon-consecutive Fibonacci numbers.

Example: 51 = 34 + 13 + 3 + 1 = F8 + F6 + F3 + F1.

14

Page 15: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Previous Results

Fibonacci Numbers: Fn+1 = Fn + Fn−1;First few: 1,2,3,5,8,13,21,34,55,89, . . . .

Zeckendorf’s TheoremEvery positive integer can be written uniquely as a sum ofnon-consecutive Fibonacci numbers.

Example: 51 = 34 + 13 + 3 + 1 = F8 + F6 + F3 + F1.Example: 83 = 55 + 21 + 5 + 2 = F9 + F7 + F4 + F2.Observe: 51 miles ≈ 82.1 kilometers.

15

Page 16: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Old Results

Central Limit Type Theorem

As n → ∞, the distribution of number of summands inZeckendorf decomposition for m ∈ [Fn,Fn+1) is Gaussian.

500 520 540 560 580 600

0.005

0.010

0.015

0.020

0.025

0.030

Figure: Number of summands in [F2010,F2011); F2010 ≈ 10420.

16

Page 17: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Benford’s law

Definition of Benford’s LawA dataset is said to follow Benford’s Law (base B) if theprobability of observing a first digit of d is

logB

(

1 +1d

)

.

More generally probability a significant at most s is logB(s),where x = SB(x)10k with SB(x) ∈ [1,B) and k an integer.

Find base 10 about 30.1% of the time start with a 1, only4.5% start with a 9.

17

Page 18: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

GapsJoint with Olivia Beckwith, Amanda Bower, Louis Gaudet,

Rachel Insoft, Shiyu Li, Philip Tosteson

18

Page 19: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Distribution of Gaps

For Fi1 + Fi2 + · · ·+ Fin , the gaps are the differencesin − in−1, in−1 − in−2, . . . , i2 − i1.

Example: For F1 + F8 + F18, the gaps are 7 and 10.

19

Page 20: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Distribution of Gaps

For Fi1 + Fi2 + · · ·+ Fin , the gaps are the differencesin − in−1, in−1 − in−2, . . . , i2 − i1.

Example: For F1 + F8 + F18, the gaps are 7 and 10.

Let Pn(g) be the probability that a gap for a decomposition in[Fn,Fn+1) is of length g.

20

Page 21: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Distribution of Gaps

For Fi1 + Fi2 + · · ·+ Fin , the gaps are the differencesin − in−1, in−1 − in−2, . . . , i2 − i1.

Example: For F1 + F8 + F18, the gaps are 7 and 10.

Let Pn(g) be the probability that a gap for a decomposition in[Fn,Fn+1) is of length g.

Bulk: What is P(g) = limn→∞ Pn(g)?

21

Page 22: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Distribution of Gaps

For Fi1 + Fi2 + · · ·+ Fin , the gaps are the differencesin − in−1, in−1 − in−2, . . . , i2 − i1.

Example: For F1 + F8 + F18, the gaps are 7 and 10.

Let Pn(g) be the probability that a gap for a decomposition in[Fn,Fn+1) is of length g.

Bulk: What is P(g) = limn→∞ Pn(g)?

Individual: Similar questions about gaps for a fixedm ∈ [Fn,Fn+1): distribution of gaps, longest gap.

22

Page 23: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

New Results: Bulk Gaps: m ∈ [Fn,Fn+1) and φ = 1+√

52

m =

k(m)=n∑

j=1

Fij , νm;n(x) =1

k(m)− 1

k(m)∑

j=2

δ(

x − (ij − ij−1))

.

Theorem (Zeckendorf Gap Distribution)

Gap measures νm;n converge to average gap measure whereP(k) = 1/φk for k ≥ 2.

5 10 15 20 25 30

0.1

0.2

0.3

0.4

5 10 15 20 25

0.5

1.0

1.5

2.0

Figure: Distribution of gaps in [F2010,F2011); F2010 ≈ 10420.23

Page 24: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

New Results: Longest Gap

Fair coin: largest gap tightly concentrated around log n/ log 2.

Theorem (Longest Gap)

As n → ∞, the probability that m ∈ [Fn,Fn+1) has longest gapless than or equal to f (n) converges to

Prob (Ln(m) ≤ f (n)) ≈ e−elog n−f (n)·logφ

• µn =log

(

φ2

φ2+1)n)

logφ+ γ

logφ− 1

2 + Small Error.

• If f (n) grows slower (resp. faster) than log n/ logφ, thenProb(Ln(m) ≤ f (n)) goes to 0 (resp. 1).

24

Page 25: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Previous Work

25

Page 26: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Equivalent Definition of the Fibonaccis

Fibonaccis are the only sequence such that each integer canbe written uniquely as a sum of non-adjacent terms.

1,

26

Page 27: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Equivalent Definition of the Fibonaccis

Fibonaccis are the only sequence such that each integer canbe written uniquely as a sum of non-adjacent terms.

1, 2,

27

Page 28: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Equivalent Definition of the Fibonaccis

Fibonaccis are the only sequence such that each integer canbe written uniquely as a sum of non-adjacent terms.

1, 2, 3,

28

Page 29: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Equivalent Definition of the Fibonaccis

Fibonaccis are the only sequence such that each integer canbe written uniquely as a sum of non-adjacent terms.

1, 2, 3, 5,

29

Page 30: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Equivalent Definition of the Fibonaccis

Fibonaccis are the only sequence such that each integer canbe written uniquely as a sum of non-adjacent terms.

1, 2, 3, 5, 8,

30

Page 31: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Equivalent Definition of the Fibonaccis

Fibonaccis are the only sequence such that each integer canbe written uniquely as a sum of non-adjacent terms.

1, 2, 3, 5, 8, 13 . . . .

31

Page 32: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Equivalent Definition of the Fibonaccis

Fibonaccis are the only sequence such that each integer canbe written uniquely as a sum of non-adjacent terms.

1, 2, 3, 5, 8, 13 . . . .

Key to entire analysis: Fn+1 = Fn + Fn−1.

View as bins of size 1, cannot use two adjacent bins:

[1] [2] [3] [5] [8] [13] · · · .

Goal: How does the notion of legal decomposition affectthe sequence and results?

32

Page 33: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Generalizations

Generalizing from Fibonacci numbers to linearly recursivesequences with arbitrary nonnegative coefficients.

Hn+1 = c1Hn + c2Hn−1 + · · · + cLHn−L+1, n ≥ L

with H1 = 1, Hn+1 = c1Hn + c2Hn−1 + · · ·+ cnH1 + 1, n < L,coefficients ci ≥ 0; c1, cL > 0 if L ≥ 2; c1 > 1 if L = 1.

Zeckendorf: Every positive integer can be written uniquelyas

aiHi with natural constraints on the ai ’s (e.g. cannotuse the recurrence relation to remove any summand).

Central Limit Type Theorem

33

Page 34: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Example: the Special Case of L = 1, c1 = 10

Hn+1 = 10Hn, H1 = 1, Hn = 10n−1.

Legal decomposition is decimal expansion:∑m

i=1 aiHi :ai ∈ {0,1, . . . ,9} (1 ≤ i < m), am ∈ {1, . . . ,9}.

34

Page 35: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Example: the Special Case of L = 1, c1 = 10

Hn+1 = 10Hn, H1 = 1, Hn = 10n−1.

Legal decomposition is decimal expansion:∑m

i=1 aiHi :ai ∈ {0,1, . . . ,9} (1 ≤ i < m), am ∈ {1, . . . ,9}.

For N ∈ [Hn,Hn+1), first term is anHn = an10n−1.

35

Page 36: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Example: the Special Case of L = 1, c1 = 10

Hn+1 = 10Hn, H1 = 1, Hn = 10n−1.

Legal decomposition is decimal expansion:∑m

i=1 aiHi :ai ∈ {0,1, . . . ,9} (1 ≤ i < m), am ∈ {1, . . . ,9}.

For N ∈ [Hn,Hn+1), first term is anHn = an10n−1.

Ai : the corresponding random variable of ai . The Ai ’s areindependent.

36

Page 37: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Example: the Special Case of L = 1, c1 = 10

Hn+1 = 10Hn, H1 = 1, Hn = 10n−1.

Legal decomposition is decimal expansion:∑m

i=1 aiHi :ai ∈ {0,1, . . . ,9} (1 ≤ i < m), am ∈ {1, . . . ,9}.

For N ∈ [Hn,Hn+1), first term is anHn = an10n−1.

Ai : the corresponding random variable of ai . The Ai ’s areindependent.

For large n, the contribution of An is immaterial.Ai (1 ≤ i < n) are identically distributed random variableswith mean 4.5 and variance 8.25.

37

Page 38: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Example: the Special Case of L = 1, c1 = 10

Hn+1 = 10Hn, H1 = 1, Hn = 10n−1.

Legal decomposition is decimal expansion:∑m

i=1 aiHi :ai ∈ {0,1, . . . ,9} (1 ≤ i < m), am ∈ {1, . . . ,9}.

For N ∈ [Hn,Hn+1), first term is anHn = an10n−1.

Ai : the corresponding random variable of ai . The Ai ’s areindependent.

For large n, the contribution of An is immaterial.Ai (1 ≤ i < n) are identically distributed random variableswith mean 4.5 and variance 8.25.

Central Limit Theorem: A2 + A3 + · · · + An → Gaussianwith mean 4.5n + O(1) and variance 8.25n + O(1).

38

Page 39: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Kentucky Sequence and Quiltswith Minerva Catral, Pari Ford, Pamela Harris & Dawn Nelson

39

Page 40: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Kentucky Sequence

Rule: (s,b)-Sequence: Bins of length b, and:

cannot take two elements from the same bin, and

if have an element from a bin, cannot take anything fromthe first s bins to the left or the first s to the right.

40

Page 41: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Kentucky Sequence

Rule: (s,b)-Sequence: Bins of length b, and:

cannot take two elements from the same bin, and

if have an element from a bin, cannot take anything fromthe first s bins to the left or the first s to the right.

Fibonaccis: These are (s,b) = (1,1).

Kentucky: These are (s,b) = (1,2).

[1, 2], [3, 4], [5,

41

Page 42: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Kentucky Sequence

Rule: (s,b)-Sequence: Bins of length b, and:

cannot take two elements from the same bin, and

if have an element from a bin, cannot take anything fromthe first s bins to the left or the first s to the right.

Fibonaccis: These are (s,b) = (1,1).

Kentucky: These are (s,b) = (1,2).

[1, 2], [3, 4], [5, 8],

42

Page 43: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Kentucky Sequence

Rule: (s,b)-Sequence: Bins of length b, and:

cannot take two elements from the same bin, and

if have an element from a bin, cannot take anything fromthe first s bins to the left or the first s to the right.

Fibonaccis: These are (s,b) = (1,1).

Kentucky: These are (s,b) = (1,2).

[1, 2], [3, 4], [5, 8], [11,

43

Page 44: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Kentucky Sequence

Rule: (s,b)-Sequence: Bins of length b, and:

cannot take two elements from the same bin, and

if have an element from a bin, cannot take anything fromthe first s bins to the left or the first s to the right.

Fibonaccis: These are (s,b) = (1,1).

Kentucky: These are (s,b) = (1,2).

[1, 2], [3, 4], [5, 8], [11, 16],

44

Page 45: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Kentucky Sequence

Rule: (s,b)-Sequence: Bins of length b, and:

cannot take two elements from the same bin, and

if have an element from a bin, cannot take anything fromthe first s bins to the left or the first s to the right.

Fibonaccis: These are (s,b) = (1,1).

Kentucky: These are (s,b) = (1,2).

[1, 2], [3, 4], [5, 8], [11, 16], [21,

45

Page 46: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Kentucky Sequence

Rule: (s,b)-Sequence: Bins of length b, and:

cannot take two elements from the same bin, and

if have an element from a bin, cannot take anything fromthe first s bins to the left or the first s to the right.

Fibonaccis: These are (s,b) = (1,1).

Kentucky: These are (s,b) = (1,2).

[1, 2], [3, 4], [5, 8], [11, 16], [21, 32], [43, 64], [85, 128].

46

Page 47: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Kentucky Sequence

Rule: (s,b)-Sequence: Bins of length b, and:

cannot take two elements from the same bin, and

if have an element from a bin, cannot take anything fromthe first s bins to the left or the first s to the right.

Fibonaccis: These are (s,b) = (1,1).

Kentucky: These are (s,b) = (1,2).

[1, 2], [3, 4], [5, 8], [11, 16], [21, 32], [43, 64], [85, 128].

a2n = 2n and a2n+1 = 13(2

2+n − (−1)n):an+1 = an−1 + 2an−3,a1 = 1,a2 = 2,a3 = 3,a4 = 4.

47

Page 48: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Kentucky Sequence

Rule: (s,b)-Sequence: Bins of length b, and:

cannot take two elements from the same bin, and

if have an element from a bin, cannot take anything fromthe first s bins to the left or the first s to the right.

Fibonaccis: These are (s,b) = (1,1).

Kentucky: These are (s,b) = (1,2).

[1, 2], [3, 4], [5, 8], [11, 16], [21, 32], [43, 64], [85, 128].

a2n = 2n and a2n+1 = 13(2

2+n − (−1)n):an+1 = an−1 + 2an−3,a1 = 1,a2 = 2,a3 = 3,a4 = 4.

an+1 = an−1 + 2an−3: New as leading term 0.48

Page 49: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

What’s in a name?

49

Page 50: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Gaussian Behavior

620 640 660 680 700 720

0.005

0.010

0.015

0.020

0.025

0.030

0.035

Figure: Plot of the distribution of the number of summands for100,000 randomly chosen m ∈ [1, a4000) = [1, 22000) (so m has on theorder of 602 digits).

Proved Gaussian behavior.50

Page 51: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Gaps

Figure: Plot of the distribution of gaps for 10,000 randomly chosenm ∈ [1, a400) = [1, 2200) (so m has on the order of 60 digits).

51

Page 52: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Gaps

Figure: Plot of the distribution of gaps for 10,000 randomly chosenm ∈ [1, a400) = [1, 2200) (so m has on the order of 60 digits). Left(resp. right): ratio of adjacent even (resp odd) gap probabilities.

Again find geometric decay, but parity issues so break into evenand odd gaps.

52

Page 53: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

The Fibonacci (or Log Cabin) Quilt: Work in Progress

an+1 = an−1 + an−2, non-uniqueness (average number ofdecompositions grows exponentially).

In process of investigating Gaussianity, Gaps,Kmin,Kave,Kmax,Kgreedy.

53

Page 54: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Average Number of Representations

dn: the number of FQ-legal decompositions using only elements of{a1, a2, . . . , an}.cn requires an to be used, bn requires an and an−2 to be used.

n dn cn bn an

1 2 1 0 12 3 1 0 23 4 1 0 34 6 2 1 45 8 2 1 56 11 3 1 77 15 4 1 98 21 6 2 129 30 9 3 16

Table: First few terms. Find dn = dn−1 + dn−2 − dn−3 + dn−5 − dn−9,implying dFQ;ave(n) ≈ C · 1.05459n.

54

Page 55: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Greedy Algorithm

hn: number of integers from 1 to an+1 − 1 where the greedyalgorithm successfully terminates in a legal decomposition.

n an hn ρn

1 1 1 100.00002 2 2 100.00003 3 3 100.00004 4 4 100.00005 5 5 83.33336 7 7 87.5000

10 21 25 92.592611 28 33 91.666717 151 184 92.4623

Table: First few terms, yields hn = hn−1 + hn−5 + 1 and percentageconverges to about 0.92627.

55

Page 56: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Benford Results

The distribution of leading digits of summands used inZeckendorf decompositions is Benford.

The distribution of the average number of representationsfrom the Fibonacci Quilt is Benford.

56

Page 57: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Other Rules

57

Page 58: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Tilings, Expanding Shapes

1

2

4 6

8

16

24

32

64 96

1, 2, 4, 6, 8, 16, 24, 32, 64, 96, ...

Figure: (left) Hexagonal tiling; (right) expanding triangle covering.

Theorem:A sequence uniquely exists, and similar to previous work candeduce results about the number of summands and thedistribution of gaps.

58

Page 59: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Fractal Sets

Figure: Sierpinski tiling.59

Page 60: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Upper Half Plane / Unit Disk

Figure: Plot of tesselation of the upper half plane (or unit disk) bythe fundamental domain of SL2(Z), where T sends z to z + 1 and Ssends z to −1/z.

60

Page 61: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

References

61

Page 62: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

References

Bower, Insoft, Li, Miller and Tosteson, The Distribution of Gaps betweenSummands in Generalized Zeckendorf Decompositions, preprint.http://arxiv.org/pdf/1402.3912.

Beckwith, Bower, Gaudet, Insoft, Li, Miller and Tosteson: The Average GapDistribution for Generalized Zeckendorf Decompositions: The FibonacciQuarterly 51 (2013), 13–27.http://arxiv.org/abs/1208.5820

Kologlu, Kopp, Miller and Wang: On the number of summands in Zeckendorfdecompositions: Fibonacci Quarterly 49 (2011), no. 2, 116–130.http://arxiv.org/pdf/1008.3204

Miller and Wang: From Fibonacci numbers to Central Limit Type Theorems:Journal of Combinatorial Theory, Series A 119 (2012), no. 7, 1398–1413.http://arxiv.org/pdf/1008.3202

Miller and Wang: Survey: Gaussian Behavior in Generalized ZeckendorfDecompositions: Combinatorial and Additive Number Theory, CANT 2011 and2012 (Melvyn B. Nathanson, editor), Springer Proceedings in Mathematics &Statistics (2014), 159–173.http://arxiv.org/pdf/1107.2718

62

Page 63: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Computations

63

Page 64: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Preliminaries: The Cookie Problem

The Cookie ProblemThe number of ways of dividing C identical cookies among Pdistinct people is

(C+P−1P−1

)

.

64

Page 65: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Preliminaries: The Cookie Problem

The Cookie ProblemThe number of ways of dividing C identical cookies among Pdistinct people is

(C+P−1P−1

)

.

Proof : Consider C + P − 1 cookies in a line.Cookie Monster eats P − 1 cookies:

(C+P−1P−1

)

ways to do.Divides the cookies into P sets.

65

Page 66: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Preliminaries: The Cookie Problem

The Cookie ProblemThe number of ways of dividing C identical cookies among Pdistinct people is

(C+P−1P−1

)

.

Proof : Consider C + P − 1 cookies in a line.Cookie Monster eats P − 1 cookies:

(C+P−1P−1

)

ways to do.Divides the cookies into P sets.Example: 8 cookies and 5 people (C = 8, P = 5):

66

Page 67: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Preliminaries: The Cookie Problem

The Cookie ProblemThe number of ways of dividing C identical cookies among Pdistinct people is

(C+P−1P−1

)

.

Proof : Consider C + P − 1 cookies in a line.Cookie Monster eats P − 1 cookies:

(C+P−1P−1

)

ways to do.Divides the cookies into P sets.Example: 8 cookies and 5 people (C = 8, P = 5):

67

Page 68: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Preliminaries: The Cookie Problem

The Cookie ProblemThe number of ways of dividing C identical cookies among Pdistinct people is

(C+P−1P−1

)

.

Proof : Consider C + P − 1 cookies in a line.Cookie Monster eats P − 1 cookies:

(C+P−1P−1

)

ways to do.Divides the cookies into P sets.Example: 8 cookies and 5 people (C = 8, P = 5):

68

Page 69: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Preliminaries: The Cookie Problem: Reinterpretation

Reinterpreting the Cookie Problem

The number of solutions to x1 + · · · + xP = C with xi ≥ 0 is(C+P−1

P−1

)

.

Let pn,k = # {N ∈ [Fn,Fn+1): the Zeckendorf decomposition ofN has exactly k summands}.

For N ∈ [Fn,Fn+1), the largest summand is Fn.

N = Fi1 + Fi2 + · · · + Fik−1+ Fn,

1 ≤ i1 < i2 < · · · < ik−1 < ik = n, ij − ij−1 ≥ 2.

d1 := i1 − 1, dj := ij − ij−1 − 2 (j > 1).

d1 + d2 + · · ·+ dk = n − 2k + 1, dj ≥ 0.

Cookie counting ⇒ pn,k =(n−2k+1 + k−1

k−1

)

=(n−k

k−1

)

.

69

Page 70: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

Generalizing Lekkerkerker: Erdos-Kac type result

Theorem (KKMW 2010)

As n → ∞, the distribution of the number of summands inZeckendorf’s Theorem is a Gaussian.

Sketch of proof: Use Stirling’s formula,

n! ≈ nne−n√

2πn

to approximates binomial coefficients, after a few pages ofalgebra find the probabilities are approximately Gaussian.

70

Page 71: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

(Sketch of the) Proof of Gaussianity

The probability density for the number of Fibonacci numbers that add up to an integer in [Fn , Fn+1) is

fn(k) =(

n−1−kk

)

/Fn−1. Consider the density for the n + 1 case. Then we have, by Stirling

fn+1(k) =

(

n − k

k

)

1

Fn

=(n − k)!

(n − 2k)!k !

1

Fn=

1√

(n − k)n−k+ 12

k(k+ 12 )

(n − 2k)n−2k+ 12

1

Fn

plus a lower order correction term.

Also we can write Fn = 1√

5φn+1 = φ

5φn for large n, where φ is the golden ratio (we are using relabeled

Fibonacci numbers where 1 = F1 occurs once to help dealing with uniqueness and F2 = 2). We can now split theterms that exponentially depend on n.

fn+1(k) =

(

1√

(n − k)

k(n − 2k)

√5

φ

)(

φ−n (n − k)n−k

kk (n − 2k)n−2k

)

.

Define

Nn =1

√2π

(n − k)

k(n − 2k)

√5

φ, Sn = φ

−n (n − k)n−k

kk (n − 2k)n−2k.

Thus, write the density function asfn+1(k) = NnSn

where Nn is the first term that is of order n−1/2 and Sn is the second term with exponential dependence on n.71

Page 72: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

(Sketch of the) Proof of Gaussianity

Model the distribution as centered around the mean by the change of variable k = µ + xσ where µ and σ are themean and the standard deviation, and depend on n. The discrete weights of fn(k) will become continuous. Thisrequires us to use the change of variable formula to compensate for the change of scales:

fn(k)dk = fn(µ + σx)σdx.

Using the change of variable, we can write Nn as

Nn =1

√2π

n − k

k(n − 2k)

φ√

5

=1

√2πn

1 − k/n

(k/n)(1 − 2k/n)

√5

φ

=1

√2πn

1 − (µ + σx)/n

((µ + σx)/n)(1 − 2(µ + σx)/n)

√5

φ

=1

√2πn

1 − C − y

(C + y)(1 − 2C − 2y)

√5

φ

where C = µ/n ≈ 1/(φ + 2) (note that φ2 = φ + 1) and y = σx/n. But for large n, the y term vanishes since

σ ∼√

n and thus y ∼ n−1/2. Thus

Nn ≈1

√2πn

1 − C

C(1 − 2C)

√5

φ=

1√

2πn

(φ + 1)(φ + 2)

φ

√5

φ=

1√

2πn

5(φ + 2)

φ=

1√

2πσ2

since σ2 = n φ5(φ+2) .

72

Page 73: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

(Sketch of the) Proof of Gaussianity

For the second term Sn , take the logarithm and once again change variables by k = µ + xσ,

log(Sn) = log

(

φ−n (n − k)(n−k)

kk (n − 2k)(n−2k)

)

= −n log(φ) + (n − k) log(n − k) − (k) log(k)

− (n − 2k) log(n − 2k)

= −n log(φ) + (n − (µ + xσ)) log(n − (µ + xσ))

− (µ + xσ) log(µ + xσ)

− (n − 2(µ + xσ)) log(n − 2(µ + xσ))

= −n log(φ)

+ (n − (µ + xσ))

(

log(n − µ) + log(

1 −xσ

n − µ

))

− (µ + xσ)

(

log(µ) + log(

1 +xσ

µ

))

− (n − 2(µ + xσ))

(

log(n − 2µ) + log(

1 −xσ

n − 2µ

))

= −n log(φ)

+ (n − (µ + xσ))

(

log(

n

µ− 1)

+ log(

1 −xσ

n − µ

))

− (µ + xσ) log(

1 +xσ

µ

)

− (n − 2(µ + xσ))

(

log(

n

µ− 2)

+ log(

1 −xσ

n − 2µ

))

.

73

Page 74: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

(Sketch of the) Proof of Gaussianity

Note that, since n/µ = φ + 2 for large n, the constant terms vanish. We have log(Sn)

= −n log(φ) + (n − k) log(

n

µ− 1

)

− (n − 2k) log(

n

µ− 2)

+ (n − (µ + xσ)) log(

1 −xσ

n − µ

)

− (µ + xσ) log(

1 +xσ

µ

)

− (n − 2(µ + xσ)) log(

1 −xσ

n − 2µ

)

= −n log(φ) + (n − k) log (φ + 1) − (n − 2k) log (φ) + (n − (µ + xσ)) log(

1 −xσ

n − µ

)

− (µ + xσ) log(

1 +xσ

µ

)

− (n − 2(µ + xσ)) log(

1 −xσ

n − 2µ

)

= n(− log(φ) + log(

φ2)

− log (φ)) + k(log(φ2) + 2 log(φ)) + (n − (µ + xσ)) log

(

1 −xσ

n − µ

)

− (µ + xσ) log(

1 +xσ

µ

)

− (n − 2(µ + xσ)) log(

1 − 2xσ

n − 2µ

)

= (n − (µ + xσ)) log(

1 −xσ

n − µ

)

− (µ + xσ) log(

1 +xσ

µ

)

− (n − 2(µ + xσ)) log(

1 − 2xσ

n − 2µ

)

.

74

Page 75: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

(Sketch of the) Proof of Gaussianity

Finally, we expand the logarithms and collect powers of xσ/n.

log(Sn) = (n − (µ + xσ))

(

−xσ

n − µ−

1

2

(

n − µ

)2+ . . .

)

− (µ + xσ)

(

µ−

1

2

(

µ

)2+ . . .

)

− (n − 2(µ + xσ))

(

−2xσ

n − 2µ−

1

2

(

2xσ

n − 2µ

)2+ . . .

)

= (n − (µ + xσ))

−xσ

n (φ+1)(φ+2)

−1

2

n (φ+1)(φ+2)

2

+ . . .

− (µ + xσ)

xσn

φ+2

−1

2

xσn

φ+2

2

+ . . .

− (n − 2(µ + xσ))

−2xσ

n φφ+2

−1

2

2xσ

n φφ+2

2

+ . . .

=xσ

nn

(

(

1 −1

φ + 2

)

(φ + 2)

(φ + 1)− 1 + 2

(

1 −2

φ + 2

)

φ + 2

φ

)

−1

2

(

n

)2n(

−2φ + 2

φ + 1+

φ + 2

φ + 1+ 2(φ + 2) − (φ + 2) + 4

φ + 2

φ

)

+O(

n (xσ/n)3)

75

Page 76: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

(Sketch of the) Proof of Gaussianity

log(Sn) =xσ

nn(

−φ + 1

φ + 2

φ + 2

φ + 1− 1 + 2

φ

φ + 2

φ + 2

φ

)

−1

2

(

n

)2n(φ + 2)

(

−1

φ + 1+ 1 +

4

φ

)

+O

(

n(

n

)3)

= −1

2

(xσ)2

n(φ + 2)

(

3φ + 4

φ(φ + 1)+ 1

)

+ O

(

n(

n

)3)

= −1

2

(xσ)2

n(φ + 2)

(

3φ + 4 + 2φ + 1

φ(φ + 1)

)

+ O

(

n(

n

)3)

= −1

2x2

σ2(

5(φ + 2)

φn

)

+ O(

n (xσ/n)3)

.

76

Page 77: From Fibonacci Quilts to Benford's Law through Zeckendorf ...web.williams.edu/Mathematics/sjmiller/public_html/math/...Equivalent Definition of the Fibonaccis Fibonaccis are the only

Intro Gaps Previous Work Kentucky and Quilts Other Rules References Computations

(Sketch of the) Proof of Gaussianity

But recall that

σ2=

φn

5(φ + 2).

Also, since σ ∼ n−1/2, n(

xσn

)3∼ n−1/2. So for large n, the O

(

n(

xσn

)3)

term vanishes. Thus we are left

with

log Sn = −1

2x2

Sn = e−12 x2

.

Hence, as n gets large, the density converges to the normal distribution:

fn(k)dk = NnSndk

=1

√2πσ2

e−12 x2

σdx

=1

√2π

e−12 x2

dx.

77