Real-rooted atlas

A109983 → basis A008277

nonnegative coefficients

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

Recurrence

\(\left(n\right)\,P_{n}(x) = \left(1 + 3\,x + x^{2} - n - 3\,n x - n x^{2}\right)\,P_{n-2}(x) + \left(3\,x + 2\,x^{2} - 3\,n x - 2\,n x^{2}\right)\,P_{n-2}'(x) + \left(x^{2} - n x^{2}\right)\,P_{n-2}''(x) + \left(-3 - 7\,x - 2\,x^{2} + 6\,n + 14\,n x + 4\,n x^{2}\right)\,P_{n-1}(x) + \left(-7\,x - 4\,x^{2} + 14\,n x + 8\,n x^{2}\right)\,P_{n-1}'(x) + \left(-2\,x^{2} + 4\,n x^{2}\right)\,P_{n-1}''(x)\)
\(P_{0}(x) = 1\)
\(P_{1}(x) = 3 + 7\,x + 2\,x^{2}\)

Rows ?

nx0x1x2x3x4x5x6x7x8x9x10x11x12x13x14x15x16x17x18x19x20x21x22x23x24x25x26x27x28Pn(1)
011
137212
213135187666407
36323779026907132624502024269
432141935375905814850646471224370363502660702142932
516837511171496613262934125930839856114998520093754348663031997014490252256802123
689891365149158835549545548825841161315688412886911555723182615522347614943976404184123749024323467484492439564940669
7486392510649612310610461832001350705113466156536982376908518250209792213856410281471083712983095578305317424973059123521804071582901672532437237234327550784563310
82657294660302591910288233889221843284332901500664460503714063740216399785379424087899543928013034725161709171112959714659462443526682091435928549493615463647210928386235350234921069050841801800128701737029451085881
914625638713864623736018966955292152964814131360516357340665435285663862875920222131278638642110095261338524225058069308316810489167470532546665634639201835137065908666614425649483107501702591218384101378797236817076024472581227872807820646352850853281048620471719211223037465
1080974531638875923795143158367848492710532961121134689617611422621579850361054440412914158169928948002462013523999423406621561604989223638943219441859195919650045646240742865698767681722209224516913818481144231462850258436637744663390663666136747028641137699645901713510101760607167687214974203905059930374050677039722540184756148741485669721264498
11450467193097086769056157132810810675338725753980596420865118836169004468635421816455523502126686500826346503950974247336760127370397001161679445191481084128026448587781710744387904356375303595512546387829929653835816703200912206980237053822859987672710168626265849556264211256274492788697435285326466178498450942704099320299761401018850043304746946185359655274814048573724902089461030818235417270543253728868881612675086403
122515959695875996677906552288430527559930065500858911848657163802200797461175006713141672539756880226380404890301361685791095379487401378370062605600901705494745657296363149735868668987625478077986985055350487875342652771683184043845406514629511453233725084768424400149846629361229654359544626530134689038237415188477645895909255810179391590720127050694015833170215800169889810462953898655507106515942830544702990187991476475917404967531975254429215436209980113363039972827471736270415621986676566709864424512645
13140993361911185642900471501919550319284638909163463330494777739797329321377215622547487259526973892981993526492729164220128791323596280309964190327410491684383924339890812354982137173591015699252610718410265499331998443917622117069221413750747169579276431253301174444437134543603673157149453567900688211586358815461126665882823086011803685981261002721188295461789734104028334314514550143158874470686883078017502150982419161879728335930446262853143676429293463216148266077014127238166584754094791240116617295761032107758237589276711200765802570102747660017931173237182145001040060010097048364425324179575258428
147923848253213540618361957315370528861955360097448723997448494795750718812562275502730876974950647002765942418395388576041643981187602727659196295404171828559952923060245187557652068594684547762480793877853940494852299501239451870116634693746431319830127275913036765737037245042705488356715418139811686436567228643070146584909357811571788205015179021992324533538819512955539562443192307923090129501091776079447315826786710382589411611924538345267336031378901338167334413387346569255101195505039663319940985339083081037146185270509917644920239848451327119760188320133655785973985060744518090268741690148739980222779218027053138793072756352915275722100311204153050016568155800401166005161900161962238371014365662135
Technical details
Node id
n-1b547e4b3d19bf6d · revision 0 · JSON
Definition source
derived:basis_map_A008277
Fingerprint
f6-2155513c91a20d32

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

Matches ?

No OEIS matches.

Submission text ?

