{"id":"n-f50a0e4ebeb55f5c","revision":0,"first_index":0,"fingerprint":"f6-bb158f370ed9f39a","name":"theta_plus_one of basis_map_A013609 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","224","48"],["2744","4704","2016","256"],["38416","87808","56448","14336","1280"],["537824","1536640","1317120","501760","89600","6144"],["7529536","25815552","27659520","14049280","3763200","516096","28672"],["105413504","421654016","542126592","344207360","122931200","25288704","2809856","131072"],["1475789056","6746464256","10119696384","7710244864","3442073600","944111616","157351936","14680064","589824"],["20661046784","106256812032","182154534912","161915142144","86740254720","29739515904","6608781312","924844032","74317824","2621440"],["289254654976","1652883742720","3187704360960","3238302842880","2023939276800","832706445312","231307345920","43159388160","5202247680","367001600","11534336"],["4049565169664","25454409637888","54545163509760","62337329725440","44526664089600","21372798763008","7124266254336","1661636444160","267048714240","28259123200","1776287744","50331648"],["56693912375296","388758256287744","916358746963968","1163630154874880","935059945881600","512947170312192","199479455121408","55830984523776","11216045998080","1582510899200","149208170496","8455716864","218103808"],["793714773254144","5896166887030784","15161571995222016","21178068818722816","18908990016716800","11669548124602368","5186465833156608","1693539863887872","408264074330112","72004245913600","9051962343424","769470234624","39694893056","939524096"],["11112006825558016","88896054604464128","247639009255292928","377354680769970176","370616204327649280","254136825824673792","127068412912336896","47419116188860416","13336626428116992","2822566439813120","443546154827776","50272055328768","3890099519488","184146722816","4026531840"],["155568095557812224","1333440819066961920","4000322457200885760","6603706913474478080","7075400264436940800","5336873342318149632","2964929634621194240","1244751799957585920","400098792843509760","98789825393459200","18628938502766592","2639282904760320","272306966364160","19335405895680","845571686400","17179869184"],["2177953337809371136","19912716231399964672","64005159315214172160","113786949893714083840","132074138269489561600","108678148061751410688","66414423815514750976","30980489243388805120","11202766199618273280","3161274412590694400","695480370769952768","118239874133262336","15249190116392960","1443710306877440","94704028876800","3848290697216","73014444032"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["468","9720","198288","3989088","79361856","1564562304","30611001600","595077871104","11504838841344","221368968050688","4241715065229312","80978196699832320","1540899400059666432","29235442671402319872","553224530551151591424"],"nonn":true,"definitions":[{"position":0,"source":"derived:theta_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["196","224","48"]],"recurrence":{"denominator":{"coeffs":[["7","4"],["0","2"]]},"terms":[{"coeff":{"coeffs":[["98","112","24"],["0","28","8"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":192758,"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-c4809f01fe26e27b"]},{"id":192759,"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-c4809f01fe26e27b"]},{"id":192760,"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-c4809f01fe26e27b"]},{"id":192761,"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-c4809f01fe26e27b"]}],"region_exact":{},"incoming_edges":[{"id":"e-c4809f01fe26e27b","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-f50a0e4ebeb55f5c","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":"2022fd740415a69ac02a104ff4257c299bdcd7fa72d24ee60d497fe1e07f71bd","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-3208539f9ba783e8","role":"sequence","name":"basis_map_A013609 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-37e3b964f70924f3","kind":"fingerprint_related","node_a_id":"n-e03304a3f36d13e4","node_b_id":"n-f50a0e4ebeb55f5c","fingerprint":"f6-bb158f370ed9f39a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-bb158f370ed9f39a"},"other_id":"n-e03304a3f36d13e4","other":{"id":"n-e03304a3f36d13e4","name":"theta_plus_one of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*6^(i-j).","first_index":0,"fingerprint":"f6-bb158f370ed9f39a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["7","4"],["49","56","12"]],"card_rows":[["1"],["7","4"],["49","56","12"],["343","588","252","32"]],"row_sums_preview":["1","11","117","1215","12393","124659","1240029","12223143"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-22693abd431a71f2","steps":["basis A013609","\u03b8+1"],"edges":["e-4c464713c83c5f6b","e-26b9b873ba636d48"],"text":"A038255 \u2192 basis A013609 \u2192 \u03b8+1"},"headline":"A038255 \u2192 basis A013609 \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,            224,             48;\n  1:          2744,           4704,           2016,            256;\n  2:         38416,          87808,          56448,          14336,           1280;\n  3:        537824,        1536640,        1317120,         501760,          89600,           6144;\n  4:       7529536,       25815552,       27659520,       14049280,        3763200,         516096,         28672;\n  5:     105413504,      421654016,      542126592,      344207360,      122931200,       25288704,       2809856,        131072;\n  6:    1475789056,     6746464256,    10119696384,     7710244864,     3442073600,      944111616,     157351936,      14680064,       589824;\n  7:   20661046784,   106256812032,   182154534912,   161915142144,    86740254720,    29739515904,    6608781312,     924844032,     74317824,     2621440;\n  8:  289254654976,  1652883742720,  3187704360960,  3238302842880,  2023939276800,   832706445312,  231307345920,   43159388160,   5202247680,   367001600,   11534336;\n  9: 4049565169664, 25454409637888, 54545163509760, 62337329725440, 44526664089600, 21372798763008, 7124266254336, 1661636444160, 267048714240, 28259123200, 1776287744, 50331648;\n","recurrence_sentence":"The row polynomials satisfy (7+(2*n+4)*x)*P(n,x) = (98+(28*n+112)*x+(8*n+24)*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 196 + 224*x + 48*x^2.","mathematica":"P[0, x_] := 196 + 224*x + 48*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((98 + (28*n + 112)*x + (8*n + 24)*x^2)*P[n - 1, x])/(7 + (2*n + 4)*x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 196 + 224*x + 48*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((98 + (28*n + 112)*x + (8*n + 24)*x^2)*v[i - 1])/(7 + (2*n + 4)*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 A013609","\u03b8+1"],"edges":["e-ccf7b0982517b62a","e-c4809f01fe26e27b"],"text":"A038328 \u2192 basis A013609 \u2192 \u03b8+1"},"headline":"A038328 \u2192 basis A013609 \u2192 \u03b8+1","chain":null}