{"id":"n-93a4bd53e722afe2","revision":0,"first_index":0,"fingerprint":"f6-02fbd202e4877ba3","name":"mobius_x_over_x_plus_one of basis_map_A013609 of Riordan array ((1+x)/(1-2x),x(1+x)/(1-2x)).","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"],["4","6"],["13","42","33"],["43","213","345","183"],["142","948","2340","2532","1014"],["469","3939","13086","21498","17469","5619"],["1549","15678","65511","144660","178059","115854","31137"],["5116","60594","305172","847194","1400196","1377846","747564","172542"],["16897","229236","1351356","4521180","9389790","12396588","10160652","4727556","956121"],["55807","853251","5763144","22569984","56479758","93658926","102924432","72282264","29439003","5298231"],["184318","3135612","23874678","107139984","313817772","626894856","864984300","814028880","500076630","181096860","29359518"],["608761","11404905","96645663","488975655","1641202362","3837061338","6376426590","7531964910","6197715645","3383574765","1103072787","162692283"],["2010601","41131404","383931594","2162200812","8182487103","21920781720","42628603500","60632678328","62604116535","45762792540","22481069034","6664169436","901539969"],["6640564","147287166","1501543368","9316033428","39245507340","118543578426","264137998128","439589907768","546430596300","501079292370","329487688584","147123561204","39985454580","4995776694"],["21932293","524238126","5795554947","39277138524","182299774293","612995604546","1539991078203","2936369151432","4270261968087","4713468152274","3887204116401","2322685949724","950575594575","238513271166","27683503377"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","10","88","784","6976","62080","552448","4916224","43749376","389324800","3464593408","30831345664","274367512576","2441590865920","21727667027968"],"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","12","12","4"],["4","12","12","4"]]},"terms":[{"coeff":{"coeffs":[["172","1098","2886","4012","3120","1290","222"],["-191","-1296","-3615","-5312","-4341","-1872","-333"],["51","342","969","1476","1269","582","111"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["134","1192","4402","8812","10378","7216","2750","444"],["-52","-470","-1784","-3698","-4532","-3290","-1312","-222"]]},"deriv_order":1,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["13","150","730","1966","3220","3298","2070","730","111"]]},"deriv_order":2,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":180128,"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-d35182bda85cbe64"]},{"id":180129,"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-d35182bda85cbe64"]},{"id":180130,"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-d35182bda85cbe64"]}],"region_exact":{},"incoming_edges":[{"id":"e-d35182bda85cbe64","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-93a4bd53e722afe2","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":"4757bd1ffbd0d66d25ad319c0d927754a0c6073ba723b698cfd09c5b7e28e35f","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-820fbf6ab98121e9","role":"sequence","name":"basis_map_A013609 of Riordan array ((1+x)/(1-2x),x(1+x)/(1-2x)).","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:     4,      6;\n  2:    13,     42,      33;\n  3:    43,    213,     345,      183;\n  4:   142,    948,    2340,     2532,     1014;\n  5:   469,   3939,   13086,    21498,    17469,     5619;\n  6:  1549,  15678,   65511,   144660,   178059,   115854,     31137;\n  7:  5116,  60594,  305172,   847194,  1400196,  1377846,    747564,   172542;\n  8: 16897, 229236, 1351356,  4521180,  9389790, 12396588,  10160652,  4727556,   956121;\n  9: 55807, 853251, 5763144, 22569984, 56479758, 93658926, 102924432, 72282264, 29439003, 5298231;\n","recurrence_sentence":"The row polynomials satisfy (4*n+4+(12*n+12)*x+(12*n+12)*x^2+(4*n+4)*x^3)*P(n,x) = (51*n^2-191*n+172+(342*n^2-1296*n+1098)*x+(969*n^2-3615*n+2886)*x^2+(1476*n^2-5312*n+4012)*x^3+(1269*n^2-4341*n+3120)*x^4+(582*n^2-1872*n+1290)*x^5+(111*n^2-333*n+222)*x^6)*P(n-1,x) - (52*n-134+(470*n-1192)*x+(1784*n-4402)*x^2+(3698*n-8812)*x^3+(4532*n-10378)*x^4+(3290*n-7216)*x^5+(1312*n-2750)*x^6+(222*n-444)*x^7)*d/dx P(n-1,x) + (13+150*x+730*x^2+1966*x^3+3220*x^4+3298*x^5+2070*x^6+730*x^7+111*x^8)*d^2/dx^2 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[((51*n^2 - 191*n + 172 + (342*n^2 - 1296*n + 1098)*x + (969*n^2 - 3615*n + 2886)*x^2 + (1476*n^2 - 5312*n + 4012)*x^3 + (1269*n^2 - 4341*n + 3120)*x^4 + (582*n^2 - 1872*n + 1290)*x^5 + (111*n^2 - 333*n + 222)*x^6)*P[n - 1, x] - (52*n - 134 + (470*n - 1192)*x + (1784*n - 4402)*x^2 + (3698*n - 8812)*x^3 + (4532*n - 10378)*x^4 + (3290*n - 7216)*x^5 + (1312*n - 2750)*x^6 + (222*n - 444)*x^7)*D[P[n - 1, x], x] + (13 + 150*x + 730*x^2 + 1966*x^3 + 3220*x^4 + 3298*x^5 + 2070*x^6 + 730*x^7 + 111*x^8)*D[P[n - 1, x], {x, 2}])/(4*n + 4 + (12*n + 12)*x + (12*n + 12)*x^2 + (4*n + 4)*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] = ((51*n^2 - 191*n + 172 + (342*n^2 - 1296*n + 1098)*x + (969*n^2 - 3615*n + 2886)*x^2 + (1476*n^2 - 5312*n + 4012)*x^3 + (1269*n^2 - 4341*n + 3120)*x^4 + (582*n^2 - 1872*n + 1290)*x^5 + (111*n^2 - 333*n + 222)*x^6)*v[i - 1] - (52*n - 134 + (470*n - 1192)*x + (1784*n - 4402)*x^2 + (3698*n - 8812)*x^3 + (4532*n - 10378)*x^4 + (3290*n - 7216)*x^5 + (1312*n - 2750)*x^6 + (222*n - 444)*x^7)*deriv(v[i - 1], x) + (13 + 150*x + 730*x^2 + 1966*x^3 + 3220*x^4 + 3298*x^5 + 2070*x^6 + 730*x^7 + 111*x^8)*deriv(deriv(v[i - 1], x), x))/(4*n + 4 + (12*n + 12)*x + (12*n + 12)*x^2 + (4*n + 4)*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-d6b7687ba0ff59dd","steps":["basis A013609","x \u21a6 x/(x+1)"],"edges":["e-0d5d22b8fd97251b","e-d35182bda85cbe64"],"text":"A116412 \u2192 basis A013609 \u2192 x \u21a6 x/(x+1)"},"headline":"A116412 \u2192 basis A013609 \u2192 x \u21a6 x/(x+1)","chain":null}