basis-map coefficients of A026729, shifted → basis A013609 → basis A013610

only rational roots

Proved for all n all roots real, in (−∞, 0]coefficients of one signHadamard kernel

Recurrence

\(P_{n}(x) = \left(-3 - 6\,x\right)\,P_{n-1}(x)\)
\(P_{1}(x) = 1\)

Rows ?

nx0x1x2x3x4x5x6x7x8x9x10x11x12x13x14Pn(1)
111
2-3-6-9
39363681
4-27-162-324-216-729
5816481944259212966561
6-243-2430-9720-19440-19440-7776-59049
772987484374011664017496013996846656531441
8-2187-30618-183708-612360-1224720-1469664-979776-279936-4782969
965611049767348322939328734832011757312117573126718464167961643046721
10-19683-354294-2834352-13226976-39680928-79361856-105815808-90699264-45349632-10077696-387420489
115904911809801062882056687040198404640476171136793618560906992640680244480302330880604661763486784401
12-177147-3897234-38972340-233834040-935336160-2618941248-5237882496-7482689280-7482689280-4988459520-1995383808-362797056-31381059609
13531441127545841403004249353361604209012720134688407043142729497653875362816673442035205986151424035916908544130606940162176782336282429536481
14-1594323-41452398-497428776-3647811024-18239055120-65660598432-175094929152-350189858304-525284787456-583649763840-466919811072-254683533312-84894511104-13060694016-2541865828329
154782969133923132174100071613928005728766040315043064161260169192483780482101139149824367699351219249026580162564902658016256356556946636817827847331845485491486727836416409622876792454961
Technical details
Node id
n-593ccaf7119eeddb · revision 0 · JSON
Definition source
derived:basis_map_A013610
Fingerprint
f6-11aec07ce60b6d61

Observed on the stored rows ?

  • Degrees: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14 (affine: slope 1, intercept -1)
  • Palindromic rows: no
  • γ-positive (gamma_positive): no
  • Nonnegative coefficients (nonn): no
  • Only rational roots (rr_by_factors: every nonzero row is a product of linear factors over ℚ): yes

Matches ?

No OEIS matches.

Submission text ?

Atlas rows n = 1, …, ascending powers of x
%e Example
Triangle begins:
   1:      1;
   2:     -3,      -6;
   3:      9,      36,       36;
   4:    -27,    -162,     -324,      -216;
   5:     81,     648,     1944,      2592,      1296;
   6:   -243,   -2430,    -9720,    -19440,    -19440,     -7776;
   7:    729,    8748,    43740,    116640,    174960,    139968,      46656;
   8:  -2187,  -30618,  -183708,   -612360,  -1224720,  -1469664,    -979776,   -279936;
   9:   6561,  104976,   734832,   2939328,   7348320,  11757312,   11757312,   6718464,   1679616;
  10: -19683, -354294, -2834352, -13226976, -39680928, -79361856, -105815808, -90699264, -45349632, -10077696;
%F Formula
The row polynomials satisfy P(n,x) = -(3+6*x)*P(n-1,x) for n >= 2, with P(1,x) = 1.
%t Mathematica
P[1, x_] := 1;
P[n_, x_] := P[n, x] = Expand[-(3 + 6*x)*P[n - 1, x]];
Table[CoefficientList[P[n, x], x], {n, 1, 10}] // Flatten
%o PARI/GP
P(N) = {my(v = vector(N)); v[1] = 1; for(n = 2, N, my(i = n); v[i] = -(3 + 6*x)*v[i - 1]); v};
row(n, p) = {my(c = Vecrev(p)); c};
T(N) = {my(v = P(N)); concat(vector(#v, i, row(i, v[i])))};
T(10)

polytool c48629374597

Properties

Proof chains ? JSON

Same fingerprint ?