{"id":"n-29feaac19fa9e41e","revision":0,"first_index":0,"fingerprint":"f6-669843b93c09642d","name":"basis_map_A008277 of basis_map_A007318 of Triangle, read by rows of 2*n+1 terms, where row n lists the coefficients in (1+3*x+2*x^2)^n.","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"],["15","13","2"],["225","559","341","68","4"],["3375","18577","25298","12767","2746","252","8"],["50625","564031","1460969","1411034","619657","135408","15032","800","16"],["759375","16450993","75433382","124936655","94586575","37041081","8007674","979000","66560","2320","32"],["11390625","470499679","3675687821","9862822238","11881661464","7437813705","2636702945","556376100","71529708","5593520","257200","6336","64"],["170859375","13322069137","173427227738","729076711307","1335153124816","1256831471532","672626725778","218145095375","44608188538","5875400580","500731896","27213648","903392","16576","128"],["2562890625","375239107711","8031042142289","51787678867034","140072706596407","190997370626118","147057633854222","68848419918100","20593693914209","4065269235040","539848871696","48576350592","2945617248","117755904","2956032","41984","256"],["38443359375","10540012594033","367781087015342","3587389168427735","14057370356233465","27085368324164031","29082876623550674","18904326978297450","7874043778532823","2186427374846645","415836463646578","55104389193744","5129893230016","335242281696","15203702208","465927936","9156864","103680","512"],["576650390625","295620116304799","16729406016507701","244512167968740758","1369640993801969374","3665082717567309675","5371612018813133075","4722059297596218500","2652147272198378911","995594579448245955","258029879609689101","47241646438197156","6204126666393524","589412437139680","40579811708960","2013074615424","70857419136","1717804800","27152640","250880","1024"],["8649755859375","8284859711612497","757849966020809378","16489711852516161347","130783593447230747386","480018539264271754362","945543650545734518498","1103271076674502058125","816993675116896753091","403574849771835371575","137948139810509767442","33524115131848539231","5907628706077799034","765283588347680556","73485336115592808","5247068889914720","277926835996480","10822058248320","304235450112","5980916480","77693440","596992","2048"],["129746337890625","232088518751321791","34244108385545553209","1104252401271926870834","12315065499942943664557","61427928345387334520328","160770357516112810718912","245566656716876111736900","235850740396749203384142","150357916070635920560045","66242300427469401132007","20790516629339436246894","4756589329280228850841","806994241154892375312","102783964215602399496","9906708769317538464","725389266900485616","40335709585248000","1694387112653312","53162076746240","1221185177344","19860729856","215803904","1400832","4096"],["1946195068359375","6500165227429588273","1544930641660998146102","73600248937081132736015","1148345758743377136351955","7730696805747369362453181","26649616466362927966493474","52729023860993409895651400","64871294672073212184387526","52603201466782980450332610","29367987007182213882112764","11670373040687457002442393","3386660406964186218452807","732002125957599450549841","119629608258581408214218","14947308537856399548168","1438706323222426494912","107130244566465909360","6176838314200560864","274985648347970560","9384125714273024","242297278263040","4633220933120","63375157248","584556544","3248128","8192"],["29192926025390625","182029926903917143519","69632385576001356293981","4890072973652690580821678","106342560130357669722720484","961132844191116422714060445","4334801005460677922107160405","11020011736455670953658930900","17200458280482367676248212854","17543149912797383972380541830","12251895238550731978121721242","6073110723694082043575866266","2197144514362970481930412974","593000085381159600803227149","121465669234236506730821577","19135251600606847783226564","2341823285006045809367836","224236594725683048505360","16873220244855274551888","999428169177159641920","46539969445643081408","1696006318004041472","47946783063132928","1036585329282048","16757333791744","195469094912","1549692928","7454720","16384"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","30","1197","63023","4257572","358263647","36610341405","4449765739816","632423108745467","103632583814264807","19349782380817571698","4075665428849453843297","960137252047622703013557","251100482508004207603195094","72429191690572832445348208041"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A008277","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["15","13","2"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","13","4"]]},"deriv_order":1,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","0","2"]]},"deriv_order":2,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":197662,"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-0bba8026a8691b66"]},{"id":197663,"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-0bba8026a8691b66"]},{"id":197664,"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-0bba8026a8691b66"]}],"region_exact":{},"incoming_edges":[{"id":"e-0bba8026a8691b66","operation":{"map":"A008277","operation":"basis_map"},"operation_detail":"A008277","conclusion_id":"n-29feaac19fa9e41e","premise_count":1,"theorem":"ray basis maps: for L f = (a + b t) f + kappa (t - h) f', b > 0, kappa >= 0, and g real-rooted with every root <= h, of multiplicity m at h, T(u^k) = L^k g sends every real polynomial with all roots in S to one with all roots in (-inf, h] if and only if S lies in (-inf, a + b h + kappa m] (RealRooted rayBasisMap_maps_realRootedIn_iff; the step is Ma and Wang, EJC 15 (2008) R17, Theorem 2)","lean_route":null,"lean_declarations":[],"certificate_hash":"7975e8c92d8301a7efc4308bc6f5b20f0dfe913ab20c9c5288eba1fb082dda21","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-a19ad5e2037d7c6a","role":"sequence","name":"basis_map_A007318 of Triangle, read by rows of 2*n+1 terms, where row n lists the coefficients in (1+3*x+2*x^2)^n.","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:          15,             13,               2;\n  2:         225,            559,             341,               68,                 4;\n  3:        3375,          18577,           25298,            12767,              2746,               252,                 8;\n  4:       50625,         564031,         1460969,          1411034,            619657,            135408,             15032,               800,               16;\n  5:      759375,       16450993,        75433382,        124936655,          94586575,          37041081,           8007674,            979000,            66560,             2320,              32;\n  6:    11390625,      470499679,      3675687821,       9862822238,       11881661464,        7437813705,        2636702945,         556376100,         71529708,          5593520,          257200,           6336,            64;\n  7:   170859375,    13322069137,    173427227738,     729076711307,     1335153124816,     1256831471532,      672626725778,      218145095375,      44608188538,       5875400580,       500731896,       27213648,        903392,        16576,         128;\n  8:  2562890625,   375239107711,   8031042142289,   51787678867034,   140072706596407,   190997370626118,   147057633854222,    68848419918100,   20593693914209,    4065269235040,    539848871696,    48576350592,    2945617248,    117755904,     2956032,     41984,     256;\n  9: 38443359375, 10540012594033, 367781087015342, 3587389168427735, 14057370356233465, 27085368324164031, 29082876623550674, 18904326978297450, 7874043778532823, 2186427374846645, 415836463646578, 55104389193744, 5129893230016, 335242281696, 15203702208, 465927936, 9156864, 103680, 512;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (15+13*x+2*x^2)*P(n-1,x) + (13*x+4*x^2)*d/dx P(n-1,x) + 2*x^2*d^2/dx^2 P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[(15 + 13*x + 2*x^2)*P[n - 1, x] + (13*x + 4*x^2)*D[P[n - 1, x], x] + 2*x^2*D[P[n - 1, x], {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] = (15 + 13*x + 2*x^2)*v[i - 1] + (13*x + 4*x^2)*deriv(v[i - 1], x) + 2*x^2*deriv(deriv(v[i - 1], x), 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-eed4f744ce063213","steps":["basis A007318","basis A008277"],"edges":["e-6e97878f95ac8f6d","e-0bba8026a8691b66"],"text":"A200536 \u2192 basis A007318 \u2192 basis A008277"},"headline":"A200536 \u2192 basis A007318 \u2192 basis A008277","chain":null}