Real-rooted atlas

A038334 → basis A013610 → reverse

nonnegative coefficientsonly rational roots

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

Recurrence

\(P_{n}(x) = \left(24 + 20\,x\right)\,P_{n-1}(x)\)
\(P_{0}(x) = 576 + 960\,x + 400\,x^{2}\)

Rows ?

nx0x1x2x3x4x5x6x7x8x9x10x11x12x13x14x15x16Pn(1)
05769604001936
1138243456028800800085184
2331776110592013824007680001600003748096
37962624331776005529600046080000192000003200000164916224
4191102976955514880199065600022118400001382400000460800000640000007256313856
545864714242675441664066886041600928972800007741440000038707200000107520000001280000000319277809664
6110075314176733835427840214035333120035672555520003715891200000247726080000010321920000002457600000002560000000014048223625216
72641807540224198135565516806604518850560012842119987200016052649984000013377208320000074317824000000265420800000005529600000000512000000000618121839509504
8634033809653765283615080448001981355655168000440301256704000064210599936000006421059993600000445906944000000021233664000000006635520000000001228800000000001024000000000027197360938418176
915216811431690241394874381238272058119765884928000145299414712320000242165691187200000282526639718400000235438866432000000140142182400000000583925760000000001622016000000000027033600000000002048000000000001196683881290399744
1036520347436056576365203474360565760167384925748592640046495812707942400008717964882739200000116239531769856000001130106558873600000080721897062400000004204265472000000000155713536000000000038928384000000000058982400000000000409600000000000052654090776777588736
118764883384653578249495290333374709760474764516668735488001450669356487802880003022227826016256000004533341739024384000005037046376693760000004197538647244800000002623461654528000000001214565580800000000004048551936000000000092012544000000000001277952000000000000819200000000000002316779994178213904384
1221035720123168587776245416734770300190720132934064667245936640044311354889081978880001015468549541462016000016924475825691033600000211555947821137920000002014818550677504000000014691385265356800000000816188070297600000000034007836262400000000001030540492800000000000214695936000000000000275251200000000000001638400000000000000101938319743841411792896
1350485728295604610662463107160369505763328003681251021554502860800013293406466724593664000033233516166811484160000060928112972487720960000084622379128455168000000090666834780487680000000075555695650406400000000048971284217856000000000024485642108928000000000092748644352000000000000257635123200000000000004954521600000000000000589824000000000000000327680000000000000004485286068729022118887424
141211657479094510655897616155433054593475411968010097145659120922132480003926667756324803051520000106347251733796749312000002126945034675934986240000032494993585326784512000000386845161730080768000000003626673391219507200000000026864247342366720000000000156708109497139200000000007123095886233600000000000247329718272000000000000063417876480000000000000011324620800000000000000012582912000000000000000655360000000000000000197352587024076973231046656
Technical details
Node id
n-740344b12e5a271f · revision 0 · JSON
Definition source
derived:reversal
Fingerprint
f6-da2debf48cb6165b

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:              576,               960,               400;
  1:            13824,             34560,             28800,               8000;
  2:           331776,           1105920,           1382400,             768000,             160000;
  3:          7962624,          33177600,          55296000,           46080000,           19200000,            3200000;
  4:        191102976,         955514880,        1990656000,         2211840000,         1382400000,          460800000,           64000000;
  5:       4586471424,       26754416640,       66886041600,        92897280000,        77414400000,        38707200000,        10752000000,         1280000000;
  6:     110075314176,      733835427840,     2140353331200,      3567255552000,      3715891200000,      2477260800000,      1032192000000,       245760000000,       25600000000;
  7:    2641807540224,    19813556551680,    66045188505600,    128421199872000,    160526499840000,    133772083200000,     74317824000000,     26542080000000,     5529600000000,      512000000000;
  8:   63403380965376,   528361508044800,  1981355655168000,   4403012567040000,   6421059993600000,   6421059993600000,   4459069440000000,   2123366400000000,   663552000000000,   122880000000000,   10240000000000;
  9: 1521681143169024, 13948743812382720, 58119765884928000, 145299414712320000, 242165691187200000, 282526639718400000, 235438866432000000, 140142182400000000, 58392576000000000, 16220160000000000, 2703360000000000, 204800000000000;
%F Formula
The row polynomials satisfy P(n,x) = (24+20*x)*P(n-1,x) for n >= 1, with P(0,x) = 576 + 960*x + 400*x^2.
%t Mathematica
P[0, x_] := 576 + 960*x + 400*x^2;
P[n_, x_] := P[n, x] = Expand[(24 + 20*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] = 576 + 960*x + 400*x^2; for(n = 1, N, my(i = n + 1); v[i] = (24 + 20*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.