Real-rooted atlas

A038319 → basis A013611 → basis A008288

nonnegative coefficients

Proved for all n all roots real, in [−3−2√2, −3+2√2]coefficients of one signHadamard kernel

Recurrence

\(P_{n}(x) = \left(-576 + 80\,x\right)\,P_{n-2}(x) + \left(52 + 20\,x\right)\,P_{n-1}(x)\)
\(P_{0}(x) = 1296 + 1840\,x + 400\,x^{2}\)
\(P_{1}(x) = 46656 + 112960\,x + 59200\,x^{2} + 8000\,x^{3}\)

Rows ?

nx0x1x2x3x4x5x6x7x8x9x10x11x12x13x14x15x16Pn(1)
0129618404003536
146656112960592008000226816
2167961658508805254400163200016000014576896
360466176276505600365184000190080000416000003200000937035776
42176782336123518771202196121600016668160000600320000010112000006400000060236435456
578364164096531403325440120079523840012256972800006367744000001741312000002380800000012800000003872253607936
628211099074562225971757056061407908659200799082004480005550182400000021688115200000476467200000054784000000025600000000248924987785216
710155995666841691410832949248029892598104064004773446582272000421553258496000021884608512000006817423360000001249484800000001239040000000051200000000016001961330999296
836561584400629763696892373893120014013349874892800026688992772096000028910023147520000019005840752640000078210416640000000201977856000000003172352000000000276480000000000102400000000001028674421890482176
9131621703842267136147710560197148672063776354252881920001417058176991232000018324739548774400000147417309773824000007650503098368000000259706224640000000057177702400000000078520320000000000610304000000000020480000000000066127585555939065856
10473838133832161689658440317980943319040283419772774147686400721905042073845760000109112755282247680000010467191775821824000006628162532802560000002826802076057600000008146219827200000000015613132800000000000190398464000000000013352960000000000040960000000000004250963646769933582336
1117058172817957820825622933810713472899481601235128498706626641920035555413377876492288000617553301497446400000006922669041165271040000052173477415747584000000270718282550476800000009768059876147200000000244164132864000000000041403613184000000000045393510400000000000289996800000000000081920000000000000273270100131689441263616
126140942214464815497216893848976236930190540805295598770749580509184001702763472978299584512000335164836828441214976000043192744623392948224000003799510006169075712000000234140611825893376000000010250678690643968000000003198503579811840000000007051506089984000000000010716590899200000000000106699161600000000000062586880000000000000163840000000000000017566969240683752714141696
13221073919720733357899776346349256187966054727680022393941893529292767232000796430828296791811686400001756143475143326302208000002567010921421991837696000002594462218090394419200000001863238233911984128000000009667099532827033600000000036508635381104640000000000100206368207667200000000001974540173312000000000000271776481280000000000000247791616000000000000001343488000000000000000327680000000000000001129279815663912232551448576
147958661109946400884391936133528665958067021881016320935879132315836039036928000365089217474439935950848000089304793450453229633536000001464097352083632931471360000016782249570347790630912000000138330741288994865152000000008350241621773647872000000000372964056971083776000000000012362171758621491200000000003025572739416064000000000005386592059392000000000000067733553152000000000000005695078400000000000000002870476800000000000000065536000000000000000072594929984422539397490016256
Technical details
Node id
n-387a2884c2e42811 · revision 0 · JSON
Definition source
derived:basis_map_A008288
Fingerprint
f6-427fb160a6bb2f85

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 ℚ): no

Matches ?

No OEIS matches.

Submission text ?

Atlas rows n = 0, …, ascending powers of x
%e Example
Triangle begins:
  0:               1296,                1840,                 400;
  1:              46656,              112960,               59200,                 8000;
  2:            1679616,             5850880,             5254400,              1632000,               160000;
  3:           60466176,           276505600,           365184000,            190080000,             41600000,              3200000;
  4:         2176782336,         12351877120,         21961216000,          16668160000,           6003200000,           1011200000,            64000000;
  5:        78364164096,        531403325440,       1200795238400,        1225697280000,         636774400000,         174131200000,         23808000000,          1280000000;
  6:      2821109907456,      22259717570560,      61407908659200,       79908200448000,       55501824000000,       21688115200000,       4764672000000,        547840000000,        25600000000;
  7:    101559956668416,     914108329492480,    2989259810406400,     4773446582272000,     4215532584960000,     2188460851200000,     681742336000000,     124948480000000,     12390400000000,      512000000000;
  8:   3656158440062976,   36968923738931200,  140133498748928000,   266889927720960000,   289100231475200000,   190058407526400000,   78210416640000000,   20197785600000000,   3172352000000000,   276480000000000,   10240000000000;
  9: 131621703842267136, 1477105601971486720, 6377635425288192000, 14170581769912320000, 18324739548774400000, 14741730977382400000, 7650503098368000000, 2597062246400000000, 571777024000000000, 78520320000000000, 6103040000000000, 204800000000000;
%F Formula
The row polynomials satisfy P(n,x) = -(576-80*x)*P(n-2,x) + (52+20*x)*P(n-1,x) for n >= 2, with P(0,x) = 1296 + 1840*x + 400*x^2, P(1,x) = 46656 + 112960*x + 59200*x^2 + 8000*x^3.
%t Mathematica
P[0, x_] := 1296 + 1840*x + 400*x^2;
P[1, x_] := 46656 + 112960*x + 59200*x^2 + 8000*x^3;
P[n_, x_] := P[n, x] = Expand[-(576 - 80*x)*P[n - 2, x] + (52 + 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] = 1296 + 1840*x + 400*x^2; v[2] = 46656 + 112960*x + 59200*x^2 + 8000*x^3; for(n = 2, N, my(i = n + 1); v[i] = -(576 - 80*x)*v[i - 2] + (52 + 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

  • Real-rooted? Every row P_n, n ≥ 0, is zero or real-rooted with all roots in [−3−2√2, −3+2√2] (rational outer bound [-1564556493/268435456, -46056243/268435456])
    by Affine-current basis map theorem
  • Coefficients of one sign? Every nonzero row, n ≥ 0: the coefficients of P_n have one sign
    derived from Affine-current basis map theorem
  • Hadamard kernel (Malo)? Rows P_n, n ≥ 0, are Hadamard kernels (preserve real-rootedness)
    derived from Affine-current basis map theorem

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.