{"id":"n-c562f6d6978a6187","revision":0,"first_index":0,"fingerprint":"f6-177c65847e3c5511","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.","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":[[],["8","4"],["128","192","96","16"],["1536","3840","3840","1920","480","48"],["16384","57344","86016","71680","35840","10752","1792","128"],["163840","737280","1474560","1720320","1290240","645120","215040","46080","5760","320"],["1572864","8650752","21626880","32440320","32440320","22708224","11354112","4055040","1013760","168960","16896","768"],["14680064","95420416","286261248","524812288","656015360","590413824","393609216","196804608","73801728","20500480","4100096","559104","46592","1792"],["134217728","1006632960","3523215360","7633633280","11450449920","12595494912","10496245760","6747586560","3373793280","1312030720","393609216","89456640","14909440","1720320","122880","4096"],["1207959552","10267656192","41070624768","102676561920","179683983360","233589178368","233589178368","183534354432","114708971520","57354485760","22941794304","7299661824","1824915456","350945280","50135040","5013504","313344","9216"],["10737418240","102005473280","459024629760","1300569784320","2601139568640","3901709352960","4551994245120","4226851799040","3170138849280","1937307074560","968653537280","396267356160","132089118720","35562455040","7620526080","1270087680","158760960","14008320","778240","20480"],["94489280512","992137445376","4960687226880","15708842885120","35344896491520","60086324035584","80115098714112","85837605765120","75107905044480","54244598087680","32546758852608","16273379426304","6780574760960","2347122032640","670606295040","156474802176","29339025408","4314562560","479395840","37847040","1892352","45056"],["824633720832","9483287789568","52158082842624","182553289949184","456383224872960","867128127258624","1300692190887936","1579411946078208","1579411946078208","1316176621731840","921323635212288","544418511716352","272209255858176","115165454401536","41130519429120","12339155828736","3084788957184","635103608832","105850601472","13927710720","1392771072","99483648","4521984","98304"],["7146825580544","89335319756800","536011918540800","2054712354406400","5650458974617600","11865963846696960","19776606411161600","26839680129433600","30194640145612800","28517160137523200","22813728110018560","15554814620467200","9073641861939200","4536820930969600","1944351827558400","712929003438080","222790313574400","58973906534400","13105312563200","2414136524800","362120478720","43109580800","3919052800","255590400","10649600","212992"],["61572651155456","831230790598656","5403000138891264","22512500578713600","67537501736140800","155336253993123840","284783132320727040","427174698481090560","533968373101363200","563633282718105600","507269954446295040","391981328435773440","261320885623848960","150762049398374400","75381024699187200","32665110702981120","12249416513617920","3963046519111680","1100846255308800","260726744678400","52145348935680","8690891489280","1185121566720","128817561600","10734796800","644087808","24772608","458752"]],"degrees":[-1,1,3,5,7,9,11,13,15,17,19,21,23,25,27],"row_sums":["0","12","432","11664","279936","6298560","136048896","2857026816","58773123072","1190155742208","23803114844160","471301673914368","9254651051409408","180465695502483456","3498258097432756224"],"nonn":true,"definitions":[{"position":0,"source":"derived:derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["0"],["8","4"]],"recurrence":{"denominator":{"coeffs":[["-1"],["1"]]},"terms":[{"coeff":{"coeffs":[["0","0","0"],["8","8","2"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":189657,"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-22942c57873a064c"]},{"id":189658,"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-22942c57873a064c"]},{"id":189659,"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-22942c57873a064c"]}],"region_exact":{},"incoming_edges":[{"id":"e-22942c57873a064c","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-c562f6d6978a6187","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":"213d728b38e11677683d2e89234ece66ca663a786bd172f419c36bddc333b8a7","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-4d3a36b3f07ad6a5","role":"sequence","name":"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.","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-25c5df48b1e5e067","kind":"fingerprint_related","node_a_id":"n-c562f6d6978a6187","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-5eb1eb9a621f0ea9","kind":"fingerprint_related","node_a_id":"n-c562f6d6978a6187","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-71959203e67c525c","kind":"fingerprint_related","node_a_id":"n-c562f6d6978a6187","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-b17cacc90fcdc82a","kind":"fingerprint_related","node_a_id":"n-91fbe90ea8777148","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-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-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-619cc8ea95273502","other":{"id":"n-619cc8ea95273502","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","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"],["8","48","96","64"]],"card_rows":[["4","8"],["8","48","96","64"],["12","120","480","960","960","384"],["16","224","1344","4480","8960","10752","7168","2048"]],"row_sums_preview":["0","12","216","2916","34992","393660","4251528","44641044"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"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}}],"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:          8,           4;\n  2:        128,         192,          96,           16;\n  3:       1536,        3840,        3840,         1920,          480,           48;\n  4:      16384,       57344,       86016,        71680,        35840,        10752,         1792,          128;\n  5:     163840,      737280,     1474560,      1720320,      1290240,       645120,       215040,        46080,         5760,         320;\n  6:    1572864,     8650752,    21626880,     32440320,     32440320,     22708224,     11354112,      4055040,      1013760,      168960,       16896,        768;\n  7:   14680064,    95420416,   286261248,    524812288,    656015360,    590413824,    393609216,    196804608,     73801728,    20500480,     4100096,     559104,      46592,      1792;\n  8:  134217728,  1006632960,  3523215360,   7633633280,  11450449920,  12595494912,  10496245760,   6747586560,   3373793280,  1312030720,   393609216,   89456640,   14909440,   1720320,   122880,    4096;\n  9: 1207959552, 10267656192, 41070624768, 102676561920, 179683983360, 233589178368, 233589178368, 183534354432, 114708971520, 57354485760, 22941794304, 7299661824, 1824915456, 350945280, 50135040, 5013504, 313344, 9216;\n","recurrence_sentence":"The row polynomials satisfy (n-1)*P(n,x) = (8*n+8*n*x+2*n*x^2)*P(n-1,x) for n >= 2, with P(0,x) = 0, P(1,x) = 8 + 4*x.","mathematica":"P[0, x_] := 0;\nP[1, x_] := 8 + 4*x;\nP[n_, x_] := P[n, x] = Expand[Together[((8*n + 8*n*x + 2*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] = 8 + 4*x; for(n = 2, N, my(i = n + 1); v[i] = ((8*n + 8*n*x + 2*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-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}