{"id":"n-97c554796bb8ac7a","revision":0,"first_index":0,"fingerprint":"f6-60f5152abc48001b","name":"derivative of Scaled array A078740 ((3,2)-Stirling2).","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":2,"degree_intercept":-1,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[[],["3","4"],["7","32","45","20"],["12","102","315","456","315","84"],["18","236","1188","3084","4550","3864","1764","336"],["25","460","3330","12940","30415","45480","43680","26160","8910","1320"],["33","804","7800","41460","137415","302784","457317","477000","338580","156420","42471","5148"],["42","1302","16170","111300","485940","1444506","3041451","4629520","5124735","4093320","2301299","864864","195195","20020"],["52","1992","30660","263312","1449420","5510904","15129016","30797720","47169540","54620720","47611564","30774744","14314300","4532528","875160","77792"],["63","2916","54288","566208","3810240","17875872","61299756","158351256","314061165","483449220","579958236","540874152","388381266","210686112","83538000","22849632","3854682","302328"],["75","4120","91035","1129500","9081240","51221520","212921730","673789320","1658781045","3222392040","4981258425","6148445940","6051861270","4719667680","2879435520","1345200480","464703330","111861360","16754010","1175720"],["88","5654","146025","2120360","20008065","133019964","655532262","2477395800","7350461910","17402930490","33241143507","51567649056","65163973875","67033585080","55886775120","37428250464","19842453312","8138146500","2490333230","535223920","72076158","4576264"],["102","7572","225720","3785100","41323590","318816696","1830817296","8105355720","28357069950","79799292540","182920580568","344527021188","536096816190","690928040880","737394399720","649674137376","469506395556","275415342840","129062582880","47166927720","12953115252","2514330192","307560600","17829600"],["117","9932","338130","6476028","80844335","714710568","4717148436","24096226440","97742886813","320788018980","863626759710","1926468255348","3585758173335","5594253926352","7331910356160","8072870012064","7451013361506","5737588342200","3657774715452","1908324400840","801126496170","263988980112","65749621600","11635596960","1303789500","69535440"],["133","12796","493038","10684492","151020415","1513902936","11355093750","66111477432","306775125657","1156875059340","3597667777704","9328027694076","20329409202375","37458181584768","58574055853845","77885765232912","88084444247436","84594220666956","68745014180843","46996789259420","26795639997126","12585233965304","4784473351385","1435338963240","327033866250","53177227740","5496977115","271455660"]],"degrees":[-1,1,3,5,7,9,11,13,15,17,19,21,23,25,27],"row_sums":["0","7","104","1284","15040","172720","1967232","22329664","253159424","2869915392","32549775360","369445807104","4196941774848","47721608982528","543123034374144"],"nonn":true,"definitions":[{"position":0,"source":"derived:derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["0"],["3","4"]],"recurrence":{"denominator":{"coeffs":[["-8","-12"],["2","6"],["5","6"],["1","0"]]},"terms":[{"coeff":{"coeffs":[["0","0","0","0"],["10","54","92","48"],["7","23","16","0"],["1","1","0","0"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","0","0","0","0"],["0","7","26","31","12"],["0","2","4","2","0"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":183957,"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-3dd864ec254f0e0f"]},{"id":183958,"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-3dd864ec254f0e0f"]},{"id":183959,"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-3dd864ec254f0e0f"]}],"region_exact":{},"incoming_edges":[{"id":"e-3dd864ec254f0e0f","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"derivative_polynomial\",\"coefficients\":[{\"numerator\":[\"0\"],\"denominator\":[\"1\"]},{\"numerator\":[\"1\"],\"denominator\":[\"1\"]}]}"},"operation_detail":"derivative_polynomial, shift 0","conclusion_id":"n-97c554796bb8ac7a","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":"addeda158432bb129694ff828fb6885234fa231a23e0b0ede0d353e04fd67488","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-4e0759372c05411f","role":"sequence","name":"Scaled array A078740 ((3,2)-Stirling2).","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:  0;\n  1:  3,    4;\n  2:  7,   32,    45,     20;\n  3: 12,  102,   315,    456,     315,       84;\n  4: 18,  236,  1188,   3084,    4550,     3864,     1764,       336;\n  5: 25,  460,  3330,  12940,   30415,    45480,    43680,     26160,      8910,      1320;\n  6: 33,  804,  7800,  41460,  137415,   302784,   457317,    477000,    338580,    156420,     42471,      5148;\n  7: 42, 1302, 16170, 111300,  485940,  1444506,  3041451,   4629520,   5124735,   4093320,   2301299,    864864,    195195,     20020;\n  8: 52, 1992, 30660, 263312, 1449420,  5510904, 15129016,  30797720,  47169540,  54620720,  47611564,  30774744,  14314300,   4532528,   875160,    77792;\n  9: 63, 2916, 54288, 566208, 3810240, 17875872, 61299756, 158351256, 314061165, 483449220, 579958236, 540874152, 388381266, 210686112, 83538000, 22849632, 3854682, 302328;\n","recurrence_sentence":"The row polynomials satisfy (n^3+5*n^2+2*n-8+(6*n^2+6*n-12)*x)*P(n,x) = (n^3+7*n^2+10*n+(n^3+23*n^2+54*n)*x+(16*n^2+92*n)*x^2+48*n*x^3)*P(n-1,x) + ((2*n^2+7*n)*x+(4*n^2+26*n)*x^2+(2*n^2+31*n)*x^3+12*n*x^4)*d/dx P(n-1,x) for n >= 2, with P(0,x) = 0, P(1,x) = 3 + 4*x.","mathematica":"P[0, x_] := 0;\nP[1, x_] := 3 + 4*x;\nP[n_, x_] := P[n, x] = Expand[Together[((n^3 + 7*n^2 + 10*n + (n^3 + 23*n^2 + 54*n)*x + (16*n^2 + 92*n)*x^2 + 48*n*x^3)*P[n - 1, x] + ((2*n^2 + 7*n)*x + (4*n^2 + 26*n)*x^2 + (2*n^2 + 31*n)*x^3 + 12*n*x^4)*D[P[n - 1, x], x])/(n^3 + 5*n^2 + 2*n - 8 + (6*n^2 + 6*n - 12)*x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 0; v[2] = 3 + 4*x; for(n = 2, N, my(i = n + 1); v[i] = ((n^3 + 7*n^2 + 10*n + (n^3 + 23*n^2 + 54*n)*x + (16*n^2 + 92*n)*x^2 + 48*n*x^3)*v[i - 1] + ((2*n^2 + 7*n)*x + (4*n^2 + 26*n)*x^2 + (2*n^2 + 31*n)*x^3 + 12*n*x^4)*deriv(v[i - 1], x))/(n^3 + 5*n^2 + 2*n - 8 + (6*n^2 + 6*n - 12)*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-4e0759372c05411f","steps":["D"],"edges":["e-3dd864ec254f0e0f"],"text":"A090452 \u2192 D"},"headline":"A090452 \u2192 D","chain":null}