{"id":"n-ec0bc4323ea11152","revision":0,"first_index":0,"fingerprint":"f6-3c4a6b4bc3495597","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.","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"],["4","12","6"],["16","96","192","144","36"],["64","576","2016","3456","3024","1296","216"],["256","3072","15360","41472","65664","62208","34560","10368","1296"],["1024","15360","99840","368640","852480","1285632","1278720","829440","336960","77760","7776"],["4096","73728","589824","2764800","8432640","17584128","25657344","26376192","18973440","9331200","2985984","559872","46656"],["16384","344064","3268608","18579456","70447104","188116992","364234752","518897664","546352128","423263232","237758976","94058496","24820992","3919104","279936"],["65536","1572864","17301504","115605504","524353536","1709309952","4137025536","7575109632","10597588992","11362664448","9308307456","5768921088","2654539776","877879296","197074944","26873856","1679616"],["262144","7077888","88473600","679477248","3588489216","13823115264","40205942784","90200604672","158113824768","218072383488","237170737152","202951360512","135695056896","69979521024","27250089984","7739670528","1511654400","181398528","10077696"],["1048576","31457280","440401920","3822059520","23038525440","102431195136","348232089600","926212423680","1956098211840","3310859059200","4514234499072","4966288588800","4401220976640","3125966929920","1762924953600","777836888064","262423203840","65303470080","11287019520","1209323520","60466176"],["4194304","138412032","2145386496","20761804800","140661227520","709119442944","2760333852672","8498221940736","21028334469120","42273889320960","69523835977728","93901122699264","104285753966592","95116250972160","70970628833280","43022248574976","20961285193728","8077313654784","2403328942080","532102348800","82475864064","7981535232","362797056"],["16777216","603979776","10267656192","109622329344","824658886656","4648983330816","20394736091136","71371610652672","202654004281344","472424902557696","911552022577152","1463533858455552","1961099504123904","2195300787683328","2050992050798592","1594434046132224","1025935896674304","541978168393728","232308790788096","79432238628864","21135105294336","4214250602496","592084795392","52242776064","2176782336"],["67108864","2617245696","48419045376","565325070336","4675709435904","29149573939200","142314697654272","558117175689216","1789443761504256","4749777325522944","10531230946689024","19627309120094208","30876116453425152","41095600350953472","46314174680137728","44161445520211968","35542904445075456","24045747710459904","13588588563922944","6357303454334976","2431580029452288","747071697715200","179749978177536","32599492263936","4188129214464","339578044416","13060694016"],["268435456","11274289152","225485783040","2858032300032","25777252859904","176098759409664","947107934502912","4115142518243328","14709069340213248","43821137494278144","109858914262056960","233382671793782784","422219560934965248","652659653565480960","863660601652543488","978989480348221440","949994012103671808","787666517304016896","556160753451663360","332766762847174656","167545492953366528","70311067870298112","24273340462006272","6769827893477376","1486446293090304","247212816334848","29255954595840","2194196594688","78364164096"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","22","484","10648","234256","5153632","113379904","2494357888","54875873536","1207269217792","26559922791424","584318301411328","12855002631049216","282810057883082752","6221821273427820544"],"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":[["4","12","6"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":190973,"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-41dd47b0a976b5d6"]},{"id":190974,"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-41dd47b0a976b5d6"]},{"id":190975,"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-41dd47b0a976b5d6"]}],"region_exact":{},"incoming_edges":[{"id":"e-41dd47b0a976b5d6","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-ec0bc4323ea11152","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":"3b46555c544581598149e909353c89b16a2aa3b1a819ed94e468f888b88b6b7e","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-2422ccdf8fc66e9a","role":"sequence","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.","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-1414dbf02e244c2b","kind":"fingerprint_related","node_a_id":"n-2422ccdf8fc66e9a","node_b_id":"n-ec0bc4323ea11152","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-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-32697a227a12c599","other":{"id":"n-32697a227a12c599","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.","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"],["9","18","6"],["81","324","432","216","36"]],"card_rows":[["1"],["9","18","6"],["81","324","432","216","36"],["729","4374","10206","11664","6804","1944","216"]],"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","reverse"],"edges":["e-0f2bf5edb3121755","e-5c6b68fb7a9fe215"],"text":"A272867 \u2192 basis A013610 \u2192 reverse"},"headline":"A272867 \u2192 basis A013610 \u2192 reverse","chain":null}},{"id":"l-db92886531639e8c","kind":"fingerprint_related","node_a_id":"n-c4fd821a14172d5f","node_b_id":"n-ec0bc4323ea11152","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: 4, 12, 6;\n 2: 16, 96, 192, 144, 36;\n 3: 64, 576, 2016, 3456, 3024, 1296, 216;\n 4: 256, 3072, 15360, 41472, 65664, 62208, 34560, 10368, 1296;\n 5: 1024, 15360, 99840, 368640, 852480, 1285632, 1278720, 829440, 336960, 77760, 7776;\n 6: 4096, 73728, 589824, 2764800, 8432640, 17584128, 25657344, 26376192, 18973440, 9331200, 2985984, 559872, 46656;\n 7: 16384, 344064, 3268608, 18579456, 70447104, 188116992, 364234752, 518897664, 546352128, 423263232, 237758976, 94058496, 24820992, 3919104, 279936;\n 8: 65536, 1572864, 17301504, 115605504, 524353536, 1709309952, 4137025536, 7575109632, 10597588992, 11362664448, 9308307456, 5768921088, 2654539776, 877879296, 197074944, 26873856, 1679616;\n 9: 262144, 7077888, 88473600, 679477248, 3588489216, 13823115264, 40205942784, 90200604672, 158113824768, 218072383488, 237170737152, 202951360512, 135695056896, 69979521024, 27250089984, 7739670528, 1511654400, 181398528, 10077696;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (4+12*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[(4 + 12*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] = (4 + 12*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 A013609","reverse"],"edges":["e-e79851ce4a3e511f","e-41dd47b0a976b5d6"],"text":"A272867 \u2192 basis A013609 \u2192 reverse"},"headline":"A272867 \u2192 basis A013609 \u2192 reverse","chain":null}