{"id":"n-74cff965a91d71b6","revision":0,"first_index":0,"fingerprint":"f6-d4e45bc63e4b1375","name":"mobius_x_over_x_plus_one of basis_map_A007318 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","18","13"],["36","216","480","468","169"],["216","1944","7236","14256","15678","9126","2197"],["1296","15552","81216","241056","444744","522288","381264","158184","28561"],["7776","116640","784080","3110400","8063280","14272848","17470440","14601600","7975110","2570490","371293"],["46656","839808","6905088","34292160","114559920","271211328","466556544","587624544","537795180","348795720","152173008","40099644","4826809"],["279936","5878656","57153600","340962048","1394384544","4135144608","9170422128","15449512320","19869247944","19412206632","14182698348","7514056368","2729003550","608177934","62748517"],["1679616","40310784","452376576","3150959616","15246620928","54342296064","147582134784","311521552128","516522197088","674963362944","692816132736","552731594688","336002114448","150453864288","46800740064","9035786448","815730721"],["10077696","272097792","3461688576","27572576256","154077894144","641455428096","2061860209920","5232057587712","10625088873024","17396959902912","23021025891552","24561603675648","20971791116640","14136271976736","7357001485392","2852528275584","775948161222","132148376802","10604499373"],["60466176","1813985280","25798901760","231283123200","1465775688960","6980578154496","25920371589120","76844749870080","184731752545920","363650107772160","589397588951040","787908566839680","867212949451680","781610719743360","571228189009920","333312732088128","151642217237940","51842824745400","12529623874560","1908809887140","137858491849"],["362797056","11972302848","188231205888","1875660779520","13293136074240","71274111929856","300227720272128","1018382703833088","2828560843595520","6506053940770560","12483600256702080","20064059403194880","27047800556187840","30542308777506240","28770130432311840","22442923151371008","14335448938142904","7373682375900984","2979697412757780","910942810755120","198070839288894","27295981386102","1792160394037"],["2176782336","78364164096","1349605048320","14797766320128","115967716153344","691304711049216","3257111105335296","12440958642984960","39205214094106368","103189393979172864","228781863440824320","429667862269824000","685726675931761920","930947034917952000","1074003747819425280","1049569900797420288","863997005973589488","594038176109801280","336965303438622144","154958081180883552","56321461995176664","15571307535333264","3077001538069680","387106645111992","23298085122481"],["13060694016","509367066624","9536483414016","114098222923776","979710956310528","6427618119217152","33493731740891136","142260712997584896","501510984507726336","1486562679927756288","3739768055493440256","8037542837283028992","14822545801178119680","23514444585787138560","32115515902552592640","37731798319467552768","38038288971847630752","32760583874549882208","23946440068264819248","14717620238407916544","7507723177929051792","3121669216476665712","1030924550801713464","260135665515258624","47108728117656582","5451751918660554","302875106592253"],["78364164096","3291294892032","66557296705536","862867810861056","8056008034873344","57683782826901504","329395759023292416","1540010484871372800","6005177253634470912","19795963069674215424","55716379370260697088","134866396861640930304","282228030599577963264","512380548820608362496","808646193374799605760","1110157855777984785408","1324903810314685438656","1371766082893634832768","1227866906785505995008","945229233028362714432","621267224246359458768","345198095600885841600","159975994514467936896","60699155721719048352","18367113508402869756","4262431269328143912","712362250704979056","76324526861247756","3937376385699289"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","37","1369","50653","1874161","69343957","2565726409","94931877133","3512479453921","129961739795077","4808584372417849","177917621779460413","6582952005840035281","243569224216081305397","9012061295995008299689"],"nonn":true,"definitions":[{"position":0,"source":"derived:mobius_x_over_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["1","2","1"]]},"terms":[{"coeff":{"coeffs":[["6","30","55","44","13"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":187033,"position":0,"claim":"real_rooted","from_index":0,"region_key":"[-1, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"lower":{"closed":true,"value":"-1"},"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in [-1, 0]","region_exact":null,"edges":["e-5b6b2cc1b4672189"]},{"id":187034,"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-5b6b2cc1b4672189"]},{"id":187035,"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-5b6b2cc1b4672189"]}],"region_exact":{},"incoming_edges":[{"id":"e-5b6b2cc1b4672189","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"mobius\",\"a\":\"1\",\"b\":\"0\",\"c\":\"1\",\"e\":\"1\",\"schedule\":{\"first_index\":0,\"first_degree\":0,\"step\":2}}"},"operation_detail":"mobius, shift 0","conclusion_id":"n-74cff965a91d71b6","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":"fTransform","lean_declarations":["RealRooted.splits_fPolynomial"],"certificate_hash":"4e23c586cdb47d3dfd586003e789844d27d301a9e21a2f30c3acd6719f73b99b","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"lower":{"closed":true,"value":"-1"},"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-351cbe3ca6567d98","role":"sequence","name":"basis_map_A007318 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":[],"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: 6, 18, 13;\n 2: 36, 216, 480, 468, 169;\n 3: 216, 1944, 7236, 14256, 15678, 9126, 2197;\n 4: 1296, 15552, 81216, 241056, 444744, 522288, 381264, 158184, 28561;\n 5: 7776, 116640, 784080, 3110400, 8063280, 14272848, 17470440, 14601600, 7975110, 2570490, 371293;\n 6: 46656, 839808, 6905088, 34292160, 114559920, 271211328, 466556544, 587624544, 537795180, 348795720, 152173008, 40099644, 4826809;\n 7: 279936, 5878656, 57153600, 340962048, 1394384544, 4135144608, 9170422128, 15449512320, 19869247944, 19412206632, 14182698348, 7514056368, 2729003550, 608177934, 62748517;\n 8: 1679616, 40310784, 452376576, 3150959616, 15246620928, 54342296064, 147582134784, 311521552128, 516522197088, 674963362944, 692816132736, 552731594688, 336002114448, 150453864288, 46800740064, 9035786448, 815730721;\n 9: 10077696, 272097792, 3461688576, 27572576256, 154077894144, 641455428096, 2061860209920, 5232057587712, 10625088873024, 17396959902912, 23021025891552, 24561603675648, 20971791116640, 14136271976736, 7357001485392, 2852528275584, 775948161222, 132148376802, 10604499373;\n","recurrence_sentence":"The row polynomials satisfy (1+2*x+x^2)*P(n,x) = (6+30*x+55*x^2+44*x^3+13*x^4)*P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[Together[((6 + 30*x + 55*x^2 + 44*x^3 + 13*x^4)*P[n - 1, x])/(1 + 2*x + x^2)]];\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 + 30*x + 55*x^2 + 44*x^3 + 13*x^4)*v[i - 1])/(1 + 2*x + x^2)); 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":["x \u21a6 x+1","x \u21a6 x/(x+1)"],"edges":["e-33933faab90bc4be","e-5b6b2cc1b4672189"],"text":"A272867 \u2192 x \u21a6 x+1 \u2192 x \u21a6 x/(x+1)"},"headline":"A272867 \u2192 x \u21a6 x+1 \u2192 x \u21a6 x/(x+1)","chain":null}