{"id":"n-adf274fa298bd545","revision":0,"first_index":0,"fingerprint":"f6-e79a1f872b1c2f24","name":"mobius_x_over_x_plus_one of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*5^j.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":2,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["289","1088","1024"],["4913","27744","52224","32768"],["83521","628864","1775616","2228224","1048576"],["1419857","13363360","50309120","94699520","89128960","33554432"],["24137569","272612544","1282882560","3219783680","4545576960","3422552064","1073741824"],["410338673","5406815456","30532604928","95788564480","180307886080","203641847808","127775277056","34359738368"],["6975757441","105046700288","692072378368","2605448953856","6130468126720","9231763767296","8688718839808","4672924418048","1099511627776"],["118587876497","2009018143008","15126724841472","66438948323328","187592324677632","353114964099072","443124660830208","357478717980672","168225279049728","35184372088832"],["2015993900449","37948120479040","321442902881280","1613517316423680","5315115865866240","12005908779368448","18832798085283840","20257127352238080","14299148719226880","5981343255101440","1125899906842624"],["34271896307633","709629852958048","6678869204311040","37715967271403520","141989523845283840","374184156956983296","704346648389615616","947020703717130240","891313603498475520","559255594351984640","210543282579570688","36028797018963968"],["582622237229761","13160408182131072","136248931767945216","854895258151813120","3620732858054737920","10904795431317798912","23947786045246930944","38638444711658913792","45456993778422251520","38029380415934955520","21475414823116210176","7349874591868649472","1152921504606846976"],["9904578032905937","242370850687580576","2737364901883262976","18893185205155069952","88909106847788564480","301244973790154194944","756065816571367391232","1423182713546103324672","2009199125006263517184","2101123267980406292480","1582022225302894149632","812161142401485766656","254795652518113181696","36893488147419103232"],["168377826559400929","4437250958741859776","54291070554018049024","408779825347900604416","2116036742977367834624","7966255973561855377408","22492958042998179889152","48388212260567513038848","79698231958581786181632","100013467555867339522048","94130322405522201903104","64431450630517870821376","30320682649655468621824","8780650179085746569216","1180591620717411303424"],["2862423051509815793","80821356748512445920","1064940230098046346240","8686571288642887843840","49053579041748072529920","203139527325827312123904","637300477884948430192640","1542374265805589478113280","2903292735634050782330880","4250572371124361929687040","4800646442681632297058304","4107504977695514264862720","2577258025220714832855040","1119532897833432687575040","301050863282939882373120","37778931862957161709568"],["48661191875666868481","1465560602373025686016","20690267327619186155520","181749799270066576424960","1111881124946289644011520","5023086493875002627063808","17334572998470597301239808","46613977811013370894090240","98711953011557726599249920","165165097849403777839267840","217629305401567330799976448","223448270786635976008531968","175253545715008608634142720","101504316070231230340136960","40942917406479824002744320","10275869466724347985002496","1208925819614629174706176"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["2401","117649","5764801","282475249","13841287201","678223072849","33232930569601","1628413597910449","79792266297612001","3909821048582988049","191581231380566414401","9387480337647754305649","459986536544739960976801","22539340290692258087863249","1104427674243920646305299201"],"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":[["289","1088","1024"]],"recurrence":{"denominator":{"coeffs":[["1","1"]]},"terms":[{"coeff":{"coeffs":[["17","49","32"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194402,"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-9ff8c5a85ce7aebc"]},{"id":194403,"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-9ff8c5a85ce7aebc"]},{"id":194404,"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-9ff8c5a85ce7aebc"]}],"region_exact":{},"incoming_edges":[{"id":"e-9ff8c5a85ce7aebc","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"mobius\",\"a\":\"1\",\"b\":\"0\",\"c\":\"1\",\"e\":\"1\",\"schedule\":{\"first_index\":0,\"first_degree\":2,\"step\":1}}"},"operation_detail":"mobius, shift 0","conclusion_id":"n-adf274fa298bd545","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":"a2868c29538022fed9ff922c2e934f665237fd86c89faaf2dc3dee63fb573a8c","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-8a857e84342335b8","role":"sequence","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*5^j.","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:            289,            1088,             1024;\n  1:           4913,           27744,            52224,             32768;\n  2:          83521,          628864,          1775616,           2228224,            1048576;\n  3:        1419857,        13363360,         50309120,          94699520,           89128960,           33554432;\n  4:       24137569,       272612544,       1282882560,        3219783680,         4545576960,         3422552064,         1073741824;\n  5:      410338673,      5406815456,      30532604928,       95788564480,       180307886080,       203641847808,       127775277056,        34359738368;\n  6:     6975757441,    105046700288,     692072378368,     2605448953856,      6130468126720,      9231763767296,      8688718839808,      4672924418048,      1099511627776;\n  7:   118587876497,   2009018143008,   15126724841472,    66438948323328,    187592324677632,    353114964099072,    443124660830208,    357478717980672,    168225279049728,     35184372088832;\n  8:  2015993900449,  37948120479040,  321442902881280,  1613517316423680,   5315115865866240,  12005908779368448,  18832798085283840,  20257127352238080,  14299148719226880,   5981343255101440,   1125899906842624;\n  9: 34271896307633, 709629852958048, 6678869204311040, 37715967271403520, 141989523845283840, 374184156956983296, 704346648389615616, 947020703717130240, 891313603498475520, 559255594351984640, 210543282579570688, 36028797018963968;\n","recurrence_sentence":"The row polynomials satisfy (1+x)*P(n,x) = (17+49*x+32*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 289 + 1088*x + 1024*x^2.","mathematica":"P[0, x_] := 289 + 1088*x + 1024*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((17 + 49*x + 32*x^2)*P[n - 1, x])/(1 + x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 289 + 1088*x + 1024*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((17 + 49*x + 32*x^2)*v[i - 1])/(1 + x)); 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-a5302200d285579d","steps":["basis A013610","x \u21a6 x/(x+1)"],"edges":["e-633275fbd6b7b077","e-9ff8c5a85ce7aebc"],"text":"A038331 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A038331 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","chain":null}