{"id":"n-f37732e25746403d","revision":0,"first_index":0,"fingerprint":"f6-604d756e1453b62f","name":"theta_plus_one of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*2^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":[["196","448","192"],["2744","9408","8064","2048"],["38416","175616","225792","114688","20480"],["537824","3073280","5268480","4014080","1433600","196608"],["7529536","51631104","110638080","112394240","60211200","16515072","1835008"],["105413504","843308032","2168506368","2753658880","1966899200","809238528","179830784","16777216"],["1475789056","13492928512","40478785536","61681958912","55073177600","30211571712","10070523904","1879048192","150994944"],["20661046784","212513624064","728618139648","1295321137152","1387844075520","951664508928","422962003968","118380036096","19025362944","1342177280"],["289254654976","3305767485440","12750817443840","25906422743040","32383028428800","26646606249984","14803670138880","5524401684480","1331775406080","187904819200","11811160064"],["4049565169664","50908819275776","218180654039040","498698637803520","712426625433600","683929560416256","455953040277504","212689464852480","68364470845440","14468671078400","1818918649856","103079215104"],["56693912375296","777516512575488","3665434987855872","9309041238999040","14960959134105600","16414309449990144","12766685127770112","7146366019043328","2871307775508480","810245580390400","152789166587904","17317308137472","893353197568"],["793714773254144","11792333774061568","60646287980888064","169424550549782528","302543840267468800","373425539987275776","331933813322022912","216773102577647616","104515603028508672","36866173907763200","9269209439666176","1575875040509952","162590281957376","7696581394432"],["11112006825558016","177792109208928256","990556037021171712","3018837446159761408","5929859269242388480","8132378426389561344","8132378426389561344","6069646872174133248","3414176365597949952","1445154017184317440","454191262543642624","102957169313316864","15933847631822848","1508529953308672","65970697666560"],["155568095557812224","2666881638133923840","16001289828803543040","52829655307795824640","113206404230991052800","170779946954180788224","189755496615756431360","159328230394570997760","102425290967938498560","50580390601451110400","19076033026832990208","5405251388949135360","1115369334227599360","158395645097410560","13853846509977600","562949953421312"],["2177953337809371136","39825432462799929344","256020637260856688640","910295599149712670720","2113186212311832985600","3477700737976045142016","4250523124192944062464","3965502623153767055360","2867908147102277959680","1618572499246435532800","712171899668431634432","242155262224921264128","62460682716745564160","11826874833939988480","1551630809117491200","126100789566373888","4785074604081152"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["836","22264","574992","14523872","360754240","8843632512","214514778368","5158332112384","123141460214784","2921591507056640","68949559566536704","1619730331512201216","37896547756333088768","883498620826750517248","20532010202311807795200"],"nonn":true,"definitions":[{"position":0,"source":"derived:theta_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["196","448","192"]],"recurrence":{"denominator":{"coeffs":[["7","8"],["0","4"]]},"terms":[{"coeff":{"coeffs":[["98","224","96"],["0","56","32"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":193648,"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-2c665a7ccc958e82"]},{"id":193649,"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-2c665a7ccc958e82"]},{"id":193650,"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-2c665a7ccc958e82"]},{"id":193651,"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-2c665a7ccc958e82"]}],"region_exact":{},"incoming_edges":[{"id":"e-2c665a7ccc958e82","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-f37732e25746403d","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":"e40c0d2bb93ed252d4bc2d33213263f5e458ab2b2f8d64e8bfa6715ecae94535","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-8afe6c02ab69bf6d","role":"sequence","name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*2^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":[{"id":"l-bb04574949aaf5d8","kind":"fingerprint_related","node_a_id":"n-14677aff3512ef46","node_b_id":"n-f37732e25746403d","fingerprint":"f6-604d756e1453b62f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-604d756e1453b62f"},"other_id":"n-14677aff3512ef46","other":{"id":"n-14677aff3512ef46","name":"theta_plus_one of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*6^(i-j).","first_index":0,"fingerprint":"f6-604d756e1453b62f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["7","8"],["49","112","48"]],"card_rows":[["1"],["7","8"],["49","112","48"],["343","1176","1008","256"]],"row_sums_preview":["1","15","209","2783","35937","453871","5636785","69090879"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-22693abd431a71f2","steps":["basis A013611","\u03b8+1"],"edges":["e-1b27bff9bafb5517","e-e6b27e29b49c899a"],"text":"A038255 \u2192 basis A013611 \u2192 \u03b8+1"},"headline":"A038255 \u2192 basis A013611 \u2192 \u03b8+1","chain":null}}],"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:           196,            448,             192;\n  1:          2744,           9408,            8064,            2048;\n  2:         38416,         175616,          225792,          114688,           20480;\n  3:        537824,        3073280,         5268480,         4014080,         1433600,          196608;\n  4:       7529536,       51631104,       110638080,       112394240,        60211200,        16515072,         1835008;\n  5:     105413504,      843308032,      2168506368,      2753658880,      1966899200,       809238528,       179830784,        16777216;\n  6:    1475789056,    13492928512,     40478785536,     61681958912,     55073177600,     30211571712,     10070523904,      1879048192,      150994944;\n  7:   20661046784,   212513624064,    728618139648,   1295321137152,   1387844075520,    951664508928,    422962003968,    118380036096,    19025362944,     1342177280;\n  8:  289254654976,  3305767485440,  12750817443840,  25906422743040,  32383028428800,  26646606249984,  14803670138880,   5524401684480,  1331775406080,   187904819200,   11811160064;\n  9: 4049565169664, 50908819275776, 218180654039040, 498698637803520, 712426625433600, 683929560416256, 455953040277504, 212689464852480, 68364470845440, 14468671078400, 1818918649856, 103079215104;\n","recurrence_sentence":"The row polynomials satisfy (7+(4*n+8)*x)*P(n,x) = (98+(56*n+224)*x+(32*n+96)*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 196 + 448*x + 192*x^2.","mathematica":"P[0, x_] := 196 + 448*x + 192*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((98 + (56*n + 224)*x + (32*n + 96)*x^2)*P[n - 1, x])/(7 + (4*n + 8)*x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 196 + 448*x + 192*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((98 + (56*n + 224)*x + (32*n + 96)*x^2)*v[i - 1])/(7 + (4*n + 8)*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-ea9b82d727693fb6","steps":["basis A013611","\u03b8+1"],"edges":["e-0eb3975e7d8d74fc","e-2c665a7ccc958e82"],"text":"A038328 \u2192 basis A013611 \u2192 \u03b8+1"},"headline":"A038328 \u2192 basis A013611 \u2192 \u03b8+1","chain":null}