{"id":"n-75137e04e9c9ba8a","revision":0,"first_index":0,"fingerprint":"f6-3de95bbd8b3c6beb","name":"mobius_x_over_x_plus_one of Triangle of scaled 1-tiered binomial coefficients, T(n,k) = 2^(n+1)*(n-k,k)_1 (n >= 0, 0 <= k <= n), where (N,M)_1 is the 1-tiered binomial coefficient.","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":true,"rows":[["1"],["1","4"],["1","10","16"],["1","20","68","64"],["1","38","204","392","256"],["1","72","536","1568","2064","1024"],["1","138","1320","5200","10320","10272","4096"],["1","268","3132","15520","41200","61632","49216","16384"],["1","526","7252","43288","143920","287392","344512","229504","65536"],["1","1040","16496","115136","459872","1148672","1836800","1836032","1048832","262144"],["1","2066","37008","295584","1378272","4132800","8262912","11014656","9439488","4719104","1048576"],["1","4116","82100","738240","3935520","13770624","33043584","55065600","62926080","47191040","20972544","4194304"],["1","8214","180444","1803560","10818720","43268544","121140096","242263296","346072320","346058240","230697984","92276736","16777216"],["1","16408","393480","4327136","28843760","129786624","415295232","968985600","1661071104","2076293120","1845561344","1107320832","402657280","67108864"],["1","32794","852280","10225904","74984624","374907104","1349627136","3598932480","7197755136","10796504576","11996002304","9596727296","5234544640","1744838656","268435456"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","5","27","153","891","5265","31347","187353","1121931","6725025","40330467","241923753","1451365371","8707660785","52244370387"],"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","3","3","1"]]},"terms":[{"coeff":{"coeffs":[["1","9","21","19","6"],["0","-2","-6","-6","-2"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","1","5","9","7","2"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":176171,"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-00ce8e5ac4e290ea"]},{"id":176172,"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-00ce8e5ac4e290ea"]},{"id":176173,"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-00ce8e5ac4e290ea"]}],"region_exact":{},"incoming_edges":[{"id":"e-00ce8e5ac4e290ea","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-75137e04e9c9ba8a","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":"6f22674883761236c3b14442c74228c6b4aec7288c164d349948258a44548e8f","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-13e23eca5f474574","role":"sequence","name":"Triangle of scaled 1-tiered binomial coefficients, T(n,k) = 2^(n+1)*(n-k,k)_1 (n >= 0, 0 <= k <= n), where (N,M)_1 is the 1-tiered binomial coefficient.","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,    4;\n  2: 1,   10,    16;\n  3: 1,   20,    68,     64;\n  4: 1,   38,   204,    392,    256;\n  5: 1,   72,   536,   1568,   2064,    1024;\n  6: 1,  138,  1320,   5200,  10320,   10272,    4096;\n  7: 1,  268,  3132,  15520,  41200,   61632,   49216,   16384;\n  8: 1,  526,  7252,  43288, 143920,  287392,  344512,  229504,   65536;\n  9: 1, 1040, 16496, 115136, 459872, 1148672, 1836800, 1836032, 1048832, 262144;\n","recurrence_sentence":"The row polynomials satisfy (1+3*x+3*x^2+x^3)*P(n,x) = (1-(2*n-9)*x-(6*n-21)*x^2-(6*n-19)*x^3-(2*n-6)*x^4)*P(n-1,x) + (x+5*x^2+9*x^3+7*x^4+2*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[((1 - (2*n - 9)*x - (6*n - 21)*x^2 - (6*n - 19)*x^3 - (2*n - 6)*x^4)*P[n - 1, x] + (x + 5*x^2 + 9*x^3 + 7*x^4 + 2*x^5)*D[P[n - 1, x], x])/(1 + 3*x + 3*x^2 + x^3)]];\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 - (2*n - 9)*x - (6*n - 21)*x^2 - (6*n - 19)*x^3 - (2*n - 6)*x^4)*v[i - 1] + (x + 5*x^2 + 9*x^3 + 7*x^4 + 2*x^5)*deriv(v[i - 1], x))/(1 + 3*x + 3*x^2 + x^3)); 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-13e23eca5f474574","steps":["x \u21a6 x/(x+1)"],"edges":["e-00ce8e5ac4e290ea"],"text":"A308737 \u2192 x \u21a6 x/(x+1)"},"headline":"A308737 \u2192 x \u21a6 x/(x+1)","chain":null}