{"id":"n-abd693d5e453ae4d","revision":0,"first_index":0,"fingerprint":"f6-ad215bfd092541fc","name":"shift_x_plus_one of basis_map_A013610 of Riordan array (1/(1-2*x), x*(1+x)/(1-2*x)).","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"],["6","3"],["40","39","9"],["264","384","180","27"],["1744","3372","2385","729","81"],["11520","27792","26298","12177","2754","243"],["76096","220032","260820","162027","55566","9963","729"],["502656","1694208","2413584","1882224","867024","235710","34992","2187"],["3320320","12781632","21267504","19964664","11557161","4221882","949887","120285","6561"],["21932544","94935552","180686880","198360144","138351726","63546687","19212066","3685095","406782","19683"],["144876544","696498432","1492342848","1875882672","1531313424","847894311","322377651","83077569","13883076","1358127","59049"],["956989440","5059160064","12051106560","17067825792","15964015896","10350548064","4745437164","1537974945","345213576","51097068","4487724","177147"],["6321442816","36446552064","95542986240","150540833664","158740474464","117980853588","63357460713","24763604391","6989971302","1389304872","184528125","14703201","531441"],["41756614656","260751249408","745979480064","1294298583552","1519124888736","1273400784864","784120717890","359042219757","122225420124","30545772138","5446325466","655975341","47829690","1594323"],["275825459200","1854527877120","5749642229760","10892522234880","14084229481920","13145924213136","9132299065548","4795742271915","1912729878396","576478026594","129221296326","20887225623","2301139530","154649331","4782969"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","9","88","855","8311","80784","785233","7632585","74189896","721137159","7009563703","68134033440","662273246881","6437397456009","62572489832248"],"nonn":true,"definitions":[{"position":0,"source":"derived:shift_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["0"],["9"]]},"terms":[{"coeff":{"coeffs":[["108","54"],["-81","-27"],["27","0"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["444","468","108"],["-156","-144","-27"]]},"deriv_order":1,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["208","348","180","27"]]},"deriv_order":2,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":181246,"position":0,"claim":"real_rooted","from_index":0,"region_key":"(-inf, -1]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"-1"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, -1]","region_exact":null,"edges":["e-9fb797b7b1f29804"]},{"id":181247,"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-9fb797b7b1f29804"]},{"id":181248,"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-9fb797b7b1f29804"]}],"region_exact":{},"incoming_edges":[{"id":"e-9fb797b7b1f29804","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"affine\",\"slope\":\"1\",\"intercept\":\"1\"}"},"operation_detail":"affine, shift 0","conclusion_id":"n-abd693d5e453ae4d","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":"4170fee427fcbecf148a262ade510cf0a29c8ba87652262404ddd71d3fe2ff5c","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"-1"}}}],"premises":[{"position":0,"node_id":"n-59c36108e7f99c2f","role":"sequence","name":"basis_map_A013610 of Riordan array (1/(1-2*x), x*(1+x)/(1-2*x)).","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-674714b6f7bd316e","kind":"candidate_equal","node_a_id":"n-abd693d5e453ae4d","node_b_id":"n-483031b65a8f51fe","fingerprint":null,"oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"reason":"no all-index equality certificate was found","rows_compared":15},"other_id":"n-483031b65a8f51fe","other":{"id":"n-483031b65a8f51fe","name":"basis_map_A007318 of basis_map_A013610 of Riordan array (1/(1-2*x), x*(1+x)/(1-2*x)).","first_index":0,"fingerprint":"f6-ad215bfd092541fc","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["6","3"],["40","39","9"]],"card_rows":[["1"],["6","3"],["40","39","9"],["264","384","180","27"]],"row_sums_preview":["1","9","88","855","8311","80784","785233","7632585"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-d5c14b9fec875ecc","steps":["basis A013610","basis A007318"],"edges":["e-16250729b41a60db","e-147b06ea70842f02"],"text":"A121574 \u2192 basis A013610 \u2192 basis A007318"},"headline":"A121574 \u2192 basis A013610 \u2192 basis A007318","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:        6,        3;\n  2:       40,       39,         9;\n  3:      264,      384,       180,        27;\n  4:     1744,     3372,      2385,       729,        81;\n  5:    11520,    27792,     26298,     12177,      2754,      243;\n  6:    76096,   220032,    260820,    162027,     55566,     9963,      729;\n  7:   502656,  1694208,   2413584,   1882224,    867024,   235710,    34992,    2187;\n  8:  3320320, 12781632,  21267504,  19964664,  11557161,  4221882,   949887,  120285,   6561;\n  9: 21932544, 94935552, 180686880, 198360144, 138351726, 63546687, 19212066, 3685095, 406782, 19683;\n","recurrence_sentence":"The row polynomials satisfy 9*n*P(n,x) = (27*n^2-81*n+108-(27*n-54)*x)*P(n-1,x) - (156*n-444+(144*n-468)*x+(27*n-108)*x^2)*d/dx P(n-1,x) + (208+348*x+180*x^2+27*x^3)*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[((27*n^2 - 81*n + 108 - (27*n - 54)*x)*P[n - 1, x] - (156*n - 444 + (144*n - 468)*x + (27*n - 108)*x^2)*D[P[n - 1, x], x] + (208 + 348*x + 180*x^2 + 27*x^3)*D[P[n - 1, x], {x, 2}])/(9*n)]];\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] = ((27*n^2 - 81*n + 108 - (27*n - 54)*x)*v[i - 1] - (156*n - 444 + (144*n - 468)*x + (27*n - 108)*x^2)*deriv(v[i - 1], x) + (208 + 348*x + 180*x^2 + 27*x^3)*deriv(deriv(v[i - 1], x), x))/(9*n)); 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-d5c14b9fec875ecc","steps":["basis A013610","x \u21a6 x+1"],"edges":["e-16250729b41a60db","e-9fb797b7b1f29804"],"text":"A121574 \u2192 basis A013610 \u2192 x \u21a6 x+1"},"headline":"A121574 \u2192 basis A013610 \u2192 x \u21a6 x+1","chain":null}