{"id":"n-8006e68a699fe151","revision":0,"first_index":1,"fingerprint":"f6-6d5781c4134cee14","name":"basis_map_A007318 of Triangle T(n,k), read by rows, given by (1,1,0,0,0,0,0,0,0,...) DELTA (1,0,0,0,0,0,0,0,0,...) where DELTA is the operator defined in A084938.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":-1,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["1"],["2","1"],["6","5","1"],["18","21","8","1"],["54","81","45","11","1"],["162","297","216","78","14","1"],["486","1053","945","450","120","17","1"],["1458","3645","3888","2295","810","171","20","1"],["4374","12393","15309","10773","4725","1323","231","23","1"],["13122","41553","58320","47628","24948","8694","2016","300","26","1"],["39366","137781","216513","201204","122472","51030","14742","2916","378","29","1"],["118098","452709","787320","820125","568620","275562","95256","23490","4050","465","32","1"],["354294","1476225","2814669","3247695","2525985","1395306","561330","165726","35640","5445","561","35","1"],["1062882","4782969","9920232","12557754","10825650","6711903","3079296","1058508","272646","51975","7128","666","38","1"],["3188646","15411789","34543665","47593494","45034704","30961359","15949791","6254820","1876446","428571","73359","9126","780","41","1"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","3","12","48","192","768","3072","12288","49152","196608","786432","3145728","12582912","50331648","201326592"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A007318","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":1,"initial_polynomials":[["1"],["2","1"]],"recurrence":{"denominator":{"coeffs":[["-2"],["1"]]},"terms":[{"coeff":{"coeffs":[["-6","-2"],["3","1"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":195358,"position":0,"claim":"real_rooted","from_index":1,"region_key":"(-inf, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 1, is zero or real-rooted with all roots in (-inf, 0]","region_exact":null,"edges":["e-92a0376fde876b5f"]},{"id":195359,"position":1,"claim":"one_signed_coefficients","from_index":1,"region_key":null,"provenance":"derived_from_edges","claim_data":{"alternating":false,"claim":"one_signed_coefficients","from_index":1},"label":"Coefficients of one sign","description":"Every nonzero row, n >= 1: the coefficients of P_n have one sign","region_exact":null,"edges":["e-92a0376fde876b5f"]},{"id":195360,"position":2,"claim":"hadamard_kernel","from_index":1,"region_key":null,"provenance":"derived_from_edges","claim_data":{"claim":"hadamard_kernel","from_index":1},"label":"Hadamard kernel (Malo)","description":"Rows P_n, n >= 1, are Hadamard kernels (preserve real-rootedness)","region_exact":null,"edges":["e-92a0376fde876b5f"]},{"id":195361,"position":3,"claim":"interlacing","from_index":3,"region_key":null,"provenance":"edges","claim_data":{"claim":"interlacing","from_index":3,"kind":"weak","orientation":"unordered"},"label":"Interlacing of consecutive rows","description":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 3","region_exact":null,"edges":["e-92a0376fde876b5f"]}],"region_exact":{},"incoming_edges":[{"id":"e-92a0376fde876b5f","operation":{"map":"A007318","operation":"basis_map"},"operation_detail":"A007318","conclusion_id":"n-8006e68a699fe151","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":"bcb4b2f9663ec341e938561fdda665cc998ab6e52ba56cf437a9e2d9b38ae115","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}},{"claim":"interlacing","from_index":3,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-f2a2a3d7ea29bcbf","role":"sequence","name":"Triangle T(n,k), read by rows, given by (1,1,0,0,0,0,0,0,0,...) DELTA (1,0,0,0,0,0,0,0,0,...) where DELTA is the operator defined in A084938.","uses":{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 1, is zero or real-rooted with all roots in (-inf, 0]"}]}],"used_by":[],"used_by_total":0,"links":[{"id":"l-152f7410752826cd","kind":"fingerprint_related","node_a_id":"n-8006e68a699fe151","node_b_id":"n-4636bdf7e3e77f22","fingerprint":"f6-6d5781c4134cee14","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6d5781c4134cee14"},"other_id":"n-4636bdf7e3e77f22","other":{"id":"n-4636bdf7e3e77f22","name":"basis_map_A013611 of Triangular matrix arising in enumeration of catafusenes, read by rows.","first_index":0,"fingerprint":"f6-6d5781c4134cee14","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["2","4"],["8","40","48"]],"card_rows":[["1"],["2","4"],["8","40","48"],["32","256","672","576"]],"row_sums_preview":["1","6","96","1536","24576","393216","6291456","100663296"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-685ab5842fbad7f4","steps":["basis A013611"],"edges":["e-091a70a69c7d9100"],"text":"A038763 \u2192 basis A013611"},"headline":"A038763 \u2192 basis A013611","chain":null}},{"id":"l-f7666702efbf1e64","kind":"fingerprint_related","node_a_id":"n-6edd791871a0d803","node_b_id":"n-8006e68a699fe151","fingerprint":"f6-6d5781c4134cee14","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6d5781c4134cee14"},"other_id":"n-6edd791871a0d803","other":{"id":"n-6edd791871a0d803","name":"Triangular array: the fusion of (x+1)^n and (x+2)^n; see Comments for the definition of fusion.","first_index":0,"fingerprint":"f6-6d5781c4134cee14","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["1","2"],["1","5","6"]],"card_rows":[["1"],["1","2"],["1","5","6"],["1","8","21","18"]],"row_sums_preview":["1","3","12","48","192","768","3072","12288"],"regions":["(-inf, 0)","(-inf, 0]"],"region_exact":{},"oeis_ids":["A193722"],"derivation":{"root":"n-6edd791871a0d803","steps":[],"edges":[],"text":"A193722"},"headline":"A193722: Triangular array: the fusion of (x+1)^n and (x+2)^n; see Comments for the definition of fusion.","chain":null}}],"oeis":[],"bfiles":[],"oeis_texts":[{"oeis_id":"","target":"node","first_row":1,"oeis_offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n   1:     1;\n   2:     2,     1;\n   3:     6,     5,     1;\n   4:    18,    21,     8,     1;\n   5:    54,    81,    45,    11,     1;\n   6:   162,   297,   216,    78,    14,    1;\n   7:   486,  1053,   945,   450,   120,   17,    1;\n   8:  1458,  3645,  3888,  2295,   810,  171,   20,   1;\n   9:  4374, 12393, 15309, 10773,  4725, 1323,  231,  23,  1;\n  10: 13122, 41553, 58320, 47628, 24948, 8694, 2016, 300, 26, 1;\n","recurrence_sentence":"The row polynomials satisfy (n-2)*P(n,x) = (3*n-6+(n-2)*x)*P(n-1,x) for n >= 3, with P(1,x) = 1, P(2,x) = 2 + x.","mathematica":"P[1, x_] := 1;\nP[2, x_] := 2 + x;\nP[n_, x_] := P[n, x] = Expand[Together[((3*n - 6 + (n - 2)*x)*P[n - 1, x])/(n - 2)]];\nTable[CoefficientList[P[n, x], x], {n, 1, 10}] // Flatten","pari":"P(N) = {my(v = vector(N)); v[1] = 1; v[2] = 2 + x; for(n = 3, N, my(i = n); v[i] = ((3*n - 6 + (n - 2)*x)*v[i - 1])/(n - 2)); v};\nrow(n, p) = {my(c = Vecrev(p)); c};\nT(N) = {my(v = P(N)); concat(vector(#v, i, row(i, v[i])))};\nT(10)","reading":{"first_row":1,"offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-f2a2a3d7ea29bcbf","steps":["basis A007318"],"edges":["e-92a0376fde876b5f"],"text":"A200139 \u2192 basis A007318"},"headline":"A200139 \u2192 basis A007318","chain":null}