A365463 -id:A365463 - cp's OEIS frontend

A364957 Dirichlet inverse of A365463.

1, -2, -3, 3, -1, 6, -1, -12, 0, 3, -1, -9, -1, 2, 3, 35, -1, 0, -1, -10, 3, 3, -1, 36, -24, 2, 0, -3, -1, -9, -1, -82, 3, 2, -5, 0, -1, 2, 3, 37, -1, -6, -1, -10, 0, 3, -1, -105, 0, 46, 3, -6, -1, 0, -9, 18, 3, 3, -1, 30, -1, 2, 0, 226, -3, -9, -1, -6, 3, 12, -1, 0, -1, 2, 72, -3, 1, -6, -1, -127, 0, 3, -1, 9, -3, 2, 3

Offset: 1

Antti Karttunen, Sep 16 2023

sign

Antti Karttunen, Table of n, a(n) for n = 1..19683

Cf. A356867, A365463.

Cf. also A364257.

\\ Uses also code from A356867:
A365463(n) = gcd(n, A356867(n));
memoA364957 = Map();
A364957(n) = if(1==n,1,my(v); if(mapisdefined(memoA364957,n,&v), v, v = -sumdiv(n,d,if(dA365463(n/d)*A364957(d),0)); mapput(memoA364957,n,v); (v)));

