{"id":"n-524d4090108719a6","revision":0,"first_index":0,"fingerprint":"f6-cb1c90404b4cec63","name":"reversal of basis_map_A013611 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"],["16","24","6"],["256","768","768","288","36"],["4096","18432","32256","27648","12096","2592","216"],["65536","393216","983040","1327104","1050624","497664","138240","20736","1296"],["1048576","7864320","25559040","47185920","54558720","41140224","20459520","6635520","1347840","155520","7776"],["16777216","150994944","603979776","1415577600","2158755840","2250768384","1642070016","844038144","303575040","74649600","11943936","1119744","46656"],["268435456","2818572288","13388218368","38050725888","72137834496","96315899904","93244096512","66418900992","34966536192","13544423424","3804143616","752467968","99283968","7838208","279936"],["4294967296","51539607552","283467841536","947040288768","2147752083456","3500666781696","4236314148864","3878456131584","2712982781952","1454421049344","595731677184","184605474816","42472636416","7023034368","788299776","53747712","1679616"],["68719476736","927712935936","5798205849600","22265110462464","58793807314944","113238960242688","164683541643264","184730838368256","161908556562432","111653060345856","60715708710912","25977774145536","8684483641344","2239344672768","436001439744","61917364224","6046617600","362797056","10077696"],["1099511627776","16492674416640","115448720916480","500964985405440","1509852803235840","3356465402216448","5705434556006400","7587532174786560","8012178275696640","6780639353241600","4622576127049728","2542739757465600","1126712570019840","400123767029760","112827197030400","24890780418048","4198771261440","522427760640","45148078080","2418647040","60466176"],["17592186044416","290271069732864","2249600790429696","10885165114982400","36873496827002880","92945703625555968","180901239368712192","278469736554037248","344528231942062080","346307701317304320","284769632164773888","192309499288092672","106788612061790208","48699520497745920","18168480981319680","5506847817596928","1341522252398592","258474036953088","38453263073280","4256818790400","329903456256","15963070464","362797056"],["281474976710656","5066549580791808","43065671436730368","229894687228428288","864717516734201856","2437406172546859008","5346357697874755584","9354819751467024384","13281132824582160384","15480419207010582528","14934868337904058368","11989269368467881984","8032663568891510784","4495976013175455744","2100215860017758208","816350231619698688","262639589548621824","69373205554397184","14867762610438144","2541831636123648","338161684709376","33714004819968","2368339181568","104485552128","2176782336"],["4503599627370496","87820192733724672","812336782786953216","4742290407621132288","19611346789849890816","61131087285741158400","149227776407525916672","292614137807747678208","469091945415771684864","622562813610943315968","690174751322211876864","643147665247247007744","505874291972917690368","336655158075010842624","189702859489844133888","90442640425394110464","36395934151757266944","12311422827755470848","3478678672364273664","813734842154876928","155621121884946432","23906294326886400","2875999650840576","260795938111488","16752516857856","679156088832","13060694016"],["72057594037927936","1513209474796486656","15132094747964866560","95899650465227341824","432470539117227147264","1477223461973982707712","3972458598117301813248","8630079362419031801856","15423577092483446734848","22974896534600099561472","28798855220312659722240","30589933557354697064448","27670581145433882492928","21386351528033680097280","14150215297475272507392","8019881823012630036480","3891175473576639725568","1613141027438626603008","569508611534503280640","170376582577753423872","42891646196061831168","8999816687398158336","1553493789568401408","216634492591276032","23783140689444864","1977702530678784","117023818383360","4388393189376","78364164096"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","46","2116","97336","4477456","205962976","9474296896","435817657216","20047612231936","922190162669056","42420747482776576","1951354384207722496","89762301673555234816","4129065876983540801536","189937030341242876870656"],"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":[["16","24","6"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":193324,"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-e1128be5ed7d582b"]},{"id":193325,"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-e1128be5ed7d582b"]},{"id":193326,"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-e1128be5ed7d582b"]}],"region_exact":{},"incoming_edges":[{"id":"e-e1128be5ed7d582b","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-524d4090108719a6","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":"42243c0970160976dc78fcde83868f277418a297a0e7d5580ac22f1cae4895cb","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-7de8fc70cf185364","role":"sequence","name":"basis_map_A013611 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-53e247bb925061cd","kind":"fingerprint_related","node_a_id":"n-7de8fc70cf185364","node_b_id":"n-524d4090108719a6","fingerprint":"f6-cb1c90404b4cec63","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-cb1c90404b4cec63"},"other_id":"n-7de8fc70cf185364","other":{"id":"n-7de8fc70cf185364","name":"basis_map_A013611 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-cb1c90404b4cec63","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["6","24","16"],["36","288","768","768","256"]],"card_rows":[["1"],["6","24","16"],["36","288","768","768","256"],["216","2592","12096","27648","32256","18432","4096"]],"row_sums_preview":["1","46","2116","97336","4477456","205962976","9474296896","435817657216"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-d3c3090977105807","steps":["basis A013611"],"edges":["e-bced44278fba7ed1"],"text":"A272867 \u2192 basis A013611"},"headline":"A272867 \u2192 basis A013611","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: 16, 24, 6;\n 2: 256, 768, 768, 288, 36;\n 3: 4096, 18432, 32256, 27648, 12096, 2592, 216;\n 4: 65536, 393216, 983040, 1327104, 1050624, 497664, 138240, 20736, 1296;\n 5: 1048576, 7864320, 25559040, 47185920, 54558720, 41140224, 20459520, 6635520, 1347840, 155520, 7776;\n 6: 16777216, 150994944, 603979776, 1415577600, 2158755840, 2250768384, 1642070016, 844038144, 303575040, 74649600, 11943936, 1119744, 46656;\n 7: 268435456, 2818572288, 13388218368, 38050725888, 72137834496, 96315899904, 93244096512, 66418900992, 34966536192, 13544423424, 3804143616, 752467968, 99283968, 7838208, 279936;\n 8: 4294967296, 51539607552, 283467841536, 947040288768, 2147752083456, 3500666781696, 4236314148864, 3878456131584, 2712982781952, 1454421049344, 595731677184, 184605474816, 42472636416, 7023034368, 788299776, 53747712, 1679616;\n 9: 68719476736, 927712935936, 5798205849600, 22265110462464, 58793807314944, 113238960242688, 164683541643264, 184730838368256, 161908556562432, 111653060345856, 60715708710912, 25977774145536, 8684483641344, 2239344672768, 436001439744, 61917364224, 6046617600, 362797056, 10077696;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (16+24*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[(16 + 24*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] = (16 + 24*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 A013611","reverse"],"edges":["e-bced44278fba7ed1","e-e1128be5ed7d582b"],"text":"A272867 \u2192 basis A013611 \u2192 reverse"},"headline":"A272867 \u2192 basis A013611 \u2192 reverse","chain":null}