Real-rooted atlas

A038281 → basis A013611 → basis A013609

nonnegative coefficientsonly rational roots

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

Recurrence

\(P_{n}(x) = \left(23 + 24\,x\right)\,P_{n-1}(x)\)
\(P_{0}(x) = 529 + 1104\,x + 576\,x^{2}\)

Rows ?

nx0x1x2x3x4x5x6x7x8x9Pn(1)
052911045762209
112167380883974413824103823
22798411168032182822412718083317764879681
36436343335809207008192073128960381542407962624229345007
4148035889926833392241782624033639321602632642560109884211219110297610779215329
53404825447248700293527785400492813539826944014128515072088456790016307675791364586471424506623120463
6783109852816537264858242387522817792498265631539264991169331205425349787648283061728051284391074201611007531417623811286661761
718011526614631691517282069670602460468992171901642881024269063441031168280761851510784195312592355328873447617986562278559003443226418075402241119130473102767

All 15 rows

Technical details
Node id
n-3e24a2a5ce552865 · revision 0 · JSON
Definition source
derived:basis_map_A013609
Fingerprint
f6-723ac5bf98d71a32

Observed on the stored rows ?

  • Degrees: 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16 (affine: slope 1, intercept 2)
  • Palindromic rows: no
  • γ-positive (gamma_positive): no
  • Nonnegative coefficients (nonn): yes
  • 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 = 0, …, ascending powers of x
%e Example
Triangle begins:
  0:             529,              1104,               576;
  1:           12167,             38088,             39744,              13824;
  2:          279841,           1168032,           1828224,            1271808,             331776;
  3:         6436343,          33580920,          70081920,           73128960,           38154240,            7962624;
  4:       148035889,         926833392,        2417826240,         3363932160,         2632642560,         1098842112,          191102976;
  5:      3404825447,       24870029352,       77854004928,       135398269440,       141285150720,        88456790016,        30767579136,         4586471424;
  6:     78310985281,      653726485824,     2387522817792,      4982656315392,      6499116933120,      5425349787648,      2830617280512,       843910742016,       110075314176;
  7:   1801152661463,    16915172820696,    70602460468992,    171901642881024,    269063441031168,    280761851510784,    195312592355328,     87344761798656,     22785590034432,     2641807540224;
  8:  41426511213649,   432276638751120,  2029820738483520,   5648196837519360,  10314098572861440,  12915045169496064,  11230474060431360,   6696431737896960,   2620342853959680,   607615734251520,    63403380965376;
  9: 952809757913927, 10936598960403336, 57060516315147840, 178624224986549760, 372780991276277760, 544584404647084032, 568261987457826816, 423549307421982720, 220982247350599680, 76863390382817280, 16041055384240128, 1521681143169024;
%F Formula
The row polynomials satisfy P(n,x) = (23+24*x)*P(n-1,x) for n >= 1, with P(0,x) = 529 + 1104*x + 576*x^2.
%t Mathematica
P[0, x_] := 529 + 1104*x + 576*x^2;
P[n_, x_] := P[n, x] = Expand[(23 + 24*x)*P[n - 1, x]];
Table[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten
%o PARI/GP
P(N) = {my(v = vector(N + 1)); v[1] = 529 + 1104*x + 576*x^2; for(n = 1, N, my(i = n + 1); v[i] = (23 + 24*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 - 1, v[i])))};
T(9)

polytool c48629374597

Properties

Proof chains ? JSON

Same fingerprint ?

References

  1. [Bra06] Petter Brändén. On linear transformations preserving the Pólya frequency property. Transactions of the American Mathematical Society, 358(8):3697–3716, February 2006. doi:10.1090/s0002-9947-06-03856-6
  2. [Bra15] Petter Brändén. Unimodality, log-concavity, real-rootedness and beyond. Handbook of enumerative combinatorics, :437–483, March 2015. doi:10.1201/b18255-10
  3. [LW07] Lily L. Liu and Yi Wang. A unified approach to polynomial sequences with only real zeros. Advances in Applied Mathematics, 38(4):542–560, May 2007. doi:10.1016/j.aam.2006.02.003
  4. [SP14] J Schur and G Polya. Über zwei Arten von Faktorenfolgen in der Theorie der algebraischen Gleichungen. J. Reine Angew. Math., 1914.