OFFSET
1,225
COMMENTS
As A353557 is not multiplicative, neither is this sequence.
Absolute values differ from A353557 for the first time at n=81, where a(81) = 0.
Absolute values differ from A353480 for the first time at n=1, and then at n=135.
The first value greater than 1 occurs as a(225) = 2. The first value less than -1 occurs as a(2835) = -2.
From Antti Karttunen, Jan 12 2023: (Start)
Few properties concerning this sequence:
(1) For all even numbers n, a(n) = 0. Proof: In the convolution formula, at least the other of the divisors (n/d) and d is always even, for any such divisor pair of an even n. As A353557 is zero for all even numbers, it is easy to show by induction that also a(n) is zero for all even n.
(2) For all numbers n with an odd number of prime factors (with multiplicity), a(n) = 0. Proof: In the convolution formula, either the divisor (n/d) or d (but not both) has an odd number of prime factors for any divisor pair d and (n/d) of any n in A026424. As A353557 is zero for all A026424, it is easy to show by induction that also a(n) is zero for all such numbers.
(3) Therefore, nonzero values occur only on indices that are a subset of A046337. (See A359607 for exceptions).
(4) For any two odd numbers x and y with the same prime signature (A046523(x) = A046523(y)), a(x) = a(y).
(5) a(A046315(n)) = -1.
(6) Apparently it also holds that for any n that is a square that is the 4th, 6th, 8th, ..., 2k-th power (k>=2) of some natural number > 1, a(n) is even.
(End)
LINKS
Antti Karttunen, Table of n, a(n) for n = 1..100000
Jon Maiga, Computer-generated formulas for A358777, Sequence Machine.
FORMULA
a(1) = 1, and for n > 1, a(n) = -Sum_{d|n, d<n} A353557(n/d) * a(d).
From Antti Karttunen, Nov 22 2023: (Start)
Following identities (among others) are listed by Sequence Machine:
a(n) = o(n)*A359763(n) = o(n)*A359773(n) = o(n)*A359780(n) = o(n)*A359814(n) = o(n)*A359815(n), where o(n) = A000035(n), parity of n.
(End)
PROG
CROSSREFS
Cf. A046315, A046337, A065043, A353557, A358778 (positions of positive terms), A359595 (parity of terms), A359596 (positions of odd terms), A359599 (terms with record absolute values), A359598 (their positions in this sequence), A359607, A359609 (distinct values in the order of their appearance), A359608 (their positions in this sequence).
KEYWORD
sign,easy
AUTHOR
Antti Karttunen, Dec 20 2022
STATUS
approved