A358267 -id:A358267 - cp's OEIS frontend

A357963 a(1)=1, a(2)=2. Thereafter, if there are prime divisors p of a(n-1) which do not divide a(n-2), a(n) is the least novel multiple of any such p. Otherwise a(n) is the least novel multiple of the squarefree kernel of a(n-1). See comments.

1, 2, 4, 6, 3, 9, 12, 8, 10, 5, 15, 18, 14, 7, 21, 24, 16, 20, 25, 30, 22, 11, 33, 27, 36, 26, 13, 39, 42, 28, 56, 70, 35, 105, 45, 60, 32, 34, 17, 51, 48, 38, 19, 57, 54, 40, 50, 80, 90, 63, 49, 77, 44, 46, 23, 69, 66, 52, 65, 55, 88, 58, 29, 87, 72, 62, 31, 93

Offset: 1

David James Sycamore, Oct 22 2022

nonn

In other words, if a(n-1) has k prime divisors p_j, 1 <= j <= k which do not divide a(n-2), where 1 <= k <= omega(a(n-1)), and if m_j*p_j is the least multiple of p_j which is not already a term, then a(n) = Min{m_j*p_j; 1<=j<=k}. Otherwise every prime divisor of a(n-1) also divides a(n-2), in which case a(n) is the least multiple of the squarefree kernel of a(n-1) which is not already a term. If a(n-1) and a(n-2) are coprime the computation of a(n) ranges over all prime divisors of a(n-1). This happens only once (n=3), after which all adjacent terms share a common divisor (as in the EKG sequence, A064413).
Departs from A064413 and A352187 at a(19), a(31) respectively, and apparently shares the way odd primes are proven to appear in the former and conjectured to appear in the latter; namely as 2*p, p, 3*p.
Conjectures: Permutation of the positive integers with primes in natural order, appearing in same way as in EKG.
From Michael De Vlieger, Oct 22 2022 (Start)
An algorithm similar to the Rains algorithm for the EKG sequence efficiently generates the sequence.
Like the EKG sequence, this sequence forces primes into divisibility; Primes divide their predecessors and successors. Consequently they exhibit Lagarias-Rains-Sloane chain 2p -> p -> 3p outside of p = 2, just as in the EKG sequence.
Let us define several quasi-rays conspicuous in the scatterplot. From lowest to highest apparent slope, we have the following:
- beta: local minima, i.e., a(1)=1 and primes p in order.
- gamma: 2p, 4p, and certain other composites.
- alpha-k: k*p from large k to k = 3. This system appears as a series of fine quasi-rays, with 3p generally comprising records.
Records are 3p outside of {1, 2, 4, 12, 18, 24, 25, 30, 36, 42, 56, 70, 105}.
a(33) = 35 behaves like a prime; 70 precedes and 105 follows it. a(34) = 105 is conspicuous as it appears earlier than expected. (End)

			a(1)=1, a(2)=2 and 2 divides 2 but does not divide 1. Since 2 is the only prime divisor of 2, a(3) = 4, the least unused multiple of 2.
Since every prime divisor of a(3)=4 also divides a(2)=2, a(4) = 6, the least novel multiple of the squarefree kernel of 4.
a(19), a(20)=25, 30, and 30 has two prime divisors (2,3) which do not divide 25. The least multiples of 2, 3 not seen already are 22, 27 respectively, so a(21)=22.
a(29), a(30)=42, 28 and every prime dividing 28 (2,7) also divides 42, so a(31) is 56, the least novel multiple of 14 (squarefree kernel of 28).

Michael De Vlieger, Table of n, a(n) for n = 1..10000
Michael De Vlieger, Scatterplot of a(n), n = 1..120, highlighting primes p in red, 2p in blue, and 3p in green.
Michael De Vlieger, Log-log scatterplot of a(n), n = 1..2^12, labeling the first 64 terms, showing records in red and local minima in blue, highlighting primes in green and other prime powers in gold. As n increases, the quasi-ray 5*p shows prominently just under the records.
Michael De Vlieger, Log-log scatterplot of a(n), n = 1..2^20, demonstrating fine quasi-rays.

Cf. A001221, A064413, A352187, A336957, A357942, A357992, A357994, A358267.

