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.

A354865 a(n) is the hafnian of the 2n X 2n symmetric matrix whose element M_{i,j} equals phi(abs(i-j)).

This page as a plain text file.
%I A354865 #42 Oct 14 2023 23:54:08
%S A354865 1,1,4,49,1193,50228,3098989,271913937,31382686354,4668707087571,
%T A354865 880702869805775
%N A354865 a(n) is the hafnian of the 2n X 2n symmetric matrix whose element M_{i,j} equals phi(abs(i-j)).
%H A354865 Wikipedia, <a href="https://en.wikipedia.org/wiki/Hafnian">Hafnian</a>
%H A354865 Wikipedia, <a href="https://en.wikipedia.org/wiki/Symmetric_matrix">Symmetric matrix</a>
%e A354865 a(2) = M_{1,2}*M_{3,4} + M_{1,3}*M_{2,4} + M_{1,4}*M_{2,3} = 4 is the hafnian of
%e A354865     0, 1, 1, 2;
%e A354865     1, 0, 1, 1;
%e A354865     1, 1, 0, 1;
%e A354865     2, 1, 1, 0.
%t A354865 M[i_, j_, n_]:=Part[Part[Table[EulerPhi[Abs[r-c]], {r, n}, {c, n}], i], j]; a[n_]:=Sum[Product[M[Part[PermutationList[s, 2n], 2i-1], Part[PermutationList[s, 2n], 2i], 2n], {i, n}], {s, SymmetricGroup[2n]//GroupElements}]/(n!*2^n); Array[a, 6, 0]
%o A354865 (PARI) aphi(n) = n=abs(n); if(n>0, eulerphi(n), 0);
%o A354865 tm(n) = matrix(n, n, i, j, aphi(i-j));
%o A354865 a(n) = my(m = tm(2*n), s=0); forperm([1..2*n], p, s += prod(j=1, n, m[p[2*j-1], p[2*j]]); ); s/(n!*2^n); \\ _Michel Marcus_, May 02 2023
%Y A354865 Cf. A071083 (determinant of M(n)), A085510 (permanent of M(n)).
%Y A354865 Cf. A000010, A049581, A338456.
%K A354865 nonn,hard,more
%O A354865 0,3
%A A354865 _Stefano Spezia_, Sep 30 2022
%E A354865 a(6) from _Michel Marcus_, May 02 2023
%E A354865 a(7)-a(10) from _Pontus von Brömssen_, Oct 14 2023