{"id":"n-cd63d144a226e1c8","revision":0,"first_index":0,"fingerprint":"f6-dc7db2765c5515ed","name":"derivative of basis_map_A013609 of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-3/2) where m = k if k=0 and 0<=k<=2n.","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":[[],["10","8"],["100","280","240","64"],["750","3600","6600","5760","2400","384"],["5000","34000","96000","145600","128000","65280","17920","2048"],["31250","275000","1050000","2280000","3100000","2736000","1568000","563200","115200","10240"],["187500","2025000","9750000","27600000","51000000","64560000","57120000","35328000","14976000","4147200","675840","49152"],["1093750","14000000","81375000","284200000","665000000","1100400000","1324400000","1173760000","766080000","363776000","122214400","27525120","3727360","229376"],["6250000","92500000","630000000","2618000000","7420000000","15187200000","23184000000","26873600000","23846400000","16199680000","8357888000","3216998400","894566400","169738240","19660800","1048576"],["35156250","590625000","4612500000","22230000000","74025000000","180684000000","334656000000","480326400000","540792000000","480326400000","336568320000","185020416000","78833664000","25495142400","6045696000","990904320","100270080","4718592"],["195312500","3671875000","32343750000","177375000000","678750000000","1925100000000","4195800000000","7189920000000","9828720000000","10812064000000","9610304000000","6902323200000","3989606400000","1839882240000","667238400000","185991168000","38436864000","5544345600","498073600","20971520"],["1074218750","22343750000","219140625000","1347500000000","5826562500000","18834750000000","47239500000000","94168800000000","151608600000000","199217920000000","215035744000000","191249203200000","140153728000000","84375244800000","41462784000000","16458055680000","5193154560000","1271660544000","232849408000","29989273600","2422210560","92274688"],["5859375000","133593750000","1443750000000","9838125000000","47437500000000","172177500000000","488565000000000","1111176000000000","2060388000000000","3151473600000000","4007773440000000","4258336512000000","3789167616000000","2823720345600000","1758197760000000","910275379200000","388797235200000","135405895680000","37803786240000","8252817408000","1356437913600","157789716480","11576279040","402653184"],["31738281250","787109375000","9292968750000","69509375000000","369789062500000","1489166250000000","4717212500000000","12057760000000000","25315290000000000","44206448000000000","64778084800000000","80139920640000000","84023655040000000","74797259264000000","56533601280000000","36213922201600000","19586158592000000","8889945292800000","3356455731200000","1041002659840000","260569300992000","51311647129600","7649991065600","811346165760","54525952000","1744830464"],["170898437500","4580078125000","58652343750000","477750000000000","2779765625000000","12300356250000000","43030487500000000","122142020000000000","286486200000000000","562602040000000000","933924992000000000","1319560569600000000","1594524422400000000","1652842723840000000","1471868697600000000","1126025019392000000","738989375488000000","414795232051200000","198182240256000000","80046994227200000","27072441876480000","7566743568384000","1716231602176000","307788093849600","41984983040000","4091627438080","253671505920","7516192768"]],"degrees":[-1,1,3,5,7,9,11,13,15,17,19,21,23,25,27],"row_sums":["0","18","684","19494","493848","11728890","267418692","5927781006","128717530416","2751337212642","58083785600220","1213951119044598","25161895922015304","517915691061481674","10597351832488778868"],"nonn":true,"definitions":[{"position":0,"source":"derived:derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["0"],["10","8"]],"recurrence":{"denominator":{"coeffs":[["-1"],["1"]]},"terms":[{"coeff":{"coeffs":[["0","0","0"],["5","10","4"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":190062,"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-9d90a9fea1b5af7c"]},{"id":190063,"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-9d90a9fea1b5af7c"]},{"id":190064,"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-9d90a9fea1b5af7c"]}],"region_exact":{},"incoming_edges":[{"id":"e-9d90a9fea1b5af7c","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-cd63d144a226e1c8","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":"94d017ad034d1acb17cf0b3b48580917b9e461c4c3c41416159424004f1d707b","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-feae95e8ddee939b","role":"sequence","name":"basis_map_A013609 of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-3/2) where m = k if k=0 and 0<=k<=2n.","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-a22f808b08f1e03a","kind":"fingerprint_related","node_a_id":"n-cd63d144a226e1c8","node_b_id":"n-dff119f470326354","fingerprint":"f6-dc7db2765c5515ed","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-dc7db2765c5515ed"},"other_id":"n-dff119f470326354","other":{"id":"n-dff119f470326354","name":"basis_map_A013609 of derivative of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-3/2) where m = k if k=0 and 0<=k<=2n.","first_index":0,"fingerprint":"f6-dc7db2765c5515ed","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[[],["5","4"],["50","140","120","32"]],"card_rows":[["5","4"],["50","140","120","32"],["375","1800","3300","2880","1200","192"],["2500","17000","48000","72800","64000","32640","8960","1024"]],"row_sums_preview":["0","9","342","9747","246924","5864445","133709346","2963890503"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-b30e7a5b4198051a","steps":["D","basis A013609"],"edges":["e-5fb206b09638d5b7","e-ba3d9a96074b1943"],"text":"A272866 \u2192 D \u2192 basis A013609"},"headline":"A272866 \u2192 D \u2192 basis A013609","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: 10, 8;\n 2: 100, 280, 240, 64;\n 3: 750, 3600, 6600, 5760, 2400, 384;\n 4: 5000, 34000, 96000, 145600, 128000, 65280, 17920, 2048;\n 5: 31250, 275000, 1050000, 2280000, 3100000, 2736000, 1568000, 563200, 115200, 10240;\n 6: 187500, 2025000, 9750000, 27600000, 51000000, 64560000, 57120000, 35328000, 14976000, 4147200, 675840, 49152;\n 7: 1093750, 14000000, 81375000, 284200000, 665000000, 1100400000, 1324400000, 1173760000, 766080000, 363776000, 122214400, 27525120, 3727360, 229376;\n 8: 6250000, 92500000, 630000000, 2618000000, 7420000000, 15187200000, 23184000000, 26873600000, 23846400000, 16199680000, 8357888000, 3216998400, 894566400, 169738240, 19660800, 1048576;\n 9: 35156250, 590625000, 4612500000, 22230000000, 74025000000, 180684000000, 334656000000, 480326400000, 540792000000, 480326400000, 336568320000, 185020416000, 78833664000, 25495142400, 6045696000, 990904320, 100270080, 4718592;\n","recurrence_sentence":"The row polynomials satisfy (n-1)*P(n,x) = (5*n+10*n*x+4*n*x^2)*P(n-1,x) for n >= 2, with P(0,x) = 0, P(1,x) = 10 + 8*x.","mathematica":"P[0, x_] := 0;\nP[1, x_] := 10 + 8*x;\nP[n_, x_] := P[n, x] = Expand[Together[((5*n + 10*n*x + 4*n*x^2)*P[n - 1, x])/(n - 1)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 0; v[2] = 10 + 8*x; for(n = 2, N, my(i = n + 1); v[i] = ((5*n + 10*n*x + 4*n*x^2)*v[i - 1])/(n - 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-b30e7a5b4198051a","steps":["basis A013609","D"],"edges":["e-89275777750acd05","e-9d90a9fea1b5af7c"],"text":"A272866 \u2192 basis A013609 \u2192 D"},"headline":"A272866 \u2192 basis A013609 \u2192 D","chain":null}