{"id":"n-f75029e1f8101147","revision":1,"first_index":1,"fingerprint":"f6-025a4bab93003c11","name":"basis-map coefficients of Riordan array (1, 3+x).","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":-1,"palindromic":0,"gamma_positive":0,"nonnegative":0,"rr_by_factors":false,"rows":[["1"],["-9","3"],["78","-53","9"],["-675","693","-237","27"],["5841","-8025","4132","-945","81"],["-50544","86994","-59859","20583","-3537","243"],["437373","-904662","779292","-357857","92394","-12717","729"],["-3784725","9142551","-9461043","5436981","-1873923","387369","-44469","2187"],["32750406","-90485775","109334502","-75463095","32541211","-8977545","1547424","-152361","6561"],["-283399479","881410815","-1217942163","981399375","-508201434","175385508","-40338675","5962491","-513945","19683"],["2452344093","-8478688041","13187222631","-12150697077","7344924303","-3043600028","875584782","-172673937","22340934","-1712421","59049"],["-21220898400","80737592724","-139585830498","144755801298","-100050406281","48392815203","-16714661589","4122593631","-711585891","81861597","-5649021","177147"],["183631053321","-762412621500","1450444896720","-1671920389314","1300535590437","-719210831283","289940045536","-85853720853","18532357173","-2844033849","294536412","-18482337","531441"],["-1589016784689","7149173076891","-14841746850762","18824764959594","-16275674461734","10129275400968","-4668556103703","1613421181803","-418095025812","80236205478","-11084120595","1043769807","-60052833","1594323"],["13750257902238","-66638739128265","149909493575871","-207481919123970","197381837873763","-136532333909628","70815800168340","-27978957739241","8461667985345","-1949346468018","336738058704","-42296306625","3651708258","-193975965","4782969"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","-6","34","-192","1084","-6120","34552","-195072","1101328","-6217824","35104288","-198190080","1118931904","-6317211264","35665403776"],"nonn":false,"definitions":[{"position":0,"source":"derived:basis_map_coefficients_of:oeis_catalog:A099097","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":1,"initial_polynomials":[["1"],["-9","3"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["-9","3"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["-3","1"]]},"deriv_order":0,"offset":2,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":160196,"position":0,"claim":"real_rooted","from_index":1,"region_key":"(23/9, 3]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":1,"region":{"lower":{"closed":false,"value":"23/9"},"upper":{"closed":true,"value":"3"}}},"label":"Real-rooted","description":"Every row P_n, n >= 1, is zero or real-rooted with all roots in (23/9, 3]","region_exact":null,"edges":["e-f5b61f1417a02797"]},{"id":160197,"position":1,"claim":"one_signed_coefficients","from_index":1,"region_key":null,"provenance":"derived_from_edges","claim_data":{"alternating":true,"claim":"one_signed_coefficients","from_index":1},"label":"Coefficients of one sign","description":"Every nonzero row, n >= 1: the coefficients of P_n(-x) have one sign","region_exact":null,"edges":["e-f5b61f1417a02797"]},{"id":160198,"position":2,"claim":"interlacing","from_index":2,"region_key":null,"provenance":"edges","claim_data":{"claim":"interlacing","from_index":2,"kind":"weak","orientation":"unordered"},"label":"Interlacing of consecutive rows","description":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 2","region_exact":null,"edges":["e-f5b61f1417a02797"]}],"region_exact":{},"incoming_edges":[{"id":"e-f5b61f1417a02797","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"affine\",\"slope\":\"1\",\"intercept\":\"-3\"}"},"operation_detail":"affine, shift 0","conclusion_id":"n-f75029e1f8101147","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":null,"lean_declarations":["Polynomial.Splits.comp_of_degree_le_one"],"certificate_hash":"5a934c682c87d5bfff64cf36f4ad6d418affdd109c896241174c19ac7f853769","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":1,"region":{"lower":{"closed":false,"value":"23/9"},"upper":{"closed":true,"value":"3"}}},{"claim":"interlacing","from_index":2,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-5d39164c4108e043","role":"sequence","name":"Riordan array (1, 3+x).","uses":{"claim":"real_rooted","from_index":1,"region":{"lower":{"closed":false,"value":"-4/9"},"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 1, is zero or real-rooted with all roots in (-4/9, 0]"}]}],"used_by":[{"id":"e-3d5016cd0e3a44e4","operation":"basis_map","operation_detail":"A027465","conclusion_id":"n-5d39164c4108e043","conclusion_name":"Riordan array (1, 3+x)."}],"used_by_total":1,"links":[],"oeis":[],"bfiles":[],"oeis_texts":[{"oeis_id":"","target":"node","first_row":1,"oeis_offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n   1:          1;\n   2:         -9,         3;\n   3:         78,       -53,           9;\n   4:       -675,       693,        -237,        27;\n   5:       5841,     -8025,        4132,      -945,         81;\n   6:     -50544,     86994,      -59859,     20583,      -3537,       243;\n   7:     437373,   -904662,      779292,   -357857,      92394,    -12717,       729;\n   8:   -3784725,   9142551,    -9461043,   5436981,   -1873923,    387369,    -44469,    2187;\n   9:   32750406, -90485775,   109334502, -75463095,   32541211,  -8977545,   1547424, -152361,    6561;\n  10: -283399479, 881410815, -1217942163, 981399375, -508201434, 175385508, -40338675, 5962491, -513945, 19683;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -(9-3*x)*P(n-1,x) - (3-x)*P(n-2,x) for n >= 3, with P(1,x) = 1, P(2,x) = -9 + 3*x.","mathematica":"P[1, x_] := 1;\nP[2, x_] := -9 + 3*x;\nP[n_, x_] := P[n, x] = Expand[-(9 - 3*x)*P[n - 1, x] - (3 - x)*P[n - 2, x]];\nTable[CoefficientList[P[n, x], x], {n, 1, 10}] // Flatten","pari":"P(N) = {my(v = vector(N)); v[1] = 1; v[2] = -9 + 3*x; for(n = 3, N, my(i = n); v[i] = -(9 - 3*x)*v[i - 1] - (3 - x)*v[i - 2]); v};\nrow(n, p) = {my(c = Vecrev(p)); c};\nT(N) = {my(v = P(N)); concat(vector(#v, i, row(i, v[i])))};\nT(10)","reading":{"first_row":1,"offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-5d39164c4108e043","steps":["x \u21a6 x\u22123"],"edges":["e-f5b61f1417a02797"],"text":"A099097 \u2192 x \u21a6 x\u22123"},"headline":"A099097 \u2192 x \u21a6 x\u22123","chain":null}