{"id":"n-f268fc4a434ae144","revision":0,"first_index":0,"fingerprint":"f6-958257b1df4e6ac9","name":"theta_plus_one of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*9^(i-j)*11^j.","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":true,"rows":[["400","880","363"],["8000","26400","21780","5324"],["160000","704000","871200","425920","73205"],["3200000","17600000","29040000","21296000","7320500","966306"],["64000000","422400000","871200000","851840000","439230000","115956720","12400927"],["1280000000","9856000000","24393600000","29814400000","20497400000","8116970400","1736129780","155897368"],["25600000000","225280000000","650496000000","954060800000","819896000000","432905088000","138890382400","24943578880","1929229929"],["512000000000","5068800000000","16727040000000","28621824000000","29516256000000","19480728960000","8333422944000","2244922099200","347261387220","23579476910"],["10240000000000","112640000000000","418176000000000","817766400000000","983875200000000","779229158400000","416671147200000","149661473280000","34726138722000","4715895382000","285311670611"],["204800000000000","2478080000000000","10222080000000000","22488576000000000","30921792000000000","28571735808000000","18333530476800000","8231381030400000","2546583506280000","518748492020000","62768567534420","3423740047332"],["4096000000000000","54067200000000000","245329920000000000","599695360000000000","927653760000000000","979602370560000000","733341219072000000","395106289459200000","152795010376800000","41499879361600000","7532228104130400","821697611359680","40799568897373"],["81920000000000000","1171456000000000000","5798707200000000000","15592079360000000000","26798886400000000000","31837077043200000000","27238388136960000000","17121272543232000000","7945340539593600000","2697492158504000000","652793102357968000","106820689476758400","10607887913316980","483317970015034"],["1638400000000000000","25231360000000000000","135303168000000000000","396889292800000000000","750368819200000000000","990486841344000000000","953343584793600000000","684850901729280000000","370782558514368000000","151059560876224000000","45695517165057760000","9969931017830784000","1485104307864377200","135329031604209520","5696247503748615"],["32768000000000000000","540672000000000000000","3122380800000000000000","9922232320000000000000","20464604160000000000000","29714605240320000000000","31778119493120000000000","25681908814848000000000","15890681079187200000000","7552978043811200000000","2741731029903465600000","747744826337308800000","148510430786437720000","20299354740631428000","1708874251124584500","66835970710650416"],["655360000000000000000","11534336000000000000000","71368704000000000000000","244239564800000000000000","545722777600000000000000","864424879718400000000000","1016899823779840000000000","913134535639040000000000","635627243167488000000000","345278996288512000000000","146225654928184832000000","47855668885587763200000","11880834462915017600000","2165264505667352320000","273419880179933520000","21387510627408133120","781145407680726737"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["1643","61504","2234325","79422806","2777027647","95850397548","3274001079209","110875834867330","3727986724654611","124583499621081752","4141581734113987453","137053324379207658414","4517246065027332879335","148361011303276078782916","4857309232311849987499857"],"nonn":true,"definitions":[{"position":0,"source":"derived:theta_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["400","880","363"]],"recurrence":{"denominator":{"coeffs":[["20","22"],["0","11"]]},"terms":[{"coeff":{"coeffs":[["400","880","363"],["0","220","121"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194484,"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-e347eb88b83b4271"]},{"id":194485,"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-e347eb88b83b4271"]},{"id":194486,"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-e347eb88b83b4271"]},{"id":194487,"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-e347eb88b83b4271"]}],"region_exact":{},"incoming_edges":[{"id":"e-e347eb88b83b4271","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-f268fc4a434ae144","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":"129a972296a88a98291ee547c05c156ebd2967e3097be6353a8a1dffbebc3ce4","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-c02d1829f7ed6fe0","role":"sequence","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*9^(i-j)*11^j.","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:             400,              880,               363;\n  1:            8000,            26400,             21780,              5324;\n  2:          160000,           704000,            871200,            425920,             73205;\n  3:         3200000,         17600000,          29040000,          21296000,           7320500,            966306;\n  4:        64000000,        422400000,         871200000,         851840000,         439230000,         115956720,          12400927;\n  5:      1280000000,       9856000000,       24393600000,       29814400000,       20497400000,        8116970400,        1736129780,        155897368;\n  6:     25600000000,     225280000000,      650496000000,      954060800000,      819896000000,      432905088000,      138890382400,      24943578880,       1929229929;\n  7:    512000000000,    5068800000000,    16727040000000,    28621824000000,    29516256000000,    19480728960000,     8333422944000,    2244922099200,     347261387220,     23579476910;\n  8:  10240000000000,  112640000000000,   418176000000000,   817766400000000,   983875200000000,   779229158400000,   416671147200000,  149661473280000,   34726138722000,   4715895382000,   285311670611;\n  9: 204800000000000, 2478080000000000, 10222080000000000, 22488576000000000, 30921792000000000, 28571735808000000, 18333530476800000, 8231381030400000, 2546583506280000, 518748492020000, 62768567534420, 3423740047332;\n","recurrence_sentence":"The row polynomials satisfy (20+(11*n+22)*x)*P(n,x) = (400+(220*n+880)*x+(121*n+363)*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 400 + 880*x + 363*x^2.","mathematica":"P[0, x_] := 400 + 880*x + 363*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((400 + (220*n + 880)*x + (121*n + 363)*x^2)*P[n - 1, x])/(20 + (11*n + 22)*x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 400 + 880*x + 363*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((400 + (220*n + 880)*x + (121*n + 363)*x^2)*v[i - 1])/(20 + (11*n + 22)*x)); 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-cfc5b48d32898a3e","steps":["x \u21a6 x+1","\u03b8+1"],"edges":["e-1af17fa5254d2e99","e-e347eb88b83b4271"],"text":"A038301 \u2192 x \u21a6 x+1 \u2192 \u03b8+1"},"headline":"A038301 \u2192 x \u21a6 x+1 \u2192 \u03b8+1","chain":null}