Skip to content

dan-reznik/Collatz-Sequences

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

18 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Collatz Sequences

Dan Reznik April 2019

A Collatz Sequence starts with N, a positive integer. The next term in the sequence is obtained from the current one as follows:

  • If current is even, next is half the current: coll[i+1] = coll[i]/2
  • If current is odd, next is 3 times the current plus 1: coll[i+1] = 3*coll[i]+1

The Collatz Conjecture states that for all starting N's, the sequence will always reach 1, explained here.

Below we investigate basics of Collatz sequences with starting N from 1 to 10k, namely:

  • for each N calculate the sequence and its length
  • pick a starting N (e.g, 27) which produces an unusually long sequence
  • study the distribution of the ratio of seq_length/N
  • show the starting N's with largest seq_length/N ratios

Load libraries

library(tidyverse)
library(gtools) # for even()
library(furrr)
library(tictoc)
library(fs)

Calculate Collatz sequence with purrr::accumulate()

collatz <- function(x,y) if (x%in%c(1L,2L)) done(1L) else if (even(x)) x/2L else 3L*x+1L
get_coll_seq <- function(x) (1:1e5) %>% # est. max length
  accumulate(collatz,.init=x)%>%as.integer

Show the N=7 sequence

get_coll_seq(7)
#>  [1]  7 22 11 34 17 52 26 13 40 20 10  5 16  8  4  2  1

Plot the unusually long N=27 sequence

tibble(x=get_coll_seq(27)) %>%
  mutate(i=row_number()) %>%
  ggplot(aes(i,x))+
  geom_line(color="blue") + geom_point(color="black") +
  scale_y_log10() + 
  labs(title="N=27",
       y="collatz[i] (log scale)",x="Iteration")

Compute (in parallel) large # of Collatz sequences, and show a few of them, e.g., for N=20...30

fname_coll <- "data/df_coll.rds"
n_max <- 10e3
tic()
if (file_exists(fname_coll)) { # avoid long calc w/ knitr
  df_coll <- read_rds(fname_coll)
} else {
  plan(multiprocess)
  df_coll <- tibble(n=1:n_max,
                    coll=n%>%future_map(get_coll_seq),
                    seq_s=coll%>%map_chr(str_c,collapse=";"),
                    seq_max=coll%>%map_int(max),
                    seq_l=coll%>%map_int(length)) %>%
    select(n,seq_l,seq_max,seq_s)
  # Save it to RDS
  df_coll %>% write_rds(fname_coll,compress = "bz")
}
toc()
#> 2.968 sec elapsed
n seq_l seq_max seq_s
20 8 20 20;10;5;16;8;4;2;1
21 8 64 21;64;32;16;8;4;2;1
22 16 52 22;11;34;17;52;26;13;40;20;10;5;16;8;4;2;1
23 16 160 23;70;35;106;53;160;80;40;20;10;5;16;8;4;2;1
24 11 24 24;12;6;3;10;5;16;8;4;2;1
25 24 88 25;76;38;19;58;29;88;44;22;11;34;17;52;26;13;40;20;10;5;16;8;4;2;1
26 11 40 26;13;40;20;10;5;16;8;4;2;1
27 112 9232 27;82;41;124;62;31;94;47;142;71;214;107;322;161;484;242;121;364;182;91;274;137;412;206;103;310;155;466;233;700;350;175;526;263;790;395;1186;593;1780;890;445;1336;668;334;167;502;251;754;377;1132;566;283;850;425;1276;638;319;958;479;1438;719;2158;1079;3238;1619;4858;2429;7288;3644;1822;911;2734;1367;4102;2051;6154;3077;9232;4616;2308;1154;577;1732;866;433;1300;650;325;976;488;244;122;61;184;92;46;23;70;35;106;53;160;80;40;20;10;5;16;8;4;2;1
28 19 52 28;14;7;22;11;34;17;52;26;13;40;20;10;5;16;8;4;2;1
29 19 88 29;88;44;22;11;34;17;52;26;13;40;20;10;5;16;8;4;2;1
30 19 160 30;15;46;23;70;35;106;53;160;80;40;20;10;5;16;8;4;2;1

Plot sequence lengths vs starting N

df_coll %>%
  filter(n>1) %>%
  ggplot(aes(n,seq_l)) +
  geom_line(alpha=.2) +
  geom_smooth() +
  labs(x='starting N',y='sequence length')
#> `geom_smooth()` using method = 'gam' and formula 'y ~ s(x, bs = "cs")'

Same with logarithmic N, showing seemingly linear relationship

df_coll %>%
  filter(n>1) %>%
  ggplot(aes(n,seq_l)) +
  geom_line(alpha=.2) +
  geom_smooth() +
  scale_x_log10() +
  labs(x='log(N)',y='sequence length')
#> `geom_smooth()` using method = 'gam' and formula 'y ~ s(x, bs = "cs")'

Top ratios of sequence lengths by starting N

df_coll %>%
  mutate(ratio=seq_l/n) %>%
  arrange(desc(ratio)) %>% 
  head(10) %>%
  mutate(rank=row_number(),ratio=round(ratio,2)) %>%
  select(rank,n,seq_l,ratio,everything()) %>%
  knitr::kable()
