{"id":"n-515d78eac02765ac","revision":0,"first_index":0,"fingerprint":"f6-0136bddfb709905a","name":"theta_plus_one of basis_map_A013609 of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-3/2) where m = k if k=0 and 0<=k<=2n.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":2,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[["1"],["5","20","12"],["25","200","420","320","80"],["125","1500","5400","8800","7200","2880","448"],["625","10000","51000","128000","182000","153600","76160","20480","2304"],["3125","62500","412500","1400000","2850000","3720000","3192000","1792000","633600","128000","11264"],["15625","375000","3037500","13000000","34500000","61200000","75320000","65280000","39744000","16640000","4561920","737280","53248"],["78125","2187500","21000000","108500000","355250000","798000000","1283800000","1513600000","1320480000","851200000","400153600","133324800","29818880","4014080","245760"],["390625","12500000","138750000","840000000","3272500000","8904000000","17718400000","26496000000","30232800000","26496000000","17819648000","9117696000","3485081600","963379200","181862400","20971520","1114112"],["1953125","70312500","885937500","6150000000","27787500000","88830000000","210798000000","382464000000","540367200000","600880000000","528359040000","367165440000","200438784000","84897792000","27316224000","6448742400","1052835840","106168320","4980736"],["9765625","390625000","5507812500","43125000000","221718750000","814500000000","2245950000000","4795200000000","8088660000000","10920800000000","11893270400000","10483968000000","7477516800000","4296499200000","1971302400000","711720960000","197615616000","40697856000","5852364800","524288000","22020096"],["48828125","2148437500","33515625000","292187500000","1684375000000","6991875000000","21973875000000","53988000000000","105939900000000","168454000000000","219139712000000","234584448000000","207186636800000","150934784000000","90402048000000","44226969600000","17486684160000","5498634240000","1342308352000","245104640000","31488737280","2537553920","96468992"],["244140625","11718750000","200390625000","1925000000000","12297656250000","56925000000000","200873750000000","558360000000000","1250073000000000","2289320000000000","3466620960000000","4372116480000000","4613197888000000","4080642048000000","3025414656000000","1875410944000000","967167590400000","411667660800000","142928445440000","39793459200000","8665458278400","1421030195200","164961976320","12079595520","419430400"],["1220703125","63476562500","1180664062500","12390625000000","86886718750000","443746875000000","1737360625000000","5391100000000000","13564980000000000","28128100000000000","48627092800000000","70667001600000000","86818247360000000","90487013120000000","80139920640000000","60302508032000000","38477292339200000","20738285568000000","9383831142400000","3533111296000000","1093052792832000","272977362944000","53643994726400","7982599372800","845152256000","56706990080","1811939328"],["6103515625","341796875000","6870117187500","78203125000000","597187500000000","3335718750000000","14350415625000000","49177700000000000","137409772500000000","318318000000000000","618862244000000000","1018827264000000000","1429523950400000000","1717180147200000000","1770902918400000000","1569993277440000000","1196401583104000000","782459338752000000","437839411609600000","208612884480000000","84049343938560000","28361605775360000","7910686457856000","1790850367488000","320612597760000","43664382361600","4248997724160","263066746880","7784628224"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","37","1045","26353","624169","14204989","314464573","6821652745","145701093457","3074024910421","64214851858021","1330441377942817","27375210841081465","559968674523738733","11396358518271662989"],"nonn":true,"definitions":[{"position":0,"source":"derived:theta_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["5","0","-4"],["0","10","8"]]},"terms":[{"coeff":{"coeffs":[["25","100","140","80","16"],["0","50","140","120","32"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":190068,"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-38a1b026cd861f4d"]},{"id":190069,"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-38a1b026cd861f4d"]},{"id":190070,"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-38a1b026cd861f4d"]}],"region_exact":{},"incoming_edges":[{"id":"e-38a1b026cd861f4d","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-515d78eac02765ac","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":"1d48fc7707887ba30461538f66c14a4a0d4f6d28354fba658335cba03fccebba","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-feae95e8ddee939b","role":"sequence","name":"basis_map_A013609 of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-3/2) where m = k if k=0 and 0<=k<=2n.","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: 1;\n 1: 5, 20, 12;\n 2: 25, 200, 420, 320, 80;\n 3: 125, 1500, 5400, 8800, 7200, 2880, 448;\n 4: 625, 10000, 51000, 128000, 182000, 153600, 76160, 20480, 2304;\n 5: 3125, 62500, 412500, 1400000, 2850000, 3720000, 3192000, 1792000, 633600, 128000, 11264;\n 6: 15625, 375000, 3037500, 13000000, 34500000, 61200000, 75320000, 65280000, 39744000, 16640000, 4561920, 737280, 53248;\n 7: 78125, 2187500, 21000000, 108500000, 355250000, 798000000, 1283800000, 1513600000, 1320480000, 851200000, 400153600, 133324800, 29818880, 4014080, 245760;\n 8: 390625, 12500000, 138750000, 840000000, 3272500000, 8904000000, 17718400000, 26496000000, 30232800000, 26496000000, 17819648000, 9117696000, 3485081600, 963379200, 181862400, 20971520, 1114112;\n 9: 1953125, 70312500, 885937500, 6150000000, 27787500000, 88830000000, 210798000000, 382464000000, 540367200000, 600880000000, 528359040000, 367165440000, 200438784000, 84897792000, 27316224000, 6448742400, 1052835840, 106168320, 4980736;\n","recurrence_sentence":"The row polynomials satisfy (5+10*n*x+(8*n-4)*x^2)*P(n,x) = (25+(50*n+100)*x+(140*n+140)*x^2+(120*n+80)*x^3+(32*n+16)*x^4)*P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[Together[((25 + (50*n + 100)*x + (140*n + 140)*x^2 + (120*n + 80)*x^3 + (32*n + 16)*x^4)*P[n - 1, x])/(5 + 10*n*x + (8*n - 4)*x^2)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 1; for(n = 1, N, my(i = n + 1); v[i] = ((25 + (50*n + 100)*x + (140*n + 140)*x^2 + (120*n + 80)*x^3 + (32*n + 16)*x^4)*v[i - 1])/(5 + 10*n*x + (8*n - 4)*x^2)); 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-b30e7a5b4198051a","steps":["basis A013609","\u03b8+1"],"edges":["e-89275777750acd05","e-38a1b026cd861f4d"],"text":"A272866 \u2192 basis A013609 \u2192 \u03b8+1"},"headline":"A272866 \u2192 basis A013609 \u2192 \u03b8+1","chain":null}