%I #44 Apr 21 2021 07:12:05
%S 1,2,1,3,6,3,1,2,1,4,10,5,12,30,15,4,10,5,1,2,1,3,6,3,1,2,1,5,14,7,15,
%T 42,21,5,14,7,20,70,35,60,210,105,20,70,35,5,14,7,15,42,21,5,14,7,1,2,
%U 1,3,6,3,1,2,1,4,10,5,12,30,15,4,10,5,1,2,1,3,6
%N The first of a pair of coprime numbers whose factorizations depend on the ternary representation of n (see Comments for precise definition).
%C For n >= 0, with ternary representation Sum_{i=1..k} t_i * 3^e_i (all t_i in {1, 2} and all e_i distinct and in increasing order):
%C - let S(0) = A000961 \ { 1 },
%C - and S(i) = S(i-1) \ { p^(f + j), with p^f = the (e_i+1)-th term of S(i-1) and j > 0 } for any i=1..k,
%C - then a(n) = Product_{i=1..k such that t_i=1} "the (e_i+1)-th term of S(k)".
%C See A289816 for the second coprime number.
%C See A289838 for the product of this sequence with A289816.
%C By design, gcd(a(n), A289816(n)) = 1.
%C Also, the number of distinct prime factors of a(n) equals the number of ones in the ternary representation of n.
%C We also have a(n) = A289816(A004488(n)) for any n >= 0.
%C For each pair of coprime numbers, say x and y, there is a unique index, say n, such that a(n) = x and A289816(n) = y; in fact, n = A289905(x,y).
%C This sequence combines features of A289813 and A289272.
%C The scatterplot of the first terms of this sequence vs A289816 (both with logarithmic scaling) looks like a triangular cristal.
%C For any t > 0: we can adapt the algorithm used here and in A289816 in order to uniquely enumerate every tuple of t mutually coprime numbers (see Links section for corresponding program).
%H Rémy Sigrist, <a href="/A289815/b289815.txt">Table of n, a(n) for n = 0..10000</a>
%H Rémy Sigrist, <a href="/A289815/a289815.png">Scatterplot of the first 10000 terms of A289815 vs A289816 (both with logarithmic scaling)</a>
%H Rémy Sigrist, <a href="/A289815/a289815.gp.txt">PARI program to uniquely enumerate tuples of mutually coprime numbers</a>
%F a(A005836(n)) = A289272(n-1) for any n > 0.
%F a(2 * A005836(n)) = 1 for any n > 0.
%e For n=42:
%e - 42 = 2*3^1 + 1*3^2 + 1*3^3,
%e - S(0) = { 2, 3, 4, 5, 7, 8, 9, 11, 13, 16, 17, 19, 23, 25, 27, 29, ... },
%e - S(1) = S(0) \ { 3^(1+j) with j > 0 }
%e = { 2, 3, 4, 5, 7, 8, 11, 13, 16, 17, 19, 23, 25, 29, ... },
%e - S(2) = S(1) \ { 2^(2+j) with j > 0 }
%e = { 2, 3, 4, 5, 7, 11, 13, 17, 19, 23, 25, 29, ... },
%e - S(3) = S(2) \ { 5^(1+j) with j > 0 }
%e = { 2, 3, 4, 5, 7, 11, 13, 17, 19, 23, 29, ... },
%e - a(42) = 4 * 5 = 20.
%o (PARI) a(n) =
%o {
%o my (v=1, x=1);
%o for (o=2, oo,
%o if (n==0, return (v));
%o if (gcd(x,o)==1 && omega(o)==1,
%o if (n % 3, x *= o);
%o if (n % 3==1, v *= o);
%o n \= 3;
%o );
%o );
%o }
%o (Python)
%o from sympy import gcd, primefactors
%o def omega(n): return 0 if n==1 else len(primefactors(n))
%o def a(n):
%o v, x, o = 1, 1, 2
%o while True:
%o if n==0: return v
%o if gcd(x, o)==1 and omega(o)==1:
%o if n%3: x*=o
%o if n%3==1:v*=o
%o n //= 3
%o o+=1
%o print([a(n) for n in range(101)]) # _Indranil Ghosh_, Aug 02 2017
%Y Cf. A000961, A004488, A289272, A289813, A289816, A289838, A289905.
%K nonn,base,look
%O 0,2
%A _Rémy Sigrist_, Jul 12 2017
|