A335324 -id:A335324 - cp's OEIS frontend

A252895 Numbers with an odd number of square divisors.

1, 2, 3, 5, 6, 7, 10, 11, 13, 14, 15, 16, 17, 19, 21, 22, 23, 26, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39, 41, 42, 43, 46, 47, 48, 51, 53, 55, 57, 58, 59, 61, 62, 65, 66, 67, 69, 70, 71, 73, 74, 77, 78, 79, 80, 81, 82, 83, 85, 86, 87, 89, 91, 93, 94, 95, 96, 97

Offset: 1

Walker Dewey Anderson, Mar 22 2015

nonn

Open lockers in the locker problem where the student numbers are the set of perfect squares.
The locker problem is a classic mathematical problem. Imagine a row containing an infinite number of lockers numbered from one to infinity. Also imagine an infinite number of students numbered from one to infinity. All of the lockers begin closed. The first student opens every locker that is a multiple of one, which is every locker. The second student closes every locker that is a multiple of two, so all of the even-numbered lockers are closed. The third student opens or closes every locker that is a multiple of three. This process continues for all of the students. [This is sometimes called the light switch problem - see A360845.]
A variant on the locker problem is when not all student numbers are considered; in the case of this sequence, only the square-numbered students open and close lockers. The sequence here is a list of the open lockers after all of the students have gone.
n is in the sequence if and only if it is the product of a squarefree number (A005117) and a fourth power (A000583). - Robert Israel, Apr 07 2015
Let D be the multiset containing d0(k), the divisor counting function, for each divisor k of n. n is in the sequence if and only if D admits a partition into two parts A and B such that the sum of the elements of A is exactly one more or less than the sum of the elements of B. For example, if n = 80, we have D = {1, 2, 2, 3, 4, 4, 5, 6, 8, 10}, and A = {1, 2, 3, 4, 4, 8} and B = {2, 5, 6, 10}. The sum of A is 22, and the sum of B is 23. - Griffin N. Macris, Oct 10 2016
From Amiram Eldar, Jul 07 2020: (Start)
Numbers k such that the largest square dividing k (A008833) is a fourth power.
The asymptotic density of this sequence is Pi^2/15 = A182448 = 0.657973... (Cesàro, 1885). (End)
Closed under the binary operation A059897(.,.), forming a subgroup of the positive integers under A059897. - Peter Munn, Aug 01 2020

			The set of divisors of 6 is {1,2,3,6}, which contains only one perfect square: 1; therefore 6 is a term.
The set of divisors of 16 is {1,2,4,8,16}, which contains three perfect squares: 1, 4, and 16; therefore 16 is a term.
The set of divisors of 4 is {1,2,4}, which contains two perfect squares: 1 and 4; therefore 4 is not a term.

Reinhard Zumkeller, Table of n, a(n) for n = 1..10000
Ernest Cesàro, Le plus grand diviseur carré, Annali di Matematica Pura ed Applicata, Vol. 13, No. 1 (1885), pp. 251-268, entire volume.
K. A. P. Dagal, Generalized Locker Problem, arXiv:1307.6455 [math.NT], 2013.
B. Torrence and S. Wagon, The Locker Problem, Crux Mathematicorum, 2007, 33(4), 232-236.

Cf. A000290, A000583, A005117, A008833, A046951, A182448, A252849, A360845.

Positions of ones in A335324.

a252895 n = a252895_list !! (n-1)
a252895_list = filter (odd . a046951) [1..]
-- Reinhard Zumkeller, Apr 06 2015

N:= 1000: # to get all terms <= N
S:= select(numtheory:-issqrfree, {$1..N}):
map(s -> seq(s*i^4, i = 1 .. floor((N/s)^(1/4))), S);
# if using Maple 11 or earlier, uncomment the next line
# sort(convert(%,list)); # Robert Israel, Apr 07 2015

