Real-rooted atlas

A034870 → basis A013610 → 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(25 + 60\,x + 36\,x^{2}\right)\,P_{n-1}(x)\)
\(P_{0}(x) = 1\)

Rows ?

nx0x1x2x3x4x5x6x7x8x9x10x11x12x13x14x15x16x17x18x19x20x21x22x23x24x25x26x27x28Pn(1)
011
1256036121
2625300054004320129614641
315625112500337500540000486000233280466561771561
439062537500001575000037800000567000005443200032659200111974401679616214358881
597656251171875006328125002025000000425250000061236000006123600000419904000018895680005038848006046617625937424601
624414062535156250002320312500092812500000250593750000481140000000673596000000692841600000519631200000277136640000997691904002176782336021767823363138428376721
7610351562510253906250079980468750038390625000001266890625000030405375000000547296750000007505784000000078810732000000630485856000003782915136000016507266048000495217981440091424858112078364164096379749833583241
81525878906252929687500000263671875000001476562500000005758593750000001658475000000000364864500000000062548200000000008444007000000000900694080000000075658302720000004952179814400000247608990720000091424858112000023509249228800037614798766080282110990745645949729863572161
9381469726562582397460937500840454101562500537890625000000024205078125000000813290625000000002114555625000000004349943000000000007177405950000000009569874600000000001033546456800000000902004180480000000631402926336000000349700082278400000149871463833600000479588684267520001079074539601920015233993500262401015599566684165559917313492231481
109536743164062522888183593750002609252929687500018786621093750000095811767578125000036791718750000000001103751562500000000026490037500000000000516555731250000000008264891700000000000010909657044000000000011901444048000000000010711299643200000000079098828134400000000474592968806400000002278046250270720000085426734385152000002412048970874880000482409794174976000609359740010496003656158440062976672749994932560009201
112384185791015625629425048828125007930755615234375006344604492187500000361642456054687500001562295410156250000005311804394531250000001456952062500000000000327814214062500000000061191986625000000000009545949913500000000000124965162504000000000001374616787544000000000012688770346560000000000978847998163200000000062646271882444800000003288929273828352000000139295828068024320000046431942689341440000011730174995202048000021114314991363686400241306457044156416013162170384226713681402749386839761113321
125960464477539062517166137695312500002368927001953125000020846557617187500000013133331298828125000006303999023437500000000239551962890625000000007391889140625000000000018849317308593750000000040211876925000000000000072381378465000000000000011054610529200000000000001437099368796000000000000159186391620480000000000015009002638502400000000001200720211080192000000000810486142479129600000000457686292223508480000000213586936370970624000000809382074668941312000002428146224006823936000055500485120155975680009081897565116432384009476762676643233792047383813383216168969849732675807611094711841
131490116119384765625464916229248046875006973743438720703125006694793701171875000000461940765380859375000002439047241210937500000001024399841308593750000000351222802734375000000000010009849877929687500000000240236397070312500000000004900822500234375000000000085541629095000000000000000128312443642500000000000000165819157938000000000000000184769918845200000000000000177379122091392000000000000146337775725398400000000000103297253453222400000000000619783520719334400000000003131537788897689600000000013152458713370296320000000450941441601267302400000012298402952761835520000002566623224924209152000003849934837386313728000036959374438908611788801705817281795782082561191817653772720942460132761
1437252902984619140625125169754028320312500020277500152587890625000210886001586914062500000158164501190185546875000091102752685546875000000004190726623535156250000000015805026123046875000000000049785832287597656250000000013276221943359375000000000003026978603085937500000000000594388525696875000000000000010104604936846875000000000000149237242144200000000000000001918764541854000000000000000021490162868764800000000000000209529087970456800000000000001774834627514457600000000000013015453935106022400000000000822028669585643520000000000044389548157624750080000000002029236487205702860800000000774799386023995637760000000242545894755337764864000000606364736888344412160000001164220294825621271347200016119973312970140680192001432886516708456949350406140942214464815497216144209936106499234037676064081
Technical details
Node id
n-21ab0e9d397e6efd · revision 0 · JSON
Definition source
derived:basis_map_A013609
Fingerprint
f6-0d4cb94e85dd3af7

Observed on the stored rows ?

  • Degrees: 0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28 (affine: slope 2, intercept 0)
  • 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:             1;
  1:            25,             60,              36;
  2:           625,           3000,            5400,             4320,              1296;
  3:         15625,         112500,          337500,           540000,            486000,            233280,              46656;
  4:        390625,        3750000,        15750000,         37800000,          56700000,          54432000,           32659200,           11197440,            1679616;
  5:       9765625,      117187500,       632812500,       2025000000,        4252500000,        6123600000,         6123600000,         4199040000,         1889568000,          503884800,            60466176;
  6:     244140625,     3515625000,     23203125000,      92812500000,      250593750000,      481140000000,       673596000000,       692841600000,       519631200000,       277136640000,         99769190400,        21767823360,         2176782336;
  7:    6103515625,   102539062500,    799804687500,    3839062500000,    12668906250000,    30405375000000,     54729675000000,     75057840000000,     78810732000000,     63048585600000,      37829151360000,     16507266048000,      4952179814400,       914248581120,        78364164096;
  8:  152587890625,  2929687500000,  26367187500000,  147656250000000,   575859375000000,  1658475000000000,   3648645000000000,   6254820000000000,   8444007000000000,   9006940800000000,    7565830272000000,   4952179814400000,   2476089907200000,    914248581120000,    235092492288000,    37614798766080,     2821109907456;
  9: 3814697265625, 82397460937500, 840454101562500, 5378906250000000, 24205078125000000, 81329062500000000, 211455562500000000, 434994300000000000, 717740595000000000, 956987460000000000, 1033546456800000000, 902004180480000000, 631402926336000000, 349700082278400000, 149871463833600000, 47958868426752000, 10790745396019200, 1523399350026240, 101559956668416;
%F Formula
The row polynomials satisfy P(n,x) = (25+60*x+36*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 1.
%t Mathematica
P[0, x_] := 1;
P[n_, x_] := P[n, x] = Expand[(25 + 60*x + 36*x^2)*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] = 1; for(n = 1, N, my(i = n + 1); v[i] = (25 + 60*x + 36*x^2)*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. [SP14] J Schur and G Polya. Über zwei Arten von Faktorenfolgen in der Theorie der algebraischen Gleichungen. J. Reine Angew. Math., 1914.