{"id":"n-f9712f7c5bf7d24d","revision":0,"first_index":0,"fingerprint":"f6-38b9e01bfeccb468","name":"theta_plus_one of basis_map_A013610 of Unsigned 2-Stirling numbers of the first kind.","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":[["12","42","27"],["60","282","324","108"],["360","2052","3213","1944","405"],["2520","16524","31725","26460","10125","1458"],["20160","147312","328158","338580","180225","48114","5103"],["181440","1446768","3616326","4359852","2891700","1081836","214326","17496"],["1814400","15556320","42673716","58063824","45266445","21228480","5929686","909792","59049"],["19958400","182005920","539414316","809396928","715670235","396472482","139526226","30338064","3720087","196830"],["239500800","2303821440","7291998432","11870420400","11623281300","7334082630","3061968399","842432400","147032010","14762250","649539"],["3113510400","31386683520","105163176096","183483458928","195616733400","137186886870","65474878392","21449798568","4754625480","682015950","57159432","2125764"],["43589145600","458094631680","1613524541184","2989421129376","3426697238580","2624836656420","1396802401533","524782477296","138957826887","25396974900","3050884683","216827928","6908733"],["653837184000","7132954348800","26264293960320","51295415105376","62610787813860","51708659905188","30138964320465","12660773964696","3855508264179","844147379790","129573287415","13237132428","808321761","22320522"],["10461394944000","118050292684800","452326997934720","925783817527296","1194130411666920","1052737394612904","663203738795598","305905975391016","104418244357713","26358052290570","4858858951947","635852150388","55953828567","2968629426","71744535"],["177843714048000","2069623345305600","8220785281971840","17547632889702912","23771906314065000","22195405190420280","14959044440670330","7474242971803608","2807542821025800","796147703465400","169582174741980","26711206762968","3017734574400","231240607920","10761680250","229582512"],["3201186852864000","38320282499788800","157287440129368320","348740533142539776","493697936989555920","485096156158199040","346946718098536920","185824525860477504","75761340808301577","23689134732463200","5679766566791460","1035797929979904","141130644318846","13911934952160","936983627100","38569862016","731794257"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["81","774","7974","88812","1067652","13809744","191501712","2836699488","44729949600","748371052800","13245377644800","247308983308800","4858930025510400","100219728020428800","2165436838633420800"],"nonn":true,"definitions":[{"position":0,"source":"derived:theta_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["12","42","27"],["60","282","324","108"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["-9","-18","-9"],["-6","-6","0"],["-1","0","0"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["7","6"],["2","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":189567,"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-714a577a45ac6396"]},{"id":189568,"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-714a577a45ac6396"]},{"id":189569,"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-714a577a45ac6396"]},{"id":189570,"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-714a577a45ac6396"]}],"region_exact":{},"incoming_edges":[{"id":"e-714a577a45ac6396","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-f9712f7c5bf7d24d","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":"dc3d7a9f228b15a786e1b5e6ca36ed18a488393e33148cef5b48d845d36e2417","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-0d23d1c7119dd8ef","role":"sequence","name":"basis_map_A013610 of Unsigned 2-Stirling numbers of the first kind.","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":[{"id":"l-9b361474e1404c86","kind":"fingerprint_related","node_a_id":"n-50475f3c9faa4edc","node_b_id":"n-f9712f7c5bf7d24d","fingerprint":"f6-38b9e01bfeccb468","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-38b9e01bfeccb468"},"other_id":"n-50475f3c9faa4edc","other":{"id":"n-50475f3c9faa4edc","name":"theta_plus_one of basis_map_A013610 of Triangle read by rows: T(n,k) = (-1)^(n+k)*Sum_{j=1..k} s(n,j), where s(n,j) are the signed Stirling numbers of the first kind (n >= 2; 1 <= k <= n-1; s(n,j) = A008275(n,j)).","first_index":0,"fingerprint":"f6-38b9e01bfeccb468","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["3","6"],["12","42","27"]],"card_rows":[["1"],["3","6"],["12","42","27"],["60","282","324","108"]],"row_sums_preview":["1","9","81","774","7974","88812","1067652","13809744"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-914700b1060feeb2","steps":["basis A013610","\u03b8+1"],"edges":["e-8500cb477569290a","e-a867c35fbcdc2b35"],"text":"A136124 \u2192 basis A013610 \u2192 \u03b8+1"},"headline":"A136124 \u2192 basis A013610 \u2192 \u03b8+1","chain":null}}],"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:         12,          42,           27;\n  1:         60,         282,          324,          108;\n  2:        360,        2052,         3213,         1944,          405;\n  3:       2520,       16524,        31725,        26460,        10125,         1458;\n  4:      20160,      147312,       328158,       338580,       180225,        48114,        5103;\n  5:     181440,     1446768,      3616326,      4359852,      2891700,      1081836,      214326,       17496;\n  6:    1814400,    15556320,     42673716,     58063824,     45266445,     21228480,     5929686,      909792,      59049;\n  7:   19958400,   182005920,    539414316,    809396928,    715670235,    396472482,   139526226,    30338064,    3720087,    196830;\n  8:  239500800,  2303821440,   7291998432,  11870420400,  11623281300,   7334082630,  3061968399,   842432400,  147032010,  14762250,   649539;\n  9: 3113510400, 31386683520, 105163176096, 183483458928, 195616733400, 137186886870, 65474878392, 21449798568, 4754625480, 682015950, 57159432, 2125764;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -(n^2+6*n+9+(6*n+18)*x+9*x^2)*P(n-2,x) + (2*n+7+6*x)*P(n-1,x) for n >= 2, with P(0,x) = 12 + 42*x + 27*x^2, P(1,x) = 60 + 282*x + 324*x^2 + 108*x^3.","mathematica":"P[0, x_] := 12 + 42*x + 27*x^2;\nP[1, x_] := 60 + 282*x + 324*x^2 + 108*x^3;\nP[n_, x_] := P[n, x] = Expand[-(n^2 + 6*n + 9 + (6*n + 18)*x + 9*x^2)*P[n - 2, x] + (2*n + 7 + 6*x)*P[n - 1, x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 12 + 42*x + 27*x^2; v[2] = 60 + 282*x + 324*x^2 + 108*x^3; for(n = 2, N, my(i = n + 1); v[i] = -(n^2 + 6*n + 9 + (6*n + 18)*x + 9*x^2)*v[i - 2] + (2*n + 7 + 6*x)*v[i - 1]); 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-c237629cf5fdbb07","steps":["basis A013610","\u03b8+1"],"edges":["e-36015c56c1237184","e-714a577a45ac6396"],"text":"A143491 \u2192 basis A013610 \u2192 \u03b8+1"},"headline":"A143491 \u2192 basis A013610 \u2192 \u03b8+1","chain":null}