login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A304979 The nonzero terms of the cogrowth sequence of (Z/5Z)^*2 = <x|x^5=1> * <y|y^5=1> with respect to the generating set {(x,1), (1,y)}. 0
1, 2, 12, 92, 792, 7302, 70464, 702536, 7178568, 74771570, 790906012, 8472417384, 91724327928, 1001987961834, 11030476949952, 122247789508992, 1362840516623944, 15272530735735338, 171946029518128956, 1943927810200670820, 22059590401383177792, 251183781609841838444 (list; graph; refs; listen; history; text; internal format)
OFFSET

0,2

COMMENTS

The number of paths on the Cayley graph of ((Z/5Z)^*2, {(x,1), (1,y)} which start and end at the identity.

a(n) is the number of words of length 5n over the alphabet {x,y} that reduce to the empty string upon iteratively removing factors of x^5 and y^5. For n=2, the a(2)=12 words of length 10 that reduce to the empty string are x^10, y^10,  x^i y^5 x^(5-i), for i=1..5, and y^i x^5 y^(5-i), for i=1..5.

LINKS

Table of n, a(n) for n=0..21.

J. P. Bell and M. J. Mishna On the Complexity of the Cogrowth Sequence, arXiv:1805.08118 [math.CO], 2018.

FORMULA

G.f.: A(x) satisfies 32*x*A(x)^5 - (A(x)-1)*(A(x)+1)^4 = 0.

a(n) satisfies the recurrence (2120000*(5*n+1))*(5*n+2)*(5*n+3)*(5*n+4)*a(n) + (250*(160980199*n^4 + 1129209134*n^3 + 2872721885*n^2 + 3155706646*n + 1267579560))*a(n+1) - (50*(109722203*n^4 + 959367613*n^3 + 3144281425*n^2 + 4572924587*n + 2485585548))*a(n+2) + (60*(4290021*n^4 + 51502996*n^3 + 243316306*n^2 + 532456081*n + 451079946))*a(n+3) - (3*(2673299*n^4 + 44756419*n^3 + 283571239*n^2 + 805783469*n + 866093430))*a(n+4) + (4008*(n+5))*(4*n+17)*(2*n+9)*(4*n+19)*a(n+5) = 0.

MATHEMATICA

terms = 22;

A[_] = 0; Do[A[x_] = (1 + 4 A[x] + 6 A[x]^2 + 4 A[x]^3 + A[x]^4 + 32 x A[x]^5)/(1 + A[x])^4 + O[x]^terms // Normal, {terms}];

CoefficientList[A[x], x] (* Jean-François Alcover, Nov 16 2018 *)

CROSSREFS

Related cogrowth sequences (Z/2Z)^*2: A126869; (Z/3Z)^*2: A047098; (Z/4Z)^*2: A107026.

Sequence in context: A155639 A333473 A103882 * A003123 A316143 A321057

Adjacent sequences:  A304976 A304977 A304978 * A304980 A304981 A304982

KEYWORD

nonn

AUTHOR

Marni Mishna, May 22 2018

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified June 5 09:46 EDT 2020. Contains 334829 sequences. (Running on oeis4.)