Sequence non-squashing partitions - Yale...
Transcript of Sequence non-squashing partitions - Yale...
![Page 1: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/1.jpg)
Sequence non-squashing partitions
Youkow Homma, Jun Hwan Ryu, and Benjamin Tong
Yale University
July 25, 2014
![Page 2: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/2.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Integer partitions
Definition
A partition of an integer n ≥ 0 is a set of positive integers{p1, . . . , pk} such that
p1 ≤ · · · ≤ pk ,p1 + · · ·+ pk = n.
Denote the partition function by
p(n) := #{partitions of n}.
![Page 3: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/3.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Integer partitions
Definition
A partition of an integer n ≥ 0 is a set of positive integers{p1, . . . , pk} such that
p1 ≤ · · · ≤ pk ,
p1 + · · ·+ pk = n.
Denote the partition function by
p(n) := #{partitions of n}.
![Page 4: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/4.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Integer partitions
Definition
A partition of an integer n ≥ 0 is a set of positive integers{p1, . . . , pk} such that
p1 ≤ · · · ≤ pk ,p1 + · · ·+ pk = n.
Denote the partition function by
p(n) := #{partitions of n}.
![Page 5: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/5.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Integer partitions
Definition
A partition of an integer n ≥ 0 is a set of positive integers{p1, . . . , pk} such that
p1 ≤ · · · ≤ pk ,p1 + · · ·+ pk = n.
Denote the partition function by
p(n) := #{partitions of n}.
![Page 6: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/6.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Ferrers diagram
1 + 1 + 4 = 6
![Page 7: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/7.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Example
p(6) = 11
![Page 8: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/8.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
List of integer partitions
n p(n)
0 1
1 1
2 2
3 3
4 5
5 7
6 11
7 15
8 22
9 30
10 42
11 56
12 77
13 101
n p(n)
14 135
15 176
16 231
17 297
18 385
19 490
20 627
21 792
22 1002
23 1255
24 1575
25 1958
26 2436
27 3010
n p(n)
28 3718
29 4565
30 5604
31 6842
32 8349
33 10143
34 12310
35 14883
36 17977
37 21637
38 26015
39 31185
40 37338
41 44583
![Page 9: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/9.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
List of integer partitions
n p(n)
0 1
1 1
2 2
3 3
4 5
5 7
6 11
7 15
8 22
9 30
10 42
11 56
12 77
13 101
n p(n)
14 135
15 176
16 231
17 297
18 385
19 490
20 627
21 792
22 1002
23 1255
24 1575
25 1958
26 2436
27 3010
n p(n)
28 3718
29 4565
30 5604
31 6842
32 8349
33 10143
34 12310
35 14883
36 17977
37 21637
38 26015
39 31185
40 37338
41 44583
![Page 10: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/10.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
List of integer partitions
n p(n)
0 1
1 1
2 2
3 3
4 5
5 7
6 11
7 15
8 22
9 30
10 42
11 56
12 77
13 101
n p(n)
14 135
15 176
16 231
17 297
18 385
19 490
20 627
21 792
22 1002
23 1255
24 1575
25 1958
26 2436
27 3010
n p(n)
28 3718
29 4565
30 5604
31 6842
32 8349
33 10143
34 12310
35 14883
36 17977
37 21637
38 26015
39 31185
40 37338
41 44583
![Page 11: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/11.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
List of integer partitions
n p(n)
0 1
1 1
2 2
3 3
4 5
5 7
6 11
7 15
8 22
9 30
10 42
11 56
12 77
13 101
n p(n)
14 135
15 176
16 231
17 297
18 385
19 490
20 627
21 792
22 1002
23 1255
24 1575
25 1958
26 2436
27 3010
n p(n)
28 3718
29 4565
30 5604
31 6842
32 8349
33 10143
34 12310
35 14883
36 17977
37 21637
38 26015
39 31185
40 37338
41 44583
![Page 12: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/12.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
List of integer partitions
n p(n)
0 1
1 1
2 2
3 3
4 5
5 7
6 11
7 15
8 22
9 30
10 42
11 56
12 77
13 101
n p(n)
14 135
15 176
16 231
17 297
18 385
19 490
20 627
21 792
22 1002
23 1255
24 1575
25 1958
26 2436
27 3010
n p(n)
28 3718
29 4565
30 5604
31 6842
32 8349
33 10143
34 12310
35 14883
36 17977
37 21637
38 26015
39 31185
40 37338
41 44583
![Page 13: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/13.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
List of integer partitions
1 2 3 5 7
11 15 22 30 42
56 77 101 135 176
231 297 385 490 627
792 1002 1255 1575 1958
2436 3010 3718 4565 5604
6842 8349 10143 12310 14883
17977 21637 26015 31185 37338
44583 53174 63261 75175 89134
105558 124754 147273 173525 204226
239943 281589 329931 386155 451276
526823 614154 715220 831820 966467
1121505 1300156 1505499 1741630 2012558
2323520 2679689 3087735 3554345 4087968
4697205 5392783 6185689 7089500 8118264
![Page 14: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/14.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
List of integer partitions
1 2 3 5 7
11 15 22 30 42
56 77 101 135 176
231 297 385 490 627
792 1002 1255 1575 1958
2436 3010 3718 4565 5604
6842 8349 10143 12310 14883
17977 21637 26015 31185 37338
44583 53174 63261 75175 89134
105558 124754 147273 173525 204226
239943 281589 329931 386155 451276
526823 614154 715220 831820 966467
1121505 1300156 1505499 1741630 2012558
2323520 2679689 3087735 3554345 4087968
4697205 5392783 6185689 7089500 8118264
![Page 15: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/15.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Ramanujan congruences
Theorem (Ramanujan, 1919)
For all integers n ≥ 0,
p(5n + 4) ≡ 0 mod 5,
p(7n + 5) ≡ 0 mod 7,
p(11n + 6) ≡ 0 mod 11.
![Page 16: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/16.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Ramanujan congruences
Theorem (Ramanujan, 1919)
For all integers n ≥ 0,
p(5n + 4) ≡ 0 mod 5,
p(7n + 5) ≡ 0 mod 7,
p(11n + 6) ≡ 0 mod 11.
![Page 17: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/17.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Growth of integer partitions
n p(n)
1 1
10 4.2× 101
100 1.9× 108
1000 2.4× 1031
10000 3.6× 10106
100000 2.7× 10346
1000000 1.5× 101107
10000000 9.2× 103514
100000000 1.8× 1011131
1000000000 1.6× 1035218
10000000000 1.1× 10111390
![Page 18: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/18.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Hardy-Ramanujan asymptotics
Theorem (Hardy-Ramanujan, 1918)
As n→∞,
p(n) ∼ 1
4n√
3exp
(π
√2n
3
)
Remark
We say f (n) ∼ g(n) as n→∞ if and only if
limn→∞
f (n)
g(n)= 1.
![Page 19: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/19.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Hardy-Ramanujan asymptotics
Theorem (Hardy-Ramanujan, 1918)
As n→∞,
p(n) ∼ 1
4n√
3exp
(π
√2n
3
)
Remark
We say f (n) ∼ g(n) as n→∞ if and only if
limn→∞
f (n)
g(n)= 1.
![Page 20: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/20.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Example
Let a(n) := 14n√3
exp
(π√
2n3
).
n p(n) a(n) p(n)a(n)
1 1.000 × 100 1.876 × 100 0.5328
10 4.200 × 101 4.810 × 101 0.8731
102 1.905 × 108 1.992 × 108 0.9562
103 2.406 × 1031 2.440 × 1031 0.9860
104 3.616 × 10106 3.632 × 10106 0.9955
105 2.749 × 10346 2.753 × 10346 0.9985
106 1.471 × 101107 1.472 × 101107 0.9995
107 9.202 × 103514 9.204 × 103514 0.9998
108 1.760 × 1011131 1.760 × 1011131 0.9999
![Page 21: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/21.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
m-ary partitions
Definition
For all integers m ≥ 2, an m-ary partition of an integer n ≥ 0is a set of positive integers {p1, . . . , pk} such that
p1 ≤ · · · ≤ pk ,p1 + · · ·+ pk = n,each pj = mrj for some integer rj ≥ 0.
Denote the m-ary partition function by
βm(n) := #{m-ary partitions of n}.
![Page 22: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/22.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
m-ary partitions
Definition
For all integers m ≥ 2, an m-ary partition of an integer n ≥ 0is a set of positive integers {p1, . . . , pk} such that
p1 ≤ · · · ≤ pk ,p1 + · · ·+ pk = n,
each pj = mrj for some integer rj ≥ 0.
Denote the m-ary partition function by
βm(n) := #{m-ary partitions of n}.
![Page 23: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/23.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
m-ary partitions
Definition
For all integers m ≥ 2, an m-ary partition of an integer n ≥ 0is a set of positive integers {p1, . . . , pk} such that
p1 ≤ · · · ≤ pk ,p1 + · · ·+ pk = n,each pj = mrj for some integer rj ≥ 0.
Denote the m-ary partition function by
βm(n) := #{m-ary partitions of n}.
![Page 24: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/24.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
m-ary partitions
Definition
For all integers m ≥ 2, an m-ary partition of an integer n ≥ 0is a set of positive integers {p1, . . . , pk} such that
p1 ≤ · · · ≤ pk ,p1 + · · ·+ pk = n,each pj = mrj for some integer rj ≥ 0.
Denote the m-ary partition function by
βm(n) := #{m-ary partitions of n}.
![Page 25: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/25.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Example
p(6) = 11
![Page 26: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/26.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Example
β2(6) = 6
![Page 27: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/27.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Churchhouse conjectures
Conjecture (Churchhouse, 1969)
For all integers k ≥ 1 and odd n,
β2(22k+2n) ≡ β2(22kn) mod 23k+2
β2(22k+1n) ≡ β2(22k−1n) mod 23k
Proved by Rodseth (1970)
Extended by Andrews (1971) and Gupta (1972)
![Page 28: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/28.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Churchhouse conjectures
Conjecture (Churchhouse, 1969)
For all integers k ≥ 1 and odd n,
β2(22k+2n) ≡ β2(22kn) mod 23k+2
β2(22k+1n) ≡ β2(22k−1n) mod 23k
Proved by Rodseth (1970)
Extended by Andrews (1971) and Gupta (1972)
![Page 29: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/29.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Churchhouse conjectures
Conjecture (Churchhouse, 1969)
For all integers k ≥ 1 and odd n,
β2(22k+2n) ≡ β2(22kn) mod 23k+2
β2(22k+1n) ≡ β2(22k−1n) mod 23k
Proved by Rodseth (1970)
Extended by Andrews (1971) and Gupta (1972)
![Page 30: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/30.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
m-ary partition function asymptotics
Theorem (Mahler, 1940)
For all integers m ≥ 2, as n→∞,
lnβm(n) ∼ (ln n)2
2 lnm.
![Page 31: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/31.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
m-non-squashing partitions
Definition (Hirschhorn-Sellers, 2004)
For all integers m ≥ 2, an m-non-squashing partition of aninteger n ≥ 0 is a set of positive integers {p1, . . . , pk} suchthat
p1 ≤ · · · ≤ pk ,p1 + · · ·+ pk = n,
(m − 1)(
p1 + · · ·+ pj−1
)
≤ pj for 2 ≤ j ≤ k.
Denote the m-non-squashing partition function by
αm(n) := #{m-non-squashing partitions of n}.
![Page 32: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/32.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
m-non-squashing partitions
Definition (Hirschhorn-Sellers, 2004)
For all integers m ≥ 2, an m-non-squashing partition of aninteger n ≥ 0 is a set of positive integers {p1, . . . , pk} suchthat
p1 ≤ · · · ≤ pk ,p1 + · · ·+ pk = n,
(m − 1)(
p1 + · · ·+ pj−1
)
≤ pj for 2 ≤ j ≤ k.
Denote the m-non-squashing partition function by
αm(n) := #{m-non-squashing partitions of n}.
![Page 33: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/33.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
m-non-squashing partitions
Definition (Hirschhorn-Sellers, 2004)
For all integers m ≥ 2, an m-non-squashing partition of aninteger n ≥ 0 is a set of positive integers {p1, . . . , pk} suchthat
p1 ≤ · · · ≤ pk ,p1 + · · ·+ pk = n,
(m − 1)(
p1 + · · ·+ pj−1
)
≤ pj for 2 ≤ j ≤ k .
Denote the m-non-squashing partition function by
αm(n) := #{m-non-squashing partitions of n}.
![Page 34: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/34.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
m-non-squashing partitions
Definition (Hirschhorn-Sellers, 2004)
For all integers m ≥ 2, an m-non-squashing partition of aninteger n ≥ 0 is a set of positive integers {p1, . . . , pk} suchthat
p1 ≤ · · · ≤ pk ,p1 + · · ·+ pk = n,(m − 1)(p1 + · · ·+ pj−1) ≤ pj for 2 ≤ j ≤ k .
Denote the m-non-squashing partition function by
αm(n) := #{m-non-squashing partitions of n}.
![Page 35: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/35.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
m-non-squashing partitions
Definition (Hirschhorn-Sellers, 2004)
For all integers m ≥ 2, an m-non-squashing partition of aninteger n ≥ 0 is a set of positive integers {p1, . . . , pk} suchthat
p1 ≤ · · · ≤ pk ,p1 + · · ·+ pk = n,(m − 1)(p1 + · · ·+ pj−1) ≤ pj for 2 ≤ j ≤ k .
Denote the m-non-squashing partition function by
αm(n) := #{m-non-squashing partitions of n}.
![Page 36: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/36.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
The non-squashing condition
Example
The 2-non-squashing condition can be written out as:
p1 ≤ p2,
p1 + p2 ≤ p3,
p1 + p2 + p3 ≤ p4.
...
![Page 37: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/37.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Example
p(6) = 11
![Page 38: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/38.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Example
α2(6) = 6
![Page 39: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/39.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Example
α2(6) = 6 = β2(6)
![Page 40: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/40.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
A surprising connection!
Theorem (Hirschhorn-Sellers, 2004)
For all integers m ≥ 2 and n ≥ 0,
αm(n) = βm(n).
![Page 41: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/41.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
A surprising connection!
Theorem (Hirschhorn-Sellers, 2004)
For all integers m ≥ 2 and n ≥ 0,
αm(n) = βm(n).
![Page 42: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/42.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Other connections to m-non-squashing partitions
Recursively self-conjugating partitions (Keith, 2011)
Double base number system (Dmitrov-Imbert-Mishra, 2008)
Box stacking problem (Sloane-Sellers, 2005)
Partitions with factorial parts (?) (Andrews-Sellers, Jovovic,2007)
![Page 43: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/43.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Other connections to m-non-squashing partitions
Recursively self-conjugating partitions (Keith, 2011)
Double base number system (Dmitrov-Imbert-Mishra, 2008)
Box stacking problem (Sloane-Sellers, 2005)
Partitions with factorial parts (?) (Andrews-Sellers, Jovovic,2007)
![Page 44: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/44.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Other connections to m-non-squashing partitions
Recursively self-conjugating partitions (Keith, 2011)
Double base number system (Dmitrov-Imbert-Mishra, 2008)
Box stacking problem (Sloane-Sellers, 2005)
Partitions with factorial parts (?) (Andrews-Sellers, Jovovic,2007)
![Page 45: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/45.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Motivating questions
What can be said if “m” changes with the number of parts?
Can we discover and recover congruences?Can we discover and recover asymptotics?
![Page 46: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/46.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Motivating questions
What can be said if “m” changes with the number of parts?
Can we discover and recover congruences?Can we discover and recover asymptotics?
![Page 47: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/47.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Motivating questions
What can be said if “m” changes with the number of parts?
Can we discover and recover congruences?
Can we discover and recover asymptotics?
![Page 48: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/48.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Motivating questions
What can be said if “m” changes with the number of parts?
Can we discover and recover congruences?Can we discover and recover asymptotics?
![Page 49: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/49.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Sequence non-squashing partitions
Definition (Homma-Ryu-Tong)
Let M = {mj}∞j=0 with integers mj ≥ 2 be a sequence. AM-sequence non-squashing partition of an integer n ≥ 0 is aset of positive integers {p1, . . . , pk} such that
p1 ≤ · · · ≤ pk ,p1 + · · ·+ pk = n,(mk−j − 1)(p1 + · · ·+ pj−1) ≤ pj for 2 ≤ j ≤ k.
Denote the M-sequence non-squashing partition function by
αM(n) := #{M-sequence non-squashing partitions of n}.
![Page 50: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/50.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Sequence non-squashing partitions
Definition (Homma-Ryu-Tong)
Let M = {mj}∞j=0 with integers mj ≥ 2 be a sequence. AM-sequence non-squashing partition of an integer n ≥ 0 is aset of positive integers {p1, . . . , pk} such that
p1 ≤ · · · ≤ pk ,p1 + · · ·+ pk = n,
(mk−j − 1)(p1 + · · ·+ pj−1) ≤ pj for 2 ≤ j ≤ k.
Denote the M-sequence non-squashing partition function by
αM(n) := #{M-sequence non-squashing partitions of n}.
![Page 51: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/51.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Sequence non-squashing partitions
Definition (Homma-Ryu-Tong)
Let M = {mj}∞j=0 with integers mj ≥ 2 be a sequence. AM-sequence non-squashing partition of an integer n ≥ 0 is aset of positive integers {p1, . . . , pk} such that
p1 ≤ · · · ≤ pk ,p1 + · · ·+ pk = n,(mk−j − 1)(p1 + · · ·+ pj−1) ≤ pj for 2 ≤ j ≤ k.
Denote the M-sequence non-squashing partition function by
αM(n) := #{M-sequence non-squashing partitions of n}.
![Page 52: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/52.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Sequence non-squashing partitions
Definition (Homma-Ryu-Tong)
Let M = {mj}∞j=0 with integers mj ≥ 2 be a sequence. AM-sequence non-squashing partition of an integer n ≥ 0 is aset of positive integers {p1, . . . , pk} such that
p1 ≤ · · · ≤ pk ,p1 + · · ·+ pk = n,(mk−j − 1)(p1 + · · ·+ pj−1) ≤ pj for 2 ≤ j ≤ k.
Denote the M-sequence non-squashing partition function by
αM(n) := #{M-sequence non-squashing partitions of n}.
![Page 53: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/53.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
The sequence non-squashing condition
Example
If n = p1 + p2, then
(m0 − 1)p1 ≤ p2.
If n = p1 + p2 + p3, then
(m0 − 1)(p1 + p2) ≤ p3,
(m1 − 1)p1 ≤ p2.
If n = p1 + p2 + p3 + p4, then
(m0 − 1)(p1 + p2 + p3) ≤ p4,
(m1 − 1)(p1 + p2) ≤ p3,
(m2 − 1)p1 ≤ p2.
![Page 54: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/54.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
The sequence non-squashing condition
Example
If n = p1 + p2, then
(m0 − 1)p1 ≤ p2.
If n = p1 + p2 + p3, then
(m0 − 1)(p1 + p2) ≤ p3,
(m1 − 1)p1 ≤ p2.
If n = p1 + p2 + p3 + p4, then
(m0 − 1)(p1 + p2 + p3) ≤ p4,
(m1 − 1)(p1 + p2) ≤ p3,
(m2 − 1)p1 ≤ p2.
![Page 55: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/55.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
The sequence non-squashing condition
Example
If n = p1 + p2, then
(m0 − 1)p1 ≤ p2.
If n = p1 + p2 + p3, then
(m0 − 1)(p1 + p2) ≤ p3,
(m1 − 1)p1 ≤ p2.
If n = p1 + p2 + p3 + p4, then
(m0 − 1)(p1 + p2 + p3) ≤ p4,
(m1 − 1)(p1 + p2) ≤ p3,
(m2 − 1)p1 ≤ p2.
![Page 56: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/56.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
The sequence non-squashing condition
Example
If n = p1 + p2, then
(m0 − 1)p1 ≤ p2.
If n = p1 + p2 + p3, then
(m0 − 1)(p1 + p2) ≤ p3,
(m1 − 1)p1 ≤ p2.
If n = p1 + p2 + p3 + p4, then
(m0 − 1)(p1 + p2 + p3) ≤ p4,
(m1 − 1)(p1 + p2) ≤ p3,
(m2 − 1)p1 ≤ p2.
![Page 57: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/57.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Returning to m-non-squashing
Remark
Let M = {m,m,m, . . .}. Then,
αM(n) = αm(n) = βm(n).
![Page 58: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/58.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Example
![Page 59: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/59.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Example
p(6) = 11
![Page 60: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/60.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Example
αM(6) = 5 for M = Mf = {2, 3, 4, . . .}
![Page 61: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/61.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Relationship to factorial partitions
Proposition (Homma-Ryu-Tong)
Let Mf = {2, 3, 4, . . .}. Then,αMf
(n) = f (n),
where f (n) is the number of factorial partitions of n.
![Page 62: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/62.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Factorial partitions
Definition
A factorial partition of an integer n ≥ 0 is a set of positiveintegers {p1, . . . , pk} such that
p1 ≤ · · · ≤ pk ,p1 + · · ·+ pk = n,each pj = `j ! for some integer `j ≥ 1.
Denote the factorial partition function by
f (n) := #{factorial partitions of n}.
![Page 63: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/63.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Factorial partitions
Definition
A factorial partition of an integer n ≥ 0 is a set of positiveintegers {p1, . . . , pk} such that
p1 ≤ · · · ≤ pk ,p1 + · · ·+ pk = n,each pj = `j ! for some integer `j ≥ 1.
Denote the factorial partition function by
f (n) := #{factorial partitions of n}.
![Page 64: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/64.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Motivating questions
What can be said if “m” changes with the number of parts?
Can we discover and recover congruences?Can we discover and recover asymptotics?
![Page 65: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/65.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Rodseth-Sellers congruences
Theorem (Rodseth-Sellers, 2000)
For all integers m ≥ 2, n, r ≥ 1,
βm(mr+1n + σm,r ) ≡ 0 modmr
cr,
where cr = 2r−1 if m is even and 1 if m is odd.
![Page 66: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/66.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Rodseth-Sellers congruences
Theorem (Rodseth-Sellers, 2000)
For all integers m ≥ 2, n, r ≥ 1,
βm(mr+1n + σm,r ) ≡ 0 modmr
cr,
where cr = 2r−1 if m is even and 1 if m is odd.
![Page 67: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/67.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Sequence non-squashing congruences
Theorem (Homma-Ryu-Tong)
Let Pj =∏
prime p≤j
p and µj =mj
gcd (mj ,Pj ). Then, for all integers n, r ≥ 1,
αM(nm0m1 . . .mr + σM,r ) ≡ 0 mod µ1µ2 . . . µr .
Remark
If M = {m,m,m, . . .}, then this theorem weakly recovers theRodseth-Sellers congruence.
![Page 68: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/68.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Sequence non-squashing congruences
Theorem (Homma-Ryu-Tong)
Let Pj =∏
prime p≤j
p and µj =mj
gcd (mj ,Pj ). Then, for all integers n, r ≥ 1,
αM(nm0m1 . . .mr + σM,r ) ≡ 0 mod µ1µ2 . . . µr .
Remark
If M = {m,m,m, . . .}, then this theorem weakly recovers theRodseth-Sellers congruence.
![Page 69: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/69.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Factorial partition congruences
Corollary (Homma-Ryu-Tong)
For all integers r ≥ 3, n ≥ 1, let Dr =∏
prime p≤r−2p
⌊r−2
p
⌋. Then,
f (r !n + σr ) ≡ 0 modr !
Dr.
![Page 70: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/70.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Examples
![Page 71: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/71.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Examples
n f (n)
0 1
1 1
2 2
3 2
4 3
5 3
6 5
7 5
8 7
9 7
10 9
11 9
12 12
13 12
n f (n)
14 15
15 15
16 18
17 18
18 22
19 22
20 26
21 26
22 30
23 30
24 36
25 36
26 42
27 42
n f (n)
28 48
29 48
30 56
31 56
32 64
33 64
34 72
35 72
36 82
37 82
38 92
39 92
40 102
41 102
![Page 72: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/72.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Examples
f (3!n − 2) = f (3!n − 1) ≡ 0 mod 3
1 1 2 2 3 3
5 5 7 7 9 9
12 12 15 15 18 18
22 22 26 26 30 30
36 36 42 42 48 48
56 56 64 64 72 72
82 82 92 92 102 102
114 114 126 126 138 138
153 153 168 168 183 183
201 201 219 219 237 237
258 258 279 279 300 300
324 324 348 348 372 372
400 400 428 428 456 456
488 488 520 520 552 552
![Page 73: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/73.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Examples
f (3!n − 2) = f (3!n − 1) ≡ 0 mod 3
1 1 2 2 3 3
5 5 7 7 9 9
12 12 15 15 18 18
22 22 26 26 30 30
36 36 42 42 48 48
56 56 64 64 72 72
82 82 92 92 102 102
114 114 126 126 138 138
153 153 168 168 183 183
201 201 219 219 237 237
258 258 279 279 300 300
324 324 348 348 372 372
400 400 428 428 456 456
488 488 520 520 552 552
![Page 74: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/74.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Motivating questions
What can be said if “m” changes with the number of parts?
Can we discover and recover congruences?
X
Can we discover and recover asymptotics?
![Page 75: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/75.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Motivating questions
What can be said if “m” changes with the number of parts?
Can we discover and recover congruences?XCan we discover and recover asymptotics?
![Page 76: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/76.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Motivating questions
What can be said if “m” changes with the number of parts?
Can we discover and recover congruences?XCan we discover and recover asymptotics?
![Page 77: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/77.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Sequence non-squashing asymptotics
Theorem (Homma-Ryu-Tong)
For all integers n ≥ m0,
nN
N!N−1∏k=0
mN−kk
≤ αM(n) <2NnN
N−1∏k=0
mN−kk
,
where N is the unique integer such that:
m0m1 · · ·mN−1 ≤ n < m0m1 · · ·mN .
![Page 78: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/78.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Application to the m-ary partition function
Corollary (Homma-Ryu-Tong)
For all integers m ≥ 2, as n→∞, we recover Mahler’s asymptotic
lnβm(n) ∼ (ln n)2
2 lnm.
![Page 79: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/79.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Factorial partition function asymptotics
Theorem (Homma-Ryu-Tong)
As n→∞,
ln f (n) ∼ (ln n)2
2 ln ln n.
![Page 80: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/80.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Motivating questions
What can be said if “m” changes with the number of parts?
Can we discover and recover congruences?XCan we discover and recover asymptotics?
X
![Page 81: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/81.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Motivating questions
What can be said if “m” changes with the number of parts?
Can we discover and recover congruences?XCan we discover and recover asymptotics?X
![Page 82: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/82.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Sequence non-squashing recurrence relations
Proposition (Homma-Ryu-Tong)
For all integers n ≥ 1,
αM(n) =
αM(n − 1) if m0 - n
αM(n − 1) + αM
(n
m0
)if m0 | n,
where M = {mj}∞j=1.
![Page 83: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/83.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Summation formula
Proposition (Homma-Ryu-Tong)
For all integers n ≥ m0,
αM(n) =
⌊n
m0
⌋∑k1=0
⌊k1m1
⌋∑k2=0
· · ·
⌊kN−1mN−1
⌋∑
kN=0
1,
where N is the unique integer such that
m0m1 · · ·mN−1 ≤ n < m0m1 · · ·mN .
![Page 84: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/84.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Future directions
Strengthen our bounds to get more detailed asymptotics.
Sharpen our congruence result.
Extend our results to other sequences M.
![Page 85: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/85.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Future directions
Strengthen our bounds to get more detailed asymptotics.
Sharpen our congruence result.
Extend our results to other sequences M.
![Page 86: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/86.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Future directions
Strengthen our bounds to get more detailed asymptotics.
Sharpen our congruence result.
Extend our results to other sequences M.
![Page 87: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/87.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Acknowledgements
Professor Amanda Folsom, Yale University
Susie Kimport, Yale University
SUMRY
Audience!
![Page 88: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/88.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Acknowledgements
Professor Amanda Folsom, Yale University
Susie Kimport, Yale University
SUMRY
Audience!
![Page 89: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/89.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
Acknowledgements
Professor Amanda Folsom, Yale University
Susie Kimport, Yale University
SUMRY
Audience!
![Page 90: Sequence non-squashing partitions - Yale Universitysumry.yale.edu/sites/default/files/files/Sequence_nonsquashing_partitions.pdf13 101 n p(n) 14 135 15 176 16 231 17 297 18 385 19](https://reader033.fdocuments.in/reader033/viewer/2022042010/5e71bacadafe11293f663c01/html5/thumbnails/90.jpg)
Introduction Sequence Non-Squashing Congruence Asymptotic Tools Future Work Acknowledgements References
References
G. E. Andrews and J. A. Sellers, On Sloane’s generalization of non-squashingstacks of boxes, Discrete Mathematics, Volume 307 (2007), 1185-1190.
V. Dimitrov, L. Imbert and P. K. Mishra, The double-base number system andits application to elliptic curve cryptography, Mathematics of Computation,Volume 77 (2008), 1075-1104.
M. D. Hirschhorn and J. A. Sellers, A different view of m-ary partitions, DiscreteAustralasian J. Combinatorics, Volume 30 (2004), 193-196.
W. J. Keith, Recursively self-conjugate partitions, Integers, 11A (2011), Article12.
D. E. Knuth, An almost linear recurrence, Fibonacci Quarterly, Volume 4(1966), 117-128.
K. Mahler, On a special functional equation, Journal of the LondonMathematical Society, Volume 15 (1940), 115-123.
O. J. Rodseth, Sloane’s box stacking problem, Discrete Mathematics, Volume306 (2006), 2005-2009.
O. J. Rodseth and J. A. Sellers, On m-ary partition function congruences: afresh look at a past problem, Journal of Number Theory, Volume 87 (2001),270-281.
J. A. Sellers and N.J.A. Sloane, On non-squashing partitions, DiscreteMathematics, Volume 294 (2005), 259-274.