{"id":"n-c5c61f28a5dc4bc9","revision":0,"first_index":0,"fingerprint":"f6-7939c1a278d41502","name":"one_plus_derivative of basis_map_A013610 of Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":2,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["1"],["32","60","18"],["448","2112","3456","2160","324"],["5120","39168","120960","190080","155520","58320","5832"],["53248","565248","2580480","6580224","10160640","9580032","5225472","1399680","104976"],["524288","7127040","43130880","152616960","348364800","532998144","548674560","369515520","151165440","31492800","1889568"],["4980736","82575360","622854144","2822307840","8539914240","18130894848","27590492160","30152466432","23279477760","12194012160","3990767616","680244480","34012224"],["46137344","902823936","8158445568","45086146560","170039181312","462294024192","932558635008","1414209798144","1614043791360","1371937222656","847372990464","363159853056","99043596288","14285134080","612220032"],["419430400","9462349824","99656663040","650033233920","2937040404480","9738607656960","24485642108928","47550242488320","71940237557760","84852587888640","77474101985280","53879716380672","27732206960640","10056734392320","2350924922880","293865615360","11019960576"],["3758096384","96032784384","1155111321600","8686437138432","45742408335360","179019152621568","539240618262528","1277148832727040","2408337798856704","3637593550356480","4402742538534912","4248800491732992","3232782982840320","1902368447594496","839280197468160","263773776347136","53953726980096","5950778711040","198359290368"],["33285996544","950261514240","12852689633280","109477374197760","658413453312000","2970761501343744","10429269100462080","29154547712655360","65864389802065920","121329139109068800","183033672713109504","226192180767621120","228142113360445440","186293560022138880","121495800014438400","61962858007363584","23919485627842560","6633134669905920","1206024485437440","119015574220800","3570467226624"],["292057776128","9212704849920","138403173629952","1317062458736640","8906913915863040","45520692191428608","182512209258086400","588210777266061312","1548746461418618880","3367350260811694080","6085869617710891008","9172482916645601280","11531121380925898752","12057783174766264320","10424339641238814720","7377224976876699648","4209829470500290560","1894423261725130752","650047197650780160","161289906184028160","26392893739204608","2356508369571840","64268410079232"],["2542620639232","87823491268608","1450943031803904","15256239231467520","114597827765600256","654316629500362752","2949969888933838848","10768895181286539264","32382880556934758400","81173087262716461056","170981609340615524352","304163565376590839808","458100003951328886784","584216604229427527680","629523198026811703296","570505398211798106112","431567661147286929408","269485688861201793024","136695639277421199360","55037981077488009216","16997023568047767552","3815658352010723328","567618597819777024","46273255257047040","1156831381426176"],["21990232555520","825458354552832","14874330739507200","171255807973785600","1414669456008806400","8924899950408499200","44693152828584099840","182273918217958195200","616332994652248473600","1749945466959062630400","4209774472401518592000","8633864736125296312320","15155188100645466931200","22812267403244312985600","29449285968299714150400","32549210807068105113600","30689255903807070535680","24540121908375139123200","16501116455631559065600","9219247250514798182400","4208786788278494822400","1533200901444308828160","430444103346664243200","88227673356769689600","12031046366832230400","902328477512417280","20822964865671168"],["189115999977472","7665795068854272","149621542307758080","1872139548125822976","16867491058601164800","116522451745363722240","641694065245594583040","2891667583932353740800","10860436137345936261120","34449770543194098892800","93189548791419969208320","216484162857990220677120","433989477427574734848000","753138662366622001397760","1133141756448261065932800","1478234927730231481466880","1669774514402593792327680","1628417870083024905830400","1364769262545773254410240","976438534880610798796800","590913665074300673064960","298703610916679461109760","123967901763839302041600","41232802108407420026880","10611382895546027212800","2001003631731536560128","251874583015158448128","17491290487163781120","374813367582081024"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","110","8500","575000","36250000","2187500000","128125000000","7343750000000","414062500000000","23046875000000000","1269531250000000000","69335937500000000000","3759765625000000000000","202636718750000000000000","10864257812500000000000000"],"nonn":true,"definitions":[{"position":0,"source":"derived:one_plus_derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["-4","3"],["6","0"]]},"terms":[{"coeff":{"coeffs":[["16","72","108","54"],["48","144","108","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":193621,"position":0,"claim":"real_rooted","from_index":0,"region_key":"(-inf, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, 0]","region_exact":null,"edges":["e-5bbb999a3b790205"]},{"id":193622,"position":1,"claim":"one_signed_coefficients","from_index":0,"region_key":null,"provenance":"derived_from_edges","claim_data":{"alternating":false,"claim":"one_signed_coefficients","from_index":0},"label":"Coefficients of one sign","description":"Every nonzero row, n >= 0: the coefficients of P_n have one sign","region_exact":null,"edges":["e-5bbb999a3b790205"]},{"id":193623,"position":2,"claim":"hadamard_kernel","from_index":0,"region_key":null,"provenance":"derived_from_edges","claim_data":{"claim":"hadamard_kernel","from_index":0},"label":"Hadamard kernel (Malo)","description":"Rows P_n, n >= 0, are Hadamard kernels (preserve real-rootedness)","region_exact":null,"edges":["e-5bbb999a3b790205"]}],"region_exact":{},"incoming_edges":[{"id":"e-5bbb999a3b790205","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"derivative_polynomial\",\"coefficients\":[{\"numerator\":[\"1\"],\"denominator\":[\"1\"]},{\"numerator\":[\"1\"],\"denominator\":[\"1\"]}]}"},"operation_detail":"derivative_polynomial, shift 0","conclusion_id":"n-c5c61f28a5dc4bc9","premise_count":1,"theorem":"Laguerre's theorem on differential operators: if phi is a real polynomial with only real roots, then phi(D) maps every real-rooted polynomial to a real-rooted polynomial or zero (write phi(D) = C D^j prod (1 + c_i D); D preserves real-rootedness by Rolle's theorem and p + c p' is real-rooted for every real c by Rolle's theorem applied to e^(x/c) p; Polya--Schur 1914); when the coefficients of phi have one sign, coefficients of one sign stay of one sign; applied to phi(n, .) for each n","lean_route":null,"lean_declarations":["RealRooted.splits_add_C_mul_derivative_all","RealRooted.splits_C_mul_add_derivative","Polynomial.Splits.derivative"],"certificate_hash":"30b8cde6d8253aded8ff29b4aa7b8c7a57298ce1f94ab6d316a4489ec391ae04","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-87b7b64af43d2638","role":"sequence","name":"basis_map_A013610 of Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n.","uses":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, 0]"}]}],"used_by":[],"used_by_total":0,"links":[{"id":"l-eea811b88144cd49","kind":"fingerprint_related","node_a_id":"n-ef2d25c676dbb756","node_b_id":"n-c5c61f28a5dc4bc9","fingerprint":"f6-7939c1a278d41502","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-7939c1a278d41502"},"other_id":"n-ef2d25c676dbb756","other":{"id":"n-ef2d25c676dbb756","name":"one_plus_derivative of basis_map_A013610 of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-7939c1a278d41502","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["16","30","9"],["112","528","864","540","81"]],"card_rows":[["1"],["16","30","9"],["112","528","864","540","81"],["640","4896","15120","23760","19440","7290","729"]],"row_sums_preview":["1","55","2125","71875","2265625","68359375","2001953125","57373046875"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["basis A013610","D+1"],"edges":["e-cb7f9b19b94bd36e","e-29a2647da7edee02"],"text":"A034870 \u2192 basis A013610 \u2192 D+1"},"headline":"A034870 \u2192 basis A013610 \u2192 D+1","chain":null}}],"oeis":[],"bfiles":[],"oeis_texts":[{"oeis_id":"","target":"node","first_row":0,"oeis_offset":0,"reversed":false,"trim_zeros":"none","regular_triangle":false,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n  0:          1;\n  1:         32,          60,            18;\n  2:        448,        2112,          3456,          2160,            324;\n  3:       5120,       39168,        120960,        190080,         155520,           58320,            5832;\n  4:      53248,      565248,       2580480,       6580224,       10160640,         9580032,         5225472,          1399680,           104976;\n  5:     524288,     7127040,      43130880,     152616960,      348364800,       532998144,       548674560,        369515520,        151165440,         31492800,          1889568;\n  6:    4980736,    82575360,     622854144,    2822307840,     8539914240,     18130894848,     27590492160,      30152466432,      23279477760,      12194012160,       3990767616,        680244480,         34012224;\n  7:   46137344,   902823936,    8158445568,   45086146560,   170039181312,    462294024192,    932558635008,    1414209798144,    1614043791360,    1371937222656,     847372990464,     363159853056,      99043596288,      14285134080,       612220032;\n  8:  419430400,  9462349824,   99656663040,  650033233920,  2937040404480,   9738607656960,  24485642108928,   47550242488320,   71940237557760,   84852587888640,   77474101985280,   53879716380672,   27732206960640,   10056734392320,   2350924922880,    293865615360,    11019960576;\n  9: 3758096384, 96032784384, 1155111321600, 8686437138432, 45742408335360, 179019152621568, 539240618262528, 1277148832727040, 2408337798856704, 3637593550356480, 4402742538534912, 4248800491732992, 3232782982840320, 1902368447594496, 839280197468160, 263773776347136, 53953726980096, 5950778711040, 198359290368;\n","recurrence_sentence":"The row polynomials satisfy (6*n-4+3*x)*P(n,x) = (48*n+16+(144*n+72)*x+(108*n+108)*x^2+54*x^3)*P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[Together[((48*n + 16 + (144*n + 72)*x + (108*n + 108)*x^2 + 54*x^3)*P[n - 1, x])/(6*n - 4 + 3*x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 1; for(n = 1, N, my(i = n + 1); v[i] = ((48*n + 16 + (144*n + 72)*x + (108*n + 108)*x^2 + 54*x^3)*v[i - 1])/(6*n - 4 + 3*x)); v};\nrow(n, p) = {my(c = Vecrev(p)); c};\nT(N) = {my(v = P(N)); concat(vector(#v, i, row(i - 1, v[i])))};\nT(9)","reading":{"first_row":0,"offset":0,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-336459bdce627a87","steps":["basis A013610","D+1"],"edges":["e-a142fb8711dcbce4","e-5bbb999a3b790205"],"text":"A139548 \u2192 basis A013610 \u2192 D+1"},"headline":"A139548 \u2192 basis A013610 \u2192 D+1","chain":null}