{"id":"n-61ae048ec6ed2266","revision":0,"first_index":0,"fingerprint":"f6-be5ce6bf66b9c063","name":"mobius_x_over_x_plus_one of basis_map_A013609 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","26","28"],["36","312","1012","1456","784"],["216","2808","15192","43784","70896","61152","21952"],["1296","22464","170208","736320","1989136","3436160","3706752","2283008","614656"],["7776","168480","1641600","9472320","35844960","92951456","167276480","206286080","166835200","79905280","17210368"],["46656","1213056","14447808","104232960","507314880","1754902656","4424055616","8189545728","11048190720","10593157120","6852185088","2684817408","481890304"],["279936","8491392","119532672","1035006336","6158484864","26638125696","86376619392","213299994752","403090890496","580119181824","625884535808","490874116096","264557776896","87704035328","13492928512"],["1679616","58226688","945810432","9555646464","67207988736","348929538048","1383288560640","4271459592192","10382890549504","19933478096896","30124950876160","35461579718656","31874840682496","21149201661952","9768880242688","2806529130496","377801998336"],["10077696","393030144","7235785728","83555297280","678177432576","4108543036416","19253723037696","71364287195136","212087372391936","509156891449856","989741071162368","1554155587805184","1956748741312512","1948565299838976","1500988063776768","863007707627520","348765216178176","88405667610624","10578455953408"],["60466176","2620200960","53915673600","700467056640","6444104325120","44623419789312","241333425285120","1043821727170560","3667099946480640","10567413072353280","25114972031644672","49314594337648640","79861287723356160","106083215531704320","114457590935224320","98763564299452416","66558457481134080","33762545439866880","12127444146585600","2750398547886080","296196766695424"],["362797056","17293326336","393312319488","5677975480320","58386408284160","454900308774912","2788644387336192","13787055174537216","55899300493301760","187976085403392000","528121370572511232","1244764404874545152","2464566396005052416","4093701415451648000","5681025205689630720","6538808785000267776","6172015962858848256","4698474967533355008","2814227655787806720","1277167211414814720","412855978949607424","84712275274891264","8293509467471872"],["2176782336","113192681472","2819658719232","44778186326016","508958557138944","4406431781486592","30194093784121344","167964293763661824","771941280343191552","2967275870133239808","9621286857735708672","26463072455427538944","61938671278798802944","123494338125328515072","209530247124022099968","301563147690578149376","366109829946469711872","371749910819537682432","311862162050641821696","212390221409905803264","114481857732541415424","47003211023953952768","13812247624541011968","2587574953851224064","232218265089212416"],["13060694016","735752429568","19921911939072","345149639737344","4296934631448576","40925302391660544","309982628623269888","1916212290850750464","9844153945869754368","42577128735104950272","156491249619487850496","492015617397424373760","1329067943530508673024","3092337510752711057408","6202317069809040474112","10715006778877241917440","15904147739106468954112","20193123178861626785792","21787745892112982605824","19791755044723177291776","14941177440470770384896","9205473766667163009024","4510448988881208475648","1690733796631884333056","455413191877815435264","78489773600153796608","6502111422497947648"],["78364164096","4754092621824","139026734235648","2609468616867840","35313311956156416","366936304680271872","3044267803603353600","20702730556276015104","117565956838789595136","565064719147064328192","2321589155314008932352","8213025799074168963072","25148568702861745569792","66886228883437374308352","154828580117278973181952","312135734789374413438976","547679940640100236853248","834686770098500727209984","1101063814698061322780672","1250639372471402161504256","1214289580784790744858624","997872597304491972231168","684757980199815059865600","385169341957383290617856","172984129552369722589184","59652227936116885422080","14831316154717818585088","2366768557789252943872","182059119829942534144"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","60","3600","216000","12960000","777600000","46656000000","2799360000000","167961600000000","10077696000000000","604661760000000000","36279705600000000000","2176782336000000000000","130606940160000000000000","7836416409600000000000000"],"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","38","86","82","28"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":192060,"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-132064311114cea9"]},{"id":192061,"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-132064311114cea9"]},{"id":192062,"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-132064311114cea9"]}],"region_exact":{},"incoming_edges":[{"id":"e-132064311114cea9","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-61ae048ec6ed2266","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":"7eb0f7211c429b6174354c241f4ebb9e9084b6732d10a49fc41b17fca48ce9a6","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-83675781d9687218","role":"sequence","name":"basis_map_A013609 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":[],"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,        26,         28;\n  2:       36,       312,       1012,        1456,          784;\n  3:      216,      2808,      15192,       43784,        70896,         61152,          21952;\n  4:     1296,     22464,     170208,      736320,      1989136,       3436160,        3706752,        2283008,          614656;\n  5:     7776,    168480,    1641600,     9472320,     35844960,      92951456,      167276480,      206286080,       166835200,        79905280,        17210368;\n  6:    46656,   1213056,   14447808,   104232960,    507314880,    1754902656,     4424055616,     8189545728,     11048190720,     10593157120,      6852185088,       2684817408,        481890304;\n  7:   279936,   8491392,  119532672,  1035006336,   6158484864,   26638125696,    86376619392,   213299994752,    403090890496,    580119181824,    625884535808,     490874116096,     264557776896,      87704035328,      13492928512;\n  8:  1679616,  58226688,  945810432,  9555646464,  67207988736,  348929538048,  1383288560640,  4271459592192,  10382890549504,  19933478096896,  30124950876160,   35461579718656,   31874840682496,   21149201661952,    9768880242688,   2806529130496,    377801998336;\n  9: 10077696, 393030144, 7235785728, 83555297280, 678177432576, 4108543036416, 19253723037696, 71364287195136, 212087372391936, 509156891449856, 989741071162368, 1554155587805184, 1956748741312512, 1948565299838976, 1500988063776768, 863007707627520, 348765216178176, 88405667610624, 10578455953408;\n","recurrence_sentence":"The row polynomials satisfy (1+2*x+x^2)*P(n,x) = (6+38*x+86*x^2+82*x^3+28*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 + 38*x + 86*x^2 + 82*x^3 + 28*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 + 38*x + 86*x^2 + 82*x^3 + 28*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 A013609","x \u21a6 x/(x+1)"],"edges":["e-185113cbc4b6c77b","e-132064311114cea9"],"text":"A200536 \u2192 basis A013609 \u2192 x \u21a6 x/(x+1)"},"headline":"A200536 \u2192 basis A013609 \u2192 x \u21a6 x/(x+1)","chain":null}