{"id":"n-311227396374f6e7","revision":0,"first_index":0,"fingerprint":"f6-58471b9a07a8bbc9","name":"basis_map_A013609 of Triangle, read by rows, T(n, k) = binomial(n, k) for n < 2 and binomial(n, k) + 4^(n-1) * binomial(n-2, k-1) otherwise.","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"],["2","2"],["8","16","4"],["40","120","88","8"],["272","1088","1376","576","16"],["2080","10400","18752","14656","4256","32"],["16448","98688","230336","263424","148416","33152","64"],["131200","918400","2624128","3936640","3281280","1444480","263040","128"],["1048832","8390656","28318720","52443136","57689600","37763072","13638656","2099200","256"],["8389120","75502080","293619712","645965824","880868352","763427840","411084800","125847552","16781824","512"],["67109888","671098880","2952836096","7516315648","12214028288","13153595392","9395456000","4295090176","1140896768","134227968","1024"],["536872960","5905602560","28991141888","83752200192","157840723968","202938150912","180389572608","109522341888","43486881792","10200659968","1073764352","2048"],["4294971392","51539656704","279173144576","901944033280","1932737310720","2886221266944","3066610434048","2319285583872","1224067706880","429497630720","90194583552","8589983744","4096"],["34359746560","446676705280","2645700493312","9448930394112","22677433180160","38551636992000","47622611435520","43087125970944","28346794696704","13228505128960","4157530685440","790274621440","68719583232","8192"],["274877923328","3848290926592","24739013115904","96757029208064","257010859393024","489832462974976","689393839816704","725677730562048","571471217737728","332602300203008","139088237314048","39582424563712","6871949164544","549756043264","16384"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","4","28","256","3328","50176","790528","12599296","201392128","3221487616","51540656128","824637915136","13194156310528","211106299641856","3377699988963328"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"],["2","2"],["8","16","4"],["40","120","88","8"]],"recurrence":{"denominator":{"coeffs":[["-3"],["1"]]},"terms":[{"coeff":{"coeffs":[["48","96","48"],["-16","-32","-16"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["-30","-30"],["10","10"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":199875,"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-9ecfa16fb1aba9c5"]},{"id":199876,"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-9ecfa16fb1aba9c5"]},{"id":199877,"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-9ecfa16fb1aba9c5"]},{"id":199878,"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-9ecfa16fb1aba9c5"]}],"region_exact":{},"incoming_edges":[{"id":"e-9ecfa16fb1aba9c5","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-311227396374f6e7","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":"414ad9d31f8cf7ba6d11ea267797a1d65bf236778ca193441a383660f918d88c","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},{"claim":"interlacing","from_index":3,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-3f596f3a08c8e69f","role":"sequence","name":"Triangle, read by rows, T(n, k) = binomial(n, k) for n < 2 and binomial(n, k) + 4^(n-1) * binomial(n-2, k-1) otherwise.","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:       2,        2;\n  2:       8,       16,         4;\n  3:      40,      120,        88,         8;\n  4:     272,     1088,      1376,       576,        16;\n  5:    2080,    10400,     18752,     14656,      4256,        32;\n  6:   16448,    98688,    230336,    263424,    148416,     33152,        64;\n  7:  131200,   918400,   2624128,   3936640,   3281280,   1444480,    263040,       128;\n  8: 1048832,  8390656,  28318720,  52443136,  57689600,  37763072,  13638656,   2099200,      256;\n  9: 8389120, 75502080, 293619712, 645965824, 880868352, 763427840, 411084800, 125847552, 16781824, 512;\n","recurrence_sentence":"The row polynomials satisfy (n-3)*P(n,x) = -(16*n-48+(32*n-96)*x+(16*n-48)*x^2)*P(n-2,x) + (10*n-30+(10*n-30)*x)*P(n-1,x) for n >= 4, with P(0,x) = 1, P(1,x) = 2 + 2*x, P(2,x) = 8 + 16*x + 4*x^2, P(3,x) = 40 + 120*x + 88*x^2 + 8*x^3.","mathematica":"P[0, x_] := 1;\nP[1, x_] := 2 + 2*x;\nP[2, x_] := 8 + 16*x + 4*x^2;\nP[3, x_] := 40 + 120*x + 88*x^2 + 8*x^3;\nP[n_, x_] := P[n, x] = Expand[Together[(-(16*n - 48 + (32*n - 96)*x + (16*n - 48)*x^2)*P[n - 2, x] + (10*n - 30 + (10*n - 30)*x)*P[n - 1, x])/(n - 3)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 1; v[2] = 2 + 2*x; v[3] = 8 + 16*x + 4*x^2; v[4] = 40 + 120*x + 88*x^2 + 8*x^3; for(n = 4, N, my(i = n + 1); v[i] = (-(16*n - 48 + (32*n - 96)*x + (16*n - 48)*x^2)*v[i - 2] + (10*n - 30 + (10*n - 30)*x)*v[i - 1])/(n - 3)); 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-3f596f3a08c8e69f","steps":["basis A013609"],"edges":["e-9ecfa16fb1aba9c5"],"text":"A146988 \u2192 basis A013609"},"headline":"A146988 \u2192 basis A013609","chain":null}