Position[Length@ Select[Divisors@ #, IntegerQ@ Sqrt@ # &] & /@ Range@ 70, Integer?OddQ] // Flatten (* _Michael De Vlieger, Mar 23 2015 *)
a[n_] := DivisorSigma[0, Total[EulerPhi/@Select[Sqrt[Divisors[n]], IntegerQ]]]; Flatten[Position[a/@Range@100,?OddQ]] (* _Ivan N. Ianakiev, Apr 07 2015 *)
Select[Range@ 100, OddQ@ Length@ DeleteCases[Divisors@ #, k_ /; ! IntegerQ@ Sqrt@ k] &] (* Michael De Vlieger, Oct 10 2016 *)

isok(n) = sumdiv(n, d, issquare(d)) % 2; \\ Michel Marcus, Mar 22 2015

[n for n in [1..200] if len([x for x in divisors(n) if is_square(x)])%2==1] # Tom Edgar, Mar 22 2015

A252849 Numbers with an even number of square divisors.

Original entry on oeis.org

4, 8, 9, 12, 18, 20, 24, 25, 27, 28, 36, 40, 44, 45, 49, 50, 52, 54, 56, 60, 63, 64, 68, 72, 75, 76, 84, 88, 90, 92, 98, 99, 100, 104, 108, 116, 117, 120, 121, 124, 125, 126, 128, 132, 135, 136, 140, 144, 147, 148

Offset: 1

Walker Dewey Anderson, Mar 22 2015

nonn

Closed lockers in the locker problem where the student numbers are the set of perfect squares.
The locker problem is a classic mathematical problem. Imagine a row containing an infinite number of lockers numbered from one to infinity. Also imagine an infinite number of students numbered from one to infinity. All of the lockers begin closed. The first student opens every locker that is a multiple of one, which is every locker. The second student closes every locker that is a multiple of two, so all of the even-numbered lockers are closed. The third student opens or closes every locker that is a multiple of three. This process continues for all of the students.
A variant on the locker problem is when not all student numbers are considered; in the case of this sequence, only the square-numbered students open and close lockers. The sequence here is a list of the closed lockers after all of the students have gone.
From Amiram Eldar, Jul 07 2020: (Start)
Numbers k such that the largest square dividing k (A008833) is not a fourth power.
The asymptotic density of this sequence is 1 - Pi^2/15 = 1 - A182448 = 0.342026... (Cesàro, 1885). (End)
Closed under application of A331590: for n, k >= 1, A331590(a(n), k) is in the sequence. - Peter Munn, Sep 18 2020

Reinhard Zumkeller, Table of n, a(n) for n = 1..10000
Ernest Cesàro, Le plus grand diviseur carré, Annali di Matematica Pura ed Applicata, Vol. 13, No. 1 (1885), pp. 251-268, entire volume.
K. A. P. Dagal, Generalized Locker Problem, arXiv:1307.6455 [math.NT], 2013.
B. Torrence and S. Wagon, The Locker Problem, Crux Mathematicorum, 2007, 33(4), 232-236.

Complement of A252895.
A046951, A335324 are used in a formula defining this sequence.
Disjoint union of A336593 and A336594.
A030140, A038109, A082293, A217319 are subsequences.
Cf. A000290, A008833, A182448, A331590.
Ordered 3rd trisection of A225546.

a252849 n = a252849_list !! (n-1)
a252849_list = filter (even . a046951) [1..]
-- Reinhard Zumkeller, Apr 06 2015

Position[Length@ Select[Divisors@ #, IntegerQ@ Sqrt@ # &] & /@ Range@ 150, Integer?EvenQ] // Flatten (* _Michael De Vlieger, Mar 23 2015 *)

isok(n) = sumdiv(n, d, issquare(d)) % 2 == 0; \\ Michel Marcus, Mar 22 2015

From Peter Munn, Sep 18 2020: (Start)
Numbers k such that A046951(k) mod 2 = 0.
Numbers k such that A335324(k) > 1.
(End)

A337533 1 together with nonsquares whose square part's square root is in the sequence.

Original entry on oeis.org

1, 2, 3, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 65, 66, 67, 68

Offset: 1

Peter Munn, Aug 31 2020

The appearance of a number is determined by its prime signature.
Every squarefree number is present, as the square root of the square part of a squarefree number is 1. Other 4th-power-free numbers are present if and only if they are nonsquare.
If the square part of nonsquarefree k is a 4th power, k does not appear.
Every positive integer k is the product of a unique subset S_k of the terms of A050376, which are arranged in array form in A329050 (primes in column 0, squares of primes in column 1, 4th powers of primes in column 2 and so on). k > 1 is in this sequence if and only if the members of S_k occur in consecutive columns of A329050, starting with column 0.
If the qualifying condition in the previous paragraph was based on the rows instead of the columns of A329050, we would get A055932. The self-inverse function defined by A225546 transposes A329050. A225546 also has multiplicative properties such that if we consider A055932 and this sequence as sets, A225546(.) maps the members of either set 1:1 onto the other set.

			4 is square and not 1, so 4 is not in the sequence.
12 = 3 * 2^2 is nonsquare, and has square part 4, whose square root (2) is in the sequence. So 12 is in the sequence.
32 = 2 * 4^2 is nonsquare, but has square part 16, whose square root (4) is not in the sequence. So 32 is not in the sequence.

Robert Israel, Table of n, a(n) for n = 1..10000
Eric Weisstein's World of Mathematics, Square part
Index to sequences related to prime signature

Complement of A337534.
Closed under A000188(.).
A209229, A267116 are used in a formula defining this sequence.
Subsequences: A005117, A036537, A179646, A179666, A179669, A189987, A191554, A191555, A298207, A317090.
Subsequence of A164514.
A007913, A008833, A008835, A335324 give the squarefree, square and comparably related parts of a number.
Cf. A050376, A329050.
Related to A055932 via A225546.

S:= {1}:
for n from 2 to 100 do
  if not issqr(n) then
    F:= ifactors(n)[2];
    s:= mul(t[1]^floor(t[2]/2),t=F);
    if member(s,S) then S:= S union {n} fi
  fi
od:
sort(convert(S,list)); # Robert Israel, Jan 07 2025

pow2Q[n_] := n == 2^IntegerExponent[n, 2]; Select[Range[100], # == 1 || pow2Q[1 + BitOr @@ (FactorInteger[#][[;; , 2]])] &] (* Amiram Eldar, Sep 18 2020 *)

Numbers m such that A209229(A267116(m) + 1) = 1.
If A008835(a(n)) > 1 then A335324(a(n)) > 1.
If A008833(a(n)) > 1 then A007913(a(n)) > 1.

A352780 Square array A(n,k), n >= 1, k >= 0, read by descending antidiagonals, such that the row product is n and column k contains only (2^k)-th powers of squarefree numbers.

Original entry on oeis.org

1, 1, 2, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 4, 5, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 9, 10, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 11, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 13, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 14

Offset: 1

Antti Karttunen and Peter Munn, Apr 02 2022

This is well-defined because positive integers have a unique factorization into powers of nonunit squarefree numbers with distinct exponents that are powers of 2.
Each (infinite) row is the lexicographically earliest with product n and terms that are a (2^k)-th power for all k.
For all k, column k is column k+1 of A060176 conjugated by A225546.

			The top left corner of the array:
  n/k |   0   1   2   3   4   5   6
------+------------------------------
    1 |   1,  1,  1,  1,  1,  1,  1,
    2 |   2,  1,  1,  1,  1,  1,  1,
    3 |   3,  1,  1,  1,  1,  1,  1,
    4 |   1,  4,  1,  1,  1,  1,  1,
    5 |   5,  1,  1,  1,  1,  1,  1,
    6 |   6,  1,  1,  1,  1,  1,  1,
    7 |   7,  1,  1,  1,  1,  1,  1,
    8 |   2,  4,  1,  1,  1,  1,  1,
    9 |   1,  9,  1,  1,  1,  1,  1,
   10 |  10,  1,  1,  1,  1,  1,  1,
   11 |  11,  1,  1,  1,  1,  1,  1,
   12 |   3,  4,  1,  1,  1,  1,  1,
   13 |  13,  1,  1,  1,  1,  1,  1,
   14 |  14,  1,  1,  1,  1,  1,  1,
   15 |  15,  1,  1,  1,  1,  1,  1,
   16 |   1,  1, 16,  1,  1,  1,  1,
   17 |  17,  1,  1,  1,  1,  1,  1,
   18 |   2,  9,  1,  1,  1,  1,  1,
   19 |  19,  1,  1,  1,  1,  1,  1,
   20 |   5,  4,  1,  1,  1,  1,  1,

Antti Karttunen, Table of n, a(n) for n = 1..33153; the first 257 antidiagonals

Sequences used in a formula defining this sequence: A000188, A007913, A060176, A225546.
Cf. A007913 (column 0), A335324 (column 1).
Range of values: {1} U A340682 (whole table), A005117 (column 0), A062503 (column 1), {1} U A113849 (column 2).
Row numbers of rows:
- with a 1 in column 0: A000290\{0};
- with a 1 in column 1: A252895;
- with a 1 in column 0, but not in column 1: A030140;
- where every 1 is followed by another 1: A337533;
- with 1's in all even columns: A366243;
- with 1's in all odd columns: A366242;
- where every term has an even number of distinct prime factors: A268390;
- where every term is a power of a prime: A268375;
- where the terms are pairwise coprime: A138302;
- where the last nonunit term is coprime to the earlier terms: A369938;
- where the last nonunit term is a power of 2: A335738.
Number of nonunit terms in row n is A331591(n); their positions are given (in reversed binary) by A267116(n); the first nonunit is in column A352080(n)-1 and the infinite run of 1's starts in column A299090(n).

up_to = 105;
A352780sq(n, k) = if(k==0, core(n), A352780sq(core(n, 1)[2], k-1)^2);
A352780list(up_to) = { my(v = vector(up_to), i=0); for(a=1,oo, forstep(col=a-1,0,-1, i++; if(i > up_to, return(v)); v[i] = A352780sq(a-col,col))); (v); };
v352780 = A352780list(up_to);
A352780(n) = v352780[n];

A(n,0) = A007913(n); for k > 0, A(n,k) = A(A000188(n), k-1)^2.
A(n,k) = A225546(A060176(A225546(n), k+1)).
A331591(A(n,k)) <= 1.

A366245 The largest infinitary divisor of n that is a term of A366243.

Original entry on oeis.org

1, 1, 1, 4, 1, 1, 1, 4, 9, 1, 1, 4, 1, 1, 1, 1, 1, 9, 1, 4, 1, 1, 1, 4, 25, 1, 9, 4, 1, 1, 1, 1, 1, 1, 1, 36, 1, 1, 1, 4, 1, 1, 1, 4, 9, 1, 1, 1, 49, 25, 1, 4, 1, 9, 1, 4, 1, 1, 1, 4, 1, 1, 9, 4, 1, 1, 1, 4, 1, 1, 1, 36, 1, 1, 25, 4, 1, 1, 1, 1, 1, 1, 1, 4, 1

Offset: 1

Amiram Eldar, Oct 05 2023

First differs from A335324 at n = 256.

Amiram Eldar, Table of n, a(n) for n = 1..10000

Cf. A063695, A335324, A366242, A366243, A366244.

See the formula section for the relationships with A008833, A046100, A059895, A059896, A059897, A225546, A248101, A352780.

f[p_, e_] := p^BitAnd[e, Sum[2^k, {k, 1, Floor@ Log2[e], 2}]]; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100]

s(e) = -sum(k = 1, e, (-2)^k*floor(e/2^k));
a(n) = {my(f = factor(n)); prod(i = 1, #f~, f[i,1]^s(f[i,2]));}

Multiplicative with a(p^e) = p^A063695(e).
a(n) = n / A366244(n).
a(n) >= 1, with equality if and only if n is a term of A366242.
a(n) <= n, with equality if and only if n is a term of A366243.
From Peter Munn, Jan 09 2025: (Start)
a(n) = max({k in A366243 : A059895(k, n) = k}).
a(n) = Product_{k >= 0} A352780(n, 2k+1).
Also defined by:
- for n in A046100, a(n) = A008833(n);
- a(n^4) = (a(n))^4;
- a(A059896(n,k)) = A059896(a(n), a(k)).
Other identities:
a(n) = sqrt(A366244(n^2)).
a(A059897(n,k)) = A059897(a(n), a(k)).
a(A225546(n)) = A225546(A248101(n)).
(End)

cp's OEIS Frontend

A252895 Numbers with an odd number of square divisors.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

Sage

A252849 Numbers with an even number of square divisors.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Haskell

Mathematica

PARI

Formula

A337533 1 together with nonsquares whose square part's square root is in the sequence.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

A352780 Square array A(n,k), n >= 1, k >= 0, read by descending antidiagonals, such that the row product is n and column k contains only (2^k)-th powers of squarefree numbers.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

Formula

A366245 The largest infinitary divisor of n that is a term of A366243.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Formula