The OEIS is supported by the many generous donors to the OEIS Foundation. Hints (Greetings from The On-Line Encyclopedia of Integer Sequences!)
 A276085 Primorial base log-function: a(1) = 0, a(n) = (e1*A002110(i1-1) + ... + ez*A002110(iz-1)) for n = prime(i1)^e1 * ... * prime(iz)^ez, where prime(k) is the k-th prime, A000040(k) and A002110(k) (the k-th primorial) is the product of first k primes. 61

%I

%S 0,1,2,2,6,3,30,3,4,7,210,4,2310,31,8,4,30030,5,510510,8,32,211,

%T 9699690,5,12,2311,6,32,223092870,9,6469693230,5,212,30031,36,6,

%U 200560490130,510511,2312,9,7420738134810,33,304250263527210,212,10,9699691,13082761331670030,6,60,13,30032,2312,614889782588491410,7,216,33,510512,223092871,32589158477190044730,10

%N Primorial base log-function: a(1) = 0, a(n) = (e1*A002110(i1-1) + ... + ez*A002110(iz-1)) for n = prime(i1)^e1 * ... * prime(iz)^ez, where prime(k) is the k-th prime, A000040(k) and A002110(k) (the k-th primorial) is the product of first k primes.

%C Additive with a(p^e) = e * A002110(A000720(p)-1).

%C This is a left inverse of A276086 ("primorial base exp-function"), hence the new name. When the domain is restricted to the terms of A048103, this works also as a right inverse, as A276086(a(A048103(n))) = A048103(n) for all n >= 1. - _Antti Karttunen_, Apr 24 2022

%H Antti Karttunen, <a href="/A276085/b276085.txt">Table of n, a(n) for n = 1..2310</a>

%H <a href="/index/Pri#primorialbase">Index entries for sequences related to primorial base</a>

%H <a href="/index/Pri#primorial_numbers">Index entries for sequences related to primorial numbers</a>

%F a(1) = 0; for n > 1, a(n) = a(A028234(n)) + (A067029(n) * A002110(A055396(n)-1)).

%F Other identities.

%F For all n >= 0:

%F a(A276086(n)) = n.

%F a(A000040(1+n)) = A002110(n).

%F a(A002110(1+n)) = A143293(n).

%F From _Antti Karttunen_, Apr 24 & Apr 29 2022: (Start)

%F a(A283477(n)) = A283985(n).

%F a(A108951(n)) = A346105(n). [The latter has a similar additive formula as this sequence, but instead of primorials, uses their partial sums]

%F When applied to sequences where a certain subset of the divisors of n has been multiplicatively encoded with the help of A276086, this yields a corresponding number-theoretical sequence, i.e. completes their computation:

%F a(A319708(n)) = A001065(n) and a(A353564(n)) = A051953(n).

%F a(A329350(n)) = A069359(n) and a(A329380(n)) = A323599(n).

%F In the following group, the sum of the rhs-sequences is n [on each row, as say, A328841(n)+A328842(n)=n], because the pointwise product of the corresponding lhs-sequences is A276086:

%F a(A053669(n)) = A053589(n) and a(A324895(n)) = A276151(n).

%F a(A328571(n)) = A328841(n) and a(A328572(n)) = A328842(n).

%F a(A351231(n)) = A351233(n) and a(A327858(n)) = A351234(n).

%F a(A351251(n)) = A351253(n) and a(A324198(n)) = A351254(n).

%F The sum or difference of the rhs-sequences is A108951:

%F a(A344592(n)) = A346092(n) and a(A346091(n)) = A346093(n).

%F a(A346106(n)) = A346108(n) and a(A346107(n)) = A346109(n).

%F Here the two sequences are inverse permutations of each other:

%F a(A328624(n)) = A328625(n) and a(A328627(n)) = A328626(n).

%F a(A346102(n)) = A328622(n) and a(A346233(n)) = A328623(n).

%F a(A346101(n)) = A289234(n). [Self-inverse]

%F Other correspondences:

%F a(A324350(x,y)) = A324351(x,y).

%F a(A003961(A276086(n))) = A276154(n). [The primorial base left shift]

%F a(A276076(n)) = A351576(n). [Sequence reinterpreting factorial base representation as primorial base representation]

%F (End)

%t nn = 60; b = MixedRadix[Reverse@ Prime@ Range@ PrimePi[nn + 1]]; Table[FromDigits[#, b] &@ Reverse@ If[n == 1, {0}, Function[k, ReplacePart[Table[0, {PrimePi[k[[-1, 1]]]}], #] &@ Map[PrimePi@ First@ # -> Last@ # &, k]]@ FactorInteger@ n], {n, nn}] (* Version 10.2, or *)

%t f[w_List] := Total[Times @@@ Transpose@ {Map[Times @@ # &, Prime@ Range@ Range[0, Length@ w - 1]], Reverse@ w}]; Table[f@ Reverse@ If[n == 1, {0}, Function[k, ReplacePart[Table[0, {PrimePi[k[[-1, 1]]]}], #] &@ Map[PrimePi@ First@ # -> Last@ # &, k]]@ FactorInteger@ n], {n, 60}] (* _Michael De Vlieger_, Aug 30 2016 *)

%o (Scheme, with memoization-macro definec)

%o (definec (A276085 n) (cond ((= 1 n) (- n 1)) (else (+ (* (A067029 n) (A002110 (+ -1 (A055396 n)))) (A276085 (A028234 n))))))

%o (PARI)

%o A002110(n) = prod(i=1,n,prime(i));

%o A276085(n) = { my(f = factor(n)); sum(k=1, #f~, f[k, 2]*A002110(primepi(f[k, 1])-1)); }; \\ _Antti Karttunen_, Mar 15 2021

%o (Python)

%o from sympy import primorial, primepi, factorint

%o def a002110(n):

%o return 1 if n<1 else primorial(n)

%o def a(n):

%o f=factorint(n)

%o return sum(f[i]*a002110(primepi(i) - 1) for i in f)

%o print([a(n) for n in range(1, 101)]) # _Indranil Ghosh_, Jun 22 2017

%Y A left inverse of A276086.

%Y Cf. A000040, A000720, A002110, A028234, A048103, A049345, A055396, A067029, A108951, A143293, A276154, A328316, A328624, A328625, A328768, A328832, A346105, A351576.

%Y Cf. also A276075 for factorial base and A054841 for base-10 analog.

%K nonn

%O 1,3

%A _Antti Karttunen_, Aug 21 2016

%E Name amended by _Antti Karttunen_, Apr 24 2022

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

Last modified August 18 19:25 EDT 2022. Contains 356215 sequences. (Running on oeis4.)