cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-4 of 4 results.

A307409 a(n) = (A001222(n) - 1)*A001221(n).

Original entry on oeis.org

0, 0, 0, 1, 0, 2, 0, 2, 1, 2, 0, 4, 0, 2, 2, 3, 0, 4, 0, 4, 2, 2, 0, 6, 1, 2, 2, 4, 0, 6, 0, 4, 2, 2, 2, 6, 0, 2, 2, 6, 0, 6, 0, 4, 4, 2, 0, 8, 1, 4, 2, 4, 0, 6, 2, 6, 2, 2, 0, 9, 0, 2, 4, 5, 2, 6, 0, 4, 2, 6, 0, 8, 0, 2, 4, 4, 2, 6, 0, 8, 3, 2, 0, 9, 2, 2, 2, 6, 0, 9, 2, 4, 2, 2, 2, 10, 0, 4, 4, 6, 0, 6, 0, 6
Offset: 1

Views

Author

Mats Granvik, Apr 07 2019

Keywords

Comments

a(n) + 2 appears to differ from A000005 at n=1 and when n is a term of A320632. Verified up to n=3000.
If A320632 contains the numbers such that A001222(n) - A051903(n) > 1, then this sequence contains precisely the numbers p^k and p^k*q for distinct primes p and q. The comment follows, since d(p^k) = k+1 = (k-1)*1 + 2 and d(p^k*q) = 2k+2 = ((k+1)-1)*2 + 2. - Charlie Neder, May 14 2019
Positions of first appearances are A328965. - Gus Wiseman, Nov 05 2019
Regarding Neder's comment above, see also my comments in A322437. - Antti Karttunen, Feb 17 2021

Links

Crossrefs

Two less than A307408.
A113901(n) is bigomega(n) * omega(n).
A328958(n) is sigma_0(n) - bigomega(n) * omega(n).
Cf. A000005, A001221, A001222, A060687, A070175, A071625, A113901, A124010, A303555, A320632, A323023, A328956, A328957, A328964, A328965, A322437.

Programs

  • Mathematica
    a[n_] := (PrimeOmega[n] - 1)*PrimeNu[n];
aa = Table[a[n], {n, 1, 104}];
  • PARI
    a(n) = (bigomega(n) - 1)*omega(n); \\ Michel Marcus, May 15 2019

Formula

a(n) = (A001222(n) - 1)*A001221(n).
a(n) = binomial(A001222(n) - 1, 1)*binomial(A001221(n), 1).
a(n) = A307408(n) - 2.

A328959 a(n) = sigma_0(n) - 2 - (omega(n) - 1) * nu(n), where sigma_0 = A000005, nu = A001221, omega = A001222.

Original entry on oeis.org

-1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0
Offset: 1

Views

Author

Gus Wiseman, Nov 02 2019. The idea for this sequence came from Mats Granvik

Keywords

Comments

Conjecture: All terms are nonnegative except for a(1) = -1.

Examples

			a(72) = sigma_0(72) - 2 - (omega(72) - 1) * nu(72) = 12 - 2 - (5 - 1) * 2 = 2.

Links

Crossrefs

The positions of positive terms are conjectured to be A320632.
Positions of first appearances are A328963.
omega(n) * nu(n) is A113901(n).
(omega(n) - 1) * nu(n) is A307409.
sigma_0(n) - omega(n) * nu(n) is A328958(n).
Cf. A000005, A001221, A001222, A112798, A124010, A307408, A323023, A328956, A328960, A328961, A328962, A328965.

Programs

  • Mathematica
    Table[DivisorSigma[0,n]-2-(PrimeOmega[n]-1)*PrimeNu[n],{n,100}]
  • PARI
    A307408(n) = 2+((bigomega(n)-1)*omega(n));
A328959(n) = (numdiv(n) - A307408(n)); \\ Antti Karttunen, Nov 17 2019

Formula

a(n) = A000005(n) - A307408(n). - Antti Karttunen, Nov 17 2019

