{"id":"n-45f4a43cf1c73c51","revision":0,"first_index":0,"fingerprint":"f6-97a44f7e6824c858","name":"one_plus_derivative of Triangle read by rows: T(n, k) (0<=k<=2n) is the number of Delannoy paths of length n, having k steps.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":2,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[["1"],["1","5","2"],["0","2","19","30","6"],["0","0","3","49","162","150","20"],["0","0","0","4","101","560","1070","700","70"],["0","0","0","0","5","181","1500","4690","6230","3150","252"],["0","0","0","0","0","6","295","3402","15540","33180","33642","13860","924"],["0","0","0","0","0","0","7","449","6860","42756","131250","211134","172788","60060","3432"],["0","0","0","0","0","0","0","8","649","12672","102900","425040","971586","1249248","856284","257400","12870"],["0","0","0","0","0","0","0","0","9","901","21870","223740","1189650","3621618","6558552","7009860","4131270","1093950","48620"],["0","0","0","0","0","0","0","0","0","10","1211","35750","449130","2977260","11561550","27663636","41355600","37777740","19520930","4618900","184756"],["0","0","0","0","0","0","0","0","0","0","11","1585","55902","845130","6816810","32738706","99219120","194752272","247451490","197227030","90715196","19399380","705432"],["0","0","0","0","0","0","0","0","0","0","0","12","2029","84240","1507506","14514500","84216132","313657344","775391760","1287010296","1420311750","1003594592","415852164","81124680","2704156"],["0","0","0","0","0","0","0","0","0","0","0","0","13","2549","123032","2570750","29089060","200187988","895638744","2707044912","5632748550","8086308230","7881321448","4999984444","1884796732","338019500","10400600"],["0","0","0","0","0","0","0","0","0","0","0","0","0","14","3151","174930","4218760","55382600","445368924","2351204856","8496928440","21524997780","38588600050","48753228524","42525557256","24472611800","8460888100","1404081000","40116600"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","8","57","384","2505","16008","100849","628736","3888657","23900040","146146473","889928064","5399971161","32668236552","197123362785"],"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","0"],["1","-1","-3","1"],["-2","0","2","0"],["1","0","0","0"]]},"terms":[{"coeff":{"coeffs":[["0","0","-4","-6","0","2"],["0","-6","-8","2","3","0"],["0","6","6","-2","0","0"],["0","-1","0","0","0","0"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","0","0","-2","-2","2","2"],["0","0","-3","-3","4","4","0"],["0","0","2","2","0","0","0"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":178247,"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-8e0655af91a16673"]},{"id":178248,"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-8e0655af91a16673"]},{"id":178249,"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-8e0655af91a16673"]}],"region_exact":{},"incoming_edges":[{"id":"e-8e0655af91a16673","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-45f4a43cf1c73c51","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":"b27aae662902791422a5897e39f6c54d5dc997447c29b70f7060963bf9d8860c","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-e4d248920a317259","role":"sequence","name":"Triangle read by rows: T(n, k) (0<=k<=2n) is the number of Delannoy paths of length n, having k steps.","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: 1, 5,  2;\n  2: 0, 2, 19, 30,   6;\n  3: 0, 0,  3, 49, 162, 150,   20;\n  4: 0, 0,  0,  4, 101, 560, 1070,  700,    70;\n  5: 0, 0,  0,  0,   5, 181, 1500, 4690,  6230,  3150,    252;\n  6: 0, 0,  0,  0,   0,   6,  295, 3402, 15540, 33180,  33642,  13860,     924;\n  7: 0, 0,  0,  0,   0,   0,    7,  449,  6860, 42756, 131250, 211134,  172788,   60060,    3432;\n  8: 0, 0,  0,  0,   0,   0,    0,    8,   649, 12672, 102900, 425040,  971586, 1249248,  856284,  257400,   12870;\n  9: 0, 0,  0,  0,   0,   0,    0,    0,     9,   901,  21870, 223740, 1189650, 3621618, 6558552, 7009860, 4131270, 1093950, 48620;\n","recurrence_sentence":"The row polynomials satisfy (n^3-2*n^2+n-n*x+(2*n^2-3*n)*x^2+n*x^3)*P(n,x) = -((n^3-6*n^2+6*n)*x-(6*n^2-8*n-4)*x^2+(2*n^2-2*n+6)*x^3-3*n*x^4-2*x^5)*P(n-1,x) + ((2*n^2-3*n)*x^2+(2*n^2-3*n-2)*x^3+(4*n-2)*x^4+(4*n+2)*x^5+2*x^6)*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[(-((n^3 - 6*n^2 + 6*n)*x - (6*n^2 - 8*n - 4)*x^2 + (2*n^2 - 2*n + 6)*x^3 - 3*n*x^4 - 2*x^5)*P[n - 1, x] + ((2*n^2 - 3*n)*x^2 + (2*n^2 - 3*n - 2)*x^3 + (4*n - 2)*x^4 + (4*n + 2)*x^5 + 2*x^6)*D[P[n - 1, x], x])/(n^3 - 2*n^2 + n - n*x + (2*n^2 - 3*n)*x^2 + n*x^3)]];\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] = (-((n^3 - 6*n^2 + 6*n)*x - (6*n^2 - 8*n - 4)*x^2 + (2*n^2 - 2*n + 6)*x^3 - 3*n*x^4 - 2*x^5)*v[i - 1] + ((2*n^2 - 3*n)*x^2 + (2*n^2 - 3*n - 2)*x^3 + (4*n - 2)*x^4 + (4*n + 2)*x^5 + 2*x^6)*deriv(v[i - 1], x))/(n^3 - 2*n^2 + n - n*x + (2*n^2 - 3*n)*x^2 + n*x^3)); 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-e4d248920a317259","steps":["D+1"],"edges":["e-8e0655af91a16673"],"text":"A109983 \u2192 D+1"},"headline":"A109983 \u2192 D+1","chain":null}