{"id":"n-83a7464f2b086513","revision":0,"first_index":0,"fingerprint":"f6-4dc50714404e5462","name":"mobius_x_over_x_plus_one of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(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":[["256","992","961"],["4096","23808","46128","29791"],["65536","507904","1476096","1906624","923521"],["1048576","10158080","39362560","76264960","73881680","28629151"],["16777216","195035136","944701440","2440478720","3546320640","2748398496","887503681"],["268435456","3640655872","21161312256","68333404160","132395970560","153910315776","99400412272","27512614111"],["4294967296","66571993088","451441328128","1749335146496","4236671057920","6566840139776","6361626385408","3521614606208","852891037441"],["68719476736","1198295875584","9286793035776","41984043515904","122016126468096","236406245031936","305358066499584","253556251646976","122816309391504","26439622160671"],["1099511627776","21303037788160","185735860715520","959635280363520","3253763372482560","7564999841021952","12214322659983360","13523000087838720","9825304751320320","4230339545707360","819628286980801"],["17592186044416","374933465071616","3632167942881280","21111976167997440","81808907650990080","221906662003310592","429944157631414272","595012003864903680","576417878744125440","372269880022247680","144254578508620976","25408476896404831"],["281474976710656","6544293208522752","69737624503320576","450388824917278720","1963413783623761920","6086582729233661952","13758213044205256704","22848460948412301312","27668058179718021120","23825272321423851520","13848439536827613696","4878427564109727552","787662783788549761"],["4503599627370496","113434415614394368","1318675081517334528","9368087558279397376","45376674110415831040","158251150960075210752","408815473313527627776","792079979544959778816","1150991220276269678592","1238914160714040279040","960158474553381216256","507356466667411665408","163833859028018350288","24417546297445042591"],["72057594037927936","1954562238278795264","24615268188323577856","190768328459507728384","1016437500073314615296","3938695312784094134272","11446833252778773577728","25346559345438712922112","42970338890314068000768","55503354399989004500992","53768874574989348110336","37882616177833404350464","18349392211138055232256","5469530370627689540384","756943935220796320321"],["1152921504606846976","33506781227636490240","454435720399819898880","3815366569190154567680","22176818183417773424640","94528687506818259222528","305248886740767295406080","760396780363161387663360","1473268761953625188597760","2220134175999560180039680","2580905979599488709296128","2272956970670004261027840","1467951376891044418580480","656343644475322744846080","181666544452991116877040","23465261991844685929951"],["18446744073709551616","571849066284996100096","8309681744453849579520","75133372439436889948160","473105454579579166392320","2199940363795043123724288","7814371500563642762395648","21629063974774368360202240","47144600382516006035128320","81193478436555343727165440","110118655129578184929968128","116375396898304218164625408","93948888121026842789150720","56007990995227540893532160","23253317689982862960261120","6007107069912239598067456","727423121747185263828481"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["2209","103823","4879681","229345007","10779215329","506623120463","23811286661761","1119130473102767","52599132235830049","2472159215084012303","116191483108948578241","5460999706120583177327","256666986187667409334369","12063348350820368238715343","566977372488557307219621121"],"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":[["256","992","961"]],"recurrence":{"denominator":{"coeffs":[["1","1"]]},"terms":[{"coeff":{"coeffs":[["16","47","31"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194449,"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-337c3b5448dfd722"]},{"id":194450,"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-337c3b5448dfd722"]},{"id":194451,"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-337c3b5448dfd722"]}],"region_exact":{},"incoming_edges":[{"id":"e-337c3b5448dfd722","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-83a7464f2b086513","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":"9bd0c40a47d57a058a79bf9e1334f5cebdc232ac800327ef94fc00144bd41830","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-a875e5d4789de94f","role":"sequence","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(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:            256,             992,              961;\n  1:           4096,           23808,            46128,             29791;\n  2:          65536,          507904,          1476096,           1906624,            923521;\n  3:        1048576,        10158080,         39362560,          76264960,          73881680,           28629151;\n  4:       16777216,       195035136,        944701440,        2440478720,        3546320640,         2748398496,          887503681;\n  5:      268435456,      3640655872,      21161312256,       68333404160,      132395970560,       153910315776,        99400412272,        27512614111;\n  6:     4294967296,     66571993088,     451441328128,     1749335146496,     4236671057920,      6566840139776,      6361626385408,      3521614606208,       852891037441;\n  7:    68719476736,   1198295875584,    9286793035776,    41984043515904,   122016126468096,    236406245031936,    305358066499584,    253556251646976,    122816309391504,     26439622160671;\n  8:  1099511627776,  21303037788160,  185735860715520,   959635280363520,  3253763372482560,   7564999841021952,  12214322659983360,  13523000087838720,   9825304751320320,   4230339545707360,    819628286980801;\n  9: 17592186044416, 374933465071616, 3632167942881280, 21111976167997440, 81808907650990080, 221906662003310592, 429944157631414272, 595012003864903680, 576417878744125440, 372269880022247680, 144254578508620976, 25408476896404831;\n","recurrence_sentence":"The row polynomials satisfy (1+x)*P(n,x) = (16+47*x+31*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 256 + 992*x + 961*x^2.","mathematica":"P[0, x_] := 256 + 992*x + 961*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((16 + 47*x + 31*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] = 256 + 992*x + 961*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((16 + 47*x + 31*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-2bc1923905556bf6","steps":["basis A013610","x \u21a6 x/(x+1)"],"edges":["e-fd6222a072627022","e-337c3b5448dfd722"],"text":"A038319 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A038319 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","chain":null}