{"id":"n-ded0a7d0241d1354","revision":0,"first_index":1,"fingerprint":"f6-6f934efd2b61885b","name":"shift_x_plus_one of Triangle read by rows, T(n, k) = Sum_{j=0..n} C(n-j, n-k)*E2(n, j), where E2 are the second-order Eulerian numbers A201637, for n >= 0 and 0 <= k <= n.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":-1,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[["1"],["2","1"],["8","10","3"],["52","106","70","15"],["472","1336","1390","630","105"],["5504","19944","28476","20020","6930","945"],["78416","346368","629916","603568","321300","90090","10395"],["1320064","6878624","15211176","18500300","13362580","5731110","1351350","135135"],["25637824","153948704","401077056","592017800","541428580","314113800","112882770","22972950","2027025"],["564275648","3836381792","11508826736","19991614456","22156780360","16246009780","7879932060","2437835400","436486050","34459425"],["13879795712","105387408512","357799940960","715192452832","931957034008","827150364040","506337872040","211073422560","57340483200","9166207050","654729075"],["377332365568","3164688644352","11996202556416","27126097014016","40651166796240","42388469803680","31379569901680","16490614500360","6028570728180","1460045837250","210822762150","13749310575"],["11234698041088","103147816922112","431825383032576","1089930304468096","1847055323153040","2213850662063040","1924239256619680","1221970282893360","562659617520000","183189703296600","40028826187350","5270569053750","316234143225"],["363581406419456","3626865494340352","16620158924369664","46322220333479168","87600829894098976","118692480772866000","118532552089471520","88332059657361520","49117885782966000","20127206326827600","5907394343951100","1175969367272700","142305364451250","7905853580625"],["12707452084972544","136854354285477376","681359641827743232","2078462469946206464","4339624960538478208","6559979986353419808","7403380188840075440","6336491361981901120","4132860512223162720","2044084039831033200","754629817074833700","201639322630746000","36862359961927500","4126855569086250","213458046676875"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","3","21","243","3933","81819","2080053","62490339","2166106509","85092601707","3735939709989","181287330220467","9634718677393917","556569415611455931","34723276781195740437"],"nonn":true,"definitions":[{"position":0,"source":"derived:shift_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":1,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["0","-1"],["1","1"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["2","3","1"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":184274,"position":0,"claim":"real_rooted","from_index":1,"region_key":"[-2, -1)","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":1,"region":{"lower":{"closed":true,"value":"-2"},"upper":{"closed":false,"value":"-1"}}},"label":"Real-rooted","description":"Every row P_n, n >= 1, is zero or real-rooted with all roots in [-2, -1)","region_exact":null,"edges":["e-155cf4a2764fba90"]},{"id":184275,"position":1,"claim":"one_signed_coefficients","from_index":1,"region_key":null,"provenance":"derived_from_edges","claim_data":{"alternating":false,"claim":"one_signed_coefficients","from_index":1},"label":"Coefficients of one sign","description":"Every nonzero row, n >= 1: the coefficients of P_n have one sign","region_exact":null,"edges":["e-155cf4a2764fba90"]},{"id":184276,"position":2,"claim":"hadamard_kernel","from_index":1,"region_key":null,"provenance":"derived_from_edges","claim_data":{"claim":"hadamard_kernel","from_index":1},"label":"Hadamard kernel (Malo)","description":"Rows P_n, n >= 1, are Hadamard kernels (preserve real-rootedness)","region_exact":null,"edges":["e-155cf4a2764fba90"]},{"id":184277,"position":3,"claim":"interlacing","from_index":2,"region_key":null,"provenance":"edges","claim_data":{"claim":"interlacing","from_index":2,"kind":"weak","orientation":"unordered"},"label":"Interlacing of consecutive rows","description":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 2","region_exact":null,"edges":["e-155cf4a2764fba90"]}],"region_exact":{},"incoming_edges":[{"id":"e-155cf4a2764fba90","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"affine\",\"slope\":\"1\",\"intercept\":\"1\"}"},"operation_detail":"affine, shift 0","conclusion_id":"n-ded0a7d0241d1354","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":"f01978d17b83b0987b5095a1cab2aadda5eaf6e62ff9ee1739f23958aaf051e6","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":1,"region":{"lower":{"closed":true,"value":"-2"},"upper":{"closed":false,"value":"-1"}}},{"claim":"interlacing","from_index":2,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-5b857304d1bafe7a","role":"sequence","name":"Triangle read by rows, T(n, k) = Sum_{j=0..n} C(n-j, n-k)*E2(n, j), where E2 are the second-order Eulerian numbers A201637, for n >= 0 and 0 <= k <= n.","uses":{"claim":"real_rooted","from_index":1,"region":{"lower":{"closed":true,"value":"-1"},"upper":{"closed":false,"value":"0"}}},"uses_text":"Every row P_n, n >= 1, is zero or real-rooted with all roots in [-1, 0)"}]}],"used_by":[],"used_by_total":0,"links":[],"oeis":[],"bfiles":[],"oeis_texts":[{"oeis_id":"","target":"node","first_row":1,"oeis_offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n   1:         1;\n   2:         2,          1;\n   3:         8,         10,           3;\n   4:        52,        106,          70,          15;\n   5:       472,       1336,        1390,         630,         105;\n   6:      5504,      19944,       28476,       20020,        6930,         945;\n   7:     78416,     346368,      629916,      603568,      321300,       90090,      10395;\n   8:   1320064,    6878624,    15211176,    18500300,    13362580,     5731110,    1351350,     135135;\n   9:  25637824,  153948704,   401077056,   592017800,   541428580,   314113800,  112882770,   22972950,   2027025;\n  10: 564275648, 3836381792, 11508826736, 19991614456, 22156780360, 16246009780, 7879932060, 2437835400, 436486050, 34459425;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (n+(n-1)*x)*P(n-1,x) + (2+3*x+x^2)*d/dx P(n-1,x) for n >= 2, with P(1,x) = 1.","mathematica":"P[1, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[(n + (n - 1)*x)*P[n - 1, x] + (2 + 3*x + x^2)*D[P[n - 1, x], x]];\nTable[CoefficientList[P[n, x], x], {n, 1, 10}] // Flatten","pari":"P(N) = {my(v = vector(N)); v[1] = 1; for(n = 2, N, my(i = n); v[i] = (n + (n - 1)*x)*v[i - 1] + (2 + 3*x + x^2)*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, v[i])))};\nT(10)","reading":{"first_row":1,"offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-5b857304d1bafe7a","steps":["x \u21a6 x+1"],"edges":["e-155cf4a2764fba90"],"text":"A112493 \u2192 x \u21a6 x+1"},"headline":"A112493 \u2192 x \u21a6 x+1","chain":null}