{"id":"n-a02b693528ef1fd1","revision":0,"first_index":0,"fingerprint":"f6-7a38cc12383be86e","name":"theta_plus_one of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*12^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":[["484","2112","1728"],["10648","69696","114048","55296"],["234256","2044416","5018112","4866048","1658880"],["5153632","56221440","183997440","267632640","182476800","47775744"],["113379904","1484246016","6071915520","11775836160","12043468800","6306398208","1337720832"],["2494357888","38095647744","187014998016","453369692160","618231398400","485592662016","206009008128","36691771392"],["54875873536","957833428992","5485773275136","15958613164032","27202181529600","28488102838272","18128792715264","6457751764992","990677827584"],["1207269217792","23706377367552","155169015496704","526634234413056","1077206388572160","1410161090494464","1196500319207424","639317424734208","196154209861632","26418075402240"],["26559922791424","579489224540160","4267147926159360","16551361652981760","39497567580979200","62047087981756416","65807517556408320","46883277813841920","21576963084779520","5811976588492800","697437190619136"],["584318301411328","14023639233871872","114738866458951680","500678690002698240","1365487336370995200","2502565881930842112","3185083849730162688","2836438307737436160","1740541688838881280","703249167207628800","168779800129830912","18260173718028288"],["12855002631049216","336567341612924928","3029106074516324352","14686574906745815040","45061082100242841600","94382484689963188224","140143689388127158272","149763942648536629248","114875751463366164480","61885926714271334400","22278933617137680384","4820685861559468032","474764516668735488"],["282810057883082752","8021521641774710784","78756757937424433152","420036042332930310144","1431941053407716966400","3374173827666183979008","5725870737857766752256","7138747932913579327488","6570892983704544608256","4424843760070400409600","2123925004833792196608","689358078203003928576","135782651767258349568","12270836738515009536"],["6221821273427820544","190048358897431609344","2021423453727227117568","11761009185322048684032","44103784444957682565120","115471726546798296170496","220446023407524019961856","314104909048197490409472","337305839830166623223808","272570375620336665231360","163542225372201999138816","70774096028841736667136","20910528372157785833472","3779417715462622937088","315535801847528816640"],["136880068015412051968","4479711316868030791680","51313056902306534522880","323427752596356338810880","1323113533348730476953600","3810566976044343773626368","8083020858275880731934720","12956827498238146479390720","15901561020564997951979520","14991370659118516587724800","10793786874565331943161856","5838862922379443275038720","2300158120937356441681920","623603923051332784619520","104126814609684509491200","8077716527296737705984"],["3011361496339065143296","105123892235836455911424","1290156859257992868003840","8757428377993648558571520","38811330311562760657305600","121938143233419000756043776","284522334211311001764102144","506755919931091951193948160","699668684904859909887098880","753851781715673976982732800","633235496641166140665495552","411055949735512806562725888","202413914642487366868008960","73169526971356380062023680","18326319371304473670451200","2843356217608451672506368","205981771446066811502592"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["4324","249688","13821712","743257696","39132965440","2027499535744","103724602417408","5252474404767232","263746386523350016","13150431719660738560","651752364325379313664","32134903999132774064128","1577303165007712586186752","77114434318544608009486336","3756954460149784104501575680"],"nonn":true,"definitions":[{"position":0,"source":"derived:theta_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["484","2112","1728"]],"recurrence":{"denominator":{"coeffs":[["11","24"],["0","12"]]},"terms":[{"coeff":{"coeffs":[["242","1056","864"],["0","264","288"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":195016,"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-6a790b752652e709"]},{"id":195017,"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-6a790b752652e709"]},{"id":195018,"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-6a790b752652e709"]},{"id":195019,"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-6a790b752652e709"]}],"region_exact":{},"incoming_edges":[{"id":"e-6a790b752652e709","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-a02b693528ef1fd1","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":"8ff08266e3eb2746411246973c2651fc95fe4f769549a4bff9b4b3e838aa4bbe","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-2a3c7d06bf210d3a","role":"sequence","name":"basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*12^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-9fc8c1b79114ffa7","kind":"fingerprint_related","node_a_id":"n-d5695c73bb22f8cc","node_b_id":"n-a02b693528ef1fd1","fingerprint":"f6-7a38cc12383be86e","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-7a38cc12383be86e"},"other_id":"n-d5695c73bb22f8cc","other":{"id":"n-d5695c73bb22f8cc","name":"theta_plus_one of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*3^j.","first_index":0,"fingerprint":"f6-7a38cc12383be86e","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["121","528","432"],["1331","8712","14256","6912"],["14641","127776","313632","304128","103680"]],"card_rows":[["121","528","432"],["1331","8712","14256","6912"],["14641","127776","313632","304128","103680"],["161051","1756920","5749920","8363520","5702400","1492992"]],"row_sums_preview":["1081","31211","863857","23226803","611452585","15839840123","405174228193","10258739071811"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-108b34f10b7468f4","steps":["basis A013611","\u03b8+1"],"edges":["e-8f18b93eb5dfe7b3","e-e1569d5656a649da"],"text":"A038281 \u2192 basis A013611 \u2192 \u03b8+1"},"headline":"A038281 \u2192 basis A013611 \u2192 \u03b8+1","chain":null}},{"id":"l-d2e57c9e9ad2db9c","kind":"fingerprint_related","node_a_id":"n-2ff8964283bcb6ae","node_b_id":"n-a02b693528ef1fd1","fingerprint":"f6-7a38cc12383be86e","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-7a38cc12383be86e"},"other_id":"n-2ff8964283bcb6ae","other":{"id":"n-2ff8964283bcb6ae","name":"theta_plus_one of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*12^j.","first_index":0,"fingerprint":"f6-7a38cc12383be86e","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["11","24"],["121","528","432"]],"card_rows":[["1"],["11","24"],["121","528","432"],["1331","8712","14256","6912"]],"row_sums_preview":["1","35","1081","31211","863857","23226803","611452585","15839840123"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-9e472291b944d56e","steps":["\u03b8+1"],"edges":["e-739d98870aef7848"],"text":"A038326 \u2192 \u03b8+1"},"headline":"A038326 \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:             484,              2112,               1728;\n  1:           10648,             69696,             114048,              55296;\n  2:          234256,           2044416,            5018112,            4866048,             1658880;\n  3:         5153632,          56221440,          183997440,          267632640,           182476800,            47775744;\n  4:       113379904,        1484246016,         6071915520,        11775836160,         12043468800,          6306398208,          1337720832;\n  5:      2494357888,       38095647744,       187014998016,       453369692160,        618231398400,        485592662016,        206009008128,         36691771392;\n  6:     54875873536,      957833428992,      5485773275136,     15958613164032,      27202181529600,      28488102838272,      18128792715264,       6457751764992,        990677827584;\n  7:   1207269217792,    23706377367552,    155169015496704,    526634234413056,    1077206388572160,    1410161090494464,    1196500319207424,     639317424734208,     196154209861632,     26418075402240;\n  8:  26559922791424,   579489224540160,   4267147926159360,  16551361652981760,   39497567580979200,   62047087981756416,   65807517556408320,   46883277813841920,   21576963084779520,   5811976588492800,    697437190619136;\n  9: 584318301411328, 14023639233871872, 114738866458951680, 500678690002698240, 1365487336370995200, 2502565881930842112, 3185083849730162688, 2836438307737436160, 1740541688838881280, 703249167207628800, 168779800129830912, 18260173718028288;\n","recurrence_sentence":"The row polynomials satisfy (11+(12*n+24)*x)*P(n,x) = (242+(264*n+1056)*x+(288*n+864)*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 484 + 2112*x + 1728*x^2.","mathematica":"P[0, x_] := 484 + 2112*x + 1728*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((242 + (264*n + 1056)*x + (288*n + 864)*x^2)*P[n - 1, x])/(11 + (12*n + 24)*x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 484 + 2112*x + 1728*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((242 + (264*n + 1056)*x + (288*n + 864)*x^2)*v[i - 1])/(11 + (12*n + 24)*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-29d7c5a1e19b9d74","steps":["basis A013609","\u03b8+1"],"edges":["e-61350e73fec19600","e-6a790b752652e709"],"text":"A038314 \u2192 basis A013609 \u2192 \u03b8+1"},"headline":"A038314 \u2192 basis A013609 \u2192 \u03b8+1","chain":null}