{"id":"n-be026e31b07cd533","revision":0,"first_index":1,"fingerprint":"f6-b8ec366cca2adfe1","name":"theta_plus_one of Triangle read by rows. A generalization of unsigned Lah numbers, called L[4,1].","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","2"],["12","24","3"],["120","360","90","4"],["1680","6720","2520","224","5"],["30240","151200","75600","10080","450","6"],["665280","3991680","2494800","443520","29700","792","7"],["17297280","121080960","90810720","20180160","1801800","72072","1274","8"],["518918400","4151347200","3632428800","968647680","108108000","5765760","152880","1920","9"],["17643225600","158789030400","158789030400","49401031680","6616209600","441080640","15593760","293760","2754","10"],["670442572800","6704425728000","7542478944000","2681770291200","419026608000","33522128640","1481407200","37209600","523260","3800","11"],["28158588057600","309744468633600","387180585792000","154872234316800","27655756128000","2581203905280","136882025280","4297708800","80582040","877800","5082","12"],["1295295050649600","15543540607795200","21372368335718400","9498830371430400","1908247172832000","203546365102080","12593146325760","474467051520","11120321520","161515200","1402632","6624","13"],["64764752532480000","841941782922240000","1262912674383360000","617423974142976000","137817851371200000","16538142164544000","1169363587392000","51400597248000","1445641797600","26246220000","303903600","2152800","8450","14"],["3497296636753920000","48962152914554880000","79563498486151680000","42433865859280896000","10419029563662720000","1389203941821696000","110504859008544000","5551264502784000","182150866497600","3968428464000","57437780400","542505600","3194100","10584","15"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","4","39","574","11149","267576","7625779","251244274","9385370649","391695498604","18053185416511","910334098032294","49834906800150949","2942621413895522464","186381289703015572299"],"nonn":true,"definitions":[{"position":0,"source":"derived:theta_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":1,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["-6","-1"],["0","1"]]},"terms":[{"coeff":{"coeffs":[["36","-6","0"],["-24","-10","1"],["0","4","0"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","-24","0"],["0","0","4"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":189298,"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-5c725484e0f53b4e"]},{"id":189299,"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-5c725484e0f53b4e"]},{"id":189300,"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-5c725484e0f53b4e"]}],"region_exact":{},"incoming_edges":[{"id":"e-5c725484e0f53b4e","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-be026e31b07cd533","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":"40227c04d0c3b4fe48245bf3d3425368b60e63373d4c24a6f4354b05ca647506","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-be41df8499a2681b","role":"sequence","name":"Triangle read by rows. A generalization of unsigned Lah numbers, called L[4,1].","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":[],"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,            2;\n   3:          12,           24,            3;\n   4:         120,          360,           90,           4;\n   5:        1680,         6720,         2520,         224,          5;\n   6:       30240,       151200,        75600,       10080,        450,         6;\n   7:      665280,      3991680,      2494800,      443520,      29700,       792,        7;\n   8:    17297280,    121080960,     90810720,    20180160,    1801800,     72072,     1274,      8;\n   9:   518918400,   4151347200,   3632428800,   968647680,  108108000,   5765760,   152880,   1920,    9;\n  10: 17643225600, 158789030400, 158789030400, 49401031680, 6616209600, 441080640, 15593760, 293760, 2754, 10;\n","recurrence_sentence":"The row polynomials satisfy -(6-(n-1)*x)*P(n,x) = -(24*n-36-(4*n^2-10*n-6)*x-n*x^2)*P(n-1,x) - (24*x-4*n*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[Together[(-(24*n - 36 - (4*n^2 - 10*n - 6)*x - n*x^2)*P[n - 1, x] - (24*x - 4*n*x^2)*D[P[n - 1, x], x])/(-6 + (n - 1)*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] = (-(24*n - 36 - (4*n^2 - 10*n - 6)*x - n*x^2)*v[i - 1] - (24*x - 4*n*x^2)*deriv(v[i - 1], x))/(-6 + (n - 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-be41df8499a2681b","steps":["\u03b8+1"],"edges":["e-5c725484e0f53b4e"],"text":"A048854 \u2192 \u03b8+1"},"headline":"A048854 \u2192 \u03b8+1","chain":null}