{"id":"n-6363fc33189ae9e5","revision":0,"first_index":0,"fingerprint":"f6-306ed4af19c47352","name":"derivative of basis_map_A008277 of Triangle T(n,k) = n!*binomial(n-1, k-1) for 1 <= k <= n, read by rows.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":-1,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[[],["2"],["30","12"],["456","432","72"],["7800","13200","5040","480"],["151920","410400","270000","57600","3600"],["3351600","13618080","13759200","4939200","680400","30240"],["83018880","489404160","713784960","383846400","87494400","8467200","282240"],["2287958400","19112889600","38727279360","29293125120","9830419200","1554577920","111767040","2903040"],["69567724800","810274752000","2223057312000","2273951232000","1054293408000","242331264000","28195776000","1567641600","32659200"],["2316172320000","37182579033600","135637685568000","182685621888000","112447421856000","35241824217600","5901299712000","526901760000","23351328000","399168000"],["83872701158400","1840351929292800","8807547556684800","15323567745024000","12185867764224000","5002457999616000","1130725907942400","144160321536000","10195549056000","368831232000","5269017600"],["3283788283776000","97878990553344000","608377453805721600","1347902441761075200","1357921942401024000","710355169081958400","208165544223436800","35540198146252800","3566308217472000","204806714112000","6164750592000","74724249600"],["138276190199347200","5573169542932992000","44641880568020736000","124580184245637120000","156664643086119168000","102372867569516544000","37831326333825024000","8306276448050380800","1108969586294169600","89883433575936000","4276008005068800","108798507417600","1133317785600"],["6233141027393280000","338538458281959936000","3473537357317547520000","12105054193467755520000","18785665978648208640000","15104707683892130304000","6898754237532917760000","1894478490073128960000","323148396799388160000","34661844481904640000","2316898214991360000","92818726640640000","2022972247296000","18307441152000"]],"degrees":[-1,0,1,2,3,4,5,6,7,8,9,10,11,12,13],"row_sums":["0","2","42","960","26520","893520","36378720","1766298240","100920919680","6703271769600","511963256851200","44529121574784000","4373202882663014400","481311862944001689600","58967191539743655168000"],"nonn":true,"definitions":[{"position":0,"source":"derived:derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["0"],["2"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["0","0","0"],["-6","-4","-1"],["-6","-4","-1"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["0","0","0"],["0","-2","-1"],["0","-2","-1"]]},"deriv_order":1,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["5","2"],["5","2"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","1"],["0","1"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":191053,"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-a8768e9495c00df8"]},{"id":191054,"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-a8768e9495c00df8"]},{"id":191055,"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-a8768e9495c00df8"]},{"id":191056,"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-a8768e9495c00df8"]}],"region_exact":{},"incoming_edges":[{"id":"e-a8768e9495c00df8","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-6363fc33189ae9e5","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":"1876c67ade9638093cb41687a92703ca45ee954d1a86e7dfe189317dbeff4393","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-50766ce7e49984e9","role":"sequence","name":"basis_map_A008277 of Triangle T(n,k) = n!*binomial(n-1, k-1) for 1 <= k <= n, read by rows.","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-17dfe157dfc59948","kind":"fingerprint_related","node_a_id":"n-64d1569b30b81b66","node_b_id":"n-6363fc33189ae9e5","fingerprint":"f6-306ed4af19c47352","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-306ed4af19c47352"},"other_id":"n-64d1569b30b81b66","other":{"id":"n-64d1569b30b81b66","name":"derivative of Triangle read by rows: 2-Stirling numbers of the second kind.","first_index":1,"fingerprint":"f6-306ed4af19c47352","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[[],["1"],["5","2"]],"card_rows":[["1"],["5","2"],["19","18","3"],["65","110","42","4"]],"row_sums_preview":["0","1","7","40","221","1241","7218","43807"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-6aaec68d653cbdb0","steps":["D"],"edges":["e-3122d3b5b31cb1d7"],"text":"A143494 \u2192 D"},"headline":"A143494 \u2192 D","chain":null}},{"id":"l-5c1f61a37e03ebe3","kind":"fingerprint_related","node_a_id":"n-8271029ff5f67869","node_b_id":"n-6363fc33189ae9e5","fingerprint":"f6-306ed4af19c47352","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-306ed4af19c47352"},"other_id":"n-8271029ff5f67869","other":{"id":"n-8271029ff5f67869","name":"one_plus_derivative of one_plus_derivative of Triangle read by rows: T(n, k) = (k+1)*S2(n+1, k+1), for n >= k >= 0, and S2 = A048993 (Stirling2).","first_index":1,"fingerprint":"f6-306ed4af19c47352","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["5","2"],["19","18","3"]],"card_rows":[["1"],["5","2"],["19","18","3"],["65","110","42","4"]],"row_sums_preview":["1","7","40","221","1241","7218","43807","278111"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-3cb22164e2f83fe1","steps":["\u03b8+1","D+1","D+1"],"edges":["e-907e3c6c6275331d","e-8b35b367ffdd04e7","e-5cf41ae07c9dd045"],"text":"A008277 \u2192 \u03b8+1 \u2192 D+1 \u2192 D+1"},"headline":"A008277 \u2192 \u03b8+1 \u2192 D+1 \u2192 D+1","chain":null}},{"id":"l-b10d6ce50cdaca75","kind":"fingerprint_related","node_a_id":"n-fe5dc31749d46fb7","node_b_id":"n-6363fc33189ae9e5","fingerprint":"f6-306ed4af19c47352","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-306ed4af19c47352"},"other_id":"n-fe5dc31749d46fb7","other":{"id":"n-fe5dc31749d46fb7","name":"derivative of basis_map_A008277 of binomial","first_index":0,"fingerprint":"f6-306ed4af19c47352","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[[],["1"],["5","2"]],"card_rows":[["1"],["5","2"],["19","18","3"],["65","110","42","4"]],"row_sums_preview":["0","1","7","40","221","1241","7218","43807"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-0990b5be9f344750","steps":["reverse","D"],"edges":["e-63d258a3014acdf4","e-3bbe89c41b92bd73"],"text":"A126351 \u2192 reverse \u2192 D"},"headline":"A126351 \u2192 reverse \u2192 D","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:           0;\n  1:           2;\n  2:          30,           12;\n  3:         456,          432,            72;\n  4:        7800,        13200,          5040,           480;\n  5:      151920,       410400,        270000,         57600,          3600;\n  6:     3351600,     13618080,      13759200,       4939200,        680400,        30240;\n  7:    83018880,    489404160,     713784960,     383846400,      87494400,      8467200,      282240;\n  8:  2287958400,  19112889600,   38727279360,   29293125120,    9830419200,   1554577920,   111767040,    2903040;\n  9: 69567724800, 810274752000, 2223057312000, 2273951232000, 1054293408000, 242331264000, 28195776000, 1567641600, 32659200;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -(6*n^2+6*n+(4*n^2+4*n)*x+(n^2+n)*x^2)*P(n-2,x) - ((2*n^2+2*n)*x+(n^2+n)*x^2)*d/dx P(n-2,x) + (5*n+5+(2*n+2)*x)*P(n-1,x) + (n+1)*x*d/dx P(n-1,x) for n >= 2, with P(0,x) = 0, P(1,x) = 2.","mathematica":"P[0, x_] := 0;\nP[1, x_] := 2;\nP[n_, x_] := P[n, x] = Expand[-(6*n^2 + 6*n + (4*n^2 + 4*n)*x + (n^2 + n)*x^2)*P[n - 2, x] - ((2*n^2 + 2*n)*x + (n^2 + n)*x^2)*D[P[n - 2, x], x] + (5*n + 5 + (2*n + 2)*x)*P[n - 1, x] + (n + 1)*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] = 0; v[2] = 2; for(n = 2, N, my(i = n + 1); v[i] = -(6*n^2 + 6*n + (4*n^2 + 4*n)*x + (n^2 + n)*x^2)*v[i - 2] - ((2*n^2 + 2*n)*x + (n^2 + n)*x^2)*deriv(v[i - 2], x) + (5*n + 5 + (2*n + 2)*x)*v[i - 1] + (n + 1)*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-75a6475b3e851dc5","steps":["basis A008277","D"],"edges":["e-c0fcd074b1f3c276","e-a8768e9495c00df8"],"text":"A156992 \u2192 basis A008277 \u2192 D"},"headline":"A156992 \u2192 basis A008277 \u2192 D","chain":null}