{"id":"n-7f418cee227cdffe","revision":0,"first_index":0,"fingerprint":"f6-6f72b1b66f13d328","name":"mobius_x_over_x_plus_one of reversal of Triangular array:  row n gives the coefficients of the polynomial p(n,x) defined in Comments.","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","4"],["3","13","11"],["3","31","65","38"],["3","52","207","288","131"],["3","76","515","1278","1325","490"],["3","103","1052","4121","7346","6073","1897"],["3","133","1890","10953","29932","41589","28563","7714"],["3","166","3110","25128","98395","204656","232512","136570","32501"],["3","202","4802","51578","277081","810296","1357034","1303114","668411","142142"],["3","241","7065","97218","690855","2723211","6311187","8826030","7334541","3338745","641795"],["3","283","10007","171396","1561851","8048829","24806133","47456364","56908377","41666127","17045921","2989294"],["3","328","13745","286388","3260322","21417480","85286649","214515804","348604926","365570304","239130893","88828156","14321923"],["3","376","18405","457938","6372740","52203582","262671129","845058570","1789311492","2523886530","2350314557","1389058614","472471245","70493962"],["3","427","24122","705843","11790611","118149712","737245323","2970962763","7976465427","14549320464","18110716067","15160205683","8169974208","2562687637","355816769"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","7","27","137","681","3687","20595","120777","733041","4614663","29970891","200664585","1381236921","9762319143","70724065059"],"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"],["3","4"]],"recurrence":{"denominator":{"coeffs":[["1","1"]]},"terms":[{"coeff":{"coeffs":[["0","1","2","1"],["0","1","2","1"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["1","3","2"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":175372,"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-2d76598a2cf8a831"]},{"id":175373,"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-2d76598a2cf8a831"]},{"id":175374,"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-2d76598a2cf8a831"]}],"region_exact":{},"incoming_edges":[{"id":"e-2d76598a2cf8a831","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-7f418cee227cdffe","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":"b69719cafc53c076dc70321cbb44ee3dfeb0f63288bd3d1002a5d6d7e8d5aee7","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-3706be5862de5f25","role":"sequence","name":"reversal of Triangular array:  row n gives the coefficients of the polynomial p(n,x) defined in Comments.","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":[{"id":"l-0d958401d8db1c1f","kind":"fingerprint_related","node_a_id":"n-5bdff9de6e987505","node_b_id":"n-7f418cee227cdffe","fingerprint":"f6-6f72b1b66f13d328","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6f72b1b66f13d328"},"other_id":"n-5bdff9de6e987505","other":{"id":"n-5bdff9de6e987505","name":"basis_map_A007318 of Triangular array:  row n gives the coefficients of the polynomial p(n,x) defined in Comments.","first_index":0,"fingerprint":"f6-6f72b1b66f13d328","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["4","3"],["11","13","3"]],"card_rows":[["1"],["4","3"],["11","13","3"],["38","65","31","3"]],"row_sums_preview":["1","7","27","137","681","3687","20595","120777"],"regions":["(-inf, 0]","(-inf, -1]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-5fa21c8779d2bdd1","steps":["x \u21a6 x+1"],"edges":["e-3422677120930982"],"text":"A249248 \u2192 x \u21a6 x+1"},"headline":"A249248 \u2192 x \u21a6 x+1","chain":null}}],"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,   4;\n  2: 3,  13,   11;\n  3: 3,  31,   65,    38;\n  4: 3,  52,  207,   288,    131;\n  5: 3,  76,  515,  1278,   1325,    490;\n  6: 3, 103, 1052,  4121,   7346,   6073,    1897;\n  7: 3, 133, 1890, 10953,  29932,  41589,   28563,    7714;\n  8: 3, 166, 3110, 25128,  98395, 204656,  232512,  136570,  32501;\n  9: 3, 202, 4802, 51578, 277081, 810296, 1357034, 1303114, 668411, 142142;\n","recurrence_sentence":"The row polynomials satisfy (1+x)*P(n,x) = ((n+1)*x+(2*n+2)*x^2+(n+1)*x^3)*P(n-2,x) + (1+3*x+2*x^2)*P(n-1,x) for n >= 2, with P(0,x) = 1, P(1,x) = 3 + 4*x.","mathematica":"P[0, x_] := 1;\nP[1, x_] := 3 + 4*x;\nP[n_, x_] := P[n, x] = Expand[Together[(((n + 1)*x + (2*n + 2)*x^2 + (n + 1)*x^3)*P[n - 2, x] + (1 + 3*x + 2*x^2)*P[n - 1, x])/(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] = 3 + 4*x; for(n = 2, N, my(i = n + 1); v[i] = (((n + 1)*x + (2*n + 2)*x^2 + (n + 1)*x^3)*v[i - 2] + (1 + 3*x + 2*x^2)*v[i - 1])/(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-5fa21c8779d2bdd1","steps":["reverse","x \u21a6 x/(x+1)"],"edges":["e-6f752e4b71849668","e-2d76598a2cf8a831"],"text":"A249248 \u2192 reverse \u2192 x \u21a6 x/(x+1)"},"headline":"A249248 \u2192 reverse \u2192 x \u21a6 x/(x+1)","chain":null}