{"id":"n-b92e5d1cc734bd04","revision":0,"first_index":0,"fingerprint":"f6-b53510a6d5d438b6","name":"mobius_x_over_x_plus_one of basis_map_A007318 of Triangle read by rows: (i,j)-th entry is binomial(i,j)*3^(i-j)*8^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":[["121","418","361"],["1331","6897","11913","6859"],["14641","101156","262086","301796","130321"],["161051","1390895","4804910","8299390","7167655","2476099"],["1771561","18359814","79281015","182586580","236532615","163422534","47045881"],["19487171","235617613","1220927631","3514791665","6071003785","6291767559","3622532837","893871739"],["214358881","2962049992","17906938588","61860333304","133562083270","184558515064","159391444828","78660713032","16983563041"],["2357947691","36655368651","253255274316","1020695499516","2644529248746","4567823247834","5259917679324","3893705295084","1681372741059","322687697779"],["25937424601","448010061290","3482260021845","16039500706680","48483036227010","100492111452348","144647736181410","142769194153080","92475500758245","35495646755690","6131066257801"],["285311670611","5420921741609","46817051404805","242597448188535","838063911924030","2026590914289018","3500475215590122","4318768123130670","3729845197249215","2147486628719245","741859017193921","116490258898219"],["3138428376721","65051060899308","617985078543426","3558095906765180","13828054546746495","38215714383735768","77010454742982684","114015478450649688","123084891509224095","94489411663646780","48962695134798786","15376714174564908","2213314919066161"],["34522712143931","775191809050087","8033806021064538","50880771466742074","219712422242749865","683105894609276853","1573213575463789116","2717368903073817564","3520227897163809117","3377996466975372385","2333888468092075466","1099435063481390922","316504033426461023","42052983462257059"],["379749833583241","9183041430285646","103100510603661571","712330800534389036","3383571302538347921","11688700863314292818","30284361327677940483","59782115867623986408","90352516027204434003","104042291182841469458","89854706021544905441","56437666592044733996","24370810573837498771","6476159453187587086","799006685782884121"],["4177248169415651","108228702571223685","1308583403815704555","9794548507347849245","50753569538075218815","192863564244685831497","555213291007428908855","1233006139769744719665","2129737877784104515785","2861163007528140410095","2965205298710981879553","2328053746921845277335","1340394581561062432405","534283154887975934595","131836103154175879965","15181127029874798299"],["45949729863572161","1269883443502357904","16450762790826000120","132603118253324728240","744385686558436542620","3085817027914973303952","9771753921730748795848","24112120066608341184560","46854233311250299347270","71937812760707530310960","86979355428855468466888","81947491891648953762192","58977361588686747025820","31344611753427921496240","11601577077567477436920","2671878357257964500624","288441413567621167681"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["900","27000","810000","24300000","729000000","21870000000","656100000000","19683000000000","590490000000000","17714700000000000","531441000000000000","15943230000000000000","478296900000000000000","14348907000000000000000","430467210000000000000000"],"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":[["121","418","361"]],"recurrence":{"denominator":{"coeffs":[["1","1"]]},"terms":[{"coeff":{"coeffs":[["11","30","19"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":192984,"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-ec47b0dda4523e6d"]},{"id":192985,"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-ec47b0dda4523e6d"]},{"id":192986,"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-ec47b0dda4523e6d"]}],"region_exact":{},"incoming_edges":[{"id":"e-ec47b0dda4523e6d","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-b92e5d1cc734bd04","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":"cb98443ed1beab2130ea96ad8574284db460d4aa7203f177c4ad92f475bedc6c","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-2e0a8214849adcd6","role":"sequence","name":"basis_map_A007318 of Triangle read by rows: (i,j)-th entry is binomial(i,j)*3^(i-j)*8^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":[{"id":"l-0b87b47b649eabe2","kind":"fingerprint_related","node_a_id":"n-45f0d9f6e2fe1e90","node_b_id":"n-b92e5d1cc734bd04","fingerprint":"f6-b53510a6d5d438b6","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-b53510a6d5d438b6"},"other_id":"n-45f0d9f6e2fe1e90","other":{"id":"n-45f0d9f6e2fe1e90","name":"mobius_x_over_x_plus_one of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*8^j.","first_index":0,"fingerprint":"f6-b53510a6d5d438b6","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["11","19"],["121","418","361"]],"card_rows":[["1"],["11","19"],["121","418","361"],["1331","6897","11913","6859"]],"row_sums_preview":["1","30","900","27000","810000","24300000","729000000","21870000000"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2f02b2035f8f4541","steps":["x \u21a6 x/(x+1)"],"edges":["e-6c5ba0c8b072ace2"],"text":"A038322 \u2192 x \u21a6 x/(x+1)"},"headline":"A038322 \u2192 x \u21a6 x/(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:          121,           418,            361;\n  1:         1331,          6897,          11913,            6859;\n  2:        14641,        101156,         262086,          301796,          130321;\n  3:       161051,       1390895,        4804910,         8299390,         7167655,          2476099;\n  4:      1771561,      18359814,       79281015,       182586580,       236532615,        163422534,         47045881;\n  5:     19487171,     235617613,     1220927631,      3514791665,      6071003785,       6291767559,       3622532837,        893871739;\n  6:    214358881,    2962049992,    17906938588,     61860333304,    133562083270,     184558515064,     159391444828,      78660713032,      16983563041;\n  7:   2357947691,   36655368651,   253255274316,   1020695499516,   2644529248746,    4567823247834,    5259917679324,    3893705295084,    1681372741059,     322687697779;\n  8:  25937424601,  448010061290,  3482260021845,  16039500706680,  48483036227010,  100492111452348,  144647736181410,  142769194153080,   92475500758245,   35495646755690,   6131066257801;\n  9: 285311670611, 5420921741609, 46817051404805, 242597448188535, 838063911924030, 2026590914289018, 3500475215590122, 4318768123130670, 3729845197249215, 2147486628719245, 741859017193921, 116490258898219;\n","recurrence_sentence":"The row polynomials satisfy (1+x)*P(n,x) = (11+30*x+19*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 121 + 418*x + 361*x^2.","mathematica":"P[0, x_] := 121 + 418*x + 361*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((11 + 30*x + 19*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] = 121 + 418*x + 361*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((11 + 30*x + 19*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-26633b980c3508e8","steps":["basis A007318","x \u21a6 x/(x+1)"],"edges":["e-0566c972c7be0ca0","e-ec47b0dda4523e6d"],"text":"A038226 \u2192 basis A007318 \u2192 x \u21a6 x/(x+1)"},"headline":"A038226 \u2192 basis A007318 \u2192 x \u21a6 x/(x+1)","chain":null}