{"id":"n-73af5bea60a816d7","revision":0,"first_index":0,"fingerprint":"f6-4ff87de320dd4d46","name":"mobius_x_over_x_plus_one of basis_map_A013609 of Pascal-(1,3,1) array.","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"],["2","4"],["7","28","25"],["20","120","228","136"],["61","488","1410","1736","769"],["182","1820","7076","13336","12166","4300"],["547","6564","32067","81496","113505","82116","24121"],["1640","22960","135096","432560","813208","897168","537800","135184"],["4921","78736","541924","2093872","4963726","7389040","6743572","3450064","757825"],["14762","265716","2094360","9480912","27149148","50976024","62741592","48808080","21778314","4247956"],["44287","885740","7866477","40832592","137116902","311125320","482960010","506356944","343155339","135753644","23812249"],["132860","2922920","28880444","169097592","651631800","1734764304","3254700696","4302661488","3927444684","2357485000","837619372","133480600"],["398581","9565944","104079462","678584120","2951794071","9022327920","19864894596","31738844592","36517924755","29507086232","15894057270","5124968472","748232641"],["1195742","31089292","369334812","2653650472","12861915122","44397584964","112265060808","210514539120","292697806050","298011616084","215966139740","105495405288","31136680718","4194255964"],["3587227","100442356","1293643735","10155439592","54273538943","208838600108","596549226939","1284885541680","2096657729313","2579200413452","2354407273205","1546522738280","691045817605","188038742740","23511117625"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","6","60","504","4464","38880","340416","2975616","26023680","227556864","1989909504","17400821760","152162758656","1330596274176","11635483852800"],"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":[["0","0","0","0"],["1","3","3","1"]]},"terms":[{"coeff":{"coeffs":[["37","263","760","1150","965","427","78"],["-51","-365","-1069","-1644","-1403","-631","-117"],["16","112","327","508","442","204","39"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["36","339","1311","2730","3330","2391","939","156"],["-16","-152","-596","-1262","-1568","-1148","-460","-78"]]},"deriv_order":1,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["4","48","241","664","1105","1144","723","256","39"]]},"deriv_order":2,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":179103,"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-2e2c9c98ea589309"]},{"id":179104,"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-2e2c9c98ea589309"]},{"id":179105,"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-2e2c9c98ea589309"]}],"region_exact":{},"incoming_edges":[{"id":"e-2e2c9c98ea589309","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-73af5bea60a816d7","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":"f63e87716dc88a474b7481e906d092cabbbab07d2e90cfcc8d0ef851e59f23c8","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-c1d69b4cd7e1b71e","role":"sequence","name":"basis_map_A013609 of Pascal-(1,3,1) array.","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:     2,      4;\n  2:     7,     28,      25;\n  3:    20,    120,     228,     136;\n  4:    61,    488,    1410,    1736,      769;\n  5:   182,   1820,    7076,   13336,    12166,     4300;\n  6:   547,   6564,   32067,   81496,   113505,    82116,    24121;\n  7:  1640,  22960,  135096,  432560,   813208,   897168,   537800,   135184;\n  8:  4921,  78736,  541924, 2093872,  4963726,  7389040,  6743572,  3450064,   757825;\n  9: 14762, 265716, 2094360, 9480912, 27149148, 50976024, 62741592, 48808080, 21778314, 4247956;\n","recurrence_sentence":"The row polynomials satisfy (n+3*n*x+3*n*x^2+n*x^3)*P(n,x) = (16*n^2-51*n+37+(112*n^2-365*n+263)*x+(327*n^2-1069*n+760)*x^2+(508*n^2-1644*n+1150)*x^3+(442*n^2-1403*n+965)*x^4+(204*n^2-631*n+427)*x^5+(39*n^2-117*n+78)*x^6)*P(n-1,x) - (16*n-36+(152*n-339)*x+(596*n-1311)*x^2+(1262*n-2730)*x^3+(1568*n-3330)*x^4+(1148*n-2391)*x^5+(460*n-939)*x^6+(78*n-156)*x^7)*d/dx P(n-1,x) + (4+48*x+241*x^2+664*x^3+1105*x^4+1144*x^5+723*x^6+256*x^7+39*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[((16*n^2 - 51*n + 37 + (112*n^2 - 365*n + 263)*x + (327*n^2 - 1069*n + 760)*x^2 + (508*n^2 - 1644*n + 1150)*x^3 + (442*n^2 - 1403*n + 965)*x^4 + (204*n^2 - 631*n + 427)*x^5 + (39*n^2 - 117*n + 78)*x^6)*P[n - 1, x] - (16*n - 36 + (152*n - 339)*x + (596*n - 1311)*x^2 + (1262*n - 2730)*x^3 + (1568*n - 3330)*x^4 + (1148*n - 2391)*x^5 + (460*n - 939)*x^6 + (78*n - 156)*x^7)*D[P[n - 1, x], x] + (4 + 48*x + 241*x^2 + 664*x^3 + 1105*x^4 + 1144*x^5 + 723*x^6 + 256*x^7 + 39*x^8)*D[P[n - 1, x], {x, 2}])/(n + 3*n*x + 3*n*x^2 + n*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] = ((16*n^2 - 51*n + 37 + (112*n^2 - 365*n + 263)*x + (327*n^2 - 1069*n + 760)*x^2 + (508*n^2 - 1644*n + 1150)*x^3 + (442*n^2 - 1403*n + 965)*x^4 + (204*n^2 - 631*n + 427)*x^5 + (39*n^2 - 117*n + 78)*x^6)*v[i - 1] - (16*n - 36 + (152*n - 339)*x + (596*n - 1311)*x^2 + (1262*n - 2730)*x^3 + (1568*n - 3330)*x^4 + (1148*n - 2391)*x^5 + (460*n - 939)*x^6 + (78*n - 156)*x^7)*deriv(v[i - 1], x) + (4 + 48*x + 241*x^2 + 664*x^3 + 1105*x^4 + 1144*x^5 + 723*x^6 + 256*x^7 + 39*x^8)*deriv(deriv(v[i - 1], x), x))/(n + 3*n*x + 3*n*x^2 + n*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-d8f9ad9ce0e039d0","steps":["basis A013609","x \u21a6 x/(x+1)"],"edges":["e-471a582f60d8a81d","e-2e2c9c98ea589309"],"text":"A081578 \u2192 basis A013609 \u2192 x \u21a6 x/(x+1)"},"headline":"A081578 \u2192 basis A013609 \u2192 x \u21a6 x/(x+1)","chain":null}