A354178 -id:A354178 - cp's OEIS frontend

A354179 Numbers whose square has a number of divisors that is coprime to 30.

1, 8, 27, 32, 64, 125, 216, 243, 256, 343, 512, 729, 864, 1000, 1331, 1728, 1944, 2048, 2197, 2744, 3125, 3375, 4000, 4913, 5832, 6561, 6859, 6912, 7776, 8000, 9261, 10648, 10976, 12167, 13824, 15552, 15625, 16384, 16807, 17576, 19683, 21952, 23328, 24389, 25000

Offset: 1

Amiram Eldar, May 18 2022

nonn

Numbers k such that gcd(d(k^2), 30) = 1, where d(k) is the number of divisors of k (A000005).

			8 is a term since A000005(8^2) = 7 and gcd(7, 30) = 1.

Michael De Vlieger, Table of n, a(n) for n = 1..10000 (first 1709 terms from Amiram Eldar)
Index entries for sequences computed from exponents in factorization of n.

Cf. A000005, A354178.

Subsequence of A350014.

Select[Range[25000], CoprimeQ[DivisorSigma[0, #^2], 30] &]

isok(m) = gcd(numdiv(m^2), 30) == 1; \\ Michel Marcus, May 19 2022

a(n) = sqrt(A354178(n)).

Sum_{n>=1} 1/a(n) = Product_{p prime} (p + p^4 + p^6 + p^7 + p^9 + p^10 + p^12 + p^15)/(p^15 - 1) = 1.2449394393...

A355269 Lexicographically earliest infinite sequence of distinct positive integers such that a(n+1) is prime to the number of divisors of a(n).

Original entry on oeis.org

1, 2, 3, 5, 7, 9, 4, 8, 11, 13, 15, 17, 19, 21, 23, 25, 10, 27, 29, 31, 33, 35, 37, 39, 41, 43, 45, 47, 49, 14, 51, 53, 55, 57, 59, 61, 63, 65, 67, 69, 71, 73, 75, 77, 79, 81, 6, 83, 85, 87, 89, 91, 93, 95, 97, 99, 101, 103, 105, 107, 109, 111, 113, 115, 117, 119

Offset: 1

David James Sycamore and Michael De Vlieger, Jun 26 2022

nonn

1,2,3 are the earliest consecutive numbers satisfying the definition, therefore these are the initial terms. The sequence is infinite since there is always a number prime to d(a(n)), and we take the least such as a(n+1).
Tau(k) is odd iff k is a square, therefore if a(n) is nonsquare, a(n+1) is odd. Consequently the sequence displays runs of consecutive odd nonsquare numbers, extending between successive odd squares, whereupon the parity of tau(a(n)) changes from even to odd. While odd numbers occur early, even numbers are very delayed because (in general) an even number can only be admitted following an odd square, or (on rarer occasions) following an even square subsequent to an odd square (the only time we observe two consecutive even terms).
Conjectures: When a(n) is square a(n+1) is even; no two squares of equal parity can appear as adjacent terms; sequence is a permutation of the positive integers with primes in natural order.
From Michael De Vlieger, Jun 28 2022: (Start)
Let j = a(n-1), k = a(n), tau(m) = A000005(m), and P(m) = A002110(m).
Theorem: prime p | tau(j) implies gcd(p, k) = 1. Consequence of sequence definition.
Even tau(j) implies nonsquare j (in A000037), which in turn implies odd k. Prime j implies tau(j) = 2, which in turn implies odd k. Therefore there is a significant tendency for k to be odd.
Square j (in A000290) implies odd tau(j) but do not necessarily lead to even k. For n > 3, the smallest missing numbers are even, therefore even k is likely to enter the sequence following square j.
Terms j such that tau(j) is coprime to 6, i.e., j in A352475, allow successor k such that 6 | k. For n > 7, the smallest missing number is divisible by 6 because we usually have gcd(tau(j), 6) > 1. Therefore k such that 6 | k likely follows j such that tau(j) is coprime to 6. A similar argument can be made regarding j such that tau(j) is coprime to 30, i.e., j in A354178.
Primorials appear latest in this sequence because they are divisible by the smallest primes. For example, a(1132) = 30 and a(4884401) = 210.
Generally, we have k : k | P(m) iff j : (tau(j), P(m)) = 1. Since gcd(tau(j), P(m)) > 1 is more common than gcd(tau(j), P(m)) = 1 for m > 1, we are apt to see k | P(m). (End)

			a(4)=5 because a(3)=3 has 2 divisors and 5 is the least unused term prime to 2. Likewise a(5) = 7, and a(6) = 9, the first odd square. Since 9 has 3 divisors a(7) is 4, the smallest unused number prime to 3, and the first occurrence of an even square, also having 3 divisors. Consequently a(8)=8, the smallest unused number prime to 3. Thus we see 4,8 the first occasion of a pair of adjacent even terms, consequence of odd square (9) followed by even square (4). The next occasion is a(67,68,69)=121,16,12.

Michael De Vlieger, Table of n, a(n) for n = 1..10000
Michael De Vlieger, Annotated log log scatterplot of a(n), n = 1..2^16, showing records in red and local minima in blue. Three prominent trajectories appear; that of odd and early terms mostly in red, that of terms divisible by 6 mostly in blue, and even numbers that are not divisible by 6 in green. (It may be that numbers divisible by 6 are not always minima; instead, numbers divisible by a larger primorial may be delayed to a greater degree than those merely divisible by 6 for large n.)

Cf. A000005, A000037, A000290, A002110, A352475, A354178, A354903, A016742, A016754.

Block[{a, c, j, k, u, v, nn}, nn = 120; a[1] = c[1] = j = 1; u = 2; v = 3; Do[k = u; If[EvenQ[j], k = v; While[Nand[c[k] == 0, CoprimeQ[j, k]], k += 2], While[Nand[c[k] == 0, CoprimeQ[j, k]], k++]]; Set[{a[i], c[k]}, {k, i}]; j = DivisorSigma[0, k]; If[k == u, While[c[u] != 0, u++]]; If[k == v, While[c[v] != 0, v += 2]], {i, 2, nn}]; Array[a, nn] ] (* Michael De Vlieger, Jun 28 2022 *)

from math import gcd
from sympy import divisor_count
from itertools import count, islice
def agen(): # generator of terms
    aset, k, mink = {1, 2}, 1, 3; yield from [1, 2]
    for n in count(3):
        an, k = k, mink
        while k in aset or not gcd(divisor_count(an), k) == 1: k += 1
        aset.add(k); yield k
        while mink in aset: mink += 1
print(list(islice(agen(), 66))) # Michael S. Branicky, Jun 28 2022

A358001 Numbers whose number of divisors is coprime to 210.

Original entry on oeis.org

1, 1024, 4096, 59049, 65536, 262144, 531441, 4194304, 9765625, 43046721, 60466176, 241864704, 244140625, 268435456, 282475249, 387420489, 544195584, 1073741824, 2176782336, 3869835264, 10000000000, 13841287201, 15479341056, 25937424601, 31381059609, 34828517376

Offset: 1

Michael De Vlieger, Dec 03 2022

nonn

210 is the product of the smallest 4 primes.
Numbers k such that gcd(d(k), 210) = 1, where d(k) is the number of divisors of k (A000005).
The square roots of terms are in A001694.

Michael De Vlieger, Table of n, a(n) for n = 1..5000

Subsequence of other sequences of numbers k such that gcd(d(k), m) = 1: A000290 (m=2), A336590 (m=3), A352475 (m=6), A354178 (m=30).

Cf. A000005, A001694, A008364.

With[{nn = 200000}, Select[Union@ Flatten@ Table[a^2*b^3, {b, nn^(1/3)}, {a, Sqrt[nn/b^3]}], CoprimeQ[DivisorSigma[0, #^2], 210] &]^2]

a(n) = A358250(n)^2.

Sum_{n>=1} 1/a(n) = Product_{p prime} (Sum_{k=2..210, gcd(k-1,210)=1} p^k)/(p^210-1) = 1.001258995976... . - Amiram Eldar, Dec 06 2022

cp's OEIS Frontend

A354179 Numbers whose square has a number of divisors that is coprime to 30.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A355269 Lexicographically earliest infinite sequence of distinct positive integers such that a(n+1) is prime to the number of divisors of a(n).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Python

A358001 Numbers whose number of divisors is coprime to 210.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

Formula