{"id":"n-393cac5827041b9e","revision":1,"first_index":0,"fingerprint":"f6-51bc43062169a582","name":"basis_map_A013609 of Triangle: row #n has n+1 terms. T(n,m) = 4^m (2n+1)! / ( (2n-2m)! (2m+1)! ).","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"],["7","8"],["61","144","64"],["547","2008","2112","512"],["4921","24608","41856","26624","4096"],["44287","280488","661888","701440","307200","32768"],["398581","3055792","9233856","13780992","10301440","3342336","262144"],["3587227","32285048","118976448","229516800","244715520","138313728","34865152","2097152"],["32285041","333612096","1451033344","3435966464","4774256640","3892051968","1739587584","352321536","16777216"],["290565367","3389929288","16998074112","47733434368","81884291072","87628382208","57054068736","20812136448","3472883712","134217728"],["2615088301","33996147920","193080686400","627379056640","1281817026560","1702337839104","1464567595008","785224040448","239326986240","33554432000","1073741824"],["23535794707","337346390808","2140449774400","7900617607680","18740194959360","29758409605120","31922837782528","22751200935936","10275155607552","2664892989440","318901321728","8589934592"],["211822152361","3318547053664","23265133067904","96163334543360","259804119429120","480426697949184","618433317175296","551961531252736","333193748152320","129007395799040","28890097516544","2989297238016","68719476736"],["1906399371247","32408789311208","248785117948032","1138438157868032","3451774361620480","7288138318970880","10956078660452352","11772953150619648","8935726318092288","4647905562460160","1564624373678080","306196808466432","27693949124608","549755813888"],["17157594341221","314555896255728","2624158734521536","13170360056264704","44289708492804096","105160881550721024","180917154708455424","227627028398997504","208651884058116096","136970772240400384","62235966978392064","18425856376438784","3183017442934784","253987186016256","4398046511104"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","15","269","5179","102105","2028071","40375141","804357075","16027891889","319397983039","6364972640445","126842132703851","2527733760806281","50373179723797335","1003846887761170709"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"],["7","8"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["-9","-48","-64"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["10","16"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":166761,"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-b4660546a5e77fa6"]},{"id":166762,"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-b4660546a5e77fa6"]},{"id":166763,"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-b4660546a5e77fa6"]},{"id":166764,"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-b4660546a5e77fa6"]}],"region_exact":{},"incoming_edges":[{"id":"e-b4660546a5e77fa6","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-393cac5827041b9e","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":"7e87555fc07ee280a064397613bb96909e70a605ccce69c93fdabd2bdc590359","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-9aec4822212db1dc","role":"sequence","name":"Triangle: row #n has n+1 terms. T(n,m) = 4^m (2n+1)! / ( (2n-2m)! (2m+1)! ).","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:         7,          8;\n  2:        61,        144,          64;\n  3:       547,       2008,        2112,         512;\n  4:      4921,      24608,       41856,       26624,        4096;\n  5:     44287,     280488,      661888,      701440,      307200,       32768;\n  6:    398581,    3055792,     9233856,    13780992,    10301440,     3342336,      262144;\n  7:   3587227,   32285048,   118976448,   229516800,   244715520,   138313728,    34865152,     2097152;\n  8:  32285041,  333612096,  1451033344,  3435966464,  4774256640,  3892051968,  1739587584,   352321536,   16777216;\n  9: 290565367, 3389929288, 16998074112, 47733434368, 81884291072, 87628382208, 57054068736, 20812136448, 3472883712, 134217728;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -(9+48*x+64*x^2)*P(n-2,x) + (10+16*x)*P(n-1,x) for n >= 2, with P(0,x) = 1, P(1,x) = 7 + 8*x.","mathematica":"P[0, x_] := 1;\nP[1, x_] := 7 + 8*x;\nP[n_, x_] := P[n, x] = Expand[-(9 + 48*x + 64*x^2)*P[n - 2, x] + (10 + 16*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] = 7 + 8*x; for(n = 2, N, my(i = n + 1); v[i] = -(9 + 48*x + 64*x^2)*v[i - 2] + (10 + 16*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-9aec4822212db1dc","steps":["basis A013609"],"edges":["e-b4660546a5e77fa6"],"text":"A085841 \u2192 basis A013609"},"headline":"A085841 \u2192 basis A013609","chain":null}