Real-rooted atlas

A038301 → x ↦ x+1 → D

nonnegative coefficientsonly rational roots

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

Recurrence

\(\left(1 + n\right)\,P_{n}(x) = \left(40 + 22\,x + 20\,n + 11\,n x\right)\,P_{n-1}(x)\)
\(P_{0}(x) = 440 + 242\,x\)

Rows ?

nx0x1x2x3x4x5x6x7x8Pn(1)
0440242682
11320014520399331713
2352000580800319440585641310804
388000001936000015972000585640080525550793655
421120000058080000063888000035138400096630600106293661889523966
549280000001626240000022360800000163979200006764142000148811124013641019768337783437
61126400000004336640000007155456000006559168000003607542400001190488992002182563152017148710482421110041768
7253440000000011151360000000214663680000002361300480000016233940800000714293395200019643068368003086767886402122152921984436212706659

All 15 rows

Technical details
Node id
n-49aa364e75170bd0 · revision 0 · JSON
Definition source
derived:derivative
Fingerprint
f6-590b4d5bb5323b01

Observed on the stored rows ?

  • Degrees: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 (affine: slope 1, intercept 1)
  • 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:              440,              242;
  1:            13200,            14520,              3993;
  2:           352000,           580800,            319440,             58564;
  3:          8800000,         19360000,          15972000,           5856400,            805255;
  4:        211200000,        580800000,         638880000,         351384000,          96630600,          10629366;
  5:       4928000000,      16262400000,       22360800000,       16397920000,        6764142000,        1488111240,        136410197;
  6:     112640000000,     433664000000,      715545600000,      655916800000,      360754240000,      119048899200,      21825631520,       1714871048;
  7:    2534400000000,   11151360000000,    21466368000000,    23613004800000,    16233940800000,     7142933952000,    1964306836800,     308676788640,     21221529219;
  8:   56320000000000,  278784000000000,   613324800000000,   787100160000000,   649357632000000,   357146697600000,  130953789120000,   30867678864000,   4244305843800,   259374246010;
  9: 1239040000000000, 6814720000000000, 16866432000000000, 24737433600000000, 23809779840000000, 15714454694400000, 7202458401600000, 2263629783360000, 466873642818000, 57062334122200, 3138428376721;
%F Formula
The row polynomials satisfy (n+1)*P(n,x) = (20*n+40+(11*n+22)*x)*P(n-1,x) for n >= 1, with P(0,x) = 440 + 242*x.
%t Mathematica
P[0, x_] := 440 + 242*x;
P[n_, x_] := P[n, x] = Expand[Together[((20*n + 40 + (11*n + 22)*x)*P[n - 1, x])/(n + 1)]];
Table[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten
%o PARI/GP
P(N) = {my(v = vector(N + 1)); v[1] = 440 + 242*x; for(n = 1, N, my(i = n + 1); v[i] = ((20*n + 40 + (11*n + 22)*x)*v[i - 1])/(n + 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.