{"id":"n-a14bebbfc041d7f8","revision":0,"first_index":0,"fingerprint":"f6-7dba88e059b2dbe5","name":"one_plus_derivative of basis_map_A007318 of Triangle, read by rows of 2*n+1 terms, where row n lists the coefficients in (1+3*x+2*x^2)^n.","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":false,"rows":[["1"],["13","11","2"],["120","230","157","44","4"],["972","2952","3639","2311","786","132","8"],["7344","30672","55152","55564","34121","12968","2936","352","16"],["53136","282960","670680","930000","833345","502387","205250","55640","9440","880","32"],["373248","2418336","7124112","12603600","14892840","12359346","7367557","3167124","969180","204160","27696","2112","64"],["2566080","19595520","69046992","148693104","218445444","231338520","181866475","107616719","48043058","16044028","3924200","675920","76384","4928","128"],["17356032","152658432","626310144","1590212736","2795125536","3603924576","3522927072","2660347928","1566223057","719908112","256832688","70114240","14281568","2080512","201472","11264","256"],["115893504","1153896192","5403324672","15806306304","32356099296","49195804896","57544830000","52910909856","38734388469","22720574107","10688751234","4015808496","1192910208","275375520","48053952","6064896","513792","25344","512"],["765904896","8515653120","44820552960","148450060800","346907888640","607795596864","828073225440","897932498400","786627397080","561829483390","328656614573","157567527740","61716408180","19604645760","4988445600","997488768","152246400","16949760","1276160","56320","1024"],["5018692608","61635188736","360222204672","1332565344000","3500713054080","6945327493632","10803402000864","13500349286688","13776242707260","11604303175080","8123383307039","4742088234583","2309503594706","936116247220","314050446600","86404685664","19227540288","3390980736","459909120","45802240","3103232","123904","2048"],["32651735040","438984437760","2820868042752","11528219096064","33633468912384","74537377390080","130352635100160","184473108851328","214933240619856","208651565309616","170142297391440","117139201791780","68269680637081","33692720029752","14054057881512","4933619762720","1447375699440","351185446656","69435624192","10952865792","1336600320","120412160","7415808","270336","4096"],["211147886592","3084500570112","21615085799424","96715809755136","310276926625536","759728250927360","1475654027417856","2332906230859776","3056138506113264","3360015222159024","3128470074090504","2482339147252848","1685244200036137","980902103166083","489620150488898","209269381777352","76330279648480","23629355965072","6158784005088","1336462203648","237731729664","33918739712","3762044416","309397504","17465344","585728","8192"],["1358312177664","21423891750912","162599110152192","790610004946944","2766283976042496","7416622011262464","15842000146662144","27673212335408640","40266304804357632","49457337873207264","51777769678178544","46530160007189040","36069792804167304","24196257213925706","14068759957860373","7091695500154916","3095264608640204","1166592735456512","378022239234640","104653514533568","24538733419200","4816010174976","778557654784","101397330944","10307175424","779763712","40628224","1261568","16384"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","26","555","10800","199125","3543750","61509375","1047937500","17598515625","292169531250","4805419921875","78424453125000","1271514111328125","20499921386718750","328906966552734375"],"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":[["-1","3","2"],["7","4","0"]]},"terms":[{"coeff":{"coeffs":[["36","84","73","28","4"],["42","73","42","8","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":188169,"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-8872c0436bf15c12"]},{"id":188170,"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-8872c0436bf15c12"]},{"id":188171,"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-8872c0436bf15c12"]}],"region_exact":{},"incoming_edges":[{"id":"e-8872c0436bf15c12","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-a14bebbfc041d7f8","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":"43ee3a256986c7246901dc1e065db8ba712b9f3fd2a994e100dda889693a2921","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-a19ad5e2037d7c6a","role":"sequence","name":"basis_map_A007318 of Triangle, read by rows of 2*n+1 terms, where row n lists the coefficients in (1+3*x+2*x^2)^n.","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":[],"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:        13,         11,          2;\n  2:       120,        230,        157,          44,           4;\n  3:       972,       2952,       3639,        2311,         786,         132,           8;\n  4:      7344,      30672,      55152,       55564,       34121,       12968,        2936,         352,          16;\n  5:     53136,     282960,     670680,      930000,      833345,      502387,      205250,       55640,        9440,         880,          32;\n  6:    373248,    2418336,    7124112,    12603600,    14892840,    12359346,     7367557,     3167124,      969180,      204160,       27696,       2112,         64;\n  7:   2566080,   19595520,   69046992,   148693104,   218445444,   231338520,   181866475,   107616719,    48043058,    16044028,     3924200,     675920,      76384,      4928,      128;\n  8:  17356032,  152658432,  626310144,  1590212736,  2795125536,  3603924576,  3522927072,  2660347928,  1566223057,   719908112,   256832688,   70114240,   14281568,   2080512,   201472,   11264,    256;\n  9: 115893504, 1153896192, 5403324672, 15806306304, 32356099296, 49195804896, 57544830000, 52910909856, 38734388469, 22720574107, 10688751234, 4015808496, 1192910208, 275375520, 48053952, 6064896, 513792, 25344, 512;\n","recurrence_sentence":"The row polynomials satisfy (7*n-1+(4*n+3)*x+2*x^2)*P(n,x) = (42*n+36+(73*n+84)*x+(42*n+73)*x^2+(8*n+28)*x^3+4*x^4)*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[((42*n + 36 + (73*n + 84)*x + (42*n + 73)*x^2 + (8*n + 28)*x^3 + 4*x^4)*P[n - 1, x])/(7*n - 1 + (4*n + 3)*x + 2*x^2)]];\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] = ((42*n + 36 + (73*n + 84)*x + (42*n + 73)*x^2 + (8*n + 28)*x^3 + 4*x^4)*v[i - 1])/(7*n - 1 + (4*n + 3)*x + 2*x^2)); 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-eed4f744ce063213","steps":["basis A007318","D+1"],"edges":["e-6e97878f95ac8f6d","e-8872c0436bf15c12"],"text":"A200536 \u2192 basis A007318 \u2192 D+1"},"headline":"A200536 \u2192 basis A007318 \u2192 D+1","chain":null}