Real-rooted atlas

A075501 → x ↦ x/(x+1)

nonnegative coefficients

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

Recurrence

\(\left(1 + x\right)\,P_{n}(x) = \left(6 + 7\,x - 5\,x^{2} - 6\,x^{3} - 6\,n x - 12\,n x^{2} - 6\,n x^{3}\right)\,P_{n-1}(x) + \left(6\,x + 18\,x^{2} + 18\,x^{3} + 6\,x^{4}\right)\,P_{n-1}'(x)\)
\(P_{0}(x) = 36 + 90\,x + 55\,x^{2}\)

Rows ?

nx0x1x2x3x4x5x6x7x8x9x10x11x12x13x14x15x16Pn(1)
0369055181
121690011885052809
2129684241839616764549750377
3777679056257904379476262674698231056709
4466567698243539376746798481711364526766100740725529149
52799367884864489421441384400162124649441837914488458720816157905692548465
61679616848206086878494082500341696504412401660559760164323079944169980876028421409720681894161
710077696948983040984087014444752295232114059433312178313753808175573925568106598730456365623785905432922775672093370621
860466176109141447681433770606088021638863362516191205760492227194204862704006740005226557109696275819081050883834715193811203401773523600508469573
93627970561277650298882129679184896145046346969605496685119590413092995065881620722984849497622234419580996816047595799200874825005993596204050488010042476196276617890415496931689
10217678233615117753323523230532431769626590655946240012003962618626563412620395108352652597583721984086530312055957768007411171968352509085010588082421245912706963245250940368545165833203538701735898028156468441
11130606940161799981313638450121501677568049574619581368322636227817240832088088643561265920199408862618284032317697272134585344361872666052696512294089816515995072166951710291592368630239886359681401423610398108401014576665744472471538665698387069877
12783641640962150704483614727958862592782336941259946610073605842769855302656002267411052751971840598263412948395494411220623034137616384152960162746272917761525510384543204473611043956108756018592566020538969385038419497486320699466964053917192410837983848503494151193569806152212731871949
13470184984576257481133970227212927336493680230418204286594745180161309610567812633804858470449671066798080177668026409726650368386236538142579332352617362801853607233280734664372510061339776651152736499708109952424771785371504685024198336743124473167200628023657504481607521209261537994233384010697878642310832973339676605561411239137
14282110990745630858710722707456214406664709496832035846875143582105600297239700883417214976151550162594181760204852528937920176446484481307677856007280691404824129754412112130809600335662249438567664663043541345224388076495347228228302386875329158016167495013519213933092167179417204714396261792210284670773700877089637694355325590444388831213730550761076769167958092017142651318305
Technical details
Node id
n-e4f7b836c7f2dd88 · revision 0 · JSON
Definition source
derived:mobius_x_over_x_plus_one
Fingerprint
f6-f145e7ba99e5a3dd

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:        36,           90,            55;
  1:       216,          900,          1188,            505;
  2:      1296,         8424,         18396,          16764,           5497;
  3:      7776,        79056,        257904,         379476,         262674,           69823;
  4:     46656,       769824,       3539376,        7467984,        8171136,         4526766,         1007407;
  5:    279936,      7884864,      48942144,      138440016,      212464944,       183791448,        84587208,        16157905;
  6:   1679616,     84820608,     687849408,     2500341696,     5044124016,      6055976016,      4323079944,      1699808760,       284214097;
  7:  10077696,    948983040,    9840870144,    44752295232,   114059433312,    178313753808,    175573925568,    106598730456,     36562378590,     5432922775;
  8:  60466176,  10914144768,  143377060608,   802163886336,  2516191205760,   4922271942048,   6270400674000,   5226557109696,   2758190810508,   838347151938,   112034017735;
  9: 362797056, 127765029888, 2129679184896, 14504634696960, 54966851195904, 130929950658816, 207229848494976, 222344195809968, 160475957992008, 74825005993596, 20405048801004, 2476196276617;
%F Formula
The row polynomials satisfy (1+x)*P(n,x) = (6-(6*n-7)*x-(12*n+5)*x^2-(6*n+6)*x^3)*P(n-1,x) + (6*x+18*x^2+18*x^3+6*x^4)*d/dx P(n-1,x) for n >= 1, with P(0,x) = 36 + 90*x + 55*x^2.
%t Mathematica
P[0, x_] := 36 + 90*x + 55*x^2;
P[n_, x_] := P[n, x] = Expand[Together[((6 - (6*n - 7)*x - (12*n + 5)*x^2 - (6*n + 6)*x^3)*P[n - 1, x] + (6*x + 18*x^2 + 18*x^3 + 6*x^4)*D[P[n - 1, x], x])/(1 + x)]];
Table[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten
%o PARI/GP
P(N) = {my(v = vector(N + 1)); v[1] = 36 + 90*x + 55*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((6 - (6*n - 7)*x - (12*n + 5)*x^2 - (6*n + 6)*x^3)*v[i - 1] + (6*x + 18*x^2 + 18*x^3 + 6*x^4)*deriv(v[i - 1], x))/(1 + x)); 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

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.