Real-rooted atlas

A085880 → basis A013611 → 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(-36 - 24\,x + 24\,n + 16\,n x\right)\,P_{n-1}(x) + \left(-24\,x + 16\,n x\right)\,P_{n-1}'(x)\)
\(P_{1}(x) = 1\)

Rows ?

nx0x1x2x3x4x5x6x7x8x9x10x11x12x13x14Pn(1)
111
26410
37212832232
41080392024003207720
518144121856137984430083584324576
63265923873408725760039782407526404300816231488
7615859212584140836802867231629312010205184012976128540672931890432
812009254441699074561838124288023287520256114085171202423156736221405184702873660018870912
9240185088014059814912091339010048016423344537601147124858880362120478720544492748803748659200937164804266261542400
104899775795248130022420484538950361088011293297393664010814068801536047612348399616104786645483521173855141888630899343361274544128330654398131200
111015589892096166944410107904226170838743449676495780655923209779220656291840577076225428684817438867765329922826707140608002450253152256010567129497601761188249627681363710554112
12213273877340165857272612265984113160932725800960513587335556399104860094083452764160662048454328188928263898783095980032580522298446970887216226689351680498372244930560176294943784962465663549442484452893998845952
1345279684727603220755920315272396856887214489286737923431322503555737190474224252476659597312730820971332171202563738440278991070822410719312582058967040179196727264700006417620314523435008099234233209323522931484293857283489862254592237598413945826361344
14970278958448640074192972104155136002874012039200440320002287117630127669248000632209448081693081600078465411977510125568005049501686536391884800183569371053445611520039632859531722096640052030004251538227200414746447750103040019411112411791360048608795688960004985517506560024088483995591626752000
152095802550249062402672344197449750937601459185855740020260864015234379976872160133120053364437675453935779840082547441663325857906688065833637539354490437632029740173445554147164160080651741271091996262400135740684154005618688001436052178696321105920946634908172392857603740155175491338240804064263457996807179145209446402577820352198528593428480
Technical details
Node id
n-cae3750b8f2fc5bd · revision 0 · JSON
Definition source
derived:basis_map_A008277
Fingerprint
f6-5162632e955115eb

Observed on the stored rows ?

  • Degrees: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14 (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 ℚ): no

Matches ?

No OEIS matches.

Submission text ?

Atlas rows n = 1, …, ascending powers of x
%e Example
Triangle begins:
   1:           1;
   2:           6,             4;
   3:          72,           128,             32;
   4:        1080,          3920,           2400,             320;
   5:       18144,        121856,         137984,           43008,            3584;
   6:      326592,       3873408,        7257600,         3978240,          752640,          43008;
   7:     6158592,     125841408,      368028672,       316293120,       102051840,       12976128,         540672;
   8:   120092544,    4169907456,    18381242880,     23287520256,     11408517120,     2423156736,      221405184,       7028736;
   9:  2401850880,  140598149120,   913390100480,   1642334453760,   1147124858880,   362120478720,    54449274880,    3748659200,    93716480;
  10: 48997757952, 4813002242048, 45389503610880, 112932973936640, 108140688015360, 47612348399616, 10478664548352, 1173855141888, 63089934336, 1274544128;
%F Formula
The row polynomials satisfy n*P(n,x) = (24*n-36+(16*n-24)*x)*P(n-1,x) + (16*n-24)*x*d/dx P(n-1,x) for n >= 2, with P(1,x) = 1.
%t Mathematica
P[1, x_] := 1;
P[n_, x_] := P[n, x] = Expand[Together[((24*n - 36 + (16*n - 24)*x)*P[n - 1, x] + (16*n - 24)*x*D[P[n - 1, x], x])/(n)]];
Table[CoefficientList[P[n, x], x], {n, 1, 10}] // Flatten
%o PARI/GP
P(N) = {my(v = vector(N)); v[1] = 1; for(n = 2, N, my(i = n); v[i] = ((24*n - 36 + (16*n - 24)*x)*v[i - 1] + (16*n - 24)*x*deriv(v[i - 1], x))/(n)); v};
row(n, p) = {my(c = Vecrev(p)); c};
T(N) = {my(v = P(N)); concat(vector(#v, i, row(i, v[i])))};
T(10)

polytool c48629374597

Properties

  • Real-rooted? Every row P_n, n ≥ 1, is zero or real-rooted with all roots in (−∞, 0]
    by Ray basis map theorem
  • Coefficients of one sign? Every nonzero row, n ≥ 1: the coefficients of P_n have one sign
    derived from Ray basis map theorem
  • Hadamard kernel (Malo)? Rows P_n, n ≥ 1, are Hadamard kernels (preserve real-rootedness)
    derived from Ray 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. [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
  5. [SP14] J Schur and G Polya. Über zwei Arten von Faktorenfolgen in der Theorie der algebraischen Gleichungen. J. Reine Angew. Math., 1914.