rank n seq_l ratio seq_max seq_s
1 27 112 4.15 9232 27;82;41;124;62;31;94;47;142;71;214;107;322;161;484;242;121;364;182;91;274;137;412;206;103;310;155;466;233;700;350;175;526;263;790;395;1186;593;1780;890;445;1336;668;334;167;502;251;754;377;1132;566;283;850;425;1276;638;319;958;479;1438;719;2158;1079;3238;1619;4858;2429;7288;3644;1822;911;2734;1367;4102;2051;6154;3077;9232;4616;2308;1154;577;1732;866;433;1300;650;325;976;488;244;122;61;184;92;46;23;70;35;106;53;160;80;40;20;10;5;16;8;4;2;1
2 31 107 3.45 9232 31;94;47;142;71;214;107;322;161;484;242;121;364;182;91;274;137;412;206;103;310;155;466;233;700;350;175;526;263;790;395;1186;593;1780;890;445;1336;668;334;167;502;251;754;377;1132;566;283;850;425;1276;638;319;958;479;1438;719;2158;1079;3238;1619;4858;2429;7288;3644;1822;911;2734;1367;4102;2051;6154;3077;9232;4616;2308;1154;577;1732;866;433;1300;650;325;976;488;244;122;61;184;92;46;23;70;35;106;53;160;80;40;20;10;5;16;8;4;2;1
3 41 110 2.68 9232 41;124;62;31;94;47;142;71;214;107;322;161;484;242;121;364;182;91;274;137;412;206;103;310;155;466;233;700;350;175;526;263;790;395;1186;593;1780;890;445;1336;668;334;167;502;251;754;377;1132;566;283;850;425;1276;638;319;958;479;1438;719;2158;1079;3238;1619;4858;2429;7288;3644;1822;911;2734;1367;4102;2051;6154;3077;9232;4616;2308;1154;577;1732;866;433;1300;650;325;976;488;244;122;61;184;92;46;23;70;35;106;53;160;80;40;20;10;5;16;8;4;2;1
4 3 8 2.67 16 3;10;5;16;8;4;2;1
5 7 17 2.43 52 7;22;11;34;17;52;26;13;40;20;10;5;16;8;4;2;1
6 47 105 2.23 9232 47;142;71;214;107;322;161;484;242;121;364;182;91;274;137;412;206;103;310;155;466;233;700;350;175;526;263;790;395;1186;593;1780;890;445;1336;668;334;167;502;251;754;377;1132;566;283;850;425;1276;638;319;958;479;1438;719;2158;1079;3238;1619;4858;2429;7288;3644;1822;911;2734;1367;4102;2051;6154;3077;9232;4616;2308;1154;577;1732;866;433;1300;650;325;976;488;244;122;61;184;92;46;23;70;35;106;53;160;80;40;20;10;5;16;8;4;2;1
7 9 20 2.22 52 9;28;14;7;22;11;34;17;52;26;13;40;20;10;5;16;8;4;2;1
8 54 113 2.09 9232 54;27;82;41;124;62;31;94;47;142;71;214;107;322;161;484;242;121;364;182;91;274;137;412;206;103;310;155;466;233;700;350;175;526;263;790;395;1186;593;1780;890;445;1336;668;334;167;502;251;754;377;1132;566;283;850;425;1276;638;319;958;479;1438;719;2158;1079;3238;1619;4858;2429;7288;3644;1822;911;2734;1367;4102;2051;6154;3077;9232;4616;2308;1154;577;1732;866;433;1300;650;325;976;488;244;122;61;184;92;46;23;70;35;106;53;160;80;40;20;10;5;16;8;4;2;1
9 55 113 2.05 9232 55;166;83;250;125;376;188;94;47;142;71;214;107;322;161;484;242;121;364;182;91;274;137;412;206;103;310;155;466;233;700;350;175;526;263;790;395;1186;593;1780;890;445;1336;668;334;167;502;251;754;377;1132;566;283;850;425;1276;638;319;958;479;1438;719;2158;1079;3238;1619;4858;2429;7288;3644;1822;911;2734;1367;4102;2051;6154;3077;9232;4616;2308;1154;577;1732;866;433;1300;650;325;976;488;244;122;61;184;92;46;23;70;35;106;53;160;80;40;20;10;5;16;8;4;2;1
10 1 2 2.00 1 1;1

Mean and Median of length/n

df_coll %>%
  filter(n>1) %>%
  mutate(ratio=seq_l/n,
         ratio_log=seq_l/log(n)) %>%
  summarize_at(vars(starts_with("ratio")),
               list(~mean,~median))
#> # A tibble: 1 x 4
#>   ratio_mean ratio_log_mean ratio_median ratio_log_median
#>        <dbl>          <dbl>        <dbl>            <dbl>
#> 1    0.00655           10.3      0.00220             9.50

Plot density of sequence lengths divided by starting N. Conjecture: peak is caused by seemingly linear trend in the seq_l vs log(N) graph.

df_coll %>%
  filter(n>1) %>%
  ggplot(aes(seq_l/n)) +
  geom_freqpoly(aes(y = ..density..)) +
  scale_x_log10() +
  labs(x='seq_length/N',
       y='density')

Same distribution for seq_l/log(N). Conjecture: peak(s) are caused by seemingly linear trend in the seq_l vs log(N) graph.

df_coll %>%
  filter(n>1) %>%
  ggplot(aes(seq_l/log(n))) +
  geom_freqpoly(aes(y = ..density..)) +
  scale_x_log10() +
  labs(x='seq_length/log(N)',
       y='density')

Happy Collatzing!

About

Study the basic behavior of Collatz Sequences

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published