A328963 Smallest k such that n = sigma_0(k) - ((bigomega(k)-1)*omega(k)), where sigma_0 = A000005, omega = A001221, bigomega = A001222.

Original entry on oeis.org

1, 2, 36, 72, 144, 180, 576, 420, 360, 864, 1296, 720, 36864, 1080, 1440, 1260, 5184, 1800, 2160, 3360, 5760, 15552, 4620, 2520, 150994944, 6480, 5400, 13440, 8640, 6300, 9663676416, 5040, 12960, 9240, 331776, 7560, 186624, 248832, 34560, 10080, 1327104, 13860
Offset: 1

Views

Author

Gus Wiseman, Nov 02 2019

Keywords

Comments

a(n) = smallest k for which A328959(k) = n-2. a(31) > 2^28. - Antti Karttunen, Nov 17 2019
a(n) <= 2^(n-1)*3^2, with equality for n = 3, 4, 5, 7, 13, 25, 31, 43,... . - Giovanni Resta, Nov 18 2019

Examples

			The sequence of terms together with their prime signatures begins:
        1: ()
        2: (1)
       36: (2,2)
       72: (3,2)
      144: (4,2)
      180: (2,2,1)
      576: (6,2)
      420: (2,1,1,1)
      360: (3,2,1)
      864: (5,3)
     1296: (4,4)
      720: (4,2,1)
    36864: (12,2)
     1080: (3,3,1)
     1440: (5,2,1)
     1260: (2,2,1,1)
     5184: (6,4)
     1800: (3,2,2)
     2160: (4,3,1)
     3360: (5,1,1,1)
     5760: (7,2,1)
    15552: (6,5)
     4620: (2,1,1,1,1)
     2520: (3,2,1,1)
150994944: (24,2)

Crossrefs

Positions of first appearances in A328959.
All terms are in A025487.
Cf. A000005, A001221, A001222, A113901, A124010, A307409, A320632, A323023, A328956, A328958, A328963, A328964, A328965.

Programs

  • Mathematica
    dat=Table[DivisorSigma[0,n]-(PrimeOmega[n]-1)*PrimeNu[n],{n,1000}];
