{"id":"n-b946de2fe5de2258","revision":0,"first_index":0,"fingerprint":"f6-d7967bc76bb8e021","name":"mobius_x_over_x_plus_one of basis_map_A007318 of Triangle, read by rows of 2*n+1 terms, where row n lists the coefficients in (1+3*x+2*x^2)^n.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":2,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["1"],["6","19","15"],["36","228","541","570","225"],["216","2052","8118","17119","20295","12825","3375"],["1296","16416","90936","287736","568801","719340","568350","256500","50625"],["7776","123120","876960","3700440","10243830","19439299","25609575","23127750","13702500","4809375","759375"],["46656","886464","7717680","40711680","144925740","366775164","676661581","916937910","905785875","636120000","301471875","86568750","11390625"],["279936","6205248","63848736","404202960","1758841560","5564915244","13202583702","23859824959","33006459255","34780720275","27481899375","15789178125","6235228125","1514953125","170859375"],["1679616","42550272","505191168","3731422464","19190636640","72870525504","211331515248","477481768752","849414185281","1193704421880","1320821970300","1138601961000","749634243750","364396725000","123337687500","25970625000","2562890625"],["10077696","287214336","3864796416","32625421056","193618714176","857816586144","2940388625664","7973247284784","17338611446694","30463322582899","43346528616735","49832795529900","45943572276000","33508460396250","18908077556250","7965190687500","2358884531250","438254296875","38443359375"],["60466176","1914762240","28797016320","273491873280","1839567231360","9315036402048","36845127603360","116574116388480","299629196476020","631812262256340","1098961472475901","1579530655640850","1872682477975125","1821470568570000","1439262797006250","909671523637500","449113093593750","166926192187500","43940759765625","7304238281250","576650390625"],["362797056","12637430784","210069573120","2216815983360","16665704225280","94944373907328","425649965729472","1539227668825440","4565360304287640","11232440052409620","23092639764866166","39834635844732319","57731599412165415","70202750327560125","71333754754494375","60126080813493750","41567379465768750","23179778785968750","10171938614062500","3382592748046875","801351826171875","120519931640625","8649755859375"],["2176782336","82717728768","1505970579456","17481779251200","145264772632320","919566863474688","4607828461995264","18746880970422528","63022237019351280","177224901128304480","420452604149294376","846254571386995368","1449637273995899041","2115636428467488420","2627828775933089850","2769139080129757500","2461806133568409375","1830750094767825000","1124958120604312500","561259071945000000","221656452380859375","66687695507812500","14362054628906250","1972144335937500","129746337890625"],["13060694016","537665236992","10640112058368","134744882448384","1226332000258560","8539658549630208","47297712767475456","213823529552565504","803441587484064672","2541975124693839120","6835322301623820576","15724500424083132552","31083449562567721878","52930745347531942819","77708623906419304695","98278127650519578450","106801910962872196500","99295903308353090625","78461092527740690625","52203010144669312500","28868232890304843750","13030484847458203125","4678085328134765625","1285027336582031250","253680039843750000","32047345458984375","1946195068359375"],["78364164096","3474144608256","74252222263296","1018696402354176","10077746448946176","76559432539419648","464434769051705088","2309692598141879808","9592762277915264448","33724593853648746048","101361084991186836816","262347753145758973056","587796039957343158396","1144037520135225360876","1938187648480138569901","2860093800338063402190","3673725249733394739975","4099183642902483954000","3959417382468235813125","3293417368520385356250","2341982978006656359375","1409724486170580937500","708671217425087109375","292051057965925781250","96108879556142578125","24287614878515625000","4425777331787109375","517687888183593750","29192926025390625"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","40","1600","64000","2560000","102400000","4096000000","163840000000","6553600000000","262144000000000","10485760000000000","419430400000000000","16777216000000000000","671088640000000000000","26843545600000000000000"],"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","2","1"]]},"terms":[{"coeff":{"coeffs":[["6","31","59","49","15"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":188185,"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-dc0cd00d7ecc8873"]},{"id":188186,"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-dc0cd00d7ecc8873"]},{"id":188187,"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-dc0cd00d7ecc8873"]}],"region_exact":{},"incoming_edges":[{"id":"e-dc0cd00d7ecc8873","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\":2}}"},"operation_detail":"mobius, shift 0","conclusion_id":"n-b946de2fe5de2258","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":"acec7b2d89cc62c33da11a60d3fbfe4f2802e0485f5a552d1bd5b75faa40be20","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-a19ad5e2037d7c6a","role":"sequence","name":"basis_map_A007318 of Triangle, read by rows of 2*n+1 terms, where row n lists the coefficients in (1+3*x+2*x^2)^n.","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-a3c2658b5e743669","kind":"fingerprint_related","node_a_id":"n-b946de2fe5de2258","node_b_id":"n-d3d706d2f2257431","fingerprint":"f6-d7967bc76bb8e021","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-d7967bc76bb8e021"},"other_id":"n-d3d706d2f2257431","other":{"id":"n-d3d706d2f2257431","name":"shift_x_plus_one of basis_map_A013610 of Triangle, read by rows of 2*n+1 terms, where row n lists the coefficients in (1+3*x+2*x^2)^n.","first_index":0,"fingerprint":"f6-d7967bc76bb8e021","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["45","57","18"],["2025","5130","4869","2052","324"]],"card_rows":[["1"],["45","57","18"],["2025","5130","4869","2052","324"],["91125","346275","547965","462213","219186","55404","5832"]],"row_sums_preview":["1","120","14400","1728000","207360000","24883200000","2985984000000","358318080000000"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-eed4f744ce063213","steps":["basis A013610","x \u21a6 x+1"],"edges":["e-bf76d3591eaf645b","e-1b12eeb376f22701"],"text":"A200536 \u2192 basis A013610 \u2192 x \u21a6 x+1"},"headline":"A200536 \u2192 basis A013610 \u2192 x \u21a6 x+1","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,        19,         15;\n  2:       36,       228,        541,         570,          225;\n  3:      216,      2052,       8118,       17119,        20295,        12825,          3375;\n  4:     1296,     16416,      90936,      287736,       568801,       719340,        568350,        256500,          50625;\n  5:     7776,    123120,     876960,     3700440,     10243830,     19439299,      25609575,      23127750,       13702500,        4809375,         759375;\n  6:    46656,    886464,    7717680,    40711680,    144925740,    366775164,     676661581,     916937910,      905785875,      636120000,      301471875,       86568750,       11390625;\n  7:   279936,   6205248,   63848736,   404202960,   1758841560,   5564915244,   13202583702,   23859824959,    33006459255,    34780720275,    27481899375,    15789178125,     6235228125,     1514953125,      170859375;\n  8:  1679616,  42550272,  505191168,  3731422464,  19190636640,  72870525504,  211331515248,  477481768752,   849414185281,  1193704421880,  1320821970300,  1138601961000,   749634243750,   364396725000,   123337687500,   25970625000,    2562890625;\n  9: 10077696, 287214336, 3864796416, 32625421056, 193618714176, 857816586144, 2940388625664, 7973247284784, 17338611446694, 30463322582899, 43346528616735, 49832795529900, 45943572276000, 33508460396250, 18908077556250, 7965190687500, 2358884531250, 438254296875, 38443359375;\n","recurrence_sentence":"The row polynomials satisfy (1+2*x+x^2)*P(n,x) = (6+31*x+59*x^2+49*x^3+15*x^4)*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[((6 + 31*x + 59*x^2 + 49*x^3 + 15*x^4)*P[n - 1, x])/(1 + 2*x + x^2)]];\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] = ((6 + 31*x + 59*x^2 + 49*x^3 + 15*x^4)*v[i - 1])/(1 + 2*x + x^2)); 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-eed4f744ce063213","steps":["basis A007318","x \u21a6 x/(x+1)"],"edges":["e-6e97878f95ac8f6d","e-dc0cd00d7ecc8873"],"text":"A200536 \u2192 basis A007318 \u2192 x \u21a6 x/(x+1)"},"headline":"A200536 \u2192 basis A007318 \u2192 x \u21a6 x/(x+1)","chain":null}