{"id":"n-08dfc533c843ef45","revision":1,"first_index":0,"fingerprint":"f6-d98c1510b99a0b49","name":"basis_map_A013611 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","20","16"],["25","200","560","640","256"],["125","1500","7200","17600","23040","15360","4096"],["625","10000","68000","256000","582400","819200","696320","327680","65536"],["3125","62500","550000","2800000","9120000","19840000","29184000","28672000","18022400","6553600","1048576"],["15625","375000","4050000","26000000","110400000","326400000","688640000","1044480000","1130496000","851968000","424673280","125829120","16777216"],["78125","2187500","28000000","217000000","1136800000","4256000000","11737600000","24217600000","37560320000","43581440000","37250662400","22754099200","9395240960","2348810240","268435456"],["390625","12500000","185000000","1680000000","10472000000","47488000000","161996800000","423936000000","859955200000","1356595200000","1658847232000","1556086784000","1098068787200","563714457600","198642237440","42949672960","4294967296"],["1953125","70312500","1181250000","12300000000","88920000000","473760000000","1927296000000","6119424000000","15370444800000","30765056000000","49185423360000","62662901760000","63153635328000","49677336576000","29836600934400","13207024435200","4058744094720","773094113280","68719476736"],["9765625","390625000","7343750000","86250000000","709500000000","4344000000000","20534400000000","76723200000000","230077440000000","559144960000000","1107155353600000","1789263872000000","2355992985600000","2514065817600000","2153187901440000","1457604526080000","761819824128000","296352743424000","80745385164800","13743895347200","1099511627776"],["48828125","2148437500","44687500000","584375000000","5390000000000","37290000000000","200904000000000","863808000000000","3013401600000000","8624844800000000","20399915008000000","40035745792000000","65279728025600000","88318410752000000","98743143628800000","90576833740800000","67412196065280000","40039832616960000","18519898980352000","6425271074816000","1572301627719680","241892558110720","17592186044416"],["244140625","11718750000","267187500000","3850000000000","39352500000000","303600000000000","1836560000000000","8933760000000000","35557632000000000","117213184000000000","322710896640000000","746174545920000000","1453512196096000000","2387758546944000000","3304559581593600000","3840841613312000000","3728487953203200000","2997672424243200000","1971991284285440000","1043161656852480000","432685313320550400","135459832542003200","30082638135951360","4222124650659840","281474976710656"],["1220703125","63476562500","1574218750000","24781250000000","278037500000000","2366650000000000","15884440000000000","86257600000000000","385848320000000000","1440158720000000000","4526740275200000000","12060501606400000000","27354426245120000000","52947829391360000000","87534163984384000000","123499536449536000000","148332225337753600000","151011586998272000000","129469212157542400000","92618392757862400000","54578520252219392000","26021591938760704000","9782574854648627200","2790120706644377600","567172078071971840","73183493944770560","4503599627370496"],["6103515625","341796875000","9160156250000","156406250000000","1911000000000000","17790500000000000","131203800000000000","786843200000000000","3908544640000000000","16297881600000000000","57610448896000000000","173879853056000000000","450410007756800000000","1004795697561600000000","1934298227671040000000","3215346232197120000000","4612198479429632000000","5697695024939008000000","6040893406157209600000","5468661598912512000000","4196767850939023360000","2703572648863989760000","1442601037083967488000","625947571646365696000","215159472197625446400","56351290337473331200","10560941126183813120","1261007895663738880","72057594037927936"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","41","1681","68921","2825761","115856201","4750104241","194754273881","7984925229121","327381934393961","13422659310152401","550329031716248441","22563490300366186081","925103102315013629321","37929227194915558802161"],"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":[["5","20","16"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":168021,"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-a99971f11d0aad5a"]},{"id":168022,"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-a99971f11d0aad5a"]},{"id":168023,"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-a99971f11d0aad5a"]}],"region_exact":{},"incoming_edges":[{"id":"e-a99971f11d0aad5a","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-08dfc533c843ef45","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":"fc4863cdaf5fe7972499c651f1a08212a8fbc57dd6c0a9a9f1aa6ce7e455fa25","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]"}]}],"used_by":[],"used_by_total":0,"links":[{"id":"l-3dacd0a9c0282a36","kind":"oeis_match","node_a_id":"n-08dfc533c843ef45","node_b_id":null,"fingerprint":null,"oeis_id":"A009985","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":"A009985","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A009985","relation":"match_row_sums"}],"bfiles":[{"node_id":"n-08dfc533c843ef45","oeis_id":"A009985","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":33084}],"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, 20, 16;\n 2: 25, 200, 560, 640, 256;\n 3: 125, 1500, 7200, 17600, 23040, 15360, 4096;\n 4: 625, 10000, 68000, 256000, 582400, 819200, 696320, 327680, 65536;\n 5: 3125, 62500, 550000, 2800000, 9120000, 19840000, 29184000, 28672000, 18022400, 6553600, 1048576;\n 6: 15625, 375000, 4050000, 26000000, 110400000, 326400000, 688640000, 1044480000, 1130496000, 851968000, 424673280, 125829120, 16777216;\n 7: 78125, 2187500, 28000000, 217000000, 1136800000, 4256000000, 11737600000, 24217600000, 37560320000, 43581440000, 37250662400, 22754099200, 9395240960, 2348810240, 268435456;\n 8: 390625, 12500000, 185000000, 1680000000, 10472000000, 47488000000, 161996800000, 423936000000, 859955200000, 1356595200000, 1658847232000, 1556086784000, 1098068787200, 563714457600, 198642237440, 42949672960, 4294967296;\n 9: 1953125, 70312500, 1181250000, 12300000000, 88920000000, 473760000000, 1927296000000, 6119424000000, 15370444800000, 30765056000000, 49185423360000, 62662901760000, 63153635328000, 49677336576000, 29836600934400, 13207024435200, 4058744094720, 773094113280, 68719476736;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (5+20*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[(5 + 20*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] = (5 + 20*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-b30e7a5b4198051a","steps":["basis A013611"],"edges":["e-a99971f11d0aad5a"],"text":"A272866 \u2192 basis A013611"},"headline":"A272866 \u2192 basis A013611","chain":null}