A318513 -id:A318513 - cp's OEIS frontend

A318512 Denominators (in their lowest terms) of the sequence whose Dirichlet convolution with itself yields squares (A000290), or equally A064549.

1, 1, 2, 1, 2, 1, 2, 1, 8, 1, 2, 1, 2, 1, 4, 1, 2, 4, 2, 1, 4, 1, 2, 1, 8, 1, 16, 1, 2, 2, 2, 1, 4, 1, 4, 4, 2, 1, 4, 1, 2, 2, 2, 1, 16, 1, 2, 1, 8, 4, 4, 1, 2, 8, 4, 1, 4, 1, 2, 2, 2, 1, 16, 1, 4, 2, 2, 1, 4, 2, 2, 2, 2, 1, 16, 1, 4, 2, 2, 1, 128, 1, 2, 2, 4, 1, 4, 1, 2, 8, 4, 1, 4, 1, 4, 1, 2, 4, 16, 4, 2, 2, 2, 1, 8

Offset: 1

Antti Karttunen, Aug 30 2018

These are also denominators (in their lowest terms) for the sequence whose Dirichlet convolution with itself yields A064549, n * Product_{primes p|n} p.
From Antti Karttunen, Sep 02 2018: (Start)
Proof for the above claim:
This sequence is defined as the denominator (given in the lowest terms) of rational valued function r(1) = 1, r(n) = (1/2) * (A000290(n) - Sum_{d|n, d>1, d 1. Define sequence Ay(n) as the denominator of function s(n), with otherwise similar definition, but with A064549 in place of A000290. Let Ay(n) be the denominator of s(n), reduced also into the lowest terms. (Corresponding numerators are A318649 and A318511 respectively. Note that the denominators in both cases must always be of the form 2^k, with k >= 0).
  By applying the distributive property of Dirichlet Convolution [which says that for any completely multiplicative function f, it doesn't matter whether one multiplies the result of convolution afterwards, or whether one multiplies the operands separately before convolution: f(g * g) = (fg) * (fg)], with A000027 in the role of f in both cases, one obtains a pair of equations:
    A318649(n)     A318681(n)     n*A299149(n)
    ----------  =  ----------  =  ------------
    A318512(n)     A299150(n)      A299150(n)
  and
    A318511(n)     A318680(n)     n*A318653(n)
    ----------  =  ----------  =  ------------
       Ay(n)       A299150(n)      A299150(n)
  where the leftmost ratios are reduced into their lowest terms.
  Sequence A318656 gives the 2-adic valuation of ratio A318649(n)/A318512(n), and because there are no even terms neither in A299149 nor in A318653, it also gives the 2-adic valuation of the latter ratio. As A318511/Ay is given in the lowest terms (not both of A318511(n) and Ay(n) can be even at same n), this implies that Ay must indeed be identical to A318512, and furthermore that A318655(n) = A007814(A318649(n)) = A007814(A318511(n)).
(End)

Antti Karttunen, Table of n, a(n) for n = 1..16384
Wikipedia, Dirichlet convolution

Cf. A000290, A064549, A046644, A299150, A318513, A318651, A318653, A318654, A318655, A318656, A318658, A318680, A318681.

Cf. A318649, A318511 (numerators).

f[1] = 1; f[n_] := f[n] = 1/2 (n*Times @@ FactorInteger[n][[All, 1]] - Sum[f[d] f[n/d], {d, Divisors[n][[2 ;; -2]]}]); Table[Denominator[f[n]], {n, 1, 100}] (* Vaclav Kotesovec, May 10 2025 *)

up_to = 65537;
A064549(n) = { my(f=factor(n)); for (i=1, #f~, f[i, 2]++); factorback(f); };
DirSqrt(v) = {my(n=#v, u=vector(n)); u[1]=1; for(n=2, n, u[n]=(v[n]/v[1] - sumdiv(n, d, if(d>1&&dA064549(n)));
A318512(n) = denominator(v318511_12[n]);

for(n=1, 100, print1(denominator(direuler(p=2, n, 1/(1-p^2*X)^(1/2))[n]), ", ")) \\ Vaclav Kotesovec, May 09 2025

a(n) = denominator of f(n), where f(1) = 1, f(n) = (1/2) * (A000290(n) - Sum_{d|n, d>1, d 1. [Equally, one could use A064549 in place of A000290.]
a(n) = 2^A318513(n).
a(n) = A046644(n)/A318651(n).
a(2n-1) = A046644(2n-1) = A318658(2n-1), for all n >= 1.

The main definition changed, more formulas added by Antti Karttunen, Aug 31 2018

A318652 The 2-adic valuation of A046644(n)/A318512(n) (A318651).

Original entry on oeis.org

0, 1, 0, 3, 0, 2, 0, 4, 0, 2, 0, 4, 0, 2, 0, 7, 0, 2, 0, 4, 0, 2, 0, 5, 0, 2, 0, 4, 0, 2, 0, 8, 0, 2, 0, 4, 0, 2, 0, 5, 0, 2, 0, 4, 0, 2, 0, 8, 0, 2, 0, 4, 0, 2, 0, 5, 0, 2, 0, 4, 0, 2, 0, 10, 0, 2, 0, 4, 0, 2, 0, 6, 0, 2, 0, 4, 0, 2, 0, 8, 0, 2, 0, 4, 0, 2, 0, 5, 0, 2, 0, 4, 0, 2, 0, 9, 0, 2, 0, 4, 0, 2, 0, 5, 0

Offset: 1

Antti Karttunen, Aug 31 2018

nonn

Antti Karttunen, Table of n, a(n) for n = 1..65537

Cf. A046644, A318512, A318651.

A318652(n) = valuation(A046644(n)/A318512(n),2); \\ Needs also code from those two respective entries.

a(n) = A007814(A318651(n)).

a(n) = A046645(n) - A318513(n).

A318656 The 2-adic valuation of ratio A318649(n)/A318512(n); a(n) = 2*A007814(n) - A046645(n).

Original entry on oeis.org

0, 1, -1, 1, -1, 0, -1, 2, -3, 0, -1, 0, -1, 0, -2, 1, -1, -2, -1, 0, -2, 0, -1, 1, -3, 0, -4, 0, -1, -1, -1, 2, -2, 0, -2, -2, -1, 0, -2, 1, -1, -1, -1, 0, -4, 0, -1, 0, -3, -2, -2, 0, -1, -3, -2, 1, -2, 0, -1, -1, -1, 0, -4, 2, -2, -1, -1, 0, -2, -1, -1, -1, -1, 0, -4, 0, -2, -1, -1, 0, -7, 0, -1, -1, -2, 0, -2, 1, -1, -3, -2, 0

Offset: 1

Antti Karttunen, Sep 02 2018

sign

Also the 2-adic valuation of ratio A318681(n)/A299150(n) [which is equal to A318649(n)/A318512(n), but not represented in lowest terms], as well as the 2-adic valuation of A318680(n)/A299150(n) = A318511(n)/A318512(n).

Antti Karttunen, Table of n, a(n) for n = 1..65537

Cf. A007814, A046645, A299150, A318440, A318511, A318512, A318513, A318649, A318655, A318680, A318681.

Cf. A318654 (positions of positive terms).

A007814(n) = valuation(n,2);
A005187(n) = { my(s=n); while(n>>=1, s+=n); s; };
A046644(n) = factorback(apply(e -> 2^A005187(e),factor(n)[,2]));
A318656(n) = ((2*A007814(n))-A007814(A046644(n)));

a(n) = A318655(n) - A318513(n).
a(n) = A007814(n) - A318440(n).
a(n) = 2*A007814(n) - A046645(n) = A007814(n^2) - A046645(n).

cp's OEIS Frontend

A318512 Denominators (in their lowest terms) of the sequence whose Dirichlet convolution with itself yields squares (A000290), or equally A064549.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

PARI

Formula

Extensions

A318652 The 2-adic valuation of A046644(n)/A318512(n) (A318651).

Views

Author

Keywords

Links

Crossrefs

Programs

PARI

Formula

A318656 The 2-adic valuation of ratio A318649(n)/A318512(n); a(n) = 2*A007814(n) - A046645(n).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

PARI

Formula