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.

Showing 1-3 of 3 results.

A294782 Spherical growth of the Lamplighter group: number of elements in the Lamplighter group Z wr Z of length n with respect to the standard generating set {a,t}.

Original entry on oeis.org

1, 4, 12, 36, 100, 268, 704, 1812, 4600, 11556, 28788, 71252, 175452, 430284, 1051848, 2564708, 6240752, 15161092, 36784284, 89155268, 215911636, 522543436, 1263991824, 3056244212, 7387384808, 17851786148, 43130479748, 104187860340, 251648811212, 607755975820, 1467673342616
Offset: 0

Views

Author

Zoran Sunic, Nov 08 2017

Keywords

Comments

The group is presented by .

Examples

			a(2)=12, since the elements of length 2 are a^2, at, at^-1, a^-2, a^-1t, a^-1t^-1, ta, ta^-1, t^2, t^-1a, t^-1a^-1, t^-2.
		

Crossrefs

Cf. A288348. First differences of A294781.

Programs

  • Mathematica
    LinearRecurrence[{4,-2,-4,-4,4,6,4,1},{1,4,12,36,100,268,704,1812,4600},40] (* Harvey P. Dale, Jan 31 2025 *)

Formula

G.f.: (1-x)^3 (1+x)^3 (1+x^2) / ((1-2x-x^2)(1-x-x^2-x^3)^2).

A359797 Cogrowth sequence of the lamplighter group Z_2 wr Z where wr denotes the wreath product.

Original entry on oeis.org

1, 3, 15, 87, 547, 3623, 24885, 175591, 1265187, 9271167, 68894785, 518053231, 3935274277, 30158804835, 232930956175, 1811476156847, 14174669041427, 111532445963367, 882004732285473, 7006931317108119, 55899039962599777, 447666261592033123
Offset: 0

Views

Author

Andrew Elvey Price, Jan 13 2023

Keywords

Comments

a(n) is the number of words of length 2n in the letters a,t,t^(-1) that equal the identity of the lamplighter group Z_2 wr Z = .
Walks on this group can be seen as operations on an infinite tape of 0's and 1's where each step is either a right shift, left shift or toggles the current element. a(n) is then the number of sequences of 2n such moves which return the tape to the initial position.

Crossrefs

Spherical growth sequence for this group is A288348.
Cf. A359798.

A294683 Growth of the Lamplighter group: number of elements in the Lamplighter group L_2 = Z/2Z wr Z of length up to n with respect to the standard generating set {a,t}.

Original entry on oeis.org

1, 4, 10, 22, 44, 84, 155, 278, 490, 850, 1457, 2474, 4167, 6974, 11609, 19238, 31762, 52274, 85806, 140534, 229735, 374958, 611158, 995016, 1618409, 2630222, 4271663, 6933430, 11248251, 18240668, 29569464, 47920016, 77639264, 125763290, 203680213, 329821130, 534014584
Offset: 0

Views

Author

Zoran Sunic, Nov 06 2017

Keywords

Comments

The group is presented by L_2 = .

Examples

			a(2)=10, since the elements of length up to 2 are 1, a, t, t^-1, at, at^-1, ta, t^2, t^-1a, t^-2.
		

Crossrefs

Partial sums of A288348.

Programs

  • Mathematica
    CoefficientList[ Series[((x^2 + x + 1) (x - 1) (x + 1)^3)/((x^3 + x^2 - 1)^2 (x^2 + x - 1)), {x, 0, 36}], x] (* or *)
    LinearRecurrence[{1, 3, 0, -5, -3, 2, 3, 1}, {1, 4, 10, 22, 44, 84, 155, 278}, 37] (* Robert G. Wilson v, Aug 08 2018 *)
  • PARI
    Vec((1-x)*(1+x)^3*(1+x+x^2)/((1-x-x^2)*(1-x^2-x^3)^2) + O(x^40)) \\ Michel Marcus, Nov 07 2017

Formula

G.f.: (1-x)(1+x)^3(1+x+x^2) / ((1-x-x^2)(1-x^2-x^3)^2).

Extensions

More terms from Michel Marcus, Nov 07 2017
Showing 1-3 of 3 results.