{"id":"n-8548b8471ae89704","revision":1,"first_index":0,"fingerprint":"f6-3c756e495021e4dc","name":"basis_map_A013611 of Triangular array: row n gives the coefficients of the polynomial p(n,x) defined in Comments.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[["1"],["4","12"],["10","48","48"],["28","192","384","192"],["76","672","2016","2304","768"],["208","2256","9024","16128","12288","3072"],["568","7296","36480","89088","109056","61440","12288"],["1552","23040","138240","428544","728064","663552","294912","49152"],["4240","71424","499968","1880064","4101120","5234688","3760128","1376256","196608"],["11584","218304","1746432","7723008","20606976","34025472","34357248","20250624","6291456","786432"],["31648","659712","5937408","30191616","95348736","193757184","254214144","210763776","104988672","28311552","3145728"],["86464","1975296","19752960","113550336","414461952","1001816064","1624375296","1753743360","1227620352","528482304","125829120","12582912"],["236224","5869056","64559616","413995008","1715355648","4811784192","9314500608","12460228608","11366301696","6863978496","2598371328","553648128","50331648"],["645376","17325312","207903744","1471352832","6824017920","21804318720","49139417088","78680948736","89058705408","70071091200","37132173312","12532580352","2415919104","201326592"],["1763200","50860032","661180416","5118787584","26276118528","94251122688","242619383808","453356027904","615255638016","601035374592","414657282048","195488120832","59492007936","10468982784","805306368"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","16","106","796","5836","42976","316216","2327056","17124496","126017536","927350176","6824276416","50219160256","369557725696","2719537956736"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"],["4","12"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["2","8"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["2","4"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":167818,"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-e333d81f779c4158"]},{"id":167819,"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-e333d81f779c4158"]},{"id":167820,"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-e333d81f779c4158"]},{"id":167821,"position":3,"claim":"interlacing","from_index":1,"region_key":null,"provenance":"edges","claim_data":{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"},"label":"Interlacing of consecutive rows","description":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 1","region_exact":null,"edges":["e-e333d81f779c4158"]}],"region_exact":{},"incoming_edges":[{"id":"e-e333d81f779c4158","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-8548b8471ae89704","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":"6a62a3ac2610ae7f93c448710a7db3775e03c1ae9936ba9ad5cbad115b8c9c3a","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-eac80c2bf8e566f5","role":"sequence","name":"Triangular array: row n gives the coefficients of the polynomial p(n,x) defined in Comments.","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":[],"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:     1;\n  1:     4,     12;\n  2:    10,     48,      48;\n  3:    28,    192,     384,     192;\n  4:    76,    672,    2016,    2304,      768;\n  5:   208,   2256,    9024,   16128,    12288,     3072;\n  6:   568,   7296,   36480,   89088,   109056,    61440,    12288;\n  7:  1552,  23040,  138240,  428544,   728064,   663552,   294912,    49152;\n  8:  4240,  71424,  499968, 1880064,  4101120,  5234688,  3760128,  1376256,  196608;\n  9: 11584, 218304, 1746432, 7723008, 20606976, 34025472, 34357248, 20250624, 6291456, 786432;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (2+8*x)*P(n-2,x) + (2+4*x)*P(n-1,x) for n >= 2, with P(0,x) = 1, P(1,x) = 4 + 12*x.","mathematica":"P[0, x_] := 1;\nP[1, x_] := 4 + 12*x;\nP[n_, x_] := P[n, x] = Expand[(2 + 8*x)*P[n - 2, x] + (2 + 4*x)*P[n - 1, x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 1; v[2] = 4 + 12*x; for(n = 2, N, my(i = n + 1); v[i] = (2 + 8*x)*v[i - 2] + (2 + 4*x)*v[i - 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-eac80c2bf8e566f5","steps":["basis A013611"],"edges":["e-e333d81f779c4158"],"text":"A249250 \u2192 basis A013611"},"headline":"A249250 \u2192 basis A013611","chain":null}