{"id":"n-f189f7cbc9adc868","revision":0,"first_index":0,"fingerprint":"f6-38c90df23fae70d9","name":"mobius_x_over_x_plus_one of Sheffer triangle S2[4,1] = (exp(x), exp(4*x) - 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"],["1","5"],["1","26","41"],["1","127","491","429"],["1","628","4534","8980","5329"],["1","3129","38906","131874","171061","75989"],["1","15630","328231","1703204","3628031","3448814","1215481"],["1","78131","2782125","20844359","64940851","99151049","73787871","21453693"],["1","390632","23867132","249626648","1069196326","2333129944","2750974396","1673645480","412820385"],["1","1953133","207382148","2971670276","16854646430","49349177494","81997907956","78308621908","40150996457","8579772325"],["1","9765634","1821517237","35458481112","259920597234","981867287180","2156997367746","2875327630680","2298723535309","1015965483842","191166679497"],["1","48828135","16129982975","425999864129","3970318309162","18846613767942","52596176295934","91788121326818","101727799025541","69749773857955","27038768479059","4538638641997"],["1","244140636","143656174546","5165055499852","60524733906719","354354665310520","1222582108509756","2682902374710520","3865491904480079","3655326667153772","2189598456647442","754830055667644","114238219541617"],["1","1220703137","1284360648606","63256262597350","925038174935195","6589733900552339","27564697231797332","73995148780459300","133096993114845223","162764369184560823","133930139598323246","71118575395154070","22048237609403677","3035305413035125"],["1","6103515638","11511638415059","782457639908188","14214243065620601","121978588783677194","609687919193399907","1962552527047442184","4286345589323700763","6509046972050096042","6898305090848369201","5015800592573627100","2389063558882218091","672286226590409238","84819458105387417"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","6","68","1048","19472","420960","10339392","283038080","8513650944","278422128128","9817258345472","370698388379648","14905158141743104","635132780247015424","28564894741845786624"],"nonn":true,"definitions":[{"position":0,"source":"derived:mobius_x_over_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["1","1"]]},"terms":[{"coeff":{"coeffs":[["1","10","13","4"],["0","-4","-8","-4"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","4","12","12","4"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":187077,"position":0,"claim":"real_rooted","from_index":0,"region_key":"[-1, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"lower":{"closed":true,"value":"-1"},"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in [-1, 0]","region_exact":null,"edges":["e-ee0bfb3a60af2b21"]},{"id":187078,"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-ee0bfb3a60af2b21"]},{"id":187079,"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-ee0bfb3a60af2b21"]}],"region_exact":{},"incoming_edges":[{"id":"e-ee0bfb3a60af2b21","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"mobius\",\"a\":\"1\",\"b\":\"0\",\"c\":\"1\",\"e\":\"1\",\"schedule\":{\"first_index\":0,\"first_degree\":0,\"step\":1}}"},"operation_detail":"mobius, shift 0","conclusion_id":"n-f189f7cbc9adc868","premise_count":1,"theorem":"a real affine substitution x -> a x + b (a != 0), the reversal x^d p(1/x) (d >= deg p) and a real Mobius map (c x + e)^d p((a x + b)/(c x + e)) (a e - b c != 0, d >= deg p) map real roots to real roots: a root r of p gives the root (r - b)/a, 1/r (and 0) or (e r - b)/(a - c r) (and -e/c); for an input row that is a polynomial the degree condition holds automatically","lean_route":"fTransform","lean_declarations":["RealRooted.splits_fPolynomial"],"certificate_hash":"63083126487824a543d6aed70f6654a1694a79f6db83e097b462220c6d559da7","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"lower":{"closed":true,"value":"-1"},"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-4c2a0f8cb422ddaa","role":"sequence","name":"Sheffer triangle S2[4,1] = (exp(x), exp(4*x) - 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: 1,       5;\n  2: 1,      26,        41;\n  3: 1,     127,       491,        429;\n  4: 1,     628,      4534,       8980,        5329;\n  5: 1,    3129,     38906,     131874,      171061,       75989;\n  6: 1,   15630,    328231,    1703204,     3628031,     3448814,     1215481;\n  7: 1,   78131,   2782125,   20844359,    64940851,    99151049,    73787871,    21453693;\n  8: 1,  390632,  23867132,  249626648,  1069196326,  2333129944,  2750974396,  1673645480,   412820385;\n  9: 1, 1953133, 207382148, 2971670276, 16854646430, 49349177494, 81997907956, 78308621908, 40150996457, 8579772325;\n","recurrence_sentence":"The row polynomials satisfy (1+x)*P(n,x) = (1-(4*n-10)*x-(8*n-13)*x^2-(4*n-4)*x^3)*P(n-1,x) + (4*x+12*x^2+12*x^3+4*x^4)*d/dx P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[Together[((1 - (4*n - 10)*x - (8*n - 13)*x^2 - (4*n - 4)*x^3)*P[n - 1, x] + (4*x + 12*x^2 + 12*x^3 + 4*x^4)*D[P[n - 1, x], x])/(1 + x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 1; for(n = 1, N, my(i = n + 1); v[i] = ((1 - (4*n - 10)*x - (8*n - 13)*x^2 - (4*n - 4)*x^3)*v[i - 1] + (4*x + 12*x^2 + 12*x^3 + 4*x^4)*deriv(v[i - 1], x))/(1 + x)); 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-4c2a0f8cb422ddaa","steps":["x \u21a6 x/(x+1)"],"edges":["e-ee0bfb3a60af2b21"],"text":"A285061 \u2192 x \u21a6 x/(x+1)"},"headline":"A285061 \u2192 x \u21a6 x/(x+1)","chain":null}