{"id":"n-78064403794b33ad","revision":0,"first_index":0,"fingerprint":"f6-63d3ba3e2338ec7f","name":"one_plus_derivative of basis_map_A013609 of Unsigned 2-Stirling numbers of the first kind.","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":[["26","22","4"],["154","190","72","8"],["1044","1636","908","208","16"],["8028","14908","10580","3560","560","32"],["69264","146336","123856","53560","12400","1440","64"],["663696","1553760","1504608","779912","232960","39872","3584","128"],["6999840","17829504","19225104","11454240","4117904","912128","120960","8704","256"],["80627040","220495104","259779216","173048896","71782032","19201056","3303552","350976","20736","512"],["1007441280","2928532608","3718167264","2716055840","1264028960","391380192","81544512","11262720","983040","48640","1024"],["13575738240","41621687424","56353831776","44503641248","22782870880","7937935456","1919643264","321830784","36579840","2675200","112640","2048"],["196287356160","630779556096","903356479296","762941375680","423423611776","162718759104","44393201600","8658769152","1197005568","114160640","7107584","258048","4096"],["3031488633600","10159664474880","15289987647168","13693710798144","8147988314752","3402847777472","1026371934016","226346513536","36477492480","4238547456","344554496","18503680","585728","8192"],["49811492505600","173372911764480","272741144329728","257278668820992","162702259842304","73011331352960","23983630711040","5859539464064","1069763112704","145163386368","14398512128","1010673664","47337472","1318912","16384"],["867718162483200","3125662680130560","5117368091337216","5056372816768512","3374846799833600","1612807847647360","570379712750848","152055422806144","30810437898240","4744430479360","550421487616","47203659776","2892431360","119275520","2949120","32768"],["15974614352793600","59377113464186880","100799739236026368","103849096201500672","72738262109677824","36754518761425920","13867672490008064","3987119530341376","883042271691008","151162550190080","19931141255168","2001976983552","150049349632","8101560320","296550400","6553600","65536"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["52","424","3812","37668","406920","4778520","60668640","828609120","12119446080","189056548800","3133877644800","55019485785600","1019991363148800","19913367041971200","408404432540160000"],"nonn":true,"definitions":[{"position":0,"source":"derived:one_plus_derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["26","22","4"],["154","190","72","8"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["-9","-12","-4"],["-6","-4","0"],["-1","0","0"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["7","4"],["2","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":189072,"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-391ece59dfba7707"]},{"id":189073,"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-391ece59dfba7707"]},{"id":189074,"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-391ece59dfba7707"]},{"id":189075,"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-391ece59dfba7707"]}],"region_exact":{},"incoming_edges":[{"id":"e-391ece59dfba7707","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-78064403794b33ad","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":"7266fd72752352f250a94e9f8816405bbf7dc8250e5fcd42bd59fdc345e6fedf","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-578e4bbd7f77169d","role":"sequence","name":"basis_map_A013609 of Unsigned 2-Stirling numbers of the first kind.","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-e6a688551f6d0429","kind":"fingerprint_related","node_a_id":"n-e32925c93adfd4e5","node_b_id":"n-78064403794b33ad","fingerprint":"f6-63d3ba3e2338ec7f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-63d3ba3e2338ec7f"},"other_id":"n-e32925c93adfd4e5","other":{"id":"n-e32925c93adfd4e5","name":"one_plus_derivative of basis_map_A013609 of Triangle read by rows: T(n,k) = (-1)^(n+k)*Sum_{j=1..k} s(n,j), where s(n,j) are the signed Stirling numbers of the first kind (n >= 2; 1 <= k <= n-1; s(n,j) = A008275(n,j)).","first_index":0,"fingerprint":"f6-63d3ba3e2338ec7f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["5","2"],["26","22","4"]],"card_rows":[["1"],["5","2"],["26","22","4"],["154","190","72","8"]],"row_sums_preview":["1","7","52","424","3812","37668","406920","4778520"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-914700b1060feeb2","steps":["basis A013609","D+1"],"edges":["e-3581c2f82a666ba6","e-9ae95e9fb53b4aec"],"text":"A136124 \u2192 basis A013609 \u2192 D+1"},"headline":"A136124 \u2192 basis A013609 \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:          26,          22,           4;\n  1:         154,         190,          72,           8;\n  2:        1044,        1636,         908,         208,          16;\n  3:        8028,       14908,       10580,        3560,         560,         32;\n  4:       69264,      146336,      123856,       53560,       12400,       1440,         64;\n  5:      663696,     1553760,     1504608,      779912,      232960,      39872,       3584,       128;\n  6:     6999840,    17829504,    19225104,    11454240,     4117904,     912128,     120960,      8704,      256;\n  7:    80627040,   220495104,   259779216,   173048896,    71782032,   19201056,    3303552,    350976,    20736,     512;\n  8:  1007441280,  2928532608,  3718167264,  2716055840,  1264028960,  391380192,   81544512,  11262720,   983040,   48640,   1024;\n  9: 13575738240, 41621687424, 56353831776, 44503641248, 22782870880, 7937935456, 1919643264, 321830784, 36579840, 2675200, 112640, 2048;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -(n^2+6*n+9+(4*n+12)*x+4*x^2)*P(n-2,x) + (2*n+7+4*x)*P(n-1,x) for n >= 2, with P(0,x) = 26 + 22*x + 4*x^2, P(1,x) = 154 + 190*x + 72*x^2 + 8*x^3.","mathematica":"P[0, x_] := 26 + 22*x + 4*x^2;\nP[1, x_] := 154 + 190*x + 72*x^2 + 8*x^3;\nP[n_, x_] := P[n, x] = Expand[-(n^2 + 6*n + 9 + (4*n + 12)*x + 4*x^2)*P[n - 2, x] + (2*n + 7 + 4*x)*P[n - 1, x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 26 + 22*x + 4*x^2; v[2] = 154 + 190*x + 72*x^2 + 8*x^3; for(n = 2, N, my(i = n + 1); v[i] = -(n^2 + 6*n + 9 + (4*n + 12)*x + 4*x^2)*v[i - 2] + (2*n + 7 + 4*x)*v[i - 1]); 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-c237629cf5fdbb07","steps":["basis A013609","D+1"],"edges":["e-7cc986a9eefcf6a5","e-391ece59dfba7707"],"text":"A143491 \u2192 basis A013609 \u2192 D+1"},"headline":"A143491 \u2192 basis A013609 \u2192 D+1","chain":null}