Real-rooted atlas

A038301 → 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(64 + 88\,x\right)\,P_{n-1}(x)\)
\(P_{0}(x) = 4096 + 11264\,x + 7744\,x^{2}\)

Rows ?

nx0x1x2x3x4x5x6x7x8x9x10x11x12x13x14x15x16Pn(1)
0409611264774423104
1262144108134414868486814723511808
2167772169227468819031654417445683259969536533794816
310737418247381975040203004313602791309312019190251520527731916881136812032
468719476736566935683072194884141056035728759193603684528291840202649056051246440408678412332795428864
5439804651110442331197669376174616190386176400162102968320550222891581440453933885554688208053030879232408675596369921874584905187328
628147497671065630962247438172161490058157962035240976599343955968704285301224243207747138313466675253261575905083392209241905341399043596345248055296284936905588473856
71801439850948198422292818155483955212261049985516175363933753537019772928811336667010328166411155879171392012288102262225737760112646026166873832292352207149486287985049631647838182886604843310409649448026112
811529215046068469761585267068834414592098088399884129402880359657466241807810560865425778144350044160142795253393817757286416361956118041618022401285582266417555701760662878356121552158720202546164370474270720278500976009402122246583182266716099969024
973786976294838206464111602801645942787276876726926131585666252803164985702927908732928087037106830517490155520167546430648746168549376230376342142025981755392226262478889489803509760155555454236524239912960712962498584069432934401960646871106190940569624508085888827386757121000643704540847195291648
1047223664828696452136967791904696734914602598458926279269057791682150427007877998318154520985608355562255729679054929920183822369626052939208458242948817179417932566469017634753916757425633819099136298666472134126540632883201825183996375217748312064075288839850477732117872641882220996261943302946816215671155821681003462656152097843090208773684330496
113022314549036572936765445402387256402874124468224445696948653237115268628482247055449460070456146001927724253107518992193001881601911752644110950567767965696350487984753674270757460377648192097903630212229150801924969810096311865636131176448379638271246045291648909312020880104918532491040690012167830039344449684140258754561794384016436385948809297921897906171230792830471372823118872149711733600018235392
121934281311383406679529881637234915244130578580950220833278705499441704606724259841830328802469293753369834291269209307843370170049296859136190325596569267967635566362624392546542924115183248355622912616858853166466716533130264576742158307715905268328922349568680311782072913162634845487104467714350175127799311456272384233857175087563899655728136192803884039363500905066565468161700523929422790376102350028816701574306830976908148080643514068566756183507202771779584
131237940039285380274899124224255325133102609681697944371202457504406112618186342714572801464263041975435002695867432960604008504814866938612045316096018271257270649724893014370811904418716312452389528798245997772807402306237997600598397563174912010178171077246700822796649365504010884988513166610602157527793664089801155233624537467799604297728561257220210153359173747526860802572428925963202896213009498112081625148612293938052912801382401603351133455773783182215741440146973853900112596791703109632534138422146939893094821310496768
147922816251426433759354395033617430195753138154270579669073921797488937042372159153528373248011533887346021888021235140395008051542059077535312094894533640192017008879495586652991315196101263364287655039512468774894039017193472842217954189949223639900521234432013028058978875777053179711187845120159231831964037275094418692295884801532606382653858772783779913347891211494547869903940795878349350109184658541805046579941430530431516672027861384059662997522060902871859208209157803293561769892944596172801505012263937152991147039842631681293369914320990851766987364761681189040166334863750412839195508736
Technical details
Node id
n-8381edfecc6c9677 · revision 0 · JSON
Definition source
derived:basis_map_A013609
Fingerprint
f6-e348a50f4e54dede

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:                 4096,                  11264,                   7744;
  1:               262144,                1081344,                1486848,                  681472;
  2:             16777216,               92274688,              190316544,               174456832,                59969536;
  3:           1073741824,             7381975040,            20300431360,             27913093120,             19190251520,               5277319168;
  4:          68719476736,           566935683072,          1948841410560,           3572875919360,           3684528291840,            2026490560512,             464404086784;
  5:        4398046511104,         42331197669376,        174616190386176,         400162102968320,         550222891581440,          453933885554688,          208053030879232,           40867559636992;
  6:      281474976710656,       3096224743817216,      14900581579620352,       40976599343955968,       70428530122424320,        77471383134666752,        53261575905083392,        20924190534139904,         3596345248055296;
  7:    18014398509481984,     222928181554839552,    1226104998551617536,     3933753537019772928,     8113366670103281664,     11155879171392012288,     10226222573776011264,      6026166873832292352,      2071494862879850496,      316478381828866048;
  8:  1152921504606846976,   15852670688344145920,   98088399884129402880,   359657466241807810560,   865425778144350044160,   1427952533938177572864,   1636195611804161802240,   1285582266417555701760,    662878356121552158720,   202546164370474270720,    27850097600940212224;
  9: 73786976294838206464, 1116028016459427872768, 7672692613158566625280, 31649857029279087329280, 87037106830517490155520, 167546430648746168549376, 230376342142025981755392, 226262478889489803509760, 155555454236524239912960, 71296249858406943293440, 19606468711061909405696, 2450808588882738675712;
%F Formula
The row polynomials satisfy P(n,x) = (64+88*x)*P(n-1,x) for n >= 1, with P(0,x) = 4096 + 11264*x + 7744*x^2.
%t Mathematica
P[0, x_] := 4096 + 11264*x + 7744*x^2;
P[n_, x_] := P[n, x] = Expand[(64 + 88*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] = 4096 + 11264*x + 7744*x^2; for(n = 1, N, my(i = n + 1); v[i] = (64 + 88*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.