Block[{a, c, f, g, k, m, q, nn}, nn = 68; c[] = False; q[] = 1; Array[Set[{a[#], c[#]}, {#, True}] &, 2]; q[2] = 2; Do[m = FactorInteger[a[n - 1]][[All, 1]]; f = Select[m, CoprimeQ[#, a[n - 2]] &]; If[Length[f] == 0, While[Set[k, # q[#]]; c[k], q[#]++] &[Times @@ m], Set[{k, q[#1]}, {#2, #2/#1}] & @@ First@ MinimalBy[Map[{#, Set[g, q[#]]; While[c[g #], g++]; # g} &, f], Last] ]; Set[{a[n], c[k]}, {k, True}], {n, 3, nn}]; Array[a, nn] ] (* Michael De Vlieger, Oct 22 2022 *)

More terms from Michael De Vlieger, Oct 22 2022

A357992 a(1)=1,a(2)=2,a(3)=3. Thereafter, if there are prime divisors p of a(n-2) which do not divide a(n-1), a(n) is the least novel multiple of any such p. Otherwise a(n) is the least novel multiple of the squarefree kernel of a(n-2).

Original entry on oeis.org

1, 2, 3, 4, 6, 8, 9, 10, 12, 5, 14, 15, 7, 18, 21, 16, 24, 20, 27, 22, 30, 11, 25, 33, 35, 36, 28, 39, 26, 42, 13, 32, 52, 34, 65, 17, 40, 51, 38, 45, 19, 48, 57, 44, 54, 55, 46, 50, 23, 56, 69, 49, 60, 63, 58, 66, 29, 62, 87, 31, 72, 93, 64, 75, 68, 70, 85, 74

Offset: 1

David James Sycamore, Oct 23 2022

nonn

In other words, if a(n-2) has k prime divisors p_j; 1 <= j <= k which do not divide a(n-1), where 1 <= k <= omega(a(n-2)), and if m_j*p_j is the least multiple of p_j which is not already a term, then a(n) = Min{m_j*p_j; 1 <= j <= k}. Otherwise, every prime divisor of a(n-2) also divides a(n-1), in which case a(n) is the least multiple of the squarefree kernel of a(n-2) which is not already a term.
Unlike in A064413, a prime p occurrence here is not directly flanked by multiples of p, but by numbers x, y sharing divisors other than p. The terms preceding and following x and y are divisible by p. Typically we observe m*p, x, p, y, r*p, where gcd(x, y) > 1, for multiples m,r of p which do not always follow the (2,3) pattern observed in A064413 and elsewhere. The case of p = 13 is remarkable for being preceded and followed by two multiples of itself (the first five multiples of 13 occur within the span of eight consecutive terms).
Conjecture 1: A permutation of the positive integers with primes in natural order.
Conjecture 2: The primes are the slowest numbers to appear (see also A352187).

			With a(2)=2, and a(3)=3, a(4) must be 4, the least unused multiple of 2.
Likewise, with a(3),a(4) = 3,4 a(5) must be the 6, the least unused multiple of 3.
Since every divisor of 4 also divides 6 a(6) = 8, the least unused multiple of 2, (squarefree kernel of 4).
Since a(8),a(9) = 10,12 and 5 is the only prime dividing 10 but not 12, it follows that a(10) = 5.

Michael De Vlieger, Table of n, a(n) for n = 1..16384
Michael De Vlieger, Scatterplot of a(n), n = 1..2^20.
Michael De Vlieger, Log-log scatterplot of a(n), n = 1..2^12 labeling records in red, local minima in blue, highlighting primes in green and other prime powers in gold.

Cf. A001221, A064413, A352187, A357942, A357963, A357994, A358267.

Block[{a, c, f, g, k, m, q, nn}, nn = 68; c[] = False; q[] = 1; Array[Set[{a[#], c[#]}, {#, True}] &, 2]; q[2] = 2; Do[m = FactorInteger[a[n - 2]][[All, 1]]; f = Select[m, CoprimeQ[#, a[n - 1]] &]; If[Length[f] == 0, While[Set[k, #* q[#]]; c[k], q[#]++] &[Times @@ m], Set[{k, q[#1]}, {#2, #2/#1}] & @@ First@ MinimalBy[Map[{#, Set[g, q[#]]; While[c[g #], g++]; # g} &, f], Last]]; Set[{a[n], c[k]}, {k, True}], {n, 3, nn}]; Array[a, nn]] (* Michael De Vlieger, Oct 23 2022 *)

More terms from Michael De Vlieger, Oct 23 2022

A357994 a(1)=1, a(2)=2. Thereafter, if there are prime divisors p of a(n-1) which do not divide a(n-2), a(n) is the greatest least multiple of any such p which has not already occurred. Otherwise a(n) is the least novel multiple of the squarefree kernel of a(n-1). (see comments).

Original entry on oeis.org

1, 2, 4, 6, 3, 9, 12, 8, 10, 5, 15, 18, 14, 7, 21, 24, 16, 20, 25, 30, 27, 33, 11, 22, 26, 13, 39, 36, 28, 35, 40, 32, 34, 17, 51, 42, 49, 56, 38, 19, 57, 45, 50, 44, 55, 60, 48, 54, 66, 77, 63, 69, 23, 46, 52, 65, 70, 84, 72, 78, 91, 98, 58, 29, 87, 75, 80, 62

Offset: 1

David James Sycamore, Oct 23 2022

In other words, if a(n-1) has k prime divisors p_j; 1 <= j <= k which do not divide a(n-2), where 1 <= k <= omega(a(n-1)), and if m_j*p_j is the least multiple of p_j which is not already a term, then a(n) = Max{m_j*p_j; 1 <= j <= k}. Otherwise every prime divisor of a(n-1) also divides a(n-2), in which case a(n) is the least multiple of the squarefree kernel of a(n-1) which has not already occurred.
Companion to A357963, (which uses "Min" rather than "Max" in selection of a(n)). The first departure from A357963 occurs at a(21) because a(19),a(20) = 25,30, and 30 has two divisors (2,3) which do not divide 25. Of these the least multiples not occurring already are 22, and 27 respectively. At this point in A357963 22 is the chosen term, whereas here a(21) = 27. This has the effect of temporarily reversing (for the next prime = 11) the normal way primes seem to arrive in this sequence (2p,p,3p, as in A064413). Thus we see 30,27,33,11,22 (3p,p,2p). This may happen elsewhere in the data, consequent to choice of "Max" over "Min".
Conjecture: Permutation of the positive integers; primes being in natural order, and the slowest numbers to appear (as in A352187).

			a(1),a(2)=1,2 and 2 is the only prime dividing 2 which does not divide 1, therefore a(3)=4, the least multiple of 2 which has not occurred already. In this case (as in all terms up to and including a(20)), "Max" gives the same term as "Min".

Michael De Vlieger, Table of n, a(n) for n = 1..16384
Michael De Vlieger, Scatterplot of a(n), n = 1..120, showing primes p in red, 2p in blue, and 3p in green, for comparison to A064413.
Michael De Vlieger, Scatterplot of a(n), n = 1..2^20.
Michael De Vlieger, Log-log scatterplot of a(n), n = 1..2^14, labeling records in red and local minima in blue, highlighting primes in green, prime squares in light blue, and other prime powers in gold. Demonstrates delayed 17^2 and 19^2, early records such as a(268) = 455.

Cf. A001221, A064413, A352187, A357942, A357963, A357992, A358267.

Block[{a, c, d, f, g, k, q, u, nn}, nn = 68; c[] = False; q[] = 1; Array[Set[{a[#], c[#]}, {#, True}] &, 2]; q[2] = 2; Do[m = FactorInteger[a[n - 1]][[All, 1]]; f = Select[m, CoprimeQ[#, a[n - 2]] &]; If[Length[f] == 0, While[Set[k, # q[#]]; c[k], q[#]++] &[Times @@ m], Set[{k, q[#1]}, {#2, #2/#1}] & @@ First@ MaximalBy[Map[{#, Set[g, q[#]]; While[c[g #], g++]; # g} &, f], Last] ]; Set[{a[n], c[k]}, {k, True}], {n, 3, nn}]; Array[a, nn] ] (* Michael De Vlieger, Oct 23 2022 *)

More terms by Michael De Vlieger, Oct 23 2022

cp's OEIS Frontend

A357963 a(1)=1, a(2)=2. Thereafter, if there are prime divisors p of a(n-1) which do not divide a(n-2), a(n) is the least novel multiple of any such p. Otherwise a(n) is the least novel multiple of the squarefree kernel of a(n-1). See comments.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Extensions

A357992 a(1)=1,a(2)=2,a(3)=3. Thereafter, if there are prime divisors p of a(n-2) which do not divide a(n-1), a(n) is the least novel multiple of any such p. Otherwise a(n) is the least novel multiple of the squarefree kernel of a(n-2).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Extensions

A357994 a(1)=1, a(2)=2. Thereafter, if there are prime divisors p of a(n-1) which do not divide a(n-2), a(n) is the greatest least multiple of any such p which has not already occurred. Otherwise a(n) is the least novel multiple of the squarefree kernel of a(n-1). (see comments).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Extensions