{"id":"n-f03e5c22b4dd0de2","revision":0,"first_index":0,"fingerprint":"f6-8e69101448399e5f","name":"mobius_x_over_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.","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","33","45"],["36","396","1629","2970","2025"],["216","3564","24462","89397","183465","200475","91125"],["1296","28512","274104","1504008","5151681","11280060","15418350","12028500","4100625"],["7776","213840","2643840","19352520","92877030","305366193","696577725","1088579250","1115370000","676603125","184528125"],["46656","1539648","23269680","212984640","1314868140","5768002548","18436017069","43260019110","73961332875","89852895000","73626721875","36536568750","8303765625"],["279936","10777536","192525984","2115091440","15964837560","87582972708","360129252798","1127508792597","2700969395985","4926542214825","6735165845625","6692281509375","4568731846875","1918169859375","373669453125"],["1679616","73903104","1523411712","19528895232","174250712160","1147516590528","5769431306352","22590551869776","69619422907521","169429139023320","324530510982300","484108561629000","551340143943750","463429838025000","271134555187500","98648735625000","16815125390625"],["10077696","498845952","11654855424","170771597568","1758511342656","13514173329888","80325917372736","377572790902032","1422829157933574","4330590624228033","10671218684501805","21238469488239300","33887496391623000","42759689051598750","41730298463418750","30393675446062500","15557354011406250","4994092241015625","756680642578125"],["60466176","3325639680","86844545280","1431687882240","16710999269760","146800636177536","1007056234542240","5524329818557440","24611543329141620","89927681547767580","270964114813546749","674457611608256850","1384399312264216125","2330576642203920000","3186388867106306250","3483647909291137500","2974198844642343750","1911072630895312500","869426058322265625","249704612050781250","34050628916015625"],["362797056","21949221888","633534359040","11605651073280","151419700270080","1496692747668096","11638753368251328","72984863279227680","375289674541646040","1600341860983363740","5700917629768983534","17035307128146124917","42756882223267376505","90019229680314210375","158325331447256923125","230928668969431331250","276193073094245381250","266379153576670406250","202120901178384375000","116187555987228515625","47568728595673828125","12360378296513671875","1532278301220703125"],["2176782336","143667634176","4541856344064","91528255272960","1320013733195520","14499260893218816","126037267394708736","889339214472724224","5183982437035699440","25270929273339747360","103904822545438976424","362357508295504574424","1075247721908030640321","2717681312216284308180","5844646268180942423850","10661173287190205917500","16402444429683267759375","21104436437194529925000","22431925764341471812500","19354176985760223750000","13215042272179880859375","6872370332861601562500","2557678940397597656250","606782207283398437500","68952523554931640625"],["13060694016","933839622144","32090125197312","705515834529792","11144898358663680","134674790042048256","1294099831838271744","10147731851056580352","66123765732575989152","362717260713489155760","1690648810959451996224","6740196011072802299736","23085001119744588736998","68095350569560422828753","173137508398084415527485","379136025622845129360150","713242467123518810907000","1147660082726274281896875","1569147956349215367571875","1806078251811583758937500","1727414753558532900468750","1348268581338315746484375","836811196874913076171875","397300763255593183593750","135533080299573632812500","29580632605065673828125","3102863559971923828125"],["78364164096","6034040635392","223945189945344","5334091921686528","91595468325344256","1207578598642031616","12710387488557088512","109652051108894621184","789852237913045315008","4815035766753488692416","25089131927267773629264","112554863560205741683008","437015671577045348143356","1473685960867210068781572","4324796669572506939678669","11052644706504075515861790","24582131526208800833063775","47484083064461797272519000","79383581488620689998843125","114263055793075952368856250","140576728866848152988484375","146367819686982749346562500","127247394275547878612109375","90670660236629899207031250","51580627528603105283203125","22528609792018017187500000","7093766670807812255859375","1433522964707028808593750","139628860198736572265625"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","84","7056","592704","49787136","4182119424","351298031616","29509034655744","2478758911082496","208215748530929664","17490122876598091776","1469170321634239709184","123410307017276135571456","10366465789451195388002304","870783126313900412592193536"],"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","45","117","123","45"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":193186,"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-fa8e415a5a123e3b"]},{"id":193187,"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-fa8e415a5a123e3b"]},{"id":193188,"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-fa8e415a5a123e3b"]}],"region_exact":{},"incoming_edges":[{"id":"e-fa8e415a5a123e3b","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-f03e5c22b4dd0de2","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":"5e8702f0650e2060776f12e6c7eec063e1ddf653287c12dda533db79d181eaf4","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-2ff1c5d05cc7026f","role":"sequence","name":"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.","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-7ab1e22590a1cb7f","kind":"fingerprint_related","node_a_id":"n-f2085d6c0d79c3b9","node_b_id":"n-f03e5c22b4dd0de2","fingerprint":"f6-8e69101448399e5f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-8e69101448399e5f"},"other_id":"n-f2085d6c0d79c3b9","other":{"id":"n-f2085d6c0d79c3b9","name":"shift_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.","first_index":0,"fingerprint":"f6-8e69101448399e5f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["15","11","2"],["225","330","181","44","4"]],"card_rows":[["1"],["15","11","2"],["225","330","181","44","4"],["3375","7425","6795","3311","906","132","8"]],"row_sums_preview":["1","28","784","21952","614656","17210368","481890304","13492928512"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-eed4f744ce063213","steps":["basis A007318","basis A007318"],"edges":["e-6e97878f95ac8f6d","e-64ea7e1c16be0009"],"text":"A200536 \u2192 basis A007318 \u2192 basis A007318"},"headline":"A200536 \u2192 basis A007318 \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,        33,          45;\n  2:       36,       396,        1629,         2970,          2025;\n  3:      216,      3564,       24462,        89397,        183465,         200475,          91125;\n  4:     1296,     28512,      274104,      1504008,       5151681,       11280060,       15418350,        12028500,          4100625;\n  5:     7776,    213840,     2643840,     19352520,      92877030,      305366193,      696577725,      1088579250,       1115370000,        676603125,         184528125;\n  6:    46656,   1539648,    23269680,    212984640,    1314868140,     5768002548,    18436017069,     43260019110,      73961332875,      89852895000,       73626721875,       36536568750,        8303765625;\n  7:   279936,  10777536,   192525984,   2115091440,   15964837560,    87582972708,   360129252798,   1127508792597,    2700969395985,    4926542214825,     6735165845625,     6692281509375,     4568731846875,     1918169859375,      373669453125;\n  8:  1679616,  73903104,  1523411712,  19528895232,  174250712160,  1147516590528,  5769431306352,  22590551869776,   69619422907521,  169429139023320,   324530510982300,   484108561629000,   551340143943750,   463429838025000,   271134555187500,    98648735625000,    16815125390625;\n  9: 10077696, 498845952, 11654855424, 170771597568, 1758511342656, 13514173329888, 80325917372736, 377572790902032, 1422829157933574, 4330590624228033, 10671218684501805, 21238469488239300, 33887496391623000, 42759689051598750, 41730298463418750, 30393675446062500, 15557354011406250, 4994092241015625, 756680642578125;\n","recurrence_sentence":"The row polynomials satisfy (1+2*x+x^2)*P(n,x) = (6+45*x+117*x^2+123*x^3+45*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 + 45*x + 117*x^2 + 123*x^3 + 45*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 + 45*x + 117*x^2 + 123*x^3 + 45*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 A013610","x \u21a6 x/(x+1)"],"edges":["e-bf76d3591eaf645b","e-fa8e415a5a123e3b"],"text":"A200536 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A200536 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","chain":null}