{"id":"n-4114002a83b4026e","revision":0,"first_index":0,"fingerprint":"f6-4959924f34dfec13","name":"basis_map_A013609 of basis_map_A013611 of Triangle of coefficients of polynomials u(n,x) jointly generated with A207607; see the Formula section.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":2,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[["89","216","128"],["610","2208","2624","1024"],["4181","20120","35904","28160","8192"],["28657","172080","409664","483328","282624","65536"],["196418","1413696","4208384","6632448","5836800","2719744","524288"],["1346269","11295136","40358592","79610880","93634560","65667072","25427968","4194304"],["9227465","88422408","368662848","873512448","1286492160","1206026240","702808064","232783872","33554432"],["63245986","681481440","3247660608","8984279040","15899910144","18668453888","14542438400","7247757312","2097152000","268435456"],["433494437","5187915560","27816812928","87997725696","181887111168","256672432128","250441891840","166841024512","72628568064","18656264192","2147483648"],["2971215073","39101882976","232973354368","829534304256","1961291673600","3233135460352","3791930261504","3164174548992","1841031020544","711353958400","164282499072","17179869184"],["20365011074","292294985856","1915811731456","7582529239040","20183429038080","38065609179136","52158153621504","52317822910464","38127984967680","19689069608960","6838661677056","1434519076864","137438953472"],["139583862445","2169883106608","15516068652672","67574664220672","199982945505280","424693561098240","665840018522112","780325814796288","683597447036928","442136013045760","205218906112000","64733747085312","12438225289216","1099511627776"],["956722026041","16013557659960","124055733690112","589568669527040","1920294503264256","4534652882550784","8006270464819200","10736683028840448","10989660662661120","8544042598006784","4966781785473024","2093452959416320","604800114753536","107202383708160","8796093022208"],["6557470319842","117578796721440","980982528457792","5051851891989504","17958627933560832","46680232642871296","91655276295618560","138426619105640448","162137491422314496","147283447474290688","102914594376253440","54323691252613120","20968786253316096","5587718092357632","919191720820736","70368744177664"],["44945570212853","859497781948856","7683452339285952","42621254802061824","164204916167577600","465895999086034944","1007022524747481088","1691491861075591168","2231385732138663936","2319540021100544000","1893702958642626560","1201489140818903040","580766233679364096","206757114289324032","51127290691584000","7846114975809536","562949953421312"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["433","6466","96557","1441889","21531778","321534781","4801489937","71700814274","1070710724173","15988960048321","238763690000642","3565466389961309","53243232159418993","795083016001323586","11873002007860434797"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["89","216","128"],["610","2208","2624","1024"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["-1"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["7","8"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":200527,"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-f2c9b9fdc1de86ef"]},{"id":200528,"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-f2c9b9fdc1de86ef"]},{"id":200529,"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-f2c9b9fdc1de86ef"]},{"id":200530,"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-f2c9b9fdc1de86ef"]}],"region_exact":{},"incoming_edges":[{"id":"e-f2c9b9fdc1de86ef","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-4114002a83b4026e","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":"049a3d902f79a924534fd5966e4be34adf436ef35b02cd72c649b090ade12a46","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-b85d9f7216f04287","role":"sequence","name":"basis_map_A013611 of Triangle of coefficients of polynomials u(n,x) jointly generated with A207607; see the Formula section.","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:         89,         216,          128;\n  1:        610,        2208,         2624,         1024;\n  2:       4181,       20120,        35904,        28160,          8192;\n  3:      28657,      172080,       409664,       483328,        282624,         65536;\n  4:     196418,     1413696,      4208384,      6632448,       5836800,       2719744,        524288;\n  5:    1346269,    11295136,     40358592,     79610880,      93634560,      65667072,      25427968,       4194304;\n  6:    9227465,    88422408,    368662848,    873512448,    1286492160,    1206026240,     702808064,     232783872,      33554432;\n  7:   63245986,   681481440,   3247660608,   8984279040,   15899910144,   18668453888,   14542438400,    7247757312,    2097152000,    268435456;\n  8:  433494437,  5187915560,  27816812928,  87997725696,  181887111168,  256672432128,  250441891840,  166841024512,   72628568064,  18656264192,   2147483648;\n  9: 2971215073, 39101882976, 232973354368, 829534304256, 1961291673600, 3233135460352, 3791930261504, 3164174548992, 1841031020544, 711353958400, 164282499072, 17179869184;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -P(n-2,x) + (7+8*x)*P(n-1,x) for n >= 2, with P(0,x) = 89 + 216*x + 128*x^2, P(1,x) = 610 + 2208*x + 2624*x^2 + 1024*x^3.","mathematica":"P[0, x_] := 89 + 216*x + 128*x^2;\nP[1, x_] := 610 + 2208*x + 2624*x^2 + 1024*x^3;\nP[n_, x_] := P[n, x] = Expand[-P[n - 2, x] + (7 + 8*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] = 89 + 216*x + 128*x^2; v[2] = 610 + 2208*x + 2624*x^2 + 1024*x^3; for(n = 2, N, my(i = n + 1); v[i] = -v[i - 2] + (7 + 8*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-dfab35176bd08e72","steps":["basis A013611","basis A013609"],"edges":["e-b12bbff1e34cdc3a","e-f2c9b9fdc1de86ef"],"text":"A207606 \u2192 basis A013611 \u2192 basis A013609"},"headline":"A207606 \u2192 basis A013611 \u2192 basis A013609","chain":null}