{"id":"n-f8abeed5fe1a08b5","revision":0,"first_index":0,"fingerprint":"f6-f7b190274eded71d","name":"shift_x_plus_one of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*6^(i-j)*5^j.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["1"],["26","15"],["676","780","225"],["17576","30420","17550","3375"],["456976","1054560","912600","351000","50625"],["11881376","34273200","39546000","22815000","6581250","759375"],["308915776","1069323840","1542294000","1186380000","513337500","118462500","11390625"],["8031810176","32436156480","56139501600","53980290000","31142475000","10780087500","2073093750","170859375"],["208827064576","963817221120","1946169388800","2245580064000","1619408700000","747419400000","215601750000","35538750000","2562890625"],["5429503678976","28191653717760","65057662425600","87577622496000","75788327160000","43724034900000","16816936500000","4158033750000","599716406250","38443359375"],["141167095653376","814425551846400","2114374028832000","3252883121280000","3284160843600000","2273649814800000","1093100872500000","360362925000000","77963132812500","9995273437500","576650390625"],["3670344486987776","23292570782807040","67190108027328000","116290571585760000","134181428752800000","108377307838800000","62525369907000000","25765949137500000","7432485328125000","1429324101562500","164922011718750","8649755859375"],["95428956661682176","660662007657799680","2096331370452633600","4031406481639680000","5233075721359200000","4830531435100800000","3251319235164000000","1607795226180000000","579733855593750000","148649706562500000","25727833828125000","2698723828125000","129746337890625"],["2481152873203736576","18608646549028024320","64414545746635468800","136261539079421184000","196531065979934400000","204089953133008800000","156992271640776000000","90572464408140000000","39190008638137500000","12560900204531250000","2898669277968750000","456084326953125000","43854262207031250","1946195068359375"],["64509974703297150976","521042103372784680960","1953907887647942553600","4509018202264482816000","7153730801669612160000","8254304771157244800000","7143148359655308000000","4709768149223280000000","2377527190713675000000","914433534889875000000","263778904295156250000","55338231670312500000","7981475721679687500","708415004882812500","29192926025390625"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","41","1681","68921","2825761","115856201","4750104241","194754273881","7984925229121","327381934393961","13422659310152401","550329031716248441","22563490300366186081","925103102315013629321","37929227194915558802161"],"nonn":true,"definitions":[{"position":0,"source":"derived:shift_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["26","15"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":191813,"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-67d932ecc3429382"]},{"id":191814,"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-67d932ecc3429382","e-c418c95a7e1e218e"]},{"id":191815,"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-67d932ecc3429382","e-c418c95a7e1e218e"]},{"id":191816,"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-67d932ecc3429382"]},{"id":191817,"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-c418c95a7e1e218e"]}],"region_exact":{},"incoming_edges":[{"id":"e-c418c95a7e1e218e","operation":{"map":"A007318","operation":"basis_map"},"operation_detail":"A007318","conclusion_id":"n-f8abeed5fe1a08b5","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":"00e8c16b7a1a3f556b961c7a53af246d0a93230607485032292bdf1d52062f55","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-f562ab3e3b669a1b","role":"sequence","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*6^(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]"}]},{"id":"e-67d932ecc3429382","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"affine\",\"slope\":\"1\",\"intercept\":\"1\"}"},"operation_detail":"affine, shift 0","conclusion_id":"n-f8abeed5fe1a08b5","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":"7604702e6a7590ead876ed7126d2e7d1ce642432cb622864727458affd05807e","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-f562ab3e3b669a1b","role":"sequence","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*6^(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:             1;\n  1:            26,             15;\n  2:           676,            780,            225;\n  3:         17576,          30420,          17550,           3375;\n  4:        456976,        1054560,         912600,         351000,          50625;\n  5:      11881376,       34273200,       39546000,       22815000,        6581250,         759375;\n  6:     308915776,     1069323840,     1542294000,     1186380000,      513337500,      118462500,       11390625;\n  7:    8031810176,    32436156480,    56139501600,    53980290000,    31142475000,    10780087500,     2073093750,     170859375;\n  8:  208827064576,   963817221120,  1946169388800,  2245580064000,  1619408700000,   747419400000,   215601750000,   35538750000,   2562890625;\n  9: 5429503678976, 28191653717760, 65057662425600, 87577622496000, 75788327160000, 43724034900000, 16816936500000, 4158033750000, 599716406250, 38443359375;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (26+15*x)*P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[(26 + 15*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] = 1; for(n = 1, N, my(i = n + 1); v[i] = (26 + 15*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-e6ebe74518d42cbe","steps":["basis A013610","x \u21a6 x+1"],"edges":["e-aef71e51dba5316b","e-67d932ecc3429382"],"text":"A038259 \u2192 basis A013610 \u2192 x \u21a6 x+1"},"headline":"A038259 \u2192 basis A013610 \u2192 x \u21a6 x+1","chain":null}