{"id":"n-f8b6d9dc74d7feb1","revision":1,"first_index":0,"fingerprint":"f6-ad45c791c059420b","name":"basis_map_A013611 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","16"],["61","288","256"],["547","4016","8448","4096"],["4921","49216","167424","212992","65536"],["44287","560976","2647552","5611520","4915200","1048576"],["398581","6111584","36935424","110247936","164823040","106954752","16777216"],["3587227","64570096","475905792","1836134400","3915448320","4426039296","2231369728","268435456"],["32285041","667224192","5804133376","27487731712","76388106240","124545662976","111333605376","45097156608","4294967296"],["290565367","6779858576","67992296448","381867474944","1310148657152","2804108230656","3651460399104","2663953465344","889058230272","68719476736"],["2615088301","67992295840","772322745600","5019032453120","20509072424960","54474810851328","93732326080512","100508677177344","61267708477440","17179869184000","1099511627776"],["23535794707","674692781616","8561799097600","63204940861440","299843119349760","952269107363840","2043061618081792","2912153719799808","2630439835533312","1364425210593280","326554953449472","17592186044416"],["211822152361","6637094107328","93060532271616","769306676346880","4156865910865920","15373654334373888","39579732299218944","70651076000350208","85297599526993920","66051786649108480","29583459856941056","6122080743456768","281474976710656"],["1906399371247","64817578622416","995140471792128","9107505262944256","55228389785927680","233220426207068160","701189034268950528","1506938003279314944","2287545937431625728","2379727647979601920","1602175358646353920","627091063739252736","113434415614394368","4503599627370496"],["17157594341221","629111792511456","10496634938086144","105362880450117632","708635335884865536","3365148209623072768","11578697901341147136","29136259635071680512","53414882318877720576","70129035387084996608","63729630185873473536","37736153858946629632","13037639446260875264","2080663027845169152","72057594037927936"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","23","605","17107","500089","14828111","442248533","13221490315","395650872817","11844378654599","354633938406221","10618804718751043","317966946422898025","9521223246292590527","285105308685622615109"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"],["7","16"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["-9","-96","-256"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["10","32"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":168138,"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-cc801bbe6c76dcc1"]},{"id":168139,"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-cc801bbe6c76dcc1"]},{"id":168140,"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-cc801bbe6c76dcc1"]},{"id":168141,"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-cc801bbe6c76dcc1"]}],"region_exact":{},"incoming_edges":[{"id":"e-cc801bbe6c76dcc1","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-f8b6d9dc74d7feb1","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":"2924e793e116393faa3bf1ff8a1a511e2b4a2d5e32fd04328cc3d0b800491ac9","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,         16;\n  2:        61,        288,         256;\n  3:       547,       4016,        8448,         4096;\n  4:      4921,      49216,      167424,       212992,         65536;\n  5:     44287,     560976,     2647552,      5611520,       4915200,       1048576;\n  6:    398581,    6111584,    36935424,    110247936,     164823040,     106954752,      16777216;\n  7:   3587227,   64570096,   475905792,   1836134400,    3915448320,    4426039296,    2231369728,     268435456;\n  8:  32285041,  667224192,  5804133376,  27487731712,   76388106240,  124545662976,  111333605376,   45097156608,   4294967296;\n  9: 290565367, 6779858576, 67992296448, 381867474944, 1310148657152, 2804108230656, 3651460399104, 2663953465344, 889058230272, 68719476736;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -(9+96*x+256*x^2)*P(n-2,x) + (10+32*x)*P(n-1,x) for n >= 2, with P(0,x) = 1, P(1,x) = 7 + 16*x.","mathematica":"P[0, x_] := 1;\nP[1, x_] := 7 + 16*x;\nP[n_, x_] := P[n, x] = Expand[-(9 + 96*x + 256*x^2)*P[n - 2, x] + (10 + 32*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 + 16*x; for(n = 2, N, my(i = n + 1); v[i] = -(9 + 96*x + 256*x^2)*v[i - 2] + (10 + 32*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 A013611"],"edges":["e-cc801bbe6c76dcc1"],"text":"A085841 \u2192 basis A013611"},"headline":"A085841 \u2192 basis A013611","chain":null}