{"id":"n-59467d32d5647a53","revision":0,"first_index":0,"fingerprint":"f6-c1fcefc8c9c99a70","name":"derivative of Triangle read by rows: Joffe's central differences of zero, T(n,k), 1 <= k <= n.","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":[[],["6"],["30","180"],["126","2520","7560"],["510","26460","226800","453600"],["2046","253440","4740120","24948000","37422000"],["8190","2342340","86486400","908107200","3405402000","4086482400"],["32766","21326760","1482160680","27891864000","197513316000","572107536000","572107536000"],["131070","192923820","24610294800","786226240800","9411558156000","49601723371200","116709937344000","100037089152000"],["524286","1740246480","401867517240","21132273708000","403679758482000","3458226595824000","14413677261984000","28510570408320000","21382927806240000"],["2097150","15677946900","6502970628000","552418893734400","16275883886262000","213534932821610400","1406627068182336000","4829690627169408000","8232427205402400000","5488284803601600000"],["8388606","141164436600","104706003817800","14200650581040000","631506378638520000","12240538228638720000","119919022958694960000","637163731008604800000","1855589092097700960000","2777072110622409600000","1666243266373445760000"],["33554430","1270731587580","1681224967422000","361298624755068000","23905783303922520000","668746869750623664000","9388492821365898240000","72578959940474507520000","321752656712859372000000","812293592357054808000000","1083058123142739744000000","590758976259676224000000"],["134217726","11437590921120","26952970205430360","9133339116922020000","890415335483503830000","35379108154568898720000","694488102332504800320000","7520540785657272172800000","47689018358562363182400000","180870706564837537248000000","402572704372156362844800000","483831601556674827456000000","241915800778337413728000000"],["536870910","102942344821860","431727902105572800","229950656135376321600","32808452554552204530000","1830809654208674655516000","49400313690919953041280000","730600008960379885367040000","6376417428790478245176000000","34125536873043015223824000000","112882815942675192558144000000","224497863122297119939584000000","245544537790012474933920000000","113328248210774988431040000000"]],"degrees":[-1,0,1,2,3,4,5,6,7,8,9,10,11,12,13],"row_sums":["0","6","210","10206","707370","67365606","8488828530","1371123772206","276571337613690","68190617712846006","20187399458608022850","7068873573165891003006","2890523816868345587576010","1365131139202351858687459206","737537283538733819377319953170"],"nonn":true,"definitions":[{"position":0,"source":"derived:derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["0"],["6"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["-4","-30","-90"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["0","-5","-39","-78"]]},"deriv_order":1,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["0","0","-1","-8","-12"]]},"deriv_order":2,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["5","30"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","5","15"]]},"deriv_order":1,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","0","1","2"]]},"deriv_order":2,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":193809,"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-07ae77cfdf336040"]},{"id":193810,"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-07ae77cfdf336040"]},{"id":193811,"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-07ae77cfdf336040"]}],"region_exact":{},"incoming_edges":[{"id":"e-07ae77cfdf336040","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-59467d32d5647a53","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":"d46241bf9545610f467152115f7fa5d9ab82c76211b89d37b2e300055ca18adf","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-4ef34abfaa61f0d6","role":"sequence","name":"Triangle read by rows: Joffe's central differences of zero, T(n,k), 1 <= k <= 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:      0;\n  1:      6;\n  2:     30,        180;\n  3:    126,       2520,         7560;\n  4:    510,      26460,       226800,         453600;\n  5:   2046,     253440,      4740120,       24948000,        37422000;\n  6:   8190,    2342340,     86486400,      908107200,      3405402000,       4086482400;\n  7:  32766,   21326760,   1482160680,    27891864000,    197513316000,     572107536000,      572107536000;\n  8: 131070,  192923820,  24610294800,   786226240800,   9411558156000,   49601723371200,   116709937344000,   100037089152000;\n  9: 524286, 1740246480, 401867517240, 21132273708000, 403679758482000, 3458226595824000, 14413677261984000, 28510570408320000, 21382927806240000;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -(4+30*x+90*x^2)*P(n-2,x) - (5*x+39*x^2+78*x^3)*d/dx P(n-2,x) - (x^2+8*x^3+12*x^4)*d^2/dx^2 P(n-2,x) + (5+30*x)*P(n-1,x) + (5*x+15*x^2)*d/dx P(n-1,x) + (x^2+2*x^3)*d^2/dx^2 P(n-1,x) for n >= 2, with P(0,x) = 0, P(1,x) = 6.","mathematica":"P[0, x_] := 0;\nP[1, x_] := 6;\nP[n_, x_] := P[n, x] = Expand[-(4 + 30*x + 90*x^2)*P[n - 2, x] - (5*x + 39*x^2 + 78*x^3)*D[P[n - 2, x], x] - (x^2 + 8*x^3 + 12*x^4)*D[P[n - 2, x], {x, 2}] + (5 + 30*x)*P[n - 1, x] + (5*x + 15*x^2)*D[P[n - 1, x], x] + (x^2 + 2*x^3)*D[P[n - 1, x], {x, 2}]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 0; v[2] = 6; for(n = 2, N, my(i = n + 1); v[i] = -(4 + 30*x + 90*x^2)*v[i - 2] - (5*x + 39*x^2 + 78*x^3)*deriv(v[i - 2], x) - (x^2 + 8*x^3 + 12*x^4)*deriv(deriv(v[i - 2], x), x) + (5 + 30*x)*v[i - 1] + (5*x + 15*x^2)*deriv(v[i - 1], x) + (x^2 + 2*x^3)*deriv(deriv(v[i - 1], x), 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-4ef34abfaa61f0d6","steps":["D"],"edges":["e-07ae77cfdf336040"],"text":"A241171 \u2192 D"},"headline":"A241171 \u2192 D","chain":null}