{"id":"n-98aa86c8bf356480","revision":1,"first_index":0,"fingerprint":"f6-55426929a3969ca5","name":"basis_map_A013610 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":[["13","33","18"],["34","132","153","54"],["89","465","837","621","162"],["233","1530","3753","4320","2349","486"],["610","4824","15012","23598","19845","8505","1458"],["1597","14772","55755","111510","127980","84564","29889","4374"],["4181","44283","196569","478197","698625","629127","341901","102789","13122"],["10946","130620","666801","1912788","3402486","3898692","2883195","1329696","347733","39366"],["28657","380415","2195694","7260570","15247197","21274407","20003760","12535884","5019165","1161297","118098"],["75025","1096596","7061526","26456004","64120815","105666120","120951306","96289236","52317414","18502020","3838185","354294"],["196418","3134448","22278672","93292020","256483260","488086398","659848518","639185742","440800785","211297005","66902517","12577437","1062882"],["514229","8896002","69177834","320256072","985205025","2128042854","3322853442","3800813544","3187642167","1937791350","830760381","238085568","40920957","3188646"],["1346269","25096245","211942836","1075009698","3659900031","8851657239","15692840370","20731815216","20524566348","15165003546","8238752676","3193960410","835956693","132328809","9565938"],["3524578","70431540","641939409","3540601530","13219524162","35406628956","70310639385","105473153214","120581502525","105130918332","69380508285","34060053690","12048830352","2901667860","425684241","28697814"],["9227465","196772109","1925170011","11472613119","46620477045","137026802115","301458964653","506619562581","657639400869","661972259025","515295527175","307127725515","137490695433","44719165827","9972490365","1363146165","86093442"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["64","373","2174","12671","73852","430441","2508794","14622323","85225144","496728541","2895146102","16874148071","98349742324","573224305873","3340996092914"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013610","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["13","33","18"],["34","132","153","54"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["-1"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["3","3"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":167190,"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-77ee9774535f66a4"]},{"id":167191,"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-77ee9774535f66a4"]},{"id":167192,"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-77ee9774535f66a4"]},{"id":167193,"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-77ee9774535f66a4"]}],"region_exact":{},"incoming_edges":[{"id":"e-77ee9774535f66a4","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-98aa86c8bf356480","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":"194230e0b4825c9b4f11316cb7ab9ab81cfea074e776de421cb91c311b97cbc6","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-dfab35176bd08e72","role":"sequence","name":"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":[{"id":"l-e43a6388817a1a01","kind":"oeis_match","node_a_id":"n-98aa86c8bf356480","node_b_id":null,"fingerprint":null,"oeis_id":"A038725","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":3,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A038725","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A038725","relation":"match_row_sums"}],"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:    13,      33,      18;\n  1:    34,     132,     153,       54;\n  2:    89,     465,     837,      621,      162;\n  3:   233,    1530,    3753,     4320,     2349,       486;\n  4:   610,    4824,   15012,    23598,    19845,      8505,      1458;\n  5:  1597,   14772,   55755,   111510,   127980,     84564,     29889,     4374;\n  6:  4181,   44283,  196569,   478197,   698625,    629127,    341901,   102789,    13122;\n  7: 10946,  130620,  666801,  1912788,  3402486,   3898692,   2883195,  1329696,   347733,    39366;\n  8: 28657,  380415, 2195694,  7260570, 15247197,  21274407,  20003760, 12535884,  5019165,  1161297,  118098;\n  9: 75025, 1096596, 7061526, 26456004, 64120815, 105666120, 120951306, 96289236, 52317414, 18502020, 3838185, 354294;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -P(n-2,x) + (3+3*x)*P(n-1,x) for n >= 2, with P(0,x) = 13 + 33*x + 18*x^2, P(1,x) = 34 + 132*x + 153*x^2 + 54*x^3.","mathematica":"P[0, x_] := 13 + 33*x + 18*x^2;\nP[1, x_] := 34 + 132*x + 153*x^2 + 54*x^3;\nP[n_, x_] := P[n, x] = Expand[-P[n - 2, x] + (3 + 3*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] = 13 + 33*x + 18*x^2; v[2] = 34 + 132*x + 153*x^2 + 54*x^3; for(n = 2, N, my(i = n + 1); v[i] = -v[i - 2] + (3 + 3*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 A013610"],"edges":["e-77ee9774535f66a4"],"text":"A207606 \u2192 basis A013610"},"headline":"A207606 \u2192 basis A013610","chain":null}