{"id":"n-2ce5b747bc4731d0","revision":2,"first_index":0,"fingerprint":"f6-d62194962de0e59f","name":"basis_map_A007318 of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-3/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"],["5","5","1"],["25","50","35","10","1"],["125","375","450","275","90","15","1"],["625","2500","4250","4000","2275","800","170","20","1"],["3125","15625","34375","43750","35625","19375","7125","1750","275","25","1"],["15625","93750","253125","406250","431250","318750","168125","63750","17250","3250","405","30","1"],["78125","546875","1750000","3390625","4440625","4156250","2865625","1478125","573125","166250","35525","5425","560","35","1"],["390625","3125000","11562500","26250000","40906250","46375000","39550000","25875000","13121875","5175000","1582000","371000","65450","8400","740","40","1"],["1953125","17578125","73828125","192187500","347343750","462656250","470531250","373500000","234534375","117359375","46906875","14940000","3764250","740250","111150","12300","945","45","1"],["9765625","97656250","458984375","1347656250","2771484375","4242187500","5013281250","4682812500","3510703125","2132968750","1055865625","426593750","140428125","37462500","8021250","1357500","177375","17250","1175","50","1"],["48828125","537109375","2792968750","9130859375","21054687500","36416015625","49048828125","52722656250","45980859375","32901171875","19454875000","9545265625","3890975000","1316046875","367846875","84356250","15695625","2330625","269500","23375","1430","55","1"],["244140625","2929687500","16699218750","60156250000","153720703125","296484375000","448378906250","545273437500","542566406250","447132812500","307761093750","177901875000","86636078125","35580375000","12310443750","3577062500","868106250","174487500","28696250","3795000","393525","30800","1710","60","1"],["1220703125","15869140625","98388671875","387207031250","1086083984375","2311181640625","3878037109375","5264746093750","5887578125000","5493769531250","4317035937500","2875447656250","1630450859375","788984140625","326090171875","115017906250","34536287500","8790031250","1884025000","336943750","49638875","5916625","556075","39650","2015","65","1"],["6103515625","85449218750","572509765625","2443847656250","7464843750000","17373535156250","32032177734375","48025097656250","59639658203125","62171484375000","54941605468750","41456187500000","26846528515625","14972622656250","7205822421875","2994524531250","1073861140625","331649500000","87906568750","19894875000","3816938125","614721250","82002375","8895250","764400","50050","2345","70","1"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","11","121","1331","14641","161051","1771561","19487171","214358881","2357947691","25937424601","285311670611","3138428376721","34522712143931","379749833583241"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A007318","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["5","5","1"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":161828,"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-65aaf6e4286453d2"]},{"id":161829,"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-65aaf6e4286453d2","e-da85173d9f94ea4d"]},{"id":161830,"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-65aaf6e4286453d2","e-da85173d9f94ea4d"]},{"id":161831,"position":3,"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-da85173d9f94ea4d"]}],"region_exact":{},"incoming_edges":[{"id":"e-65aaf6e4286453d2","operation":{"map":"A007318","operation":"basis_map"},"operation_detail":"A007318","conclusion_id":"n-2ce5b747bc4731d0","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":"d56a8ecd38321fc5bcada6ffa41d8bf9264782b077ae69775c75ef335c0a7cfb","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-b30e7a5b4198051a","role":"sequence","name":"Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-3/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-da85173d9f94ea4d","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"affine\",\"slope\":\"1\",\"intercept\":\"1\"}"},"operation_detail":"affine, shift 0","conclusion_id":"n-2ce5b747bc4731d0","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":"7852e5c86bf9e51d6be26ba444fb3938f0ddda25eca1fe19463ed67751f549ff","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-b30e7a5b4198051a","role":"sequence","name":"Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-3/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-85f32255aa58a573","kind":"fingerprint_related","node_a_id":"n-2ce5b747bc4731d0","node_b_id":"n-061162b1b3be9d7f","fingerprint":"f6-d62194962de0e59f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-d62194962de0e59f"},"other_id":"n-061162b1b3be9d7f","other":{"id":"n-061162b1b3be9d7f","name":"mobius_x_over_x_plus_one of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-3/2) where m = k if k=0 and 0<=k<=2n.","first_index":0,"fingerprint":"f6-d62194962de0e59f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["1","5","5"],["1","10","35","50","25"]],"card_rows":[["1"],["1","5","5"],["1","10","35","50","25"],["1","15","90","275","450","375","125"]],"row_sums_preview":["1","11","121","1331","14641","161051","1771561","19487171"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-b30e7a5b4198051a","steps":["x \u21a6 x/(x+1)"],"edges":["e-06d8b869d62a8f95"],"text":"A272866 \u2192 x \u21a6 x/(x+1)"},"headline":"A272866 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-4ce12c991fe6b2d9","kind":"oeis_match","node_a_id":"n-2ce5b747bc4731d0","node_b_id":null,"fingerprint":null,"oeis_id":"A001020","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":"A001020","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A001020","relation":"match_row_sums"}],"bfiles":[{"node_id":"n-2ce5b747bc4731d0","oeis_id":"A001020","target":"row_sums","oeis_offset":0,"first_row":0,"rows_used":200,"terms_matched":15,"oeis_terms_agreeing":21,"oeis_terms_available":21,"term_count":200,"raw_size":21716}],"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: 5, 5, 1;\n 2: 25, 50, 35, 10, 1;\n 3: 125, 375, 450, 275, 90, 15, 1;\n 4: 625, 2500, 4250, 4000, 2275, 800, 170, 20, 1;\n 5: 3125, 15625, 34375, 43750, 35625, 19375, 7125, 1750, 275, 25, 1;\n 6: 15625, 93750, 253125, 406250, 431250, 318750, 168125, 63750, 17250, 3250, 405, 30, 1;\n 7: 78125, 546875, 1750000, 3390625, 4440625, 4156250, 2865625, 1478125, 573125, 166250, 35525, 5425, 560, 35, 1;\n 8: 390625, 3125000, 11562500, 26250000, 40906250, 46375000, 39550000, 25875000, 13121875, 5175000, 1582000, 371000, 65450, 8400, 740, 40, 1;\n 9: 1953125, 17578125, 73828125, 192187500, 347343750, 462656250, 470531250, 373500000, 234534375, 117359375, 46906875, 14940000, 3764250, 740250, 111150, 12300, 945, 45, 1;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (5+5*x+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[(5 + 5*x + 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] = (5 + 5*x + 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-b30e7a5b4198051a","steps":["basis A007318"],"edges":["e-65aaf6e4286453d2"],"text":"A272866 \u2192 basis A007318"},"headline":"A272866 \u2192 basis A007318","chain":null}