{"id":"n-806f1ce683f83758","revision":0,"first_index":0,"fingerprint":"f6-9f03a9f476d759af","name":"shift_x_plus_one of Stirling2 triangle with scaled diagonals (powers of 10).","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":false,"rows":[["131","32","1"],["1761","823","63","1"],["27601","20304","2806","104","1"],["506651","510105","110410","7110","155","1"],["10674211","13427056","4146115","408120","15065","216","1"],["251686881","375564687","154200221","21481635","1187235","28301","287","1"],["6524202561","11222549728","5800220588","1082436656","83445670","2930816","48748","368","1"],["183991725451","358202158609","223502487636","53517950284","5484706626","265150326","6417684","78636","459","1"],["5605930566051","12176286808960","8892317783845","2637126714320","346495504510","22043937552","726310410","12823920","120495","560","1"],["183428104316161","439154309231111","366951939537755","130874333251365","21410594321930","1734754319782","74509651062","1774687530","23839365","177155","671","1"],["6409252239788881","16744707388924592","15740894432442466","6589223375720920","1309552359658895","131701186892352","7149167672284","220166490192","3960013695","41799120","251746","792","1"],["237948848526923611","672865996056054633","702389136066268638","338281147223355986","79961453062942165","9772274820429407","654703745937956","25299454473436","584289657237","8206899415","69830046","347698","923","1"],["9346097294356706051","28415917487029443664","32595363630811061991","17770374294741550664","4904928994454876751","715352441865413352","58027202595164803","2750702730865232","79208434229353","1420169502752","15996281301","112012264","468741","1064","1"],["386966245108218203201","1257987637138196262815","1571983418884418885305","957377869493409709255","303689375105210932565","52023060103954979403","5027833017282680605","287170798533596835","10086485500984035","224245182137405","3208078076203","29606014165","173555655","618905","1215","1"],["16836505067572362863361","58244375002698717428416","78710809707357472984920","52972051072322654267360","19046689005056916240220","3778766022483425512448","429101160228377080808","29095586538582747040","1225223045515510470","33056056704482240","583598510154088","6811232468768","52422262620","260991360","802520","1376","1"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["164","2648","50816","1134432","28670784","804149248","24715835136","824970675712","29680940570624","1143630343333888","46932704319655936","2041899451523121152","93808892693297577984","4535352923617766637568","230048651493823155798016"],"nonn":true,"definitions":[{"position":0,"source":"derived:shift_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["131","32","1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["11","1"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["10","10"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":193252,"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-08f635fbfff79d29"]},{"id":193253,"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-08f635fbfff79d29"]},{"id":193254,"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-08f635fbfff79d29"]},{"id":193255,"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-08f635fbfff79d29"]}],"region_exact":{},"incoming_edges":[{"id":"e-08f635fbfff79d29","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"affine\",\"slope\":\"1\",\"intercept\":\"1\"}"},"operation_detail":"affine, shift 0","conclusion_id":"n-806f1ce683f83758","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":"962725cec36af067ce0f1955f6d70856760417dc51e5b10204c44b61e4a1cbe8","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-65034f179833a7f6","role":"sequence","name":"Stirling2 triangle with scaled diagonals (powers of 10).","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:             131,              32,               1;\n  1:            1761,             823,              63,               1;\n  2:           27601,           20304,            2806,             104,              1;\n  3:          506651,          510105,          110410,            7110,            155,             1;\n  4:        10674211,        13427056,         4146115,          408120,          15065,           216,           1;\n  5:       251686881,       375564687,       154200221,        21481635,        1187235,         28301,         287,          1;\n  6:      6524202561,     11222549728,      5800220588,      1082436656,       83445670,       2930816,       48748,        368,        1;\n  7:    183991725451,    358202158609,    223502487636,     53517950284,     5484706626,     265150326,     6417684,      78636,      459,      1;\n  8:   5605930566051,  12176286808960,   8892317783845,   2637126714320,   346495504510,   22043937552,   726310410,   12823920,   120495,    560,   1;\n  9: 183428104316161, 439154309231111, 366951939537755, 130874333251365, 21410594321930, 1734754319782, 74509651062, 1774687530, 23839365, 177155, 671, 1;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (11+x)*P(n-1,x) + (10+10*x)*d/dx P(n-1,x) for n >= 1, with P(0,x) = 131 + 32*x + x^2.","mathematica":"P[0, x_] := 131 + 32*x + x^2;\nP[n_, x_] := P[n, x] = Expand[(11 + x)*P[n - 1, x] + (10 + 10*x)*D[P[n - 1, x], x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 131 + 32*x + x^2; for(n = 1, N, my(i = n + 1); v[i] = (11 + x)*v[i - 1] + (10 + 10*x)*deriv(v[i - 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-65034f179833a7f6","steps":["x \u21a6 x+1"],"edges":["e-08f635fbfff79d29"],"text":"A075505 \u2192 x \u21a6 x+1"},"headline":"A075505 \u2192 x \u21a6 x+1","chain":null}