login
Number of inequivalent ways to color the edges of a tetrahedron using at most n colors so that no color appears more than twice.
3

%I #13 Feb 22 2017 10:42:39

%S 0,0,0,9,132,720,2580,7245,17304,36792,71640,130185,223740,367224,

%T 579852,885885,1315440,1905360,2700144,3752937,5126580,6894720,

%U 9142980,11970189,15489672,19830600,25139400,31581225,39341484,48627432,59669820,72724605,88074720

%N Number of inequivalent ways to color the edges of a tetrahedron using at most n colors so that no color appears more than twice.

%H Colin Barker, <a href="/A282820/b282820.txt">Table of n, a(n) for n = 0..1000</a>

%H <a href="/index/Rec#order_07">Index entries for linear recurrences with constant coefficients</a>, signature (7,-21,35,-35,21,-7,1).

%F a(n) = (n-2)*n*(n-1)*(n^3+3*n^2-10*n-6)/12.

%F From _Colin Barker_, Feb 22 2017: (Start)

%F G.f.: 3*x^3*(3 - x)*(1 + 8*x + x^2) / (1 - x)^7.

%F a(n) = 7*a(n-1) - 21*a(n-2) + 35*a(n-3) - 35*a(n-4) + 21*a(n-5) - 7*a(n-6) + a(n-7) for n>6. (End)

%e For n = 3 we get a(3) = 9 ways to color the edges of a tetrahedron in three colors so that no color appears more than twice.

%t Table[(n-2)*n*(n-1)*(n^3+3*n^2-10*n-6)/12, {n, 0, 32}]

%o (PARI) a(n) = (n-2)*n*(n-1)*(n^3+3*n^2-10*n-6)/12 \\ _Charles R Greathouse IV_, Feb 22 2017

%o (PARI) concat(vector(3), Vec(3*x^3*(3 - x)*(1 + 8*x + x^2) / (1 - x)^7 + O(x^40))) \\ _Colin Barker_, Feb 22 2017

%Y Cf. A282817, A282818, A282819, A046023 (tetrahedral edge colorings without restriction).

%K nonn,easy

%O 0,4

%A _David Nacin_, Feb 22 2017