{"id":"n-8c4f40de5f6f2604","revision":0,"first_index":0,"fingerprint":"f6-36bdef187abcb42b","name":"one_plus_derivative of basis_map_A013611 of Triangle of coefficients of Chebyshev's S(n,x+4) polynomials (exponents of x in increasing order).","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":false,"rows":[["1"],["9","4"],["64","72","16"],["407","772","432","64"],["2431","6584","6192","2304","256"],["13952","49392","66272","41344","11520","1024"],["77889","341432","598896","532480","248320","55296","4096"],["426089","2230284","4846320","5631040","3738880","1391616","258048","16384"],["2294976","13976280","36283440","52226560","45296640","23984128","7426048","1179648","65536"],["12210295","84849420","256419360","441032320","473777920","327527424","144162816","38207488","5308416","262144"],["64321599","502388080","1733271840","3471151360","4455619840","3814207488","2190942208","824967168","191102976","23592960","1048576"],["336061696","2914999776","11308957120","25862352640","38656442880","39536982016","28115017728","13809844224","4542627840","934543360","103809024","4194304"],["1743741761","16633349488","71693266464","184414465280","314803851520","374916059136","318486798336","193613660160","83050168320","24250941440","4486856704","452984832","16777216"],["8994757513","93589571348","443776043808","1268545638016","2436044491520","3313497037824","3277387530240","2379711774720","1263031418880","480779960320","126208704512","21214789632","1962934272","67108864"],["46162842944","520339770216","2692201264208","8468233949696","18074442783744","27658614364160","31244459151360","26412713902080","16741032591360","7883113103360","2696854634496","642970025984","99019128832","8455716864","268435456"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","13","152","1675","17767","183504","1858409","18538661","182733256","1783757603","17272614095","166125832608","1588562920657","15114811761469","143188881664760"],"nonn":true,"definitions":[{"position":0,"source":"derived:one_plus_derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["0","0","0"],["184","64","-128"],["0","0","0"],["128","0","0"]]},"terms":[{"coeff":{"coeffs":[["444","144","-448","-256"],["1084","656","-448","-256"],["960","768","0","0"],["320","256","0","0"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["-21","-544","-1312","-1024","-256"],["336","640","256","0","0"],["336","640","256","0","0"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":184984,"position":0,"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-6209317c3fbba5f4"]},{"id":184985,"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-6209317c3fbba5f4"]},{"id":184986,"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-6209317c3fbba5f4"]},{"id":184987,"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-6209317c3fbba5f4"]}],"region_exact":{},"incoming_edges":[{"id":"e-6209317c3fbba5f4","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"derivative_polynomial\",\"coefficients\":[{\"numerator\":[\"1\"],\"denominator\":[\"1\"]},{\"numerator\":[\"1\"],\"denominator\":[\"1\"]}]}"},"operation_detail":"derivative_polynomial, shift 0","conclusion_id":"n-8c4f40de5f6f2604","premise_count":1,"theorem":"Laguerre's theorem on differential operators: if phi is a real polynomial with only real roots, then phi(D) maps every real-rooted polynomial to a real-rooted polynomial or zero (write phi(D) = C D^j prod (1 + c_i D); D preserves real-rootedness by Rolle's theorem and p + c p' is real-rooted for every real c by Rolle's theorem applied to e^(x/c) p; Polya--Schur 1914); when the coefficients of phi have one sign, coefficients of one sign stay of one sign; applied to phi(n, .) for each n","lean_route":null,"lean_declarations":["RealRooted.splits_add_C_mul_derivative_all","RealRooted.splits_C_mul_add_derivative","Polynomial.Splits.derivative"],"certificate_hash":"70860c622c46a655ccfb470f077a02f66f3c795faac3974645b34f8da5e847f0","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-f7cf3d554e6e9f71","role":"sequence","name":"basis_map_A013611 of Triangle of coefficients of Chebyshev's S(n,x+4) polynomials (exponents of x in increasing order).","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:        9,        4;\n  2:       64,       72,        16;\n  3:      407,      772,       432,        64;\n  4:     2431,     6584,      6192,      2304,       256;\n  5:    13952,    49392,     66272,     41344,     11520,      1024;\n  6:    77889,   341432,    598896,    532480,    248320,     55296,      4096;\n  7:   426089,  2230284,   4846320,   5631040,   3738880,   1391616,    258048,    16384;\n  8:  2294976, 13976280,  36283440,  52226560,  45296640,  23984128,   7426048,  1179648,   65536;\n  9: 12210295, 84849420, 256419360, 441032320, 473777920, 327527424, 144162816, 38207488, 5308416, 262144;\n","recurrence_sentence":"The row polynomials satisfy (128*n^3+184*n+64*n*x-128*n*x^2)*P(n,x) = (320*n^3+960*n^2+1084*n+444+(256*n^3+768*n^2+656*n+144)*x-(448*n+448)*x^2-(256*n+256)*x^3)*P(n-1,x) + (336*n^2+336*n-21+(640*n^2+640*n-544)*x+(256*n^2+256*n-1312)*x^2-1024*x^3-256*x^4)*d/dx P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[Together[((320*n^3 + 960*n^2 + 1084*n + 444 + (256*n^3 + 768*n^2 + 656*n + 144)*x - (448*n + 448)*x^2 - (256*n + 256)*x^3)*P[n - 1, x] + (336*n^2 + 336*n - 21 + (640*n^2 + 640*n - 544)*x + (256*n^2 + 256*n - 1312)*x^2 - 1024*x^3 - 256*x^4)*D[P[n - 1, x], x])/(128*n^3 + 184*n + 64*n*x - 128*n*x^2)]];\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] = ((320*n^3 + 960*n^2 + 1084*n + 444 + (256*n^3 + 768*n^2 + 656*n + 144)*x - (448*n + 448)*x^2 - (256*n + 256)*x^3)*v[i - 1] + (336*n^2 + 336*n - 21 + (640*n^2 + 640*n - 544)*x + (256*n^2 + 256*n - 1312)*x^2 - 1024*x^3 - 256*x^4)*deriv(v[i - 1], x))/(128*n^3 + 184*n + 64*n*x - 128*n*x^2)); 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-30cb3cad216ed189","steps":["basis A013611","D+1"],"edges":["e-21c167d0f859d82c","e-6209317c3fbba5f4"],"text":"A207823 \u2192 basis A013611 \u2192 D+1"},"headline":"A207823 \u2192 basis A013611 \u2192 D+1","chain":null}