{"id":"n-b552d7a4ad6358e9","revision":0,"first_index":0,"fingerprint":"f6-6e3a14f88852ba15","name":"theta_plus_one of basis_map_A013611 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","40","48"],["25","400","1680","2560","1280"],["125","3000","21600","70400","115200","92160","28672"],["625","20000","204000","1024000","2912000","4915200","4874240","2621440","589824"],["3125","125000","1650000","11200000","45600000","119040000","204288000","229376000","162201600","65536000","11534336"],["15625","750000","12150000","104000000","552000000","1958400000","4820480000","8355840000","10174464000","8519680000","4671406080","1509949440","218103808"],["78125","4375000","84000000","868000000","5684000000","25536000000","82163200000","193740800000","338042880000","435814400000","409757286400","273049190400","122138132480","32883343360","4026531840"],["390625","25000000","555000000","6720000000","52360000000","284928000000","1133977600000","3391488000000","7739596800000","13565952000000","18247319552000","18673041408000","14274894233600","7892002406400","2979633561600","687194767360","73014444032"],["1953125","140625000","3543750000","49200000000","444600000000","2842560000000","13491072000000","48955392000000","138334003200000","307650560000000","541039656960000","751954821120000","820997259264000","695482712064000","447549014016000","211312390963200","68998649610240","13915694039040","1305670057984"],["9765625","781250000","22031250000","345000000000","3547500000000","26064000000000","143740800000000","613785600000000","2070696960000000","5591449600000000","12178708889600000","21471166464000000","30627908812800000","35196921446400000","32297818521600000","23321672417280000","12950937010176000","5334349381632000","1534162318131200","274877906944000","23089744183296"],["48828125","4296875000","134062500000","2337500000000","26950000000000","223740000000000","1406328000000000","6910464000000000","27120614400000000","86248448000000000","224399065088000000","480428949504000000","848636464332800000","1236457750528000000","1481147154432000000","1449229339852800000","1146007333109760000","720716987105280000","351878080626688000","128505421496320000","33018334182113280","5321636278435840","404620279021568"],["244140625","23437500000","801562500000","15400000000000","196762500000000","1821600000000000","12855920000000000","71470080000000000","320018688000000000","1172131840000000000","3549819863040000000","8954094551040000000","18895658549248000000","33428619657216000000","49568393723904000000","61453465812992000000","63384295204454400000","53958103636377600000","37467834401423360000","20863233137049600000","9086391579731558400","2980116315924070400","691900677126881280","101330991615836160","7036874417766400"],["1220703125","126953125000","4722656250000","99125000000000","1390187500000000","14199900000000000","111191080000000000","690060800000000000","3472634880000000000","14401587200000000000","49794143027200000000","144726019276800000000","355607541186560000000","741269611479040000000","1313012459765760000000","1975992583192576000000","2521647830741811200000","2718208565968896000000","2459915030993305600000","1852367855157248000000","1146148925296607232000","572475022652735488000","224999221656918425600","66962896959465062400","14179301951799296000","1902770842564034560","121597189939003392"],["6103515625","683593750000","27480468750000","625625000000000","9555000000000000","106743000000000000","918426600000000000","6294745600000000000","35176901760000000000","162978816000000000000","633714937856000000000","2086558236672000000000","5855330100838400000000","14067139765862400000000","29014473415065600000000","51445539715153920000000","78407374150303744000000","102558510448902144000000","114776974716986982400000","109373231978250240000000","88132124869719490560000","59478598275007774720000","33179823852931252224000","15022741719512776704000","5378986804940636160000","1465133548774306611200","285145410406962954240","35308221078584688640","2089670227099910144"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","93","5945","331157","17161329","850554061","40897238953","1923792217605","89002703163617","4064326941622589","183661265195012121","8228090157123421813","365968806091305213265","16178022545362555420077","711404285680245480947849"],"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","-16"],["0","20","32"]]},"terms":[{"coeff":{"coeffs":[["25","200","560","640","256"],["0","100","560","960","512"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":192902,"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-3bf33a28a804d241"]},{"id":192903,"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-3bf33a28a804d241"]},{"id":192904,"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-3bf33a28a804d241"]}],"region_exact":{},"incoming_edges":[{"id":"e-3bf33a28a804d241","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-b552d7a4ad6358e9","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":"2562687e88851fc177da992c6d58cfca47148cfd782a16cba707bb6c1fe0fe26","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-08dfc533c843ef45","role":"sequence","name":"basis_map_A013611 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, 40, 48;\n 2: 25, 400, 1680, 2560, 1280;\n 3: 125, 3000, 21600, 70400, 115200, 92160, 28672;\n 4: 625, 20000, 204000, 1024000, 2912000, 4915200, 4874240, 2621440, 589824;\n 5: 3125, 125000, 1650000, 11200000, 45600000, 119040000, 204288000, 229376000, 162201600, 65536000, 11534336;\n 6: 15625, 750000, 12150000, 104000000, 552000000, 1958400000, 4820480000, 8355840000, 10174464000, 8519680000, 4671406080, 1509949440, 218103808;\n 7: 78125, 4375000, 84000000, 868000000, 5684000000, 25536000000, 82163200000, 193740800000, 338042880000, 435814400000, 409757286400, 273049190400, 122138132480, 32883343360, 4026531840;\n 8: 390625, 25000000, 555000000, 6720000000, 52360000000, 284928000000, 1133977600000, 3391488000000, 7739596800000, 13565952000000, 18247319552000, 18673041408000, 14274894233600, 7892002406400, 2979633561600, 687194767360, 73014444032;\n 9: 1953125, 140625000, 3543750000, 49200000000, 444600000000, 2842560000000, 13491072000000, 48955392000000, 138334003200000, 307650560000000, 541039656960000, 751954821120000, 820997259264000, 695482712064000, 447549014016000, 211312390963200, 68998649610240, 13915694039040, 1305670057984;\n","recurrence_sentence":"The row polynomials satisfy (5+20*n*x+(32*n-16)*x^2)*P(n,x) = (25+(100*n+200)*x+(560*n+560)*x^2+(960*n+640)*x^3+(512*n+256)*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 + (100*n + 200)*x + (560*n + 560)*x^2 + (960*n + 640)*x^3 + (512*n + 256)*x^4)*P[n - 1, x])/(5 + 20*n*x + (32*n - 16)*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 + (100*n + 200)*x + (560*n + 560)*x^2 + (960*n + 640)*x^3 + (512*n + 256)*x^4)*v[i - 1])/(5 + 20*n*x + (32*n - 16)*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 A013611","\u03b8+1"],"edges":["e-a99971f11d0aad5a","e-3bf33a28a804d241"],"text":"A272866 \u2192 basis A013611 \u2192 \u03b8+1"},"headline":"A272866 \u2192 basis A013611 \u2192 \u03b8+1","chain":null}