Atlas rows n = 0, …, ascending powers of x
%e Example
Triangle begins:
  0:       1;
  1:       3,           7,              2;
  2:      13,         135,            187,               66,                 6;
  3:      63,        2377,           9026,             9071,              3262,               450,                 20;
  4:     321,       41935,         375905,           814850,            646471,            224370,              36350,               2660,                70;
  5:    1683,      751117,       14966132,         62934125,          93083985,          61149985,           20093754,            3486630,            319970,             14490,              252;
  6:    8989,    13651491,      588355495,       4554882584,       11613156884,       12886911555,         7231826155,         2234761494,         397640418,          41237490,          2432346,            74844,             924;
  7:   48639,   251064961,    23106104618,     320013507051,     1346615653698,     2376908518250,      2097922138564,      1028147108371,      298309557830,       53174249730,       5912352180,        407158290,        16725324,         372372,         3432;
  8:  265729,  4660302591,   910288233889,   22184328433290,   150066446050371,   406374021639978,    537942408789954,    392801303472516,   170917111295971,    46594624435266,    8209143592854,     949361546364,     72109283862,     3535023492,    106905084,     1801800,     12870;
  9: 1462563, 87138646237, 36018966955292, 1529648141313605, 16357340665435285, 66386287592022213, 127863864211009526, 133852422505806930, 83168104891674705, 32546665634639201, 8351370659086666, 1442564948310750, 170259121838410, 13787972368170, 760244725812, 27872807820, 646352850, 8532810, 48620;
%F Formula
The row polynomials satisfy n*P(n,x) = -(n-1+(3*n-3)*x+(n-1)*x^2)*P(n-2,x) - ((3*n-3)*x+(2*n-2)*x^2)*d/dx P(n-2,x) - (n-1)*x^2*d^2/dx^2 P(n-2,x) + (6*n-3+(14*n-7)*x+(4*n-2)*x^2)*P(n-1,x) + ((14*n-7)*x+(8*n-4)*x^2)*d/dx P(n-1,x) + (4*n-2)*x^2*d^2/dx^2 P(n-1,x) for n >= 2, with P(0,x) = 1, P(1,x) = 3 + 7*x + 2*x^2.
%t Mathematica
P[0, x_] := 1;
P[1, x_] := 3 + 7*x + 2*x^2;
P[n_, x_] := P[n, x] = Expand[Together[(-(n - 1 + (3*n - 3)*x + (n - 1)*x^2)*P[n - 2, x] - ((3*n - 3)*x + (2*n - 2)*x^2)*D[P[n - 2, x], x] - (n - 1)*x^2*D[P[n - 2, x], {x, 2}] + (6*n - 3 + (14*n - 7)*x + (4*n - 2)*x^2)*P[n - 1, x] + ((14*n - 7)*x + (8*n - 4)*x^2)*D[P[n - 1, x], x] + (4*n - 2)*x^2*D[P[n - 1, x], {x, 2}])/(n)]];
Table[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten
%o PARI/GP
P(N) = {my(v = vector(N + 1)); v[1] = 1; v[2] = 3 + 7*x + 2*x^2; for(n = 2, N, my(i = n + 1); v[i] = (-(n - 1 + (3*n - 3)*x + (n - 1)*x^2)*v[i - 2] - ((3*n - 3)*x + (2*n - 2)*x^2)*deriv(v[i - 2], x) - (n - 1)*x^2*deriv(deriv(v[i - 2], x), x) + (6*n - 3 + (14*n - 7)*x + (4*n - 2)*x^2)*v[i - 1] + ((14*n - 7)*x + (8*n - 4)*x^2)*deriv(v[i - 1], x) + (4*n - 2)*x^2*deriv(deriv(v[i - 1], x), x))/(n)); 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 (−∞, 0]
    by Ray basis map theorem
  • Coefficients of one sign? Every nonzero row, n ≥ 0: the coefficients of P_n have one sign
    derived from Ray basis map theorem
  • Hadamard kernel (Malo)? Rows P_n, n ≥ 0, are Hadamard kernels (preserve real-rootedness)
    derived from Ray basis map theorem

Proof chains ? JSON

References

  1. [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
  2. [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
  3. [MW08] Shi-Mei Ma and Yi Wang. q-Eulerian polynomials and polynomials with only real zeros. The Electronic Journal of Combinatorics, 15(1):Research Paper 17, January 2008. doi:10.37236/741
  4. [SP14] J Schur and G Polya. Über zwei Arten von Faktorenfolgen in der Theorie der algebraischen Gleichungen. J. Reine Angew. Math., 1914.