{"id":"n-c6c043a068fbd531","revision":0,"first_index":0,"fingerprint":"f6-9217fe7884f21aef","name":"shift_x_plus_one 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"],["22","20","4"],["484","880","576","160","16"],["10648","29040","32208","18560","5856","960","64"],["234256","851840","1331968","1168640","628864","212480","44032","5120","256"],["5153632","23425600","47277120","55756800","42535680","21926400","7733760","1843200","284160","25600","1024"],["113379904","618435840","1529223168","2265894400","2240029440","1556121600","778813440","282931200","74050560","13619200","1671168","122880","4096"],["2494357888","15873186560","46465146112","82907883520","100715428352","88098841600","57216445440","28025241600","10402990080","2912358400","605351936","90603520","9232384","573440","16384"],["54875873536","399097262080","1349674377216","2816769105920","4059757678592","4284114616320","3423600345088","2113279590400","1018236395520","384232652800","113176870912","25749749760","4436590592","559677440","48758784","2621440","65536"],["1207269217792","9877657236480","37894285034496","90558796922880","151048748556288","186712751554560","177240530632704","132100616355840","78361193889792","37270964633600","14247489798144","4366962524160","1065307471872","204043714560","30012604416","3271557120","248905728","11796480","262144"],["26559922791424","241453843558400","1036056492359680","2789689861939200","5285825546833920","7490890693017600","8237741699235840","7197875178700800","5074920715223040","2915587565158400","1372308843790336","530106830028800","167765974056960","43262961254400","9002381475840","1488401203200","190957486080","18323865600","1237319680","52428800","1048576"],["584318301411328","5843183014113280","27728559394246656","83060122184089600","176226185238568960","281674865630822400","352191433430876160","353071650688204800","288556726105866240","194432841452748800","108802228727447552","50770877397073920","19782223404990464","6427531948851200","1734375513784320","385844301004800","69978614661120","10175879577600","1157528289280","99195289600","6020923392","230686720","4194304"],["12855002631049216","140236392338718720","729229240161337344","2405266607991357440","5649092756507295744","10053611237385830400","14086613589049999360","15938104446281318400","14818446721816657920","11460943636830617600","7436532765482287104","4070735243095572480","1885835377761058816","740133680562831360","245835793900240896","68886212693196800","16193917597777920","3166818847948800","508897672560640","66036380467200","6746479263744","522274734080","28789702656","1006632960","16777216"],["282810057883082752","3342300684072796160","18899191140847992832","68061395748391485440","175302289763633004544","343782368784599613440","533574094732845776896","672585014548732313600","701114371161792839680","612262112231732019200","452096380464489299968","284130605205070807040","152649214234583891968","70282589499985756160","27754402588106162176","9392747279506472960","2717333616616013824","669093217383219200","139307796146421760","24298029213286400","3504740843388928","410565151293440","38064785195008","2687038914560","135660568576","4362076160","67108864"],["6221821273427820544","79186816207263170560","483759459011644096512","1888703732017863720960","5293475054331147780096","11341503491527417528320","19315486618869131378688","26843481689867424890880","31010512835465471852544","30182393950528890470400","24995820099500576342016","17741849372728271831040","10849280339120218963968","5735723674511647703040","2626845503876386258944","1042858849911208673280","358653895508106412032","106637712232776990720","27315970329349718016","5997085435153612800","1120296067405971456","176319367049379840","23067691673714688","2462671165194240","208984451579904","13557332705280","631360192512","18790481920","268435456"]],"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:shift_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["22","20","4"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":190969,"position":0,"claim":"real_rooted","from_index":0,"region_key":"(-inf, -1]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"-1"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, -1]","region_exact":null,"edges":["e-4186d4b63c4a430b"]},{"id":190970,"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-4186d4b63c4a430b","e-cee0bfea31e38642"]},{"id":190971,"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-4186d4b63c4a430b","e-cee0bfea31e38642"]},{"id":190972,"position":3,"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-cee0bfea31e38642"]}],"region_exact":{},"incoming_edges":[{"id":"e-cee0bfea31e38642","operation":{"map":"A007318","operation":"basis_map"},"operation_detail":"A007318","conclusion_id":"n-c6c043a068fbd531","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":"efbcb79774c47d3b4352202c83f82753f743fd6ad4f21ef05a94dc40ce3f7816","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]"}]},{"id":"e-4186d4b63c4a430b","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"affine\",\"slope\":\"1\",\"intercept\":\"1\"}"},"operation_detail":"affine, shift 0","conclusion_id":"n-c6c043a068fbd531","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":null,"lean_declarations":["Polynomial.Splits.comp_of_degree_le_one"],"certificate_hash":"261ca26fb93356a486039c7f371ae70f7a441982a4e223a819b083df9ef15855","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"-1"}}}],"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-d8c1763df17cb6e8","kind":"fingerprint_related","node_a_id":"n-c6c043a068fbd531","node_b_id":"n-1df5db9823996fe6","fingerprint":"f6-9217fe7884f21aef","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-9217fe7884f21aef"},"other_id":"n-1df5db9823996fe6","other":{"id":"n-1df5db9823996fe6","name":"mobius_x_over_x_plus_one 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-9217fe7884f21aef","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["6","30","33"],["36","360","1296","1980","1089"]],"card_rows":[["1"],["6","30","33"],["36","360","1296","1980","1089"],["216","3240","19764","62640","108702","98010","35937"]],"row_sums_preview":["1","69","4761","328509","22667121","1564031349","107918163081","7446353252589"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-d3c3090977105807","steps":["basis A013610","x \u21a6 x/(x+1)"],"edges":["e-0f2bf5edb3121755","e-63531729efaca795"],"text":"A272867 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A272867 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","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: 22, 20, 4;\n 2: 484, 880, 576, 160, 16;\n 3: 10648, 29040, 32208, 18560, 5856, 960, 64;\n 4: 234256, 851840, 1331968, 1168640, 628864, 212480, 44032, 5120, 256;\n 5: 5153632, 23425600, 47277120, 55756800, 42535680, 21926400, 7733760, 1843200, 284160, 25600, 1024;\n 6: 113379904, 618435840, 1529223168, 2265894400, 2240029440, 1556121600, 778813440, 282931200, 74050560, 13619200, 1671168, 122880, 4096;\n 7: 2494357888, 15873186560, 46465146112, 82907883520, 100715428352, 88098841600, 57216445440, 28025241600, 10402990080, 2912358400, 605351936, 90603520, 9232384, 573440, 16384;\n 8: 54875873536, 399097262080, 1349674377216, 2816769105920, 4059757678592, 4284114616320, 3423600345088, 2113279590400, 1018236395520, 384232652800, 113176870912, 25749749760, 4436590592, 559677440, 48758784, 2621440, 65536;\n 9: 1207269217792, 9877657236480, 37894285034496, 90558796922880, 151048748556288, 186712751554560, 177240530632704, 132100616355840, 78361193889792, 37270964633600, 14247489798144, 4366962524160, 1065307471872, 204043714560, 30012604416, 3271557120, 248905728, 11796480, 262144;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (22+20*x+4*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[(22 + 20*x + 4*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] = (22 + 20*x + 4*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","x \u21a6 x+1"],"edges":["e-e79851ce4a3e511f","e-4186d4b63c4a430b"],"text":"A272867 \u2192 basis A013609 \u2192 x \u21a6 x+1"},"headline":"A272867 \u2192 basis A013609 \u2192 x \u21a6 x+1","chain":null}