{"id":"n-32697a227a12c599","revision":0,"first_index":0,"fingerprint":"f6-3c4a6b4bc3495597","name":"reversal of basis_map_A013610 of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-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"],["9","18","6"],["81","324","432","216","36"],["729","4374","10206","11664","6804","1944","216"],["6561","52488","174960","314928","332424","209952","77760","15552","1296"],["59049","590490","2558790","6298560","9710280","9762768","6473520","2799360","758160","116640","7776"],["531441","6377292","34012224","106288200","216119340","300441312","292253184","200294208","96053040","31492800","6718464","839808","46656"],["4782969","66961566","424089918","1607077584","4062335004","7231849128","9334938312","8865853056","6223292208","3214155168","1203654816","317447424","55847232","5878656","279936"],["43046721","688747536","5050815264","22499086176","68032951056","147851137728","238561739136","291212661888","271604614752","194141774592","106027439616","43807744512","13438607616","2962842624","443418624","40310784","1679616"],["387420489","6973568802","58113073350","297538935552","1047585002256","2690247875616","5216573837664","7802132087808","9117639881568","8383435008192","6078426587712","3467614261248","1545651507456","531406987776","137953580544","26121388032","3401222400","272097792","10077696"],["3486784401","69735688020","650866421520","3765727153080","15132644300340","44853994534464","101659136313600","180259005121920","253796579540640","286381225468800","260313508726272","190920816979200","112798479795840","53410075591680","20080817049600","5906698868736","1328517469440","220399211520","25395793920","1813985280","60466176"],["31381059609","690383311398","7133960884446","46025554093200","207882085987620","698667911134776","1813099994244792","3721319466948864","6138786125941920","8227323491682240","9020463114218688","8122217862698496","6013642076145792","3656588218525440","1818899592871680","735075450261504","238762139159808","61337100566016","12166852769280","1795845427200","185570694144","11972302848","362797056"],["282429536481","6778308875544","76820833922832","546783582627216","2742202512872856","10306042072549344","30141214864554816","70319682565754688","133111425504025584","206871978493787904","266108707633900032","284832237770316288","254445478899197184","189888158513544192","118270536726177792","61295401035196416","26293614914375424","9260205111539712","2646142320070656","603188562087936","106996470552576","14223095783424","1332190789632","78364164096","2176782336"],["2541865828329","66088511536554","815091642284166","6344497107509184","34982852106682584","145394725380418800","473232906164118672","1237255263089074944","2644604404907143536","4679771560911079776","6917342534617436064","8594678748305774592","9013641835761868032","7998005473429344768","6009094557174578688","3819857221469233152","2049582973219981056","924399320673793536","348260662374603264","108620489489301504","27697216272979968","5673075704524800","909984264523776","110023286390784","9423290732544","509367066624","13060694016"],["22876792454961","640550188738908","8540669183185440","72168654597916968","433937166749013564","1976310848989110816","7086098324964701952","20525858031038323392","48911431816752352848","97144354915062751296","162359597337399221760","229942903723332299136","277331049199065371328","285795674794412375040","252127800550870622208","190530449862941583360","123258244088473498368","68131230732839199744","32071031572819599360","12792672252189333504","4294007731511866368","1201330511190171648","276488518700040192","51408380566093824","7525134358769664","834343255130112","65825897840640","3291294892032","78364164096"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","33","1089","35937","1185921","39135393","1291467969","42618442977","1406408618241","46411484401953","1531578985264449","50542106513726817","1667889514952984961","55040353993448503713","1816331681783800622529"],"nonn":true,"definitions":[{"position":0,"source":"derived:reversal","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["9","18","6"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":192698,"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-5c6b68fb7a9fe215"]},{"id":192699,"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-5c6b68fb7a9fe215"]},{"id":192700,"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-5c6b68fb7a9fe215"]}],"region_exact":{},"incoming_edges":[{"id":"e-5c6b68fb7a9fe215","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"reversal\",\"schedule\":{\"first_index\":0,\"first_degree\":0,\"step\":2}}"},"operation_detail":"reversal, shift 0","conclusion_id":"n-32697a227a12c599","premise_count":1,"theorem":"a real affine substitution x -> a x + b (a != 0), the reversal x^d p(1/x) (d >= deg p) and a real Mobius map (c x + e)^d p((a x + b)/(c x + e)) (a e - b c != 0, d >= deg p) map real roots to real roots: a root r of p gives the root (r - b)/a, 1/r (and 0) or (e r - b)/(a - c r) (and -e/c); for an input row that is a polynomial the degree condition holds automatically","lean_route":"reversed","lean_declarations":["RealRooted.X_pow_mul_reverse_eq_zero_or_splits","RealRooted.reflect_eq_zero_or_splits"],"certificate_hash":"338898a986085fd061d9bd73c6e2430fa9be153a611b79e1a0bddb09237aaca8","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-c4fd821a14172d5f","role":"sequence","name":"basis_map_A013610 of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-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":[{"id":"l-26bba9768365fa7c","kind":"fingerprint_related","node_a_id":"n-ec0bc4323ea11152","node_b_id":"n-32697a227a12c599","fingerprint":"f6-3c4a6b4bc3495597","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-3c4a6b4bc3495597"},"other_id":"n-ec0bc4323ea11152","other":{"id":"n-ec0bc4323ea11152","name":"reversal of basis_map_A013609 of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-2) where m = k if k=0 and 0<=k<=2n.","first_index":0,"fingerprint":"f6-3c4a6b4bc3495597","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["4","12","6"],["16","96","192","144","36"]],"card_rows":[["1"],["4","12","6"],["16","96","192","144","36"],["64","576","2016","3456","3024","1296","216"]],"row_sums_preview":["1","22","484","10648","234256","5153632","113379904","2494357888"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-d3c3090977105807","steps":["basis A013609","reverse"],"edges":["e-e79851ce4a3e511f","e-41dd47b0a976b5d6"],"text":"A272867 \u2192 basis A013609 \u2192 reverse"},"headline":"A272867 \u2192 basis A013609 \u2192 reverse","chain":null}},{"id":"l-6c2070c8ed1e3005","kind":"fingerprint_related","node_a_id":"n-2422ccdf8fc66e9a","node_b_id":"n-32697a227a12c599","fingerprint":"f6-3c4a6b4bc3495597","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-3c4a6b4bc3495597"},"other_id":"n-2422ccdf8fc66e9a","other":{"id":"n-2422ccdf8fc66e9a","name":"basis_map_A013609 of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-2) where m = k if k=0 and 0<=k<=2n.","first_index":0,"fingerprint":"f6-3c4a6b4bc3495597","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["6","12","4"],["36","144","192","96","16"]],"card_rows":[["1"],["6","12","4"],["36","144","192","96","16"],["216","1296","3024","3456","2016","576","64"]],"row_sums_preview":["1","22","484","10648","234256","5153632","113379904","2494357888"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-d3c3090977105807","steps":["basis A013609"],"edges":["e-e79851ce4a3e511f"],"text":"A272867 \u2192 basis A013609"},"headline":"A272867 \u2192 basis A013609","chain":null}},{"id":"l-f60262a9a26cb726","kind":"fingerprint_related","node_a_id":"n-c4fd821a14172d5f","node_b_id":"n-32697a227a12c599","fingerprint":"f6-3c4a6b4bc3495597","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-3c4a6b4bc3495597"},"other_id":"n-c4fd821a14172d5f","other":{"id":"n-c4fd821a14172d5f","name":"basis_map_A013610 of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-2) where m = k if k=0 and 0<=k<=2n.","first_index":0,"fingerprint":"f6-3c4a6b4bc3495597","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["6","18","9"],["36","216","432","324","81"]],"card_rows":[["1"],["6","18","9"],["36","216","432","324","81"],["216","1944","6804","11664","10206","4374","729"]],"row_sums_preview":["1","33","1089","35937","1185921","39135393","1291467969","42618442977"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-d3c3090977105807","steps":["basis A013610"],"edges":["e-0f2bf5edb3121755"],"text":"A272867 \u2192 basis A013610"},"headline":"A272867 \u2192 basis A013610","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: 1;\n 1: 9, 18, 6;\n 2: 81, 324, 432, 216, 36;\n 3: 729, 4374, 10206, 11664, 6804, 1944, 216;\n 4: 6561, 52488, 174960, 314928, 332424, 209952, 77760, 15552, 1296;\n 5: 59049, 590490, 2558790, 6298560, 9710280, 9762768, 6473520, 2799360, 758160, 116640, 7776;\n 6: 531441, 6377292, 34012224, 106288200, 216119340, 300441312, 292253184, 200294208, 96053040, 31492800, 6718464, 839808, 46656;\n 7: 4782969, 66961566, 424089918, 1607077584, 4062335004, 7231849128, 9334938312, 8865853056, 6223292208, 3214155168, 1203654816, 317447424, 55847232, 5878656, 279936;\n 8: 43046721, 688747536, 5050815264, 22499086176, 68032951056, 147851137728, 238561739136, 291212661888, 271604614752, 194141774592, 106027439616, 43807744512, 13438607616, 2962842624, 443418624, 40310784, 1679616;\n 9: 387420489, 6973568802, 58113073350, 297538935552, 1047585002256, 2690247875616, 5216573837664, 7802132087808, 9117639881568, 8383435008192, 6078426587712, 3467614261248, 1545651507456, 531406987776, 137953580544, 26121388032, 3401222400, 272097792, 10077696;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (9+18*x+6*x^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[(9 + 18*x + 6*x^2)*P[n - 1, x]];\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] = (9 + 18*x + 6*x^2)*v[i - 1]); 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-d3c3090977105807","steps":["basis A013610","reverse"],"edges":["e-0f2bf5edb3121755","e-5c6b68fb7a9fe215"],"text":"A272867 \u2192 basis A013610 \u2192 reverse"},"headline":"A272867 \u2192 basis A013610 \u2192 reverse","chain":null}