{"id":"n-2a12cbaae87129d3","revision":0,"first_index":1,"fingerprint":"f6-ef4623c9a3a95b50","name":"theta_plus_one of basis_map_A008277 of basis-map coefficients of Triangle of coefficients in expansion of x^n in terms of Laguerre polynomials L_n(x).","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":-1,"palindromic":0,"gamma_positive":0,"nonnegative":0,"rr_by_factors":false,"rows":[["1"],["-1","-2"],["2","12","6"],["-6","-84","-108","-24"],["24","720","1800","960","120"],["-120","-7440","-32400","-31200","-9000","-720"],["720","90720","650160","1008000","504000","90720","5040"],["-5040","-1280160","-14605920","-34292160","-26460000","-8043840","-987840","-40320"],["40320","20563200","365904000","1253145600","1401321600","640120320","130394880","11612160","362880"],["-362880","-370863360","-10157011200","-49504089600","-77157360000","-49700770560","-14936140800","-2177280000","-146966400","-3628800"],["3628800","7424524800","310273286400","2115590400000","4476669120000","3907934553600","1625372179200","344881152000","37721376000","1995840000","39916800"],["-39916800","-163419379200","-10361523110400","-97636652467200","-275306169600000","-317015712921600","-175305484569600","-50782791628800","-8002320480000","-680581440000","-28979596800","-479001600"],["479001600","3923023104000","375956380800000","4852343688192000","17982919963008000","26789540172595200","19163880684748800","7279337499033600","1549818298828800","188367379200000","12808981785600","448345497600","6227020800"],["-6227020800","-102011054745600","-14738797801728000","-258838449053184000","-1247740382528640000","-2370117684885350400","-2150221168263168000","-1041771612930048000","-287789051886336000","-46874023612416000","-4525337917900800","-251596548403200","-7366565606400","-87178291200"],["87178291200","2856483889459200","621171739822233600","14770077372610560000","91871499635435520000","220051923956850585600","249433596676251187200","151081959340376064000","52669323441326592000","11039081890636800000","1418762002987929600","111382471968768000","5156595924480000","128152088064000","1307674368000"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","-3","20","-222","3624","-80880","2349360","-85715280","3823464960","-204154473600","12827905977600","-935284154112000","78199351122816000","-7422977576452838400","793076921155020902400"],"nonn":false,"definitions":[{"position":0,"source":"derived:theta_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":1,"initial_polynomials":[["1"],["-1","-2"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["0","0","-2"],["0","0","3"],["0","0","-1"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["0","0","-2"],["0","0","3"],["0","0","-1"]]},"deriv_order":1,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["1","2"],["-1","-2"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","1"],["0","-1"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":188270,"position":0,"claim":"real_rooted","from_index":1,"region_key":"(-inf, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 1, is zero or real-rooted with all roots in (-inf, 0]","region_exact":null,"edges":["e-f5bf2d88202df5b4"]},{"id":188271,"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-f5bf2d88202df5b4"]},{"id":188272,"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-f5bf2d88202df5b4"]}],"region_exact":{},"incoming_edges":[{"id":"e-f5bf2d88202df5b4","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"euler_polynomial\",\"coefficients\":[{\"numerator\":[\"1\"],\"denominator\":[\"1\"]},{\"numerator\":[\"1\"],\"denominator\":[\"1\"]}]}"},"operation_detail":"euler_polynomial, shift 0","conclusion_id":"n-2a12cbaae87129d3","premise_count":1,"theorem":"Laguerre's theorem on multiplier sequences: if f is a real polynomial whose roots are all real and <= 0, then (f(k))_(k >= 0) is a multiplier sequence, so x^k -> f(k) x^k maps every real-rooted polynomial to a real-rooted polynomial or zero (Laguerre; see T. Craven and G. Csordas, Multiplier sequences for fields, Illinois J. Math. 21 (1977); Polya--Schur, Theorem 40 of P. Branden, arXiv:1410.6601: sum_k f(k) x^k / k! = f(theta) e^x = C e^x x^m prod (1 + x/a_j), a_j > 0); f(k) has one sign for k >= 0, so coefficients of one sign stay of one sign; applied to f(n, .) for each n","lean_route":null,"lean_declarations":["RealRooted.isMultiplierSequence_eval_of_roots_nonpos","RealRooted.isPFMultiplierSequence_eval_of_roots_nonpos","RealRooted.isMultiplierSequence_iff_preserves"],"certificate_hash":"ae4d997ddba60104761bc92a12393cd41797462ca129868f42e0bc87e6195d40","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-cbbf33139cbba3a7","role":"sequence","name":"basis_map_A008277 of basis-map coefficients of Triangle of coefficients in expansion of x^n in terms of Laguerre polynomials L_n(x).","uses":{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 1, is zero or real-rooted with all roots in (-inf, 0]"}]}],"used_by":[],"used_by_total":0,"links":[{"id":"l-0319ab3fc793b17c","kind":"fingerprint_related","node_a_id":"n-726472edd5bb65cd","node_b_id":"n-2a12cbaae87129d3","fingerprint":"f6-ef4623c9a3a95b50","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-ef4623c9a3a95b50"},"other_id":"n-726472edd5bb65cd","other":{"id":"n-726472edd5bb65cd","name":"reversal of Triangle read by rows: T(n, k) = (k+1)*S2(n+1, k+1), for n >= k >= 0, and S2 = A048993 (Stirling2).","first_index":1,"fingerprint":"f6-ef4623c9a3a95b50","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["2","1"],["3","6","1"]],"card_rows":[["1"],["2","1"],["3","6","1"],["4","18","14","1"]],"row_sums_preview":["1","3","10","37","151","674","3263","17007"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-3cb22164e2f83fe1","steps":["\u03b8+1","reverse"],"edges":["e-907e3c6c6275331d","e-6878e8dc6c11eb74"],"text":"A008277 \u2192 \u03b8+1 \u2192 reverse"},"headline":"A008277 \u2192 \u03b8+1 \u2192 reverse","chain":null}},{"id":"l-0bac1f6a9a4d40c5","kind":"fingerprint_related","node_a_id":"n-f25b32370a8d627e","node_b_id":"n-2a12cbaae87129d3","fingerprint":"f6-ef4623c9a3a95b50","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-ef4623c9a3a95b50"},"other_id":"n-f25b32370a8d627e","other":{"id":"n-f25b32370a8d627e","name":"Triangle read by rows: T(n, k) = (k+1)*S2(n+1, k+1), for n >= k >= 0, and S2 = A048993 (Stirling2).","first_index":1,"fingerprint":"f6-ef4623c9a3a95b50","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["1","2"],["1","6","3"]],"card_rows":[["1"],["1","2"],["1","6","3"],["1","14","18","4"]],"row_sums_preview":["1","3","10","37","151","674","3263","17007"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":["A321331"],"derivation":{"root":"n-3cb22164e2f83fe1","steps":["\u03b8+1"],"edges":["e-907e3c6c6275331d"],"text":"A008277 \u2192 \u03b8+1"},"headline":"A321331: Triangle read by rows: T(n, k) = (k+1)*S2(n+1, k+1), for n >= k >= 0, and S2 = A048993 (Stirling2).","chain":"A008277 \u2192 \u03b8+1"}},{"id":"l-2b21bea41d311f5a","kind":"fingerprint_related","node_a_id":"n-8009a5ae59546693","node_b_id":"n-2a12cbaae87129d3","fingerprint":"f6-ef4623c9a3a95b50","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-ef4623c9a3a95b50"},"other_id":"n-8009a5ae59546693","other":{"id":"n-8009a5ae59546693","name":"theta_plus_one of basis_map_A008277 of basis-map coefficients of A scaled Hermite triangle.","first_index":1,"fingerprint":"f6-ef4623c9a3a95b50","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1","6","3"],["1","14","18","4"],["1","30","75","40","5"]],"card_rows":[["1","6","3"],["1","14","18","4"],["1","30","75","40","5"],["1","62","270","260","75","6"]],"row_sums_preview":["10","37","151","674","3263","17007","94828","562595"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-5fe240122e98ffb3","steps":["basis A008277","\u03b8+1"],"edges":["e-66762082773dd3e0","e-cca221d00aced9cb"],"text":"basis-map coefficients of A112227 \u2192 basis A008277 \u2192 \u03b8+1"},"headline":"basis-map coefficients of A112227 \u2192 basis A008277 \u2192 \u03b8+1","chain":null}},{"id":"l-446e70a9bec9954e","kind":"fingerprint_related","node_a_id":"n-89eec6e4b941b335","node_b_id":"n-2a12cbaae87129d3","fingerprint":"f6-ef4623c9a3a95b50","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-ef4623c9a3a95b50"},"other_id":"n-89eec6e4b941b335","other":{"id":"n-89eec6e4b941b335","name":"theta_plus_one of basis_map_A008277 of a(n) = 1 if n is of the form m(m+3)/2, otherwise 0.","first_index":0,"fingerprint":"f6-ef4623c9a3a95b50","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["1","2"],["1","6","3"]],"card_rows":[["1"],["1","2"],["1","6","3"],["1","14","18","4"]],"row_sums_preview":["1","3","10","37","151","674","3263","17007"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-e65f982fa1b436c5","steps":["D+1","\u03b8+1"],"edges":["e-7b7980dbcf1b9283","e-0e0496e74cbb6cbe"],"text":"A048993 \u2192 D+1 \u2192 \u03b8+1"},"headline":"A048993 \u2192 D+1 \u2192 \u03b8+1","chain":null}},{"id":"l-497616479b1db3eb","kind":"fingerprint_related","node_a_id":"n-2bf61be27e9c8ecc","node_b_id":"n-2a12cbaae87129d3","fingerprint":"f6-ef4623c9a3a95b50","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-ef4623c9a3a95b50"},"other_id":"n-2bf61be27e9c8ecc","other":{"id":"n-2bf61be27e9c8ecc","name":"theta_plus_one of basis_map_A008277 of Infinite lower triangular matrix with 2^k in the right diagonal and the rest zeros. Triangle, T(n,k), n zeros followed by the term 2^k. Triangle by columns, (2^k, 0, 0, 0, ...).","first_index":0,"fingerprint":"f6-ef4623c9a3a95b50","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["2","4"],["4","24","12"]],"card_rows":[["1"],["2","4"],["4","24","12"],["8","112","144","32"]],"row_sums_preview":["1","6","40","296","2416","21568","208832","2176896"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-ae7910bbe46f8a41","steps":["basis A008277","\u03b8+1"],"edges":["e-dbb6853ea73a13a7","e-c45fc04d2187c325"],"text":"A130123 \u2192 basis A008277 \u2192 \u03b8+1"},"headline":"A130123 \u2192 basis A008277 \u2192 \u03b8+1","chain":null}},{"id":"l-a20e390508c4fe11","kind":"fingerprint_related","node_a_id":"n-e2d7d0de7b9b5322","node_b_id":"n-2a12cbaae87129d3","fingerprint":"f6-ef4623c9a3a95b50","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-ef4623c9a3a95b50"},"other_id":"n-e2d7d0de7b9b5322","other":{"id":"n-e2d7d0de7b9b5322","name":"derivative of Triangle of Stirling numbers of 2nd kind, S(n,k), n >= 0, 0 <= k <= n.","first_index":0,"fingerprint":"f6-ef4623c9a3a95b50","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[[],["1"],["1","2"]],"card_rows":[["1"],["1","2"],["1","6","3"],["1","14","18","4"]],"row_sums_preview":["0","1","3","10","37","151","674","3263"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-3cb22164e2f83fe1","steps":["\u03b8+1"],"edges":["e-41f88f689ebf91d9"],"text":"A008277 \u2192 \u03b8+1"},"headline":"A008277 \u2192 \u03b8+1","chain":null}}],"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:      -1,         -2;\n   3:       2,         12,            6;\n   4:      -6,        -84,         -108,          -24;\n   5:      24,        720,         1800,          960,          120;\n   6:    -120,      -7440,       -32400,       -31200,        -9000,         -720;\n   7:     720,      90720,       650160,      1008000,       504000,        90720,         5040;\n   8:   -5040,   -1280160,    -14605920,    -34292160,    -26460000,     -8043840,      -987840,      -40320;\n   9:   40320,   20563200,    365904000,   1253145600,   1401321600,    640120320,    130394880,    11612160,     362880;\n  10: -362880, -370863360, -10157011200, -49504089600, -77157360000, -49700770560, -14936140800, -2177280000, -146966400, -3628800;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -(n^2-3*n+2)*x^2*P(n-2,x) - (n^2-3*n+2)*x^2*d/dx P(n-2,x) - (n-1+(2*n-2)*x)*P(n-1,x) - (n-1)*x*d/dx P(n-1,x) for n >= 3, with P(1,x) = 1, P(2,x) = -1 - 2*x.","mathematica":"P[1, x_] := 1;\nP[2, x_] := -1 - 2*x;\nP[n_, x_] := P[n, x] = Expand[-(n^2 - 3*n + 2)*x^2*P[n - 2, x] - (n^2 - 3*n + 2)*x^2*D[P[n - 2, x], x] - (n - 1 + (2*n - 2)*x)*P[n - 1, x] - (n - 1)*x*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; v[2] = -1 - 2*x; for(n = 3, N, my(i = n); v[i] = -(n^2 - 3*n + 2)*x^2*v[i - 2] - (n^2 - 3*n + 2)*x^2*deriv(v[i - 2], x) - (n - 1 + (2*n - 2)*x)*v[i - 1] - (n - 1)*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, v[i])))};\nT(10)","reading":{"first_row":1,"offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-cf1765de6ac2bd4b","steps":["basis A008277","\u03b8+1"],"edges":["e-2b559797932c7395","e-f5bf2d88202df5b4"],"text":"basis-map coefficients of A021012 \u2192 basis A008277 \u2192 \u03b8+1"},"headline":"basis-map coefficients of A021012 \u2192 basis A008277 \u2192 \u03b8+1","chain":null}