{"id":"n-7de8fc70cf185364","revision":1,"first_index":0,"fingerprint":"f6-cb1c90404b4cec63","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.","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"],["6","24","16"],["36","288","768","768","256"],["216","2592","12096","27648","32256","18432","4096"],["1296","20736","138240","497664","1050624","1327104","983040","393216","65536"],["7776","155520","1347840","6635520","20459520","41140224","54558720","47185920","25559040","7864320","1048576"],["46656","1119744","11943936","74649600","303575040","844038144","1642070016","2250768384","2158755840","1415577600","603979776","150994944","16777216"],["279936","7838208","99283968","752467968","3804143616","13544423424","34966536192","66418900992","93244096512","96315899904","72137834496","38050725888","13388218368","2818572288","268435456"],["1679616","53747712","788299776","7023034368","42472636416","184605474816","595731677184","1454421049344","2712982781952","3878456131584","4236314148864","3500666781696","2147752083456","947040288768","283467841536","51539607552","4294967296"],["10077696","362797056","6046617600","61917364224","436001439744","2239344672768","8684483641344","25977774145536","60715708710912","111653060345856","161908556562432","184730838368256","164683541643264","113238960242688","58793807314944","22265110462464","5798205849600","927712935936","68719476736"],["60466176","2418647040","45148078080","522427760640","4198771261440","24890780418048","112827197030400","400123767029760","1126712570019840","2542739757465600","4622576127049728","6780639353241600","8012178275696640","7587532174786560","5705434556006400","3356465402216448","1509852803235840","500964985405440","115448720916480","16492674416640","1099511627776"],["362797056","15963070464","329903456256","4256818790400","38453263073280","258474036953088","1341522252398592","5506847817596928","18168480981319680","48699520497745920","106788612061790208","192309499288092672","284769632164773888","346307701317304320","344528231942062080","278469736554037248","180901239368712192","92945703625555968","36873496827002880","10885165114982400","2249600790429696","290271069732864","17592186044416"],["2176782336","104485552128","2368339181568","33714004819968","338161684709376","2541831636123648","14867762610438144","69373205554397184","262639589548621824","816350231619698688","2100215860017758208","4495976013175455744","8032663568891510784","11989269368467881984","14934868337904058368","15480419207010582528","13281132824582160384","9354819751467024384","5346357697874755584","2437406172546859008","864717516734201856","229894687228428288","43065671436730368","5066549580791808","281474976710656"],["13060694016","679156088832","16752516857856","260795938111488","2875999650840576","23906294326886400","155621121884946432","813734842154876928","3478678672364273664","12311422827755470848","36395934151757266944","90442640425394110464","189702859489844133888","336655158075010842624","505874291972917690368","643147665247247007744","690174751322211876864","622562813610943315968","469091945415771684864","292614137807747678208","149227776407525916672","61131087285741158400","19611346789849890816","4742290407621132288","812336782786953216","87820192733724672","4503599627370496"],["78364164096","4388393189376","117023818383360","1977702530678784","23783140689444864","216634492591276032","1553493789568401408","8999816687398158336","42891646196061831168","170376582577753423872","569508611534503280640","1613141027438626603008","3891175473576639725568","8019881823012630036480","14150215297475272507392","21386351528033680097280","27670581145433882492928","30589933557354697064448","28798855220312659722240","22974896534600099561472","15423577092483446734848","8630079362419031801856","3972458598117301813248","1477223461973982707712","432470539117227147264","95899650465227341824","15132094747964866560","1513209474796486656","72057594037927936"]],"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:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["6","24","16"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":168054,"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-bced44278fba7ed1"]},{"id":168055,"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-bced44278fba7ed1"]},{"id":168056,"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-bced44278fba7ed1"]}],"region_exact":{},"incoming_edges":[{"id":"e-bced44278fba7ed1","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-7de8fc70cf185364","premise_count":1,"theorem":"geometric family P_k = g(t) (a + d t)^k: T(p) = g(t) p(a + d t), so the roots of T(p) are those of g and the points (r - a)/d for the roots r of p (elementary)","lean_route":null,"lean_declarations":[],"certificate_hash":"433b0f615bec4c7a2c8cb80dbe0fb2e3b1dc4a533246c129744ab728570b0fbd","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-d3c3090977105807","role":"sequence","name":"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-e5c4e627e70057b2","kind":"oeis_match","node_a_id":"n-7de8fc70cf185364","node_b_id":null,"fingerprint":null,"oeis_id":"A009990","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":0,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A009990","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A009990","relation":"match_row_sums"}],"bfiles":[{"node_id":"n-7de8fc70cf185364","oeis_id":"A009990","target":"row_sums","oeis_offset":0,"first_row":0,"rows_used":200,"terms_matched":15,"oeis_terms_agreeing":17,"oeis_terms_available":17,"term_count":200,"raw_size":34076}],"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: 6, 24, 16;\n 2: 36, 288, 768, 768, 256;\n 3: 216, 2592, 12096, 27648, 32256, 18432, 4096;\n 4: 1296, 20736, 138240, 497664, 1050624, 1327104, 983040, 393216, 65536;\n 5: 7776, 155520, 1347840, 6635520, 20459520, 41140224, 54558720, 47185920, 25559040, 7864320, 1048576;\n 6: 46656, 1119744, 11943936, 74649600, 303575040, 844038144, 1642070016, 2250768384, 2158755840, 1415577600, 603979776, 150994944, 16777216;\n 7: 279936, 7838208, 99283968, 752467968, 3804143616, 13544423424, 34966536192, 66418900992, 93244096512, 96315899904, 72137834496, 38050725888, 13388218368, 2818572288, 268435456;\n 8: 1679616, 53747712, 788299776, 7023034368, 42472636416, 184605474816, 595731677184, 1454421049344, 2712982781952, 3878456131584, 4236314148864, 3500666781696, 2147752083456, 947040288768, 283467841536, 51539607552, 4294967296;\n 9: 10077696, 362797056, 6046617600, 61917364224, 436001439744, 2239344672768, 8684483641344, 25977774145536, 60715708710912, 111653060345856, 161908556562432, 184730838368256, 164683541643264, 113238960242688, 58793807314944, 22265110462464, 5798205849600, 927712935936, 68719476736;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (6+24*x+16*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[(6 + 24*x + 16*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] = (6 + 24*x + 16*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"],"edges":["e-bced44278fba7ed1"],"text":"A272867 \u2192 basis A013611"},"headline":"A272867 \u2192 basis A013611","chain":null}