{"id":"n-8f7f00b848049200","revision":0,"first_index":0,"fingerprint":"f6-312ef1e8ce9b56f4","name":"one_plus_derivative of basis_map_A007318 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"],["16","12","2"],["192","320","192","48","4"],["2048","5376","5760","3200","960","144","8"],["20480","73728","114688","100352","53760","17920","3584","384","16"],["196608","901120","1843200","2211840","1720320","903168","322560","76800","11520","960","32"],["1835008","10223616","25952256","39649280","40550400","29196288","15138816","5677056","1520640","281600","33792","2304","64"],["16777216","110100480","333971456","620232704","787218432","721616896","492011520","253034496","98402304","28700672","6150144","931840","93184","5376","128"],["150994944","1140850688","4026531840","8808038400","13358858240","14885584896","12595494912","8247050240","4217241600","1686896640","524812288","125239296","22364160","2867200","245760","12288","256"],["1342177280","11475615744","46204452864","116366770176","205353123840","269525975040","272520708096","216904237056","137650765824","70099927040","28677242880","9385279488","2433220608","491323392","75202560","8355840","626688","27648","512"],["11811160064","112742891520","510027366400","1453577994240","2926282014720","4421937266688","5202279137280","4877136691200","3698495324160","2289544724480","1162384244736","484326768640","165111398400","45723156480","10160701440","1778122752","238141440","23347200","1556480","61440","1024"],["103079215104","1086626725888","5456755949568","17362405294080","39272107212800","67155303333888","90129486053376","97282619867136","85837605765120","62589920870400","37971218661376","19232175685632","8136689713152","2868704706560","838257868800","201181888512","39118700544","6040387584","719093760","63078400","3784704","135168","2048"],["893353197568","10307921510400","56899726737408","199939317563392","502021547360256","958404772233216","1445213545431040","1765225116205056","1776838439337984","1491666837962752","1052941297385472","628175205826560","317577465167872","136104627929088","49356623314944","15081190457344","3855986196480","816561782784","141134135296","19498795008","2089156608","165806080","9043968","294912","4096"],["7696581394432","96482145337344","580679578419200","2233382993920000","6164137063219200","12996055641620480","21754267052277760","29664909616742400","33549600161792000","31872120153702400","25665444123770880","17628789903196160","10369876413644800","5234793381888000","2268410465484800","842552458608640","267348376289280","72079219097600","16381640704000","3103889817600","482827304960","60353413120","5878579200","425984000","21299200","638976","8192"],["65970697666560","892803441754112","5818615534190592","24313500625010688","73165626880819200","168843754340352000","310672507986247680","467858003098337280","587365210411499520","622963101951590400","563633282718105600","438096778839982080","293985996326830080","170863655984824320","86149742513356800","37690512349593600","14290985932554240","4683600431677440","1321015506370560","318666021273600","65181686169600","11174003343360","1580162088960","180344586240","16102195200","1073479680","49545216","1376256","16384"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","30","756","17496","384912","8188128","170061120","3469246848","69793083648","1388515032576","27373582070784","535570083993600","10411482432835584","201288660368154624","3873071465014837248"],"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":[["0","1"],["2","0"]]},"terms":[{"coeff":{"coeffs":[["16","24","12","2"],["16","16","4","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":189660,"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-d5826c1d9bc802e9"]},{"id":189661,"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-d5826c1d9bc802e9"]},{"id":189662,"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-d5826c1d9bc802e9"]}],"region_exact":{},"incoming_edges":[{"id":"e-d5826c1d9bc802e9","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-8f7f00b848049200","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":"5ab40c06cd504e23ebd3ddd923b8fc6703ba5c42da49e47a003896d9e4a7258f","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-4d3a36b3f07ad6a5","role":"sequence","name":"basis_map_A007318 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-eb4e7c4788b6d4c4","kind":"fingerprint_related","node_a_id":"n-f4310eecc20ba49e","node_b_id":"n-8f7f00b848049200","fingerprint":"f6-312ef1e8ce9b56f4","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-312ef1e8ce9b56f4"},"other_id":"n-f4310eecc20ba49e","other":{"id":"n-f4310eecc20ba49e","name":"one_plus_derivative of basis_map_A007318 of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-312ef1e8ce9b56f4","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["8","6","1"],["48","80","48","12","1"]],"card_rows":[["1"],["8","6","1"],["48","80","48","12","1"],["256","672","720","400","120","18","1"]],"row_sums_preview":["1","15","189","2187","24057","255879","2657205","27103491"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["x \u21a6 x+1","D+1"],"edges":["e-cfe8f3b6680af0c3","e-b8d106062dd0f914"],"text":"A034870 \u2192 x \u21a6 x+1 \u2192 D+1"},"headline":"A034870 \u2192 x \u21a6 x+1 \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:         16,          12,           2;\n  2:        192,         320,         192,           48,            4;\n  3:       2048,        5376,        5760,         3200,          960,          144,            8;\n  4:      20480,       73728,      114688,       100352,        53760,        17920,         3584,          384,           16;\n  5:     196608,      901120,     1843200,      2211840,      1720320,       903168,       322560,        76800,        11520,         960,          32;\n  6:    1835008,    10223616,    25952256,     39649280,     40550400,     29196288,     15138816,      5677056,      1520640,      281600,       33792,       2304,         64;\n  7:   16777216,   110100480,   333971456,    620232704,    787218432,    721616896,    492011520,    253034496,     98402304,    28700672,     6150144,     931840,      93184,      5376,      128;\n  8:  150994944,  1140850688,  4026531840,   8808038400,  13358858240,  14885584896,  12595494912,   8247050240,   4217241600,  1686896640,   524812288,  125239296,   22364160,   2867200,   245760,   12288,    256;\n  9: 1342177280, 11475615744, 46204452864, 116366770176, 205353123840, 269525975040, 272520708096, 216904237056, 137650765824, 70099927040, 28677242880, 9385279488, 2433220608, 491323392, 75202560, 8355840, 626688, 27648, 512;\n","recurrence_sentence":"The row polynomials satisfy (2*n+x)*P(n,x) = (16*n+16+(16*n+24)*x+(4*n+12)*x^2+2*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[((16*n + 16 + (16*n + 24)*x + (4*n + 12)*x^2 + 2*x^3)*P[n - 1, x])/(2*n + 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] = ((16*n + 16 + (16*n + 24)*x + (4*n + 12)*x^2 + 2*x^3)*v[i - 1])/(2*n + 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":["x \u21a6 x+1","D+1"],"edges":["e-9d7e9cd87d9b797c","e-d5826c1d9bc802e9"],"text":"A139548 \u2192 x \u21a6 x+1 \u2192 D+1"},"headline":"A139548 \u2192 x \u21a6 x+1 \u2192 D+1","chain":null}