{"id":"n-a19e760d156eaaa1","revision":0,"first_index":0,"fingerprint":"f6-f001db5d15224ada","name":"derivative 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":1,"gamma_positive":1,"nonnegative":1,"rr_by_factors":true,"rows":[[],["4","4"],["16","48","48","16"],["48","240","480","480","240","48"],["128","896","2688","4480","4480","2688","896","128"],["320","2880","11520","26880","40320","40320","26880","11520","2880","320"],["768","8448","42240","126720","253440","354816","354816","253440","126720","42240","8448","768"],["1792","23296","139776","512512","1281280","2306304","3075072","3075072","2306304","1281280","512512","139776","23296","1792"],["4096","61440","430080","1863680","5591040","12300288","20500480","26357760","26357760","20500480","12300288","5591040","1863680","430080","61440","4096"],["9216","156672","1253376","6266880","21934080","57028608","114057216","179232768","224040960","224040960","179232768","114057216","57028608","21934080","6266880","1253376","156672","9216"],["20480","389120","3502080","19845120","79380480","238141440","555663360","1031946240","1547919360","1891901440","1891901440","1547919360","1031946240","555663360","238141440","79380480","19845120","3502080","389120","20480"],["45056","946176","9461760","59924480","269660160","916844544","2444918784","5239111680","9168445440","13243310080","15891972096","15891972096","13243310080","9168445440","5239111680","2444918784","916844544","269660160","59924480","9461760","946176","45056"],["98304","2260992","24870912","174096384","870481920","3307831296","9923493888","24099913728","48199827456","80333045760","112466264064","132914675712","132914675712","112466264064","80333045760","48199827456","24099913728","9923493888","3307831296","870481920","174096384","24870912","2260992","98304"],["212992","5324800","63897600","489881600","2694348800","11316264960","37720883200","102385254400","230366822400","435137331200","696219729920","949390540800","1107622297600","1107622297600","949390540800","696219729920","435137331200","230366822400","102385254400","37720883200","11316264960","2694348800","489881600","63897600","5324800","212992"],["458752","12386304","161021952","1341849600","8051097600","37035048960","135795179520","407385538560","1018463846400","2150090342400","3870162616320","5981160407040","7974880542720","9201785241600","9201785241600","7974880542720","5981160407040","3870162616320","2150090342400","1018463846400","407385538560","135795179520","37035048960","8051097600","1341849600","161021952","12386304","458752"]],"degrees":[-1,1,3,5,7,9,11,13,15,17,19,21,23,25,27],"row_sums":["0","8","128","1536","16384","163840","1572864","14680064","134217728","1207959552","10737418240","94489280512","824633720832","7146825580544","61572651155456"],"nonn":true,"definitions":[{"position":0,"source":"derived:derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["0"],["4","4"]],"recurrence":{"denominator":{"coeffs":[["-1"],["1"]]},"terms":[{"coeff":{"coeffs":[["0","0","0"],["2","4","2"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":182626,"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-d44daa18db1a481d"]},{"id":182627,"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-d44daa18db1a481d"]},{"id":182628,"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-d44daa18db1a481d"]}],"region_exact":{},"incoming_edges":[{"id":"e-d44daa18db1a481d","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-a19e760d156eaaa1","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":"e525e2eebf897c0bce5b723fcd977735cc293aee81a9d2d2bb3fef9b3467e47e","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-336459bdce627a87","role":"sequence","name":"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-1434e5756c5b45a7","kind":"fingerprint_related","node_a_id":"n-f1591709bf5cf41b","node_b_id":"n-a19e760d156eaaa1","fingerprint":"f6-f001db5d15224ada","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-f001db5d15224ada"},"other_id":"n-f1591709bf5cf41b","other":{"id":"n-f1591709bf5cf41b","name":"derivative of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-f001db5d15224ada","polytool_family":null,"degree_pattern":"affine","palindromic":1,"gamma_positive":1,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["2","2"],["4","12","12","4"]],"card_rows":[["2","2"],["4","12","12","4"],["6","30","60","60","30","6"],["8","56","168","280","280","168","56","8"]],"row_sums_preview":["0","4","32","192","1024","5120","24576","114688"],"regions":["(-inf, 0]","(-inf, -1]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["D"],"edges":["e-473cc94657c879cc"],"text":"A034870 \u2192 D"},"headline":"A034870 \u2192 D","chain":null}},{"id":"l-1afb948eeffcf78c","kind":"fingerprint_related","node_a_id":"n-a19e760d156eaaa1","node_b_id":"n-188134e047d233d5","fingerprint":"f6-f001db5d15224ada","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-f001db5d15224ada"},"other_id":"n-188134e047d233d5","other":{"id":"n-188134e047d233d5","name":"basis_map_A013609 of derivative of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-f001db5d15224ada","polytool_family":null,"degree_pattern":"affine","palindromic":1,"gamma_positive":1,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["4","4"],["32","96","96","32"]],"card_rows":[["4","4"],["32","96","96","32"],["192","960","1920","1920","960","192"],["1024","7168","21504","35840","35840","21504","7168","1024"]],"row_sums_preview":["0","8","256","6144","131072","2621440","50331648","939524096"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["D","basis A013609"],"edges":["e-473cc94657c879cc","e-3141d4bc04242e7f"],"text":"A034870 \u2192 D \u2192 basis A013609"},"headline":"A034870 \u2192 D \u2192 basis A013609","chain":null}},{"id":"l-36f94dfd256223d7","kind":"fingerprint_related","node_a_id":"n-a19e760d156eaaa1","node_b_id":"n-70753dc7278bcc95","fingerprint":"f6-f001db5d15224ada","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-f001db5d15224ada"},"other_id":"n-70753dc7278bcc95","other":{"id":"n-70753dc7278bcc95","name":"derivative of basis_map_A013609 of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-f001db5d15224ada","polytool_family":null,"degree_pattern":"affine","palindromic":1,"gamma_positive":1,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["8","8"],["64","192","192","64"]],"card_rows":[["8","8"],["64","192","192","64"],["384","1920","3840","3840","1920","384"],["2048","14336","43008","71680","71680","43008","14336","2048"]],"row_sums_preview":["0","16","512","12288","262144","5242880","100663296","1879048192"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["basis A013609","D"],"edges":["e-9638204c7017296b","e-ef3ec095048407cb"],"text":"A034870 \u2192 basis A013609 \u2192 D"},"headline":"A034870 \u2192 basis A013609 \u2192 D","chain":null}},{"id":"l-48ddf439cafa3d61","kind":"fingerprint_related","node_a_id":"n-a19e760d156eaaa1","node_b_id":"n-442c46c4b4bcba0e","fingerprint":"f6-f001db5d15224ada","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-f001db5d15224ada"},"other_id":"n-442c46c4b4bcba0e","other":{"id":"n-442c46c4b4bcba0e","name":"derivative of basis_map_A013609 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-f001db5d15224ada","polytool_family":null,"degree_pattern":"affine","palindromic":1,"gamma_positive":1,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["16","16"],["256","768","768","256"]],"card_rows":[["16","16"],["256","768","768","256"],["3072","15360","30720","30720","15360","3072"],["32768","229376","688128","1146880","1146880","688128","229376","32768"]],"row_sums_preview":["0","32","2048","98304","4194304","167772160","6442450944","240518168576"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-336459bdce627a87","steps":["basis A013609","D"],"edges":["e-65b163cdbb61d2ab","e-ce68c6857f1b6592"],"text":"A139548 \u2192 basis A013609 \u2192 D"},"headline":"A139548 \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:    4,      4;\n  2:   16,     48,      48,      16;\n  3:   48,    240,     480,     480,      240,       48;\n  4:  128,    896,    2688,    4480,     4480,     2688,       896,       128;\n  5:  320,   2880,   11520,   26880,    40320,    40320,     26880,     11520,      2880,       320;\n  6:  768,   8448,   42240,  126720,   253440,   354816,    354816,    253440,    126720,     42240,      8448,       768;\n  7: 1792,  23296,  139776,  512512,  1281280,  2306304,   3075072,   3075072,   2306304,   1281280,    512512,    139776,    23296,     1792;\n  8: 4096,  61440,  430080, 1863680,  5591040, 12300288,  20500480,  26357760,  26357760,  20500480,  12300288,   5591040,  1863680,   430080,   61440,    4096;\n  9: 9216, 156672, 1253376, 6266880, 21934080, 57028608, 114057216, 179232768, 224040960, 224040960, 179232768, 114057216, 57028608, 21934080, 6266880, 1253376, 156672, 9216;\n","recurrence_sentence":"The row polynomials satisfy (n-1)*P(n,x) = (2*n+4*n*x+2*n*x^2)*P(n-1,x) for n >= 2, with P(0,x) = 0, P(1,x) = 4 + 4*x.","mathematica":"P[0, x_] := 0;\nP[1, x_] := 4 + 4*x;\nP[n_, x_] := P[n, x] = Expand[Together[((2*n + 4*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] = 4 + 4*x; for(n = 2, N, my(i = n + 1); v[i] = ((2*n + 4*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":["D"],"edges":["e-d44daa18db1a481d"],"text":"A139548 \u2192 D"},"headline":"A139548 \u2192 D","chain":null}