{"id":"n-5a9335c585a9eb7b","revision":0,"first_index":0,"fingerprint":"f6-2d0fde8c3e0130d9","name":"one_plus_derivative of Stirling2 triangle with scaled diagonals (powers of 10).","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":2,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[["130","32","1"],["1700","820","63","1"],["25000","20000","2800","104","1"],["410000","490000","109500","7100","155","1"],["7300000","12320000","4060000","406000","15050","216","1"],["137000000","320200000","147630000","21210000","1183000","28280","287","1"],["2650000000","8600000000","5356000000","1055040000","82740000","2923200","48720","368","1"],["52100000000","237700000000","195615000000","51115000000","5393850000","263550000","6405000","78600","459","1"],["1033000000000","6723200000000","7222600000000","2444420000000","336473500000","21787920000","723030000","12804000","120450","560","1"],["20570000000000","193522000000000","269976300000000","116326100000000","20412260000000","1700089600000","73871490000","1768470000","23809500","177100","671","1"],["410500000000000","5642000000000000","10213840000000000","5535930400000000","1216915700000000","127505664000000","7045152400000","218721360000","3948945000","41756000","251680","792","1"],["8201000000000000","165985000000000000","390649350000000000","264217590000000000","71793221500000000","9303394100000000","639679040000000","25020424000000","581260680000","8188180000","69769700","347620","923","1"],["163930000000000000","4914032000000000000","15081886000000000000","12666271800000000000","4211135565000000000","665938072800000000","56038082100000000","2703306320000000","78524875000000","1414212800000","15965950000","111930000","468650","1064","1"],["3277700000000000000","146110420000000000000","586813563000000000000","610275121000000000000","246365382900000000000","47040561204000000000","4781117441100000000","279839145300000000","9951637410000000","222691898000000","3196973780000","29558620000","173446000","618800","1215","1"],["65545000000000000000","4357100000000000000000","22975901200000000000000","29554379504000000000000","14405626600000000000000","3293061276960000000000","399993013056000000000","28039052870400000000","1201132303800000000","32703951280000000","580285534400000","6791453760000","52350480000","260848000","802400","1376","1"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["163","2584","47905","1016756","24101267","627251568","17746752289","542193884060","17782217375011","622582413547272","23153959628713473","910814844582978244","37762014781386149715","1644953882246414466016","75080880070271080291777"],"nonn":true,"definitions":[{"position":0,"source":"derived:one_plus_derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["130","32","1"],["1700","820","63","1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["-200","80","9"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["0","-100","90"]]},"deriv_order":1,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["30","-8"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","10"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":193240,"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-80478d639796287a"]},{"id":193241,"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-80478d639796287a"]},{"id":193242,"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-80478d639796287a"]},{"id":193243,"position":3,"claim":"interlacing","from_index":1,"region_key":null,"provenance":"edges","claim_data":{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"},"label":"Interlacing of consecutive rows","description":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 1","region_exact":null,"edges":["e-80478d639796287a"]}],"region_exact":{},"incoming_edges":[{"id":"e-80478d639796287a","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-5a9335c585a9eb7b","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":"2951b5528f9ae8dd98100467c59154ae3f76c20626582a0528af58392356dc3f","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-65034f179833a7f6","role":"sequence","name":"Stirling2 triangle with scaled diagonals (powers of 10).","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:            130,              32,               1;\n  1:           1700,             820,              63,               1;\n  2:          25000,           20000,            2800,             104,              1;\n  3:         410000,          490000,          109500,            7100,            155,             1;\n  4:        7300000,        12320000,         4060000,          406000,          15050,           216,           1;\n  5:      137000000,       320200000,       147630000,        21210000,        1183000,         28280,         287,          1;\n  6:     2650000000,      8600000000,      5356000000,      1055040000,       82740000,       2923200,       48720,        368,        1;\n  7:    52100000000,    237700000000,    195615000000,     51115000000,     5393850000,     263550000,     6405000,      78600,      459,      1;\n  8:  1033000000000,   6723200000000,   7222600000000,   2444420000000,   336473500000,   21787920000,   723030000,   12804000,   120450,    560,   1;\n  9: 20570000000000, 193522000000000, 269976300000000, 116326100000000, 20412260000000, 1700089600000, 73871490000, 1768470000, 23809500, 177100, 671, 1;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -(200-80*x-9*x^2)*P(n-2,x) - (100*x-90*x^2)*d/dx P(n-2,x) + (30-8*x)*P(n-1,x) + 10*x*d/dx P(n-1,x) for n >= 2, with P(0,x) = 130 + 32*x + x^2, P(1,x) = 1700 + 820*x + 63*x^2 + x^3.","mathematica":"P[0, x_] := 130 + 32*x + x^2;\nP[1, x_] := 1700 + 820*x + 63*x^2 + x^3;\nP[n_, x_] := P[n, x] = Expand[-(200 - 80*x - 9*x^2)*P[n - 2, x] - (100*x - 90*x^2)*D[P[n - 2, x], x] + (30 - 8*x)*P[n - 1, x] + 10*x*D[P[n - 1, x], x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 130 + 32*x + x^2; v[2] = 1700 + 820*x + 63*x^2 + x^3; for(n = 2, N, my(i = n + 1); v[i] = -(200 - 80*x - 9*x^2)*v[i - 2] - (100*x - 90*x^2)*deriv(v[i - 2], x) + (30 - 8*x)*v[i - 1] + 10*x*deriv(v[i - 1], 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-65034f179833a7f6","steps":["D+1"],"edges":["e-80478d639796287a"],"text":"A075505 \u2192 D+1"},"headline":"A075505 \u2192 D+1","chain":null}