login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A347464
Number of even-length ordered factorizations of n^2 into factors > 1 with alternating product 1.
9
1, 1, 1, 2, 1, 5, 1, 6, 2, 5, 1, 26, 1, 5, 5, 20, 1, 26, 1, 26, 5, 5, 1, 134, 2, 5, 6, 26, 1, 73, 1, 70, 5, 5, 5, 230, 1, 5, 5, 134, 1, 73, 1, 26, 26, 5, 1, 670, 2, 26, 5, 26, 1, 134, 5, 134, 5, 5, 1, 686, 1, 5, 26, 252, 5, 73, 1, 26, 5, 73, 1, 1714, 1, 5, 26
OFFSET
1,4
COMMENTS
An ordered factorization of n is a sequence of positive integers > 1 with product n.
We define the alternating product of a sequence (y_1,...,y_k) to be Product_i y_i^((-1)^(i-1)).
Also the number of ordered pairs of ordered factorizations of n, both of the same length.
Note that the version for all n (not just squares) is 0 except at perfect squares.
EXAMPLE
The a(12) = 26 ordered factorizations:
(2*2*6*6) (3*2*4*6) (6*2*2*6) (4*2*3*6) (12*12)
(2*3*6*4) (3*3*4*4) (6*3*2*4) (4*3*3*4)
(2*4*6*3) (3*4*4*3) (6*4*2*3) (4*4*3*3)
(2*6*6*2) (3*6*4*2) (6*6*2*2) (4*6*3*2)
(2*2*2*2*3*3) (3*2*2*2*2*3)
(2*2*2*3*3*2) (3*2*2*3*2*2)
(2*2*3*2*2*3) (3*3*2*2*2*2)
(2*2*3*3*2*2)
(2*3*2*2*3*2)
(2*3*3*2*2*2)
For example, the ordered factorization 6*3*2*4 = 144 has alternating product 6/3*2/4 = 1, so is counted under a(12).
MATHEMATICA
facs[n_]:=If[n<=1, {{}}, Join@@Table[Map[Prepend[#, d]&, Select[facs[n/d], Min@@#>=d&]], {d, Rest[Divisors[n]]}]];
altprod[q_]:=Product[q[[i]]^(-1)^(i-1), {i, Length[q]}];
Table[Length[Select[Join@@Permutations/@facs[n^2], EvenQ[Length[#]]&&altprod[#]==1&]], {n, 100}]
PROG
(PARI)
A347464aux(n, k=0, t=1) = if(1==n, (0==k)&&(1==t), my(s=0); fordiv(n, d, if((d>1), s += A347464aux(n/d, 1-k, t*(d^((-1)^k))))); (s));
A347464(n) = A347464aux(n^2); \\ Antti Karttunen, Oct 30 2021
CROSSREFS
Positions of 1's are A008578 (1 and A000040).
The restriction to powers of 2 is A000984.
Positions of 2's are A001248.
The not necessarily even-length version is A273013.
A000290 lists squares, complement A000037.
A001055 counts factorizations.
A027187 counts even-length partitions.
A074206 counts ordered factorizations.
A119620 counts partitions with alternating product 1, ranked by A028982.
A339846 counts even-length factorizations, ordered A347706.
A347438 counts factorizations with alternating product 1.
A347457 ranks partitions with integer alternating product.
A347460 counts possible alternating products of factorizations.
A347466 counts factorizations of n^2.
Sequence in context: A090080 A151737 A211361 * A249548 A014650 A014648
KEYWORD
nonn
AUTHOR
Gus Wiseman, Sep 23 2021
STATUS
approved