{"id":"n-188134e047d233d5","revision":0,"first_index":0,"fingerprint":"f6-f001db5d15224ada","name":"basis_map_A013609 of derivative of Even-numbered rows of Pascal's triangle.","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"],["32","96","96","32"],["192","960","1920","1920","960","192"],["1024","7168","21504","35840","35840","21504","7168","1024"],["5120","46080","184320","430080","645120","645120","430080","184320","46080","5120"],["24576","270336","1351680","4055040","8110080","11354112","11354112","8110080","4055040","1351680","270336","24576"],["114688","1490944","8945664","32800768","82001920","147603456","196804608","196804608","147603456","82001920","32800768","8945664","1490944","114688"],["524288","7864320","55050240","238551040","715653120","1574436864","2624061440","3373793280","3373793280","2624061440","1574436864","715653120","238551040","55050240","7864320","524288"],["2359296","40108032","320864256","1604321280","5615124480","14599323648","29198647296","45883588608","57354485760","57354485760","45883588608","29198647296","14599323648","5615124480","1604321280","320864256","40108032","2359296"],["10485760","199229440","1793064960","10160701440","40642805760","121928417280","284499640320","528356474880","792534712320","968653537280","968653537280","792534712320","528356474880","284499640320","121928417280","40642805760","10160701440","1793064960","199229440","10485760"],["46137344","968884224","9688842240","61362667520","276132003840","938848813056","2503596834816","5364850360320","9388488130560","13561149521920","16273379426304","16273379426304","13561149521920","9388488130560","5364850360320","2503596834816","938848813056","276132003840","61362667520","9688842240","968884224","46137344"],["201326592","4630511616","50935627776","356549394432","1782746972160","6774438494208","20323315482624","49356623314944","98713246629888","164522077716480","230330908803072","272209255858176","272209255858176","230330908803072","164522077716480","98713246629888","49356623314944","20323315482624","6774438494208","1782746972160","356549394432","50935627776","4630511616","201326592"],["872415232","21810380800","261724569600","2006555033600","11036052684800","46351421276160","154504737587200","419370002022400","943582504550400","1782322508595200","2851716013752320","3888703655116800","4536820930969600","4536820930969600","3888703655116800","2851716013752320","1782322508595200","943582504550400","419370002022400","154504737587200","46351421276160","11036052684800","2006555033600","261724569600","21810380800","872415232"],["3758096384","101468602368","1319091830784","10992431923200","65954591539200","303391121080320","1112434110627840","3337302331883520","8343255829708800","17613540084940800","31704372152893440","48997666054471680","65330221405962240","75381024699187200","75381024699187200","65330221405962240","48997666054471680","31704372152893440","17613540084940800","8343255829708800","3337302331883520","1112434110627840","303391121080320","65954591539200","10992431923200","1319091830784","101468602368","3758096384"]],"degrees":[-1,1,3,5,7,9,11,13,15,17,19,21,23,25,27],"row_sums":["0","8","256","6144","131072","2621440","50331648","939524096","17179869184","309237645312","5497558138880","96757023244288","1688849860263936","29273397577908224","504403158265495552"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","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"],["4","8","4"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":199593,"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-3141d4bc04242e7f"]},{"id":199594,"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-3141d4bc04242e7f"]},{"id":199595,"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-3141d4bc04242e7f"]}],"region_exact":{},"incoming_edges":[{"id":"e-3141d4bc04242e7f","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-188134e047d233d5","premise_count":1,"theorem":"geometric family P_k = g(t) (a + d t)^k: T(p) = g(t) p(a + d t), so the roots of T(p) are those of g and the points (r - a)/d for the roots r of p (elementary)","lean_route":null,"lean_declarations":[],"certificate_hash":"70bcd81de032d36274c72d258e86d206233c2b3d726a86225bc379daf60c2776","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-f1591709bf5cf41b","role":"sequence","name":"derivative of Even-numbered rows of Pascal's triangle.","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-0d187281681b4cd1","kind":"fingerprint_related","node_a_id":"n-70753dc7278bcc95","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-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-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-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-22d05b5645f61483","kind":"fingerprint_related","node_a_id":"n-f1591709bf5cf41b","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-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-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-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:      32,       96,        96,         32;\n  3:     192,      960,      1920,       1920,        960,         192;\n  4:    1024,     7168,     21504,      35840,      35840,       21504,        7168,        1024;\n  5:    5120,    46080,    184320,     430080,     645120,      645120,      430080,      184320,       46080,        5120;\n  6:   24576,   270336,   1351680,    4055040,    8110080,    11354112,    11354112,     8110080,     4055040,     1351680,      270336,       24576;\n  7:  114688,  1490944,   8945664,   32800768,   82001920,   147603456,   196804608,   196804608,   147603456,    82001920,    32800768,     8945664,     1490944,     114688;\n  8:  524288,  7864320,  55050240,  238551040,  715653120,  1574436864,  2624061440,  3373793280,  3373793280,  2624061440,  1574436864,   715653120,   238551040,   55050240,    7864320,    524288;\n  9: 2359296, 40108032, 320864256, 1604321280, 5615124480, 14599323648, 29198647296, 45883588608, 57354485760, 57354485760, 45883588608, 29198647296, 14599323648, 5615124480, 1604321280, 320864256, 40108032, 2359296;\n","recurrence_sentence":"The row polynomials satisfy (n-1)*P(n,x) = (4*n+8*n*x+4*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[((4*n + 8*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 + 4*x; for(n = 2, N, my(i = n + 1); v[i] = ((4*n + 8*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-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}