{"id":"n-005feda0eb52ceea","revision":1,"first_index":0,"fingerprint":"f6-c0c7c27aade5e59a","name":"basis_map_A013610 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","12"],["61","216","144"],["547","3012","4752","1728"],["4921","36912","94176","89856","20736"],["44287","420732","1489248","2367360","1555200","248832"],["398581","4583688","20776176","46510848","52151040","25380864","2985984"],["3587227","48427572","267697008","774619200","1238872320","1050319872","397135872","35831808"],["32285041","500418144","3264825024","11596386816","24169674240","29555269632","19814989824","6019743744","429981696"],["290565367","5084893932","38245666752","161100340992","414539223552","665428027392","649881501696","355594862592","89006211072","5159780352"],["2615088301","50994221880","434431544400","2117404316160","6489198696960","12927127965696","16682340261888","13416288878592","6133688893440","1289945088000","61917364224"],["23535794707","506019586212","4816011992400","26664584425920","94872236981760","225977922938880","363621074116608","388725597241344","263340999770112","102447438888960","18389457174528","743008370688"],["211822152361","4977820580496","52346549402784","324551254083840","1315258354609920","3648240237551616","7044342003449856","9430780225388544","8539391334481920","4959477678735360","1665948601810944","258566912999424","8916100448256"],["1906399371247","48613183966812","559766515383072","3842228782804608","17474607705703680","55344300359685120","124796583491715072","201151941721915392","229012892082044928","178681103878717440","90224125626286080","26485276381544448","3593188480647168","106993205379072"],["17157594341221","471833844383592","5904357152673456","44449965189893376","224216649244820736","798565444275787776","2060759465351000064","3889221180535996416","5347519575411326976","5265616621108985856","3588839466901438464","1593791591561035776","412984856662769664","49430860885131264","1283918464548864"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","19","421","10039","246601","6125659","152787181","3816490879","95383574161","2384331073699","59605952319541","1490127887282119","37253008895695321","931323527815164139","23283072944184133501"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013610","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"],["7","12"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["-9","-72","-144"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["10","24"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":167453,"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-51fc7cec3579afbb"]},{"id":167454,"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-51fc7cec3579afbb"]},{"id":167455,"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-51fc7cec3579afbb"]},{"id":167456,"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-51fc7cec3579afbb"]}],"region_exact":{},"incoming_edges":[{"id":"e-51fc7cec3579afbb","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-005feda0eb52ceea","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":"475bed113a264a58dba16f7266845a8198662915dea4c90fd771e6446b8d3591","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,         12;\n  2:        61,        216,         144;\n  3:       547,       3012,        4752,         1728;\n  4:      4921,      36912,       94176,        89856,        20736;\n  5:     44287,     420732,     1489248,      2367360,      1555200,       248832;\n  6:    398581,    4583688,    20776176,     46510848,     52151040,     25380864,      2985984;\n  7:   3587227,   48427572,   267697008,    774619200,   1238872320,   1050319872,    397135872,     35831808;\n  8:  32285041,  500418144,  3264825024,  11596386816,  24169674240,  29555269632,  19814989824,   6019743744,   429981696;\n  9: 290565367, 5084893932, 38245666752, 161100340992, 414539223552, 665428027392, 649881501696, 355594862592, 89006211072, 5159780352;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -(9+72*x+144*x^2)*P(n-2,x) + (10+24*x)*P(n-1,x) for n >= 2, with P(0,x) = 1, P(1,x) = 7 + 12*x.","mathematica":"P[0, x_] := 1;\nP[1, x_] := 7 + 12*x;\nP[n_, x_] := P[n, x] = Expand[-(9 + 72*x + 144*x^2)*P[n - 2, x] + (10 + 24*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 + 12*x; for(n = 2, N, my(i = n + 1); v[i] = -(9 + 72*x + 144*x^2)*v[i - 2] + (10 + 24*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 A013610"],"edges":["e-51fc7cec3579afbb"],"text":"A085841 \u2192 basis A013610"},"headline":"A085841 \u2192 basis A013610","chain":null}