a(1) = 1, and for n > 1, a(n) = -Sum_{d|n, dA365463(n/d) * a(d).

A356867 For n >= 1, write n = 3^m + k, where m >= 0 is the greatest power of 3 <= n, and k is in the range 0 <= k < 3^(m+1) - 3^m, then for n such that k=0, a(n)=n, and for n such that k > 0, a(n) is the smallest prime multiple p*a(k), p != 3, that is not already a term.

Original entry on oeis.org

1, 2, 3, 5, 4, 6, 10, 8, 9, 7, 14, 15, 25, 20, 12, 50, 16, 18, 35, 28, 30, 125, 40, 24, 100, 32, 27, 11, 22, 21, 55, 44, 42, 70, 56, 45, 49, 98, 75, 175, 140, 60, 250, 80, 36, 245, 196, 150, 625, 200, 48, 500, 64, 54, 77, 110, 105, 275, 88, 84, 350, 112, 90, 343

Offset: 1

David James Sycamore, Sep 01 2022

Any prime p may be used to generate a sequence D(p) of this kind. The present sequence is D(3), and D(2) is the Doudna sequence, A005940.
Conjectured to be a permutation of the positive integers in which the primes appear in order.
From Antti Karttunen, Sep 16 2023: (Start)
The conjecture is true: Sequence is a permutation of natural numbers. By definition it is injective, and the surjectivity is guaranteed by the fact that there are infinitely many such n > k encountered by the greedy algorithm that a(n) will be a multiple of a(k), and "the smallest prime multiple" condition guarantees that all multiples of a(k) will eventually appear. That the primes and A100484 appear in order follows from the formulas a(3^m + 1) = prime(m+2), and a(3^m + 2) = 2*prime(m+2).
If the base-3 representation of n-1 has the base-3 representation of k-1 as its suffix, then a(n) is a multiple of a(k). For example, A007089(16-1) = 120, and A007089(43-1) = 1120, thus the former is the suffix of the latter, and a(16) = 50 indeed divides a(43) = 250.
(End)

			n=1=3^0+0 so a(1)=1. n=2=3^0+1 so k=1 and a(2)=2. Similarly a(3)=3 and a(9)=9.
n=10=3^2+1, therefore k=1 and a(1)=1 so a(10)=1*7=7 (since 2 and 5 have already occurred).

Michael De Vlieger, Table of n, a(n) for n = 1..19683 (19683 = 3^9)
Michael De Vlieger, Fan style ternary tree showing a(n) for n = 1..3^9, with a heat map color function for level m where 3^m is blue, smaller values are bluer, and larger are yellow-green. The smallest value in level m is shown in purple and largest is shown in red.
Index entries for sequences that are permutations of the natural numbers

Cf. A007089, A007949, A011655, A048473, A100484, A053735, A364958 (fixed points), A365390 (inverse permutation), A365424, A365459, A365462 [= a(n)-n], A365463 [= gcd(a(n),n)], A365464, A365465, A365717 [= A348717(a(1+n))], A365719 [= A046523(a(1+n))], A365721 [= omega(a(1+n))], A365722 [= bigomega(a(1+n))].

Cf. also A005940, A364611, A364628 for variants D(2), D(5) and D(7).

Block[{a, c, i, j, k, m, t, nn}, nn = 64; m = 1; i = 2; p = Prime[i]; c[] = False; Do[Set[{m, k}, {1, n - p^Floor[Log[p, n]]}]; If[k == 0, Set[{a[n], c[n]}, {n, True}], While[Set[t, Prime[m] a[k]]; Or[m == i, c[t]], m++]; Set[{a[n], c[t]}, {t, True}]], {n, nn}]; Array[a, nn] ] (* _Michael De Vlieger, Sep 01 2022 *)

up_to = 19683;
A356867list(up_to) = { my(v=vector(up_to),met=Map(),h=0,ak); for(i=1,#v,if(1==vecsum(digits(i,3)), v[i] = i; h = i, ak = v[i-h]; forprime(p=2,,if(3!=p && !mapisdefined(met,p*ak), v[i] = p*ak; break))); mapput(met,v[i],i)); (v); };
v356867 = A356867list(up_to);
A356867(n) = v356867[n]; \\ Antti Karttunen, Sep 15 2023

from sympy import nextprime
from sympy.ntheory import digits
from itertools import count, islice
def b(n): return n - 3**(len(digits(n,3)) - 2)
def agen():
    aset, alst = set(), [None]
    for n in count(1):
        k = b(n)
        if k == 0: an = n
        else:
            ak, p = alst[k], 2
            while p == 3 or p*ak in aset: p = nextprime(p)
            an = p*ak
        yield an; aset.add(an); alst.append(an)
print(list(islice(agen(), 64))) # Michael S. Branicky, Sep 02 2022

a(3^m + 1) = prime(m+2) for m >= 1.
Conjectures from Jianing Song, Nov 23 2022: (Start)
(1) a(3^m+2) = 2*prime(m+2) for m >= 2. - [The conjecture is true because a(2) = 2 and 3^m + 2 < 3^(1+m) + (3^m) + 1 for all m - Antti Karttunen, Sep 16 2023]
(2) For n > m >= 1, a(3^n+3^m+1) = prime(m+2)^2 for n = m+1; prime(n+2)*prime(m+2)^2 for n >= m+2.
(3) For n > m >= 1, a(3^n+3^m+2) = 4*prime(n+2) for n >= 3, m = 1; 2*prime(m+2)^2 for n = m+1, m >= 2; 2*prime(m+2)*prime(m+3) for n = m+2, m >= 2; 2*prime(n+2)*prime(m+2)^2 for n >= m+3, m >= 2. (End)
From Antti Karttunen, Sep 17 2023: (Start)
If A053735(n) = 1, then a(n) = n, otherwise a(n) = A365424(n) * a(A365459(n)).
For all n >= 1, A007949(a(n)) = A007949(n) and a(3*n) = 3*a(n).
For n >= 1, a(3^n - 1) = 2^(2n - 1), a(A048473(n)) = 2^(2*(n-1)).
These are conjectures so far:
For n >= 1, a(3^n - 2) = 10^(n-1).
For n >= 2, a(3^n - 3) = A002023(n-2) = 6*4^(n-2).
(End)

More terms from Michael De Vlieger, Sep 01 2022

A365462 a(n) = A356867(n) - n.

Original entry on oeis.org

0, 0, 0, 1, -1, 0, 3, 0, 0, -3, 3, 3, 12, 6, -3, 34, -1, 0, 16, 8, 9, 103, 17, 0, 75, 6, 0, -17, -7, -9, 24, 12, 9, 36, 21, 9, 12, 60, 36, 135, 99, 18, 207, 36, -9, 199, 149, 102, 576, 150, -3, 448, 11, 0, 22, 54, 48, 217, 29, 24, 289, 50, 27, 279, 425, 309, 808, 212, 51, 1180, 89, 0, 1152, 318, 225, 3049, 323, 18

Offset: 1

Antti Karttunen, Sep 15 2023

sign

Antti Karttunen, Table of n, a(n) for n = 1..19683

Cf. A356867, A364958 (positions of 0's), A365463.

Cf. also A364499.

up_to = 19683;
A356867list(up_to) = { my(v=vector(up_to),met=Map(),h=0,ak); for(i=1,#v,if(1==vecsum(digits(i,3)), v[i] = i; h = i, ak = v[i-h]; forprime(p=2,,if(3!=p && !mapisdefined(met,p*ak), v[i] = p*ak; break))); mapput(met,v[i],i)); (v); };
v356867 = A356867list(up_to);
A356867(n) = v356867[n];
A365462(n) = (A356867(n)-n);

A365465 a(n) = A356867(n) / gcd(n, A356867(n)).

Original entry on oeis.org

1, 1, 1, 5, 4, 1, 10, 1, 1, 7, 14, 5, 25, 10, 4, 25, 16, 1, 35, 7, 10, 125, 40, 1, 4, 16, 1, 11, 22, 7, 55, 11, 14, 35, 8, 5, 49, 49, 25, 35, 140, 10, 250, 20, 4, 245, 196, 25, 625, 4, 16, 125, 64, 1, 7, 55, 35, 275, 88, 7, 350, 56, 10, 343, 98, 125, 875, 70, 40, 125, 160, 1, 1225, 196, 4, 3125, 400, 16, 1000, 8, 1, 13, 26

Offset: 1

Antti Karttunen, Sep 15 2023

nonn

Denominator of n / A356867(n).

Antti Karttunen, Table of n, a(n) for n = 1..19683

Cf. A356867, A365462, A365463, A365464 (numerators).

Cf. also A364502.

up_to = 19683;
A356867list(up_to) = { my(v=vector(up_to),met=Map(),h=0,ak); for(i=1,#v,if(1==vecsum(digits(i,3)), v[i] = i; h = i, ak = v[i-h]; forprime(p=2,,if(3!=p && !mapisdefined(met,p*ak), v[i] = p*ak; break))); mapput(met,v[i],i)); (v); };
v356867 = A356867list(up_to);
A356867(n) = v356867[n];
A365465(n) = (A356867(n)/gcd(n, A356867(n)));

a(n) = A356867(n) / A365463(n).

A365464 a(n) = n / gcd(n, A356867(n)).

Original entry on oeis.org

1, 1, 1, 4, 5, 1, 7, 1, 1, 10, 11, 4, 13, 7, 5, 8, 17, 1, 19, 5, 7, 22, 23, 1, 1, 13, 1, 28, 29, 10, 31, 8, 11, 17, 5, 4, 37, 19, 13, 8, 41, 7, 43, 11, 5, 46, 47, 8, 49, 1, 17, 13, 53, 1, 5, 28, 19, 58, 59, 5, 61, 31, 7, 64, 13, 22, 67, 17, 23, 7, 71, 1, 73, 37, 1, 76, 77, 13, 79, 5, 1, 82, 83, 28, 17, 43, 29, 44, 89, 10

Offset: 1

Antti Karttunen, Sep 15 2023

Numerator of n / A356867(n).

Antti Karttunen, Table of n, a(n) for n = 1..19683

Cf. A356867, A365462, A365463, A365465 (denominators).

Cf. also A364501.

up_to = 19683;
A356867list(up_to) = { my(v=vector(up_to),met=Map(),h=0,ak); for(i=1,#v,if(1==vecsum(digits(i,3)), v[i] = i; h = i, ak = v[i-h]; forprime(p=2,,if(3!=p && !mapisdefined(met,p*ak), v[i] = p*ak; break))); mapput(met,v[i],i)); (v); };
v356867 = A356867list(up_to);
A356867(n) = v356867[n];
A365464(n) = n/gcd(n, A356867(n));

a(n) = n / A365463(n).

cp's OEIS Frontend

A364957 Dirichlet inverse of A365463.

Views

Author

Keywords

Links

Crossrefs

Programs

PARI

Formula

A356867 For n >= 1, write n = 3^m + k, where m >= 0 is the greatest power of 3 <= n, and k is in the range 0 <= k < 3^(m+1) - 3^m, then for n such that k=0, a(n)=n, and for n such that k > 0, a(n) is the smallest prime multiple p*a(k), p != 3, that is not already a term.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Python

Formula

Extensions

A365462 a(n) = A356867(n) - n.

Views

Author

Keywords

Links

Crossrefs

Programs

PARI

A365465 a(n) = A356867(n) / gcd(n, A356867(n)).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

PARI

Formula

A365464 a(n) = n / gcd(n, A356867(n)).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

PARI

Formula