{"id":"n-db8916c6505a6d8b","revision":0,"first_index":0,"fingerprint":"f6-e9cd41522307e935","name":"mobius_x_over_x_plus_one of basis_map_A013611 of Triangle read by rows: T(n,k) is the number of double rise-bicolored Dyck paths (double rises come in two colors; also called marked Dyck paths) of semilength n and having k double rises (0 <= k <= n-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"],["3","11"],["11","78","131"],["45","471","1575","1661"],["197","2724","13646","29124","22101"],["903","15515","103590","334230","517635","305151"],["4279","87858","733185","3171420","7465545","9017298","4335711"],["20793","496559","4972653","26995115","85520715","157491341","155381583","63009881"],["103049","2805864","32783324","214224024","854206934","2122245720","3197584796","2661075240","932449961"],["518859","15864075","211846860","1618971900","7788079530","24402682458","49679314524","63185735916","45413971299","14004694451"],["2646723","89778870","1348852575","11803955400","66528360150","251897026500","647626461510","1113962289480","1223871636135","773495198070","212944033051"],["13648869","508640583","8491584915","83735428425","541228144050","2404255505190","7478350241670","16259429690130","24170137322265","23347360364515","13160097049143","3271618296661"],["71039373","2884990284","52983800298","581316692220","4239180774675","21621149688600","78983590059660","207934262003160","390931511816835","511033168564380","440111951253546","223789351481388","50711564152381"],["372693519","16382070939","328233190194","3965962308594","32212619302149","185546842216593","778934606953932","2410228554029868","5490059558417577","9079684134568333","10582106308972770","8217647489054146","3804986013497955","792088104593511"],["1968801519","93125082330","2021467911645","26671992967620","238794403622775","1533326944130982","7275422526152781","25888602982300344","69349352688917301","139011583499803014","205006774315902559","215413366215571524","152249968058249061","64699094392745274","12454801769554551"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","14","220","3752","67792","1277024","24815296","493888640","10017478912","206321679872","4303570238464","90725225916416","1929992986316800","41377805181870080","893149876351713280"],"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":[["4","8","4"],["2","4","2"]]},"terms":[{"coeff":{"coeffs":[["3","-4","-62","-100","-45"],["15","106","212","166","45"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["-1","-17","-90","-178","-149","-45"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":188357,"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-0eee5896174ae146"]},{"id":188358,"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-0eee5896174ae146"]},{"id":188359,"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-0eee5896174ae146"]}],"region_exact":{},"incoming_edges":[{"id":"e-0eee5896174ae146","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-db8916c6505a6d8b","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":"1016985a50b216b18e37d480239ba4a6be603fc6c4a26bf6bcb37c3ab333e90b","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-8b333ce67e8457dc","role":"sequence","name":"basis_map_A013611 of Triangle read by rows: T(n,k) is the number of double rise-bicolored Dyck paths (double rises come in two colors; also called marked Dyck paths) of semilength n and having k double rises (0 <= k <= n-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:      3,       11;\n  2:     11,       78,       131;\n  3:     45,      471,      1575,       1661;\n  4:    197,     2724,     13646,      29124,      22101;\n  5:    903,    15515,    103590,     334230,     517635,      305151;\n  6:   4279,    87858,    733185,    3171420,    7465545,     9017298,     4335711;\n  7:  20793,   496559,   4972653,   26995115,   85520715,   157491341,   155381583,    63009881;\n  8: 103049,  2805864,  32783324,  214224024,  854206934,  2122245720,  3197584796,  2661075240,   932449961;\n  9: 518859, 15864075, 211846860, 1618971900, 7788079530, 24402682458, 49679314524, 63185735916, 45413971299, 14004694451;\n","recurrence_sentence":"The row polynomials satisfy (2*n+4+(4*n+8)*x+(2*n+4)*x^2)*P(n,x) = (15*n+3+(106*n-4)*x+(212*n-62)*x^2+(166*n-100)*x^3+(45*n-45)*x^4)*P(n-1,x) - (1+17*x+90*x^2+178*x^3+149*x^4+45*x^5)*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[((15*n + 3 + (106*n - 4)*x + (212*n - 62)*x^2 + (166*n - 100)*x^3 + (45*n - 45)*x^4)*P[n - 1, x] - (1 + 17*x + 90*x^2 + 178*x^3 + 149*x^4 + 45*x^5)*D[P[n - 1, x], x])/(2*n + 4 + (4*n + 8)*x + (2*n + 4)*x^2)]];\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] = ((15*n + 3 + (106*n - 4)*x + (212*n - 62)*x^2 + (166*n - 100)*x^3 + (45*n - 45)*x^4)*v[i - 1] - (1 + 17*x + 90*x^2 + 178*x^3 + 149*x^4 + 45*x^5)*deriv(v[i - 1], x))/(2*n + 4 + (4*n + 8)*x + (2*n + 4)*x^2)); 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-8ce61d302cec295b","steps":["basis A013611","x \u21a6 x/(x+1)"],"edges":["e-034e0d2a0f7f14a7","e-0eee5896174ae146"],"text":"A114687 \u2192 basis A013611 \u2192 x \u21a6 x/(x+1)"},"headline":"A114687 \u2192 basis A013611 \u2192 x \u21a6 x/(x+1)","chain":null}