Table[Position[dat,i][[1,1]],{i,First[Split[Union[dat],#2==#1+1&]]}]
  • PARI
    search_up_to = 2^28;
A307408(n) = 2+((bigomega(n)-1)*omega(n));
A328959(n) = (numdiv(n) - A307408(n));
A328963(search_up_to) = { my(m=Map(),t,lista=List([])); for(n=1,search_up_to,t =
A328959(n); if(!mapisdefined(m,t+2), mapput(m,t+2,n))); for(u=1,oo,if(!mapisdefined(m,u,&t),return(Vec(lista)), listput(lista,t))); };
v328963 = A328963(search_up_to);
A328963(n) = v328963[n]; \\ Antti Karttunen, Nov 17 2019

Extensions

Definition corrected and terms a(25) - a(30) added by Antti Karttunen, Nov 17 2019
a(31)-a(42) from Giovanni Resta, Nov 18 2019

A322437 Number of unordered pairs of factorizations of n into factors > 1 where no factor of one divides any factor of the other.

Original entry on oeis.org

0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2
Offset: 1

Views

Author

Gus Wiseman, Dec 08 2018

Keywords

Comments

First differs from A322438 at a(144) = 3, A322438(144) = 4.
From Antti Karttunen, Dec 11 2020: (Start)
Zeros occur on numbers that are either of the form p^k, or q * p^k, or p*q*r, for some primes p, q, r, and exponent k >= 0. [Note also that in all these cases, when x > 1, A307408(x) = 2+A307409(x) = 2 + (A001222(x) - 1)*A001221(x) = A000005(x)].
Proof:
It is easy to see that for such numbers it is not possible to obtain two such distinct factorizations, that no factor of the other would not divide some factor of the other.
Conversely, the complement set of above is formed of such composites n that have at least one unitary divisor that is either of the form
(1) p^x * q^y, with x, y >= 2,
or
(2) p^x * q^y * r^z, with x >= 2, and y, z >= 1,
or
(3) p^x * q^y * r^z * s^w, with x, y, z, w >= 1,
where p, q, r, s are distinct primes. Let's indicate with C the remaining portion of k coprime to p, q, r and s (which could be also 1). Then in case (1) we can construct two factorizations, the first having factors (p*q*C) and (p^(x-1) * q^(y-1)), and the second having factors (p^x * C) and (q^y) that are guaranteed to satisfy the condition that no factor in the other factorization divides any of the factors of the other factorization. For case (2) pairs like {(p * q^y * C), (p^(x-1) * r^z)} and {(p^x * C), (q^y * r^z)}, and for case (3) pairs like {(p^x * q^y * C), (r^z * s^w)} and {(p^x * r^z * C), (q^y * s^w)} offer similar examples, therefore a(n) > 0 for all such cases.
(End)

Examples

			The a(120) = 2 pairs of such factorizations:
   (6*20)|(8*15)
   (8*15)|(10*12)
The a(144) = 3 pairs of factorizations:
   (6*24)|(9,16)
   (8*18)|(12*12)
   (9*16)|(12*12)
The a(210) = 3 pairs of factorizations:
   (6*35)|(10*21)
   (6*35)|(14*15)
  (10*21)|(14*15)
[Note that 210 is the first squarefree number obtaining nonzero value]
The a(240) = 4 pairs of factorizations:
   (6*40)|(15*16)
   (8*30)|(12*20)
  (10*24)|(15*16)
  (12*20)|(15*16)
The a(1728) = 14 pairs of factorizations:
    (6*6*48)|(27*64)
   (6*12*24)|(27*64)
     (6*288)|(27*64)
    (8*8*27)|(12*12*12)
  (12*12*12)|(27*64)
  (12*12*12)|(32*54)
    (12*144)|(27*64)
    (12*144)|(32*54)
    (16*108)|(24*72)
     (18*96)|(27*64)
     (24*72)|(27*64)
     (24*72)|(32*54)
     (27*64)|(36*48)
     (32*54)|(36*48)

Links

Crossrefs

Cf. A000688, A001055, A285572, A285573, A294068, A303362, A304713, A305149, A305150, A305193, A316476, A317144, A322435, A322436, A322441, A322442, A339626.
Cf. also comments A307408 and A307409.

Programs

  • Mathematica
    facs[n_]:=If[n<=1,{{}},Join@@Table[Map[Prepend[#,d]&,Select[facs[n/d],Min@@#>=d&]],{d,Rest[Divisors[n]]}]];
Table[Length[Select[Subsets[facs[n],{2}],And[!Or@@Divisible@@@Tuples[#],!Or@@Divisible@@@Reverse/@Tuples[#]]&]],{n,100}]
  • PARI
    factorizations(n, m=n, f=List([]), z=List([])) = if(1==n, listput(z,Vec(f)); z, my(newf); fordiv(n, d, if((d>1)&&(d<=m), newf = List(f); listput(newf,d); z = factorizations(n/d, d, newf, z))); (z));
is_ndf_pair(fac1,fac2) = { for(i=1,#fac1,for(j=1,#fac2,if(!(fac1[i]%fac2[j])||!(fac2[j]%fac1[i]),return(0)))); (1); };
number_of_ndfpairs(z) = sum(i=1,#z,sum(j=i+1,#z,is_ndf_pair(z[i],z[j])));
A322437(n) = number_of_ndfpairs(Vec(factorizations(n))); \\ Antti Karttunen, Dec 10 2020

Formula

For n > 0, a(A002110(n)) = A322441(n)/2 = A339626(n). - Antti Karttunen, Dec 10 2020

Extensions

Data section extended up to a(120) and more examples added by Antti Karttunen, Dec 10 2020
Showing 1-4 of 4 results.

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.