{"id":"n-d28132abd335e598","revision":0,"first_index":0,"fingerprint":"f6-f0631dfd9d3ec134","name":"shift_x_plus_one of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*3^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":[["625","600","144"],["15625","22500","10800","1728"],["390625","750000","540000","172800","20736"],["9765625","23437500","22500000","10800000","2592000","248832"],["244140625","703125000","843750000","540000000","194400000","37324800","2985984"],["6103515625","20507812500","29531250000","23625000000","11340000000","3265920000","522547200","35831808"],["152587890625","585937500000","984375000000","945000000000","567000000000","217728000000","52254720000","7166361600","429981696"],["3814697265625","16479492187500","31640625000000","35437500000000","25515000000000","12247200000000","3919104000000","806215680000","96745881600","5159780352"],["95367431640625","457763671875000","988769531250000","1265625000000000","1063125000000000","612360000000000","244944000000000","67184640000000","12093235200000","1289945088000","61917364224"],["2384185791015625","12588500976562500","30212402343750000","43505859375000000","41765625000000000","28066500000000000","13471920000000000","4618944000000000","1108546560000000","177367449600000","17027275161600","743008370688"],["59604644775390625","343322753906250000","906372070312500000","1450195312500000000","1566210937500000000","1202850000000000000","673596000000000000","277136640000000000","83140992000000000","17736744960000000","2554091274240000","222902511206400","8916100448256"],["1490116119384765625","9298324584960937500","26779174804687500000","47131347656250000000","56557617187500000000","48865781250000000000","31274100000000000000","15011568000000000000","5404164480000000000","1441110528000000000","276693221376000000","36221658071040000","2897732645683200","106993205379072"],["37252902984619140625","250339508056640625000","781059265136718750000","1499633789062500000000","1979516601562500000000","1900335937500000000000","1368241875000000000000","750578400000000000000","315242928000000000000","100877736960000000000","24210656870400000000","4225860108288000000","507103212994560000","37447621882675200","1283918464548864"],["931322574615478515625","6705522537231445312500","22530555725097656250000","46863555908203125000000","67483520507812500000000","71262597656250000000000","57010078125000000000000","35183362500000000000000","16888014000000000000000","6304858560000000000000","1815799265280000000000","396174385152000000000","63387901624320000000","7021429103001600000","481469424205824000","15407021574586368"],["23283064365386962890625","178813934326171875000000","643730163574218750000000","1441955566406250000000000","2249450683593750000000000","2591367187500000000000000","2280403125000000000000000","1563705000000000000000000","844400700000000000000000","360277632000000000000000","121053284352000000000000","31693950812160000000000","6338790162432000000000","936190547066880000000","96293884841164800000","6162808629834547200","184884258895036416"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["1369","50653","1874161","69343957","2565726409","94931877133","3512479453921","129961739795077","4808584372417849","177917621779460413","6582952005840035281","243569224216081305397","9012061295995008299689","333446267951815307088493","12337511914217166362274241"],"nonn":true,"definitions":[{"position":0,"source":"derived:shift_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["625","600","144"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["25","12"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194021,"position":0,"claim":"real_rooted","from_index":0,"region_key":"(-inf, -1]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"-1"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, -1]","region_exact":null,"edges":["e-b64209bcb5b87a9c"]},{"id":194022,"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-b64209bcb5b87a9c","e-f4dafc27a744eea9"]},{"id":194023,"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-b64209bcb5b87a9c","e-f4dafc27a744eea9"]},{"id":194024,"position":3,"claim":"interlacing","from_index":1,"region_key":null,"provenance":"edges","claim_data":{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"},"label":"Interlacing of consecutive rows","description":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 1","region_exact":null,"edges":["e-b64209bcb5b87a9c"]},{"id":194025,"position":4,"claim":"real_rooted","from_index":0,"region_key":"(-inf, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, 0]","region_exact":null,"edges":["e-f4dafc27a744eea9"]}],"region_exact":{},"incoming_edges":[{"id":"e-f4dafc27a744eea9","operation":{"map":"A007318","operation":"basis_map"},"operation_detail":"A007318","conclusion_id":"n-d28132abd335e598","premise_count":1,"theorem":"geometric family P_k = g(t) (a + d t)^k: T(p) = g(t) p(a + d t), so the roots of T(p) are those of g and the points (r - a)/d for the roots r of p (elementary)","lean_route":null,"lean_declarations":[],"certificate_hash":"5c20012024c35c43805758b256106ac3cac0a7bcc40d9261370c032dfa423545","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-b8a3f88eab200094","role":"sequence","name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*3^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]"}]},{"id":"e-b64209bcb5b87a9c","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"affine\",\"slope\":\"1\",\"intercept\":\"1\"}"},"operation_detail":"affine, shift 0","conclusion_id":"n-d28132abd335e598","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":null,"lean_declarations":["Polynomial.Splits.comp_of_degree_le_one"],"certificate_hash":"152b5d32ae10c7df10ae327259fe98b9e0868d556fef560bcf4a0343aa2cd6ff","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"-1"}}},{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-b8a3f88eab200094","role":"sequence","name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*3^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:              625,               600,               144;\n  1:            15625,             22500,             10800,              1728;\n  2:           390625,            750000,            540000,            172800,             20736;\n  3:          9765625,          23437500,          22500000,          10800000,           2592000,            248832;\n  4:        244140625,         703125000,         843750000,         540000000,         194400000,          37324800,           2985984;\n  5:       6103515625,       20507812500,       29531250000,       23625000000,       11340000000,        3265920000,         522547200,         35831808;\n  6:     152587890625,      585937500000,      984375000000,      945000000000,      567000000000,      217728000000,       52254720000,       7166361600,        429981696;\n  7:    3814697265625,    16479492187500,    31640625000000,    35437500000000,    25515000000000,    12247200000000,     3919104000000,     806215680000,      96745881600,      5159780352;\n  8:   95367431640625,   457763671875000,   988769531250000,  1265625000000000,  1063125000000000,   612360000000000,   244944000000000,   67184640000000,   12093235200000,   1289945088000,    61917364224;\n  9: 2384185791015625, 12588500976562500, 30212402343750000, 43505859375000000, 41765625000000000, 28066500000000000, 13471920000000000, 4618944000000000, 1108546560000000, 177367449600000, 17027275161600, 743008370688;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (25+12*x)*P(n-1,x) for n >= 1, with P(0,x) = 625 + 600*x + 144*x^2.","mathematica":"P[0, x_] := 625 + 600*x + 144*x^2;\nP[n_, x_] := P[n, x] = Expand[(25 + 12*x)*P[n - 1, x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 625 + 600*x + 144*x^2; for(n = 1, N, my(i = n + 1); v[i] = (25 + 12*x)*v[i - 1]); 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-4397e742863fdbe2","steps":["basis A013611","x \u21a6 x+1"],"edges":["e-7b93be005ec5b750","e-b64209bcb5b87a9c"],"text":"A038305 \u2192 basis A013611 \u2192 x \u21a6 x+1"},"headline":"A038305 \u2192 basis A013611 \u2192 x \u21a6 x+1","chain":null}