Real-rooted atlas

A139548 → basis A013610 → (θ+1)²

nonnegative coefficients

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

Recurrence

\(\left(4 - 24\,x + 9\,x^{2} + 36\,n x - 36\,n x^{2} + 36\,n^{2} x^{2}\right)\,P_{n}(x) = \left(32 + 192\,x + 432\,x^{2} + 432\,x^{3} + 162\,x^{4} + 288\,n x + 1152\,n x^{2} + 1512\,n x^{3} + 648\,n x^{4} + 288\,n^{2} x^{2} + 864\,n^{2} x^{3} + 648\,n^{2} x^{4}\right)\,P_{n-1}(x)\)
\(P_{0}(x) = 1\)

Rows ?

nx0x1x2x3x4x5x6x7x8x9x10x11x12x13x14x15x16x17x18x19x20x21x22x23x24x25x26x27x28Pn(1)
011
1896162266
2641536777613824810031300
3512184321555205529609720008398082857682825000
44096196608232243212386304362880006270566464012032358318088503056222250000
5327681966080298598402123366408709120002257403904384072192042998169603061100160125971200022863772816062500000
626214418874368350355456311427072016422912000567575838721351934115842270303354882693768140802217093120001207207203843918208204857480658561095625000000
7209715217616076838645268484122161971226568622080011477644738563515028701184787038496358413073754710016161404379136001464744740659295081852436484184591943168111995451187213774950720071656250000000
816777216161061273640768634880507343011840386452684800020033707180032749872789585922098769323622404482430186291207378485903360009374366340218889127857833902086695347109068803583854437990401322395269120003009183901286431847686064644539062500000000
913421772814495514624415840075776591416996659251980009472000314375097286656139067317341388846707157311160321219221010671206425086852071424000409793728586711045320237137474355254634032410001408438663783210024962697686349004800012277470317248512389815677431193677122092095078471607703822848280390625000000000
1010737418241288490188804131221667840660995466854406584134533120004550953789292544232288266328473609101907578585088028079029336670208069330936633753600013841921498928906242246322346933616640296584747368579072031750902403773235202733655500324864000186617548822177382498753304949235712039075193328173056010884370981072896019042491875328000157457604694118416972656250000000000
118589934592113387136614440181566537728714338960670720795260171059200061839430901563392357723930145849344160193573383097548857022028806776422401642609883322777600038757380197000937472754764308569695191041217974695860298055681629879656727026073601804212630214410240001642234429635160965121216640716974583971847221095727046380748833523862621704519680117301749952020480002909816534747308032456220020349108224339979889319137281010351562500000000000
1268719476736989560464998438407315547750475107639293378569241760303677440079848809023773081651624473056342179842600789779631466086410492053300446861721634541739260730408960094039885137338538393621365635811819063869444074678982514451677184654322596736958831001688526699722520395776001007237116842898725273695940810824281478922247592466364437337473024493471257791490529689625900226389406121984001070812484787009355776335777934976943652864750675595616655114241066135801122363801672301961339136000059306640625000000000000
13549755813888857619069665283618080450150400771857162698752001040198129418240000988604302199095296070644015761310351360395441720879638118400178296330595829022720066035677998455193600002037530844642334998528052905383914980539105280116419399500412905062400218107532245652943667200348741544361443983360000476148455234824851947520554324684762515211550720548344792987141039718400458223310806384063283200320669469583123415040000185607497363081621667840873022630940053497446403252927581005505495040092398436097271529472001879850994817536000000243989620319357632512151799413870742814723439941406250000000000000
1443980465111047388718138654723366484701924556877803202000034201611396953417973760000118163613037551943680924794388148062781440569436078066678890496028377268616936156037120116778883197268131840000402711978705779152650240117636677175662610481152029337688674104052075724806281496928674804777615360115889497818572154470400001845990934141167118319616025398149192755242420142080301489937089657182565171203079260648618900905263104026936235444982366863360000200456097152128151401267201257152588553677036322816065579020033070990780006402794128707581491051233280947444901388038144000000245941537281912493572096459041427545126271713285485268696774561759232315218042136530141184197485351562500000000000000
Technical details
Node id
n-66407c1a4552c33b · revision 0 · JSON
Definition source
derived:theta_plus_one_squared
Fingerprint
f6-d115b0993943a210

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:         8,          96,          162;
  2:        64,        1536,         7776,         13824,           8100;
  3:       512,       18432,       155520,        552960,         972000,          839808,           285768;
  4:      4096,      196608,      2322432,      12386304,       36288000,        62705664,         64012032,         35831808,           8503056;
  5:     32768,     1966080,     29859840,     212336640,      870912000,      2257403904,       3840721920,       4299816960,        3061100160,        1259712000,         228637728;
  6:    262144,    18874368,    350355456,    3114270720,    16422912000,     56757583872,     135193411584,     227030335488,      269376814080,      221709312000,      120720720384,       39182082048,        5748065856;
  7:   2097152,   176160768,   3864526848,   41221619712,   265686220800,   1147764473856,    3515028701184,    7870384963584,    13073754710016,    16140437913600,    14647447406592,     9508185243648,     4184591943168,     1119954511872,      137749507200;
  8:  16777216,  1610612736,  40768634880,  507343011840,  3864526848000,  20033707180032,   74987278958592,  209876932362240,   448243018629120,   737848590336000,   937436634021888,   912785783390208,   669534710906880,   358385443799040,   132239526912000,    30091839012864,    3184768606464;
  9: 134217728, 14495514624, 415840075776, 5914169966592, 51980009472000, 314375097286656, 1390673173413888, 4670715731116032, 12192210106712064, 25086852071424000, 40979372858671104, 53202371374743552, 54634032410001408, 43866378321002496, 26976863490048000, 12277470317248512, 3898156774311936, 771220920950784, 71607703822848;
%F Formula
The row polynomials satisfy (4+(36*n-24)*x+(36*n^2-36*n+9)*x^2)*P(n,x) = (32+(288*n+192)*x+(288*n^2+1152*n+432)*x^2+(864*n^2+1512*n+432)*x^3+(648*n^2+648*n+162)*x^4)*P(n-1,x) for n >= 1, with P(0,x) = 1.
%t Mathematica
P[0, x_] := 1;
P[n_, x_] := P[n, x] = Expand[Together[((32 + (288*n + 192)*x + (288*n^2 + 1152*n + 432)*x^2 + (864*n^2 + 1512*n + 432)*x^3 + (648*n^2 + 648*n + 162)*x^4)*P[n - 1, x])/(4 + (36*n - 24)*x + (36*n^2 - 36*n + 9)*x^2)]];
Table[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten
%o PARI/GP
P(N) = {my(v = vector(N + 1)); v[1] = 1; for(n = 1, N, my(i = n + 1); v[i] = ((32 + (288*n + 192)*x + (288*n^2 + 1152*n + 432)*x^2 + (864*n^2 + 1512*n + 432)*x^3 + (648*n^2 + 648*n + 162)*x^4)*v[i - 1])/(4 + (36*n - 24)*x + (36*n^2 - 36*n + 9)*x^2)); 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. [SP14] J Schur and G Polya. Über zwei Arten von Faktorenfolgen in der Theorie der algebraischen Gleichungen. J. Reine Angew. Math., 1914.