{"id":"n-f4ed0867db54c950","revision":0,"first_index":0,"fingerprint":"f6-b0cbff57821dcb89","name":"derivative of basis_map_A013610 of basis-map coefficients of Irregular triangle read by rows formed by taking every other row of the Delannoy array (A008288) regarded as a triangle. shifted by x -> -x + 0","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":true,"rows":[[],["6","18"],["12","108","324","324"],["18","270","1620","4860","7290","4374"],["24","504","4536","22680","68040","122472","122472","52488"],["30","810","9720","68040","306180","918540","1837080","2361960","1771470","590490"],["36","1188","17820","160380","962280","4041576","12124728","25981560","38972340","38972340","23383404","6377292"],["42","1638","29484","324324","2432430","13135122","52540488","157621464","354648294","591080490","709296588","580333572","290166786","66961566"],["48","2160","45360","589680","5307120","35026992","175134960","675520560","2026561680","4728643920","8511559056","11606671440","11606671440","8035387920","3443737680","688747536"],["54","2754","66096","991440","10410120","81198936","487193616","2296769904","8612887140","25838661420","62012787408","118388048688","177582073032","204902391960","175630621680","105378373008","39516889878","6973568802"],["60","3420","92340","1569780","18837360","169536240","1186753680","6611913360","29753610120","109096570440","327289711320","803347473240","1606694946480","2595430298160","3336981811920","3336981811920","2502736358940","1324978072380","441659357460","69735688020"],["66","4158","124740","2370060","31995810","326357262","2610858096","16784087760","88116460740","381837996540","1374616787544","4123850362632","10309625906580","21412299959820","36706799931120","51389519903568","57813209891514","51011655786630","34007770524420","16108943932620","4832683179786","690383311398"],["72","4968","163944","3442824","51642360","588722904","5298506136","38603401848","231620411088","1158102055440","4864028632848","17245192425552","51735577276656","131328773086896","281418799471920","506553839049456","759830758574184","938614466473992","938614466473992","741011420900520","444606852540312","190545793945848","51967034712504","6778308875544"],["78","5850","210600","4843800","79922700","1007026020","10070260200","82000690200","553504658850","3136526400150","15055326720720","61589972948400","215564905319400","646694715958200","1662929269606800","3658444393134960","6859583237128050","10894632200144550","14526176266859400","16055247452844600","14449722707560140","10321230505400100","5629762093854600","2202950384551800","550737596137950","66088511536554"],["84","6804","265356","6633900","119410200","1647860760","18126468360","163138215240","1223536614300","7749065223900","41844952209060","194008414787460","776033659149840","2686270358595600","8058811075786800","20952908797045680","47144044793352780","91514910481214220","152524850802023700","216745840613402100","260095008736082520","260095008736082520","212805007147703880","138785874226763400","69392937113381700","24981457360817412","5764951698650172","640550188738908"]],"degrees":[-1,1,3,5,7,9,11,13,15,17,19,21,23,25,27],"row_sums":["0","24","768","18432","393216","7864320","150994944","2818572288","51539607552","927712935936","16492674416640","290271069732864","5066549580791808","87820192733724672","1513209474796486656"],"nonn":true,"definitions":[{"position":0,"source":"derived:derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["0"],["6","18"]],"recurrence":{"denominator":{"coeffs":[["-1"],["1"]]},"terms":[{"coeff":{"coeffs":[["0","0","0"],["1","6","9"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":188837,"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-48a482553bcfa4f7"]},{"id":188838,"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-48a482553bcfa4f7"]},{"id":188839,"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-48a482553bcfa4f7"]}],"region_exact":{},"incoming_edges":[{"id":"e-48a482553bcfa4f7","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-f4ed0867db54c950","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":"da71bc44f9328364e342e01fac4667d0ef0d029d225fd1b41a3d26ccb8736d13","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-eb3f8d5fd252d0c9","role":"sequence","name":"basis_map_A013610 of basis-map coefficients of Irregular triangle read by rows formed by taking every other row of the Delannoy array (A008288) regarded as a triangle. shifted by x -> -x + 0","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-9bd039cda79a69c7","kind":"fingerprint_related","node_a_id":"n-f4ed0867db54c950","node_b_id":"n-01e54498c38d09e3","fingerprint":"f6-b0cbff57821dcb89","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-b0cbff57821dcb89"},"other_id":"n-01e54498c38d09e3","other":{"id":"n-01e54498c38d09e3","name":"basis_map_A013610 of derivative of basis-map coefficients of Irregular triangle read by rows formed by taking every other row of the Delannoy array (A008288) regarded as a triangle. shifted by x -> -x + 0","first_index":0,"fingerprint":"f6-b0cbff57821dcb89","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["2","6"],["4","36","108","108"]],"card_rows":[["2","6"],["4","36","108","108"],["6","90","540","1620","2430","1458"],["8","168","1512","7560","22680","40824","40824","17496"]],"row_sums_preview":["0","8","256","6144","131072","2621440","50331648","939524096"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cdb0db4ad473ee28","steps":["D","basis A013610"],"edges":["e-521a2a476289c028","e-1f2ee6b475c7f27d"],"text":"basis-map coefficients of A297191, shifted \u2192 D \u2192 basis A013610"},"headline":"basis-map coefficients of A297191, shifted \u2192 D \u2192 basis A013610","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:  6,   18;\n  2: 12,  108,   324,    324;\n  3: 18,  270,  1620,   4860,     7290,     4374;\n  4: 24,  504,  4536,  22680,    68040,   122472,    122472,      52488;\n  5: 30,  810,  9720,  68040,   306180,   918540,   1837080,    2361960,    1771470,      590490;\n  6: 36, 1188, 17820, 160380,   962280,  4041576,  12124728,   25981560,   38972340,    38972340,    23383404,      6377292;\n  7: 42, 1638, 29484, 324324,  2432430, 13135122,  52540488,  157621464,  354648294,   591080490,   709296588,    580333572,    290166786,     66961566;\n  8: 48, 2160, 45360, 589680,  5307120, 35026992, 175134960,  675520560, 2026561680,  4728643920,  8511559056,  11606671440,  11606671440,   8035387920,   3443737680,    688747536;\n  9: 54, 2754, 66096, 991440, 10410120, 81198936, 487193616, 2296769904, 8612887140, 25838661420, 62012787408, 118388048688, 177582073032, 204902391960, 175630621680, 105378373008, 39516889878, 6973568802;\n","recurrence_sentence":"The row polynomials satisfy (n-1)*P(n,x) = (n+6*n*x+9*n*x^2)*P(n-1,x) for n >= 2, with P(0,x) = 0, P(1,x) = 6 + 18*x.","mathematica":"P[0, x_] := 0;\nP[1, x_] := 6 + 18*x;\nP[n_, x_] := P[n, x] = Expand[Together[((n + 6*n*x + 9*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] = 6 + 18*x; for(n = 2, N, my(i = n + 1); v[i] = ((n + 6*n*x + 9*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-cdb0db4ad473ee28","steps":["basis A013610","D"],"edges":["e-4aebfd11077ddb65","e-48a482553bcfa4f7"],"text":"basis-map coefficients of A297191, shifted \u2192 basis A013610 \u2192 D"},"headline":"basis-map coefficients of A297191, shifted \u2192 basis A013610 \u2192 D","chain":null}