{"id":"n-8253cbfd755ffdf6","revision":0,"first_index":0,"fingerprint":"f6-a634a8e2c7c6279b","name":"mobius_x_over_x_plus_one of basis_map_A013609 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","19"],["25","200","590","760","361"],["125","1500","7425","19400","28215","21660","6859"],["625","10000","69500","274000","670150","1041200","1003580","548720","130321"],["3125","62500","559375","2950000","10151250","23815000","38574750","42598000","30694025","13032100","2476099"],["15625","375000","4106250","27125000","120384375","378150000","862047500","1436970000","1738350375","1488403000","856208970","297131880","47045881"],["78125","2187500","28328125","224875000","1222440625","4813812500","14160540625","31610650000","53810054375","69511452500","67077761975","46889495800","22445837435","6586423340","893871739"],["390625","12500000","186875000","1732500000","11147937500","52790500000","190305325000","532726500000","1170313543750","2024360700000","2748008893000","2896720316000","2324496580700","1372749285600","562668736760","143019478240","16983563041"],["1953125","70312500","1191796875","12637500000","93940312500","519828750000","2219147437500","7472758500000","20121898893750","43649877875000","76463215796250","107906632740000","121769058190500","108391364046000","74433764429100","38050708552800","13636013378445","3057041347380","322687697779"],["9765625","390625000","7402343750","88359375000","745095703125","4718062500000","23277178125000","91623487500000","292228465781250","762669778750000","1637629715462500","2898145159250000","4219779045881250","5027564006100000","4853608208685000","3738364748220000","2243435762101125","1010968936809000","321838519626950","64537539555800","6131066257801"],["48828125","2148437500","45009765625","597265625000","5633310546875","40171054687500","224903958984375","1013304187500000","3735878463281250","11398764471875000","28993885002156250","61734045901750000","110176763008193750","164598158973875000","204995123037168750","211287704030700000","178203029739920625","120952490142247500","64453850814236125","25967867889689000","7436337995317055","1348834576716220","116490258898219"],["244140625","11718750000","268945312500","3927343750000","40967050781250","324869531250000","2034973789062500","10327850156250000","43218651287109375","150964171187500000","443926405250625000","1105124454517500000","2336448548116937500","4199472927166500000","6410297291819025000","8283706001400500000","9011676567019809375","8183289422092950000","6127176621974622500","3717013668435870000","1781162213240851650","648860422694013200","168849564739839540","27957662135572560","2213314919066161"],["1220703125","63476562500","1583740234375","25238281250000","288492089843750","2518308203125000","17450633535156250","98511247656250000","461314761552734375","1815423034648437500","6060069824458203125","17272469630162500000","42219333530696562500","88723700234003750000","160433467416646937500","249414461459546500000","332528151407670521875","378540392477470437500","365523526325108490625","296611099801437850000","199662440252439485750","109490806078568629000","47663538329155643050","15845127636660904400","3778361547363733265","575461878957201860","42052983462257059"],["6103515625","341796875000","9211425781250","159072265625000","1977317138671875","18840910156250000","143100681445312500","889416764843750000","4608360798056640625","20175124109765625000","75373790284761718750","242056782298296875000","671687386921438671875","1616182094757037500000","3378808678846544375000","6141491960076742500000","9699165867145574421875","13282139758272146125000","15716460357920691118750","15985793482581297375000","13875481197468015750625","10176313731668952010000","6221720178013501024500","3112821720259221334000","1241401588723993972275","379501965438617858200","83508371896366254530","11774835369431976520","799006685782884121"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","44","1936","85184","3748096","164916224","7256313856","319277809664","14048223625216","618121839509504","27197360938418176","1196683881290399744","52654090776777588736","2316779994178213904384","101938319743841411792896"],"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":[["5","30","64","58","19"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":190081,"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-efead0e81a575785"]},{"id":190082,"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-efead0e81a575785"]},{"id":190083,"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-efead0e81a575785"]}],"region_exact":{},"incoming_edges":[{"id":"e-efead0e81a575785","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-8253cbfd755ffdf6","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":"925466c73263a2622c2d747af9845138c964484eb3a40b6dd79fde10388aea21","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-feae95e8ddee939b","role":"sequence","name":"basis_map_A013609 of 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":[],"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: 5, 20, 19;\n 2: 25, 200, 590, 760, 361;\n 3: 125, 1500, 7425, 19400, 28215, 21660, 6859;\n 4: 625, 10000, 69500, 274000, 670150, 1041200, 1003580, 548720, 130321;\n 5: 3125, 62500, 559375, 2950000, 10151250, 23815000, 38574750, 42598000, 30694025, 13032100, 2476099;\n 6: 15625, 375000, 4106250, 27125000, 120384375, 378150000, 862047500, 1436970000, 1738350375, 1488403000, 856208970, 297131880, 47045881;\n 7: 78125, 2187500, 28328125, 224875000, 1222440625, 4813812500, 14160540625, 31610650000, 53810054375, 69511452500, 67077761975, 46889495800, 22445837435, 6586423340, 893871739;\n 8: 390625, 12500000, 186875000, 1732500000, 11147937500, 52790500000, 190305325000, 532726500000, 1170313543750, 2024360700000, 2748008893000, 2896720316000, 2324496580700, 1372749285600, 562668736760, 143019478240, 16983563041;\n 9: 1953125, 70312500, 1191796875, 12637500000, 93940312500, 519828750000, 2219147437500, 7472758500000, 20121898893750, 43649877875000, 76463215796250, 107906632740000, 121769058190500, 108391364046000, 74433764429100, 38050708552800, 13636013378445, 3057041347380, 322687697779;\n","recurrence_sentence":"The row polynomials satisfy (1+2*x+x^2)*P(n,x) = (5+30*x+64*x^2+58*x^3+19*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[((5 + 30*x + 64*x^2 + 58*x^3 + 19*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] = ((5 + 30*x + 64*x^2 + 58*x^3 + 19*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-b30e7a5b4198051a","steps":["basis A013609","x \u21a6 x/(x+1)"],"edges":["e-89275777750acd05","e-efead0e81a575785"],"text":"A272866 \u2192 basis A013609 \u2192 x \u21a6 x/(x+1)"},"headline":"A272866 \u2192 basis A013609 \u2192 x \u21a6 x/(x+1)","chain":null}