{"id":"n-442c46c4b4bcba0e","revision":0,"first_index":0,"fingerprint":"f6-f001db5d15224ada","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.","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":[[],["16","16"],["256","768","768","256"],["3072","15360","30720","30720","15360","3072"],["32768","229376","688128","1146880","1146880","688128","229376","32768"],["327680","2949120","11796480","27525120","41287680","41287680","27525120","11796480","2949120","327680"],["3145728","34603008","173015040","519045120","1038090240","1453326336","1453326336","1038090240","519045120","173015040","34603008","3145728"],["29360128","381681664","2290089984","8396996608","20992491520","37786484736","50381979648","50381979648","37786484736","20992491520","8396996608","2290089984","381681664","29360128"],["268435456","4026531840","28185722880","122138132480","366414397440","806111674368","1343519457280","1727382159360","1727382159360","1343519457280","806111674368","366414397440","122138132480","28185722880","4026531840","268435456"],["2415919104","41070624768","328564998144","1642824990720","5749887467520","14949707415552","29899414831104","46984794734592","58730993418240","58730993418240","46984794734592","29899414831104","14949707415552","5749887467520","1642824990720","328564998144","41070624768","2415919104"],["21474836480","408021893120","3672197038080","20809116549120","83236466196480","249709398589440","582655263375360","1082074060554240","1623111090831360","1983802444349440","1983802444349440","1623111090831360","1082074060554240","582655263375360","249709398589440","83236466196480","20809116549120","3672197038080","408021893120","21474836480"],["188978561024","3968549781504","39685497815040","251341486161920","1131036687728640","3845524738277376","10254732635406336","21974427075870720","38455247382773760","55546468441784320","66655762130141184","66655762130141184","55546468441784320","38455247382773760","21974427075870720","10254732635406336","3845524738277376","1131036687728640","251341486161920","39685497815040","3968549781504","188978561024"],["1649267441664","37933151158272","417264662740992","2920852639186944","14604263195934720","55496200144551936","166488600433655808","404329458196021248","808658916392042496","1347764860653404160","1886870804914765824","2229938223990177792","2229938223990177792","1886870804914765824","1347764860653404160","808658916392042496","404329458196021248","166488600433655808","55496200144551936","14604263195934720","2920852639186944","417264662740992","37933151158272","1649267441664"],["14293651161088","357341279027200","4288095348326400","32875397670502400","180814687187763200","759421686188605440","2531405620628684800","6870958113135001600","15459655754553753600","29201571980823756800","46722515169318010880","63712520685433651200","74331274133005926400","74331274133005926400","63712520685433651200","46722515169318010880","29201571980823756800","15459655754553753600","6870958113135001600","2531405620628684800","759421686188605440","180814687187763200","32875397670502400","4288095348326400","357341279027200","14293651161088"],["123145302310912","3324923162394624","43224001111130112","360200009259417600","2161200055556505600","9941520255559925760","36452240937053061120","109356722811159183360","273391807027897958400","577160481503340134400","1038888866706012241920","1605555521272928010240","2140740695030570680320","2470085417342966169600","2470085417342966169600","2140740695030570680320","1605555521272928010240","1038888866706012241920","577160481503340134400","273391807027897958400","109356722811159183360","36452240937053061120","9941520255559925760","2161200055556505600","360200009259417600","43224001111130112","3324923162394624","123145302310912"]],"degrees":[-1,1,3,5,7,9,11,13,15,17,19,21,23,25,27],"row_sums":["0","32","2048","98304","4194304","167772160","6442450944","240518168576","8796093022208","316659348799488","11258999068426240","396316767208603648","13835058055282163712","479615345916448342016","16528282690043758247936"],"nonn":true,"definitions":[{"position":0,"source":"derived:derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["0"],["16","16"]],"recurrence":{"denominator":{"coeffs":[["-1"],["1"]]},"terms":[{"coeff":{"coeffs":[["0","0","0"],["8","16","8"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":192157,"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-ce68c6857f1b6592"]},{"id":192158,"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-ce68c6857f1b6592"]},{"id":192159,"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-ce68c6857f1b6592"]}],"region_exact":{},"incoming_edges":[{"id":"e-ce68c6857f1b6592","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-442c46c4b4bcba0e","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":"8186129c49461edcecf5c55ea16052e9c604b2b2e548e4d8e32caaef8532f769","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-32191567c95f77cc","role":"sequence","name":"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.","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-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-a19e760d156eaaa1","other":{"id":"n-a19e760d156eaaa1","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.","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"],["16","48","48","16"]],"card_rows":[["4","4"],["16","48","48","16"],["48","240","480","480","240","48"],["128","896","2688","4480","4480","2688","896","128"]],"row_sums_preview":["0","8","128","1536","16384","163840","1572864","14680064"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-336459bdce627a87","steps":["D"],"edges":["e-d44daa18db1a481d"],"text":"A139548 \u2192 D"},"headline":"A139548 \u2192 D","chain":null}},{"id":"l-5032577442056c62","kind":"fingerprint_related","node_a_id":"n-f1591709bf5cf41b","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-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-61741e795c372b54","kind":"fingerprint_related","node_a_id":"n-70753dc7278bcc95","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-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-c6923369a7d7a33f","kind":"fingerprint_related","node_a_id":"n-442c46c4b4bcba0e","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}}],"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:         16,          16;\n  2:        256,         768,          768,           256;\n  3:       3072,       15360,        30720,         30720,         15360,           3072;\n  4:      32768,      229376,       688128,       1146880,       1146880,         688128,         229376,          32768;\n  5:     327680,     2949120,     11796480,      27525120,      41287680,       41287680,       27525120,       11796480,        2949120,         327680;\n  6:    3145728,    34603008,    173015040,     519045120,    1038090240,     1453326336,     1453326336,     1038090240,      519045120,      173015040,       34603008,        3145728;\n  7:   29360128,   381681664,   2290089984,    8396996608,   20992491520,    37786484736,    50381979648,    50381979648,    37786484736,    20992491520,     8396996608,     2290089984,      381681664,      29360128;\n  8:  268435456,  4026531840,  28185722880,  122138132480,  366414397440,   806111674368,  1343519457280,  1727382159360,  1727382159360,  1343519457280,   806111674368,   366414397440,   122138132480,   28185722880,    4026531840,    268435456;\n  9: 2415919104, 41070624768, 328564998144, 1642824990720, 5749887467520, 14949707415552, 29899414831104, 46984794734592, 58730993418240, 58730993418240, 46984794734592, 29899414831104, 14949707415552, 5749887467520, 1642824990720, 328564998144, 41070624768, 2415919104;\n","recurrence_sentence":"The row polynomials satisfy (n-1)*P(n,x) = (8*n+16*n*x+8*n*x^2)*P(n-1,x) for n >= 2, with P(0,x) = 0, P(1,x) = 16 + 16*x.","mathematica":"P[0, x_] := 0;\nP[1, x_] := 16 + 16*x;\nP[n_, x_] := P[n, x] = Expand[Together[((8*n + 16*n*x + 8*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] = 16 + 16*x; for(n = 2, N, my(i = n + 1); v[i] = ((8*n + 16*n*x + 8*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":["basis A013609","D"],"edges":["e-65b163cdbb61d2ab","e-ce68c6857f1b6592"],"text":"A139548 \u2192 basis A013609 \u2192 D"},"headline":"A139548 \u2192 basis A013609 \u2192 D","chain":null}