{"id":"n-d9a911fe9fa9ccfa","revision":0,"first_index":0,"fingerprint":"f6-5938108d9525e299","name":"theta_plus_one of basis_map_A013609 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","1760","1452"],["8000","52800","87120","42592"],["160000","1408000","3484800","3407360","1171280"],["3200000","35200000","116160000","170368000","117128000","30921792"],["64000000","844800000","3484800000","6814720000","7027680000","3710615040","793659328"],["1280000000","19712000000","97574400000","238515200000","327958400000","259743052800","111112305920","19954863104"],["25600000000","450560000000","2601984000000","7632486400000","13118336000000","13852962816000","8888984473600","3192778096640","493882861824"],["512000000000","10137600000000","66908160000000","228974592000000","472260096000000","623383326720000","533339068416000","287350028697600","88898915128320","12072692177920"],["10240000000000","225280000000000","1672704000000000","6542131200000000","15742003200000000","24935333068800000","26666953420800000","19156668579840000","8889891512832000","2414538435584000","292159150705664"],["204800000000000","4956160000000000","40888320000000000","179908608000000000","494748672000000000","914295545856000000","1173345950515200000","1053616771891200000","651925377607680000","265599227914240000","64275013155246080","7011819616935936"],["4096000000000000","108134400000000000","981319680000000000","4797562880000000000","14842460160000000000","31347275857920000000","46933838020608000000","50573605050777600000","39115522656460800000","21247938233139200000","7713001578629529600","1682836708064624640","167115034203639808"],["81920000000000000","2342912000000000000","23194828800000000000","124736634880000000000","428782182400000000000","1018786465382400000000","1743256840765440000000","2191522885533696000000","2034007178135961600000","1381115985154048000000","668460136814559232000","218768772048401203200","43449908892946350080","3959340810363158528"],["1638400000000000000","50462720000000000000","541212672000000000000","3175114342400000000000","12005901107200000000000","31695578923008000000000","61013989426790400000000","87660915421347840000000","94920334979678208000000","77342495168626688000000","46792209577019146240000","20418418724517445632000","6082987245012489011200","1108615426901684387840","93327319101417308160"],["32768000000000000000","1081344000000000000000","12489523200000000000000","79377858560000000000000","327433666560000000000000","950867367690240000000000","2033799647559680000000000","3287284328300544000000000","4068014356271923200000000","3867124758431334400000000","2807532574621148774400000","1531381404338808422400000","608298724501248901120000","166292314035252658176000","27998195730425192448000","2190081088246592831488"],["655360000000000000000","23068672000000000000000","285474816000000000000000","1953916518400000000000000","8731564441600000000000000","27661596150988800000000000","65081588721909760000000000","116881220561797120000000000","162720574250876928000000000","176782846099718144000000000","149735070646461267968000000","98008409877683739033600000","48663897960099912089600000","17737846830426950205440000","4479711316868030791680000","700825948238909706076160","51193145437764107436032"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["3612","190512","9631440","472977792","22740274368","1075850221824","50257574648064","2323836479139840","106547902568561664","4850776266556502016","219514706259803394048","9882465991617815543808","442903201453603318579200","19771198912888852141375488","879499461318507325901832192"],"nonn":true,"definitions":[{"position":0,"source":"derived:theta_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["400","1760","1452"]],"recurrence":{"denominator":{"coeffs":[["10","22"],["0","11"]]},"terms":[{"coeff":{"coeffs":[["200","880","726"],["0","220","242"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194854,"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-4d735f64f038e397"]},{"id":194855,"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-4d735f64f038e397"]},{"id":194856,"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-4d735f64f038e397"]},{"id":194857,"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-4d735f64f038e397"]}],"region_exact":{},"incoming_edges":[{"id":"e-4d735f64f038e397","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-d9a911fe9fa9ccfa","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":"ff7e82ef14c91e40bf954d9126c1adffb23fc21714b4d75b09e10b3430f19a9b","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-7d2bbb701a5b14c4","role":"sequence","name":"basis_map_A013609 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,             1760,              1452;\n  1:            8000,            52800,             87120,              42592;\n  2:          160000,          1408000,           3484800,            3407360,            1171280;\n  3:         3200000,         35200000,         116160000,          170368000,          117128000,           30921792;\n  4:        64000000,        844800000,        3484800000,         6814720000,         7027680000,         3710615040,           793659328;\n  5:      1280000000,      19712000000,       97574400000,       238515200000,       327958400000,       259743052800,        111112305920,         19954863104;\n  6:     25600000000,     450560000000,     2601984000000,      7632486400000,     13118336000000,     13852962816000,       8888984473600,       3192778096640,       493882861824;\n  7:    512000000000,   10137600000000,    66908160000000,    228974592000000,    472260096000000,    623383326720000,     533339068416000,     287350028697600,     88898915128320,     12072692177920;\n  8:  10240000000000,  225280000000000,  1672704000000000,   6542131200000000,  15742003200000000,  24935333068800000,   26666953420800000,   19156668579840000,   8889891512832000,   2414538435584000,   292159150705664;\n  9: 204800000000000, 4956160000000000, 40888320000000000, 179908608000000000, 494748672000000000, 914295545856000000, 1173345950515200000, 1053616771891200000, 651925377607680000, 265599227914240000, 64275013155246080, 7011819616935936;\n","recurrence_sentence":"The row polynomials satisfy (10+(11*n+22)*x)*P(n,x) = (200+(220*n+880)*x+(242*n+726)*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 400 + 1760*x + 1452*x^2.","mathematica":"P[0, x_] := 400 + 1760*x + 1452*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((200 + (220*n + 880)*x + (242*n + 726)*x^2)*P[n - 1, x])/(10 + (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 + 1760*x + 1452*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((200 + (220*n + 880)*x + (242*n + 726)*x^2)*v[i - 1])/(10 + (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":["basis A013609","\u03b8+1"],"edges":["e-21c2803b3d0372c9","e-4d735f64f038e397"],"text":"A038301 \u2192 basis A013609 \u2192 \u03b8+1"},"headline":"A038301 \u2192 basis A013609 \u2192 \u03b8+1","chain":null}