Logo

Greetings from The On-Line Encyclopedia of Integer Sequences!

Hints

Search: id:A131522
Displaying 1-1 of 1 results found. page 1
     Format: long | short | internal | text      Sort: relevance | references | number      Highlight: on | off
A131522 Triangular sequence from coefficients of polynomials of a type gives by a geometric average of two consecutive dihedral group elliptical invariants: p(x,n)=(x^n - 1)*(x^(n + 1) - 1): associate with B_n as odd SO(2*n+1) group. +0
1
1, -1, -1, 1, 1, 0, -1, -1, 0, 1, 1, 0, 0, -1, -1, 0, 0, 1, 1, 0, 0, 0, -1, -1, 0, 0, 0, 1, 1, 0, 0, 0, 0, -1, -1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, -1, -1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, -1, -1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, -1, -1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0 (list; table; graph; listen)
OFFSET

1,1

COMMENT

Derivation: dihedral invariant given by Singerman

jD_n(x,n)=(x^n - 1)^2/(-4*x^n)

Geometric average as B_n Cartan elliptical invariant estimate:

jB_n(x,n)=Sqrt[jD_n(x,n)*jD_n(x,n+1)]=p(x,n)/(4*x^((2*n+1)/2))

Expansion sequence:

p[x_, n_] = ExpandAll[(x^n - 1)*(x^(n + 1) - 1)];

(* toral inverse the same as the polynomial*)

Table[Table[ SeriesCoefficient[Series[1/p[x, m], {x, 0, 30}], n], {n, 0, 30}], {m, 1, 5}]

m = 1; A004526, m = 2; A008615, m = 3; A008679, m = 4; unknown, m = 5; A033182

They might be called "pyramidal numbers", except that term has a different meaning; they tie four known sequence and maybe more together.

REFERENCES

Gareth Jones and David Singerman, Bull. London Math Soc. 28, (1996) pages 561-590 ( dihedral group invariant on page 585)

FORMULA

a(n,m) = CoefficientList[x^(2*n+1)-x^(n+1)-x^n+1,x]

EXAMPLE

{1, -1, -1, 1},

{1, 0, -1, -1, 0, 1},

{1, 0,0, -1, -1, 0, 0, 1},

{1, 0, 0, 0, -1, -1, 0, 0, 0, 1},

{1, 0, 0, 0, 0, -1, -1, 0, 0, 0, 0, 1},

{1, 0, 0, 0, 0, 0, -1, -1,0, 0, 0, 0, 0, 1},

{1, 0, 0, 0, 0, 0, 0, -1, -1, 0, 0, 0, 0, 0,0, 1},

{1, 0, 0, 0, 0, 0, 0, 0, -1, -1, 0, 0, 0, 0, 0, 0, 0, 1},

{1, 0, 0, 0, 0, 0, 0, 0, 0, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 1},

{1, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1}

MATHEMATICA

p[n_] = ExpandAll[(x^n - 1)*(x^(n + 1) - 1)]; a = Table[CoefficientList[p[n], x], {n, 1, 10}]; Flatten[a]

CROSSREFS

Cf. A004526, A008615, A008679, A033182.

Adjacent sequences: A131519 A131520 A131521 this_sequence A131523 A131524 A131525

Sequence in context: A089496 A114592 A118110 this_sequence A011750 A010055 A076699

KEYWORD

nonn,tabl,uned

AUTHOR

Roger L. Bagula (rlbagulatftn(AT)yahoo.com), Aug 24 2007

page 1

Search completed in 0.002 seconds

Lookup | Welcome | Find friends | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Transforms | Puzzles | Hot | Classics
More pages | Superseeker | Maintained by N. J. A. Sloane (njas@research.att.com)

Last modified May 16 23:01 EDT 2008. Contains 139884 sequences.


AT&T Labs Research