{"id":"n-619cc8ea95273502","revision":0,"first_index":0,"fingerprint":"f6-177c65847e3c5511","name":"derivative of basis_map_A013609 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":[[],["4","8"],["8","48","96","64"],["12","120","480","960","960","384"],["16","224","1344","4480","8960","10752","7168","2048"],["20","360","2880","13440","40320","80640","107520","92160","46080","10240"],["24","528","5280","31680","126720","354816","709632","1013760","1013760","675840","270336","49152"],["28","728","8736","64064","320320","1153152","3075072","6150144","9225216","10250240","8200192","4472832","1490944","229376"],["32","960","13440","116480","698880","3075072","10250240","26357760","52715520","82001920","98402304","89456640","59637760","27525120","7864320","1048576"],["36","1224","19584","195840","1370880","7128576","28514304","89616384","224040960","448081920","716931072","912457728","912457728","701890560","401080320","160432128","40108032","4718592"],["40","1520","27360","310080","2480640","14883840","69457920","257986560","773959680","1891901440","3783802880","6191677440","8255569920","8890613760","7620526080","5080350720","2540175360","896532480","199229440","20971520"],["44","1848","36960","468160","4213440","28651392","152807424","654888960","2292111360","6621655040","15891972096","31783944192","52973240320","73347563520","83825786880","78237401088","58678050816","34516500480","15340666880","4844421120","968884224","92274688"],["48","2208","48576","680064","6800640","51684864","310109184","1506244608","6024978432","20083261440","56233132032","132914675712","265829351424","449865056256","642664366080","771197239296","771197239296","635103608832","423402405888","222843371520","89137348608","25467813888","4630511616","402653184"],["52","2600","62400","956800","10524800","88408320","589388800","3199539200","14397926400","54392166400","174054932480","474695270400","1107622297600","2215244595200","3797562163200","5569757839360","6962197299200","7371738316800","6552656281600","4828273049600","2896963829760","1379506585600","501638758400","130862284800","21810380800","1744830464"],["56","3024","78624","1310400","15724800","144668160","1060899840","6365399040","31826995200","134380646400","483770327040","1495290101760","3987440271360","9201785241600","18403570483200","31899522170880","47849283256320","61922601861120","68802890956800","65181686169600","52145348935680","34763565957120","18961945067520","8244323942400","2748107980800","659545915392","101468602368","7516192768"]],"degrees":[-1,1,3,5,7,9,11,13,15,17,19,21,23,25,27],"row_sums":["0","12","216","2916","34992","393660","4251528","44641044","459165024","4649045868","46490458680","460255540932","4518872583696","44059007691036","427033459159272"],"nonn":true,"definitions":[{"position":0,"source":"derived:derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["0"],["4","8"]],"recurrence":{"denominator":{"coeffs":[["-1"],["1"]]},"terms":[{"coeff":{"coeffs":[["0","0","0"],["1","4","4"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":184284,"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-c40d39309139e88c"]},{"id":184285,"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-c40d39309139e88c"]},{"id":184286,"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-c40d39309139e88c"]}],"region_exact":{},"incoming_edges":[{"id":"e-c40d39309139e88c","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-619cc8ea95273502","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":"02404158a99792f209c95450c8f9c1089148c95b7a8aff42360eb312926426a9","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-5c5dbc66494212e8","role":"sequence","name":"basis_map_A013609 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-39d0c6a7a34e4c4f","kind":"fingerprint_related","node_a_id":"n-619cc8ea95273502","node_b_id":"n-baf5264cc15878a7","fingerprint":"f6-177c65847e3c5511","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-177c65847e3c5511"},"other_id":"n-baf5264cc15878a7","other":{"id":"n-baf5264cc15878a7","name":"basis_map_A013611 of derivative of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-177c65847e3c5511","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["4","8"],["32","192","384","256"]],"card_rows":[["4","8"],["32","192","384","256"],["192","1920","7680","15360","15360","6144"],["1024","14336","86016","286720","573440","688128","458752","131072"]],"row_sums_preview":["0","12","864","46656","2239488","100776960","4353564672","182849716224"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["D","basis A013611"],"edges":["e-473cc94657c879cc","e-58f0eb5265d39366"],"text":"A034870 \u2192 D \u2192 basis A013611"},"headline":"A034870 \u2192 D \u2192 basis A013611","chain":null}},{"id":"l-752f4e69823c9ee5","kind":"fingerprint_related","node_a_id":"n-619cc8ea95273502","node_b_id":"n-0936e707d9d749c8","fingerprint":"f6-177c65847e3c5511","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-177c65847e3c5511"},"other_id":"n-0936e707d9d749c8","other":{"id":"n-0936e707d9d749c8","name":"basis_map_A013609 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-177c65847e3c5511","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["2","4"],["4","24","48","32"]],"card_rows":[["2","4"],["4","24","48","32"],["6","60","240","480","480","192"],["8","112","672","2240","4480","5376","3584","1024"]],"row_sums_preview":["0","6","108","1458","17496","196830","2125764","22320522"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cdb0db4ad473ee28","steps":["D","basis A013609"],"edges":["e-521a2a476289c028","e-ac0ca91da3703f90"],"text":"basis-map coefficients of A297191, shifted \u2192 D \u2192 basis A013609"},"headline":"basis-map coefficients of A297191, shifted \u2192 D \u2192 basis A013609","chain":null}},{"id":"l-a433fff65829b9fc","kind":"fingerprint_related","node_a_id":"n-91fbe90ea8777148","node_b_id":"n-619cc8ea95273502","fingerprint":"f6-177c65847e3c5511","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-177c65847e3c5511"},"other_id":"n-91fbe90ea8777148","other":{"id":"n-91fbe90ea8777148","name":"shift_x_plus_one of derivative of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-177c65847e3c5511","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["4","2"],["32","48","24","4"]],"card_rows":[["4","2"],["32","48","24","4"],["192","480","480","240","60","6"],["1024","3584","5376","4480","2240","672","112","8"]],"row_sums_preview":["0","6","108","1458","17496","196830","2125764","22320522"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["D","basis A007318"],"edges":["e-473cc94657c879cc","e-7f993f994f18d6ae"],"text":"A034870 \u2192 D \u2192 basis A007318"},"headline":"A034870 \u2192 D \u2192 basis A007318","chain":null}},{"id":"l-acc71f7fe5ca071a","kind":"fingerprint_related","node_a_id":"n-619cc8ea95273502","node_b_id":"n-cb21c99be919a143","fingerprint":"f6-177c65847e3c5511","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-177c65847e3c5511"},"other_id":"n-cb21c99be919a143","other":{"id":"n-cb21c99be919a143","name":"derivative of basis_map_A013611 of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-177c65847e3c5511","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["16","32"],["128","768","1536","1024"]],"card_rows":[["16","32"],["128","768","1536","1024"],["768","7680","30720","61440","61440","24576"],["4096","57344","344064","1146880","2293760","2752512","1835008","524288"]],"row_sums_preview":["0","48","3456","186624","8957952","403107840","17414258688","731398864896"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["basis A013611","D"],"edges":["e-a6b5412d61e1c4e3","e-ede1d0c7432adab9"],"text":"A034870 \u2192 basis A013611 \u2192 D"},"headline":"A034870 \u2192 basis A013611 \u2192 D","chain":null}},{"id":"l-fae8ab3836378c9d","kind":"fingerprint_related","node_a_id":"n-619cc8ea95273502","node_b_id":"n-c562f6d6978a6187","fingerprint":"f6-177c65847e3c5511","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-177c65847e3c5511"},"other_id":"n-c562f6d6978a6187","other":{"id":"n-c562f6d6978a6187","name":"derivative of basis_map_A007318 of Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n.","first_index":0,"fingerprint":"f6-177c65847e3c5511","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["8","4"],["128","192","96","16"]],"card_rows":[["8","4"],["128","192","96","16"],["1536","3840","3840","1920","480","48"],["16384","57344","86016","71680","35840","10752","1792","128"]],"row_sums_preview":["0","12","432","11664","279936","6298560","136048896","2857026816"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-336459bdce627a87","steps":["x \u21a6 x+1","D"],"edges":["e-9d7e9cd87d9b797c","e-22942c57873a064c"],"text":"A139548 \u2192 x \u21a6 x+1 \u2192 D"},"headline":"A139548 \u2192 x \u21a6 x+1 \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:  4,    8;\n  2:  8,   48,    96,     64;\n  3: 12,  120,   480,    960,     960,     384;\n  4: 16,  224,  1344,   4480,    8960,   10752,     7168,     2048;\n  5: 20,  360,  2880,  13440,   40320,   80640,   107520,    92160,     46080,     10240;\n  6: 24,  528,  5280,  31680,  126720,  354816,   709632,  1013760,   1013760,    675840,    270336,     49152;\n  7: 28,  728,  8736,  64064,  320320, 1153152,  3075072,  6150144,   9225216,  10250240,   8200192,   4472832,   1490944,    229376;\n  8: 32,  960, 13440, 116480,  698880, 3075072, 10250240, 26357760,  52715520,  82001920,  98402304,  89456640,  59637760,  27525120,   7864320,   1048576;\n  9: 36, 1224, 19584, 195840, 1370880, 7128576, 28514304, 89616384, 224040960, 448081920, 716931072, 912457728, 912457728, 701890560, 401080320, 160432128, 40108032, 4718592;\n","recurrence_sentence":"The row polynomials satisfy (n-1)*P(n,x) = (n+4*n*x+4*n*x^2)*P(n-1,x) for n >= 2, with P(0,x) = 0, P(1,x) = 4 + 8*x.","mathematica":"P[0, x_] := 0;\nP[1, x_] := 4 + 8*x;\nP[n_, x_] := P[n, x] = Expand[Together[((n + 4*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] = 4 + 8*x; for(n = 2, N, my(i = n + 1); v[i] = ((n + 4*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-cdb0db4ad473ee28","steps":["basis A013609","D"],"edges":["e-20c0b01c4fb345ed","e-c40d39309139e88c"],"text":"basis-map coefficients of A297191, shifted \u2192 basis A013609 \u2192 D"},"headline":"basis-map coefficients of A297191, shifted \u2192 basis A013609 \u2192 D","chain":null}