{"id":"n-8378a9feb3237cd5","revision":0,"first_index":0,"fingerprint":"f6-f6632b3a6a00b47e","name":"mobius_x_over_x_plus_one of basis_map_A013610 of Triangle of central factorial numbers |t(2n,2n-2k)| read by rows.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["1"],["2","5"],["10","59","85"],["100","960","3033","3145"],["1700","22820","113961","250610","204425"],["44200","765020","5267806","18025921","30626660","20646925"],["1635400","34714740","305836722","1430790947","3746944965","5204801925","2993804125"],["81770000","2057910800","22130639880","131789381584","469213064809","998388254355","1175036185475","589779412625"],["5315050000","154779092000","1967374667800","14253884252120","64368720279673","185482994188988","332963133425110","340319961487700","151573309044625"],["435834100000","14419276794000","211627927659600","1808215275708840","9910747444872186","36129439614390741","87584950052280120","136119255205152150","123032998825161750","49261325439503125"],["44019244100000","1631116430294000","27156550688013600","267492541838092440","1726079817491335626","7623283126447211427","23333985240650979261","48869609746684695270","67010154218607348900","54311626398279677375","19753791501240753125"],["5370347780200000","220345537884368000","4104190652630249200","45805017187933873680","340315620525417779772","1767189252909857572704","6544038515686317011937","17279075230811257764525","31876999541812173771750","39125943216614684856250","28751101366317015408125","9580588878101765265625"],["778700428129000000","35048793662408760000","722247019990666470000","9009845498818065472000","75775259893623423180300","452604554715095406970524","1968553783703503786181073","6281376132018637291743774","14592191341740860927034675","24066290502034753570456000","26744578934102640396234375","17978570875689673854003750","5527999782664718558265625"],["132379072781930000000","6485475112452822200000","146510026707864030420000","2020634967332752330430000","18981459584615812265195000","128242625249549276678052180","641067426771715234169827158","2400544854010440402841028001","6733164169472563804106429748","13970182923704470954579994975","20839457088674977034558555750","21162436987254732103431309375","13111252445894911354065695000","3742455852864014463945828125"],["26078677338040210000000","1381556169287021023400000","33953573224724679419740000","513075459530225472974410000","5325545987525525595630965000","40164242948084620133754354460","226960743894924083323726911426","976145266255853218182996835227","3210861051784290785639173641141","8037659909005743364275806362255","15071966641576980175153331538125","20527973901099039196504434210625","19195429766836262237944519774375","11029596973041716262338898715625","2937827844498251354197475078125"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","7","154","7238","593516","75376532","13718528824","3388476619528","1091089471488016","444073414895622512","222924854277602501024","135315386546504718121568","97697709086576406483772096","82749959596330216291754965312","81260460323596272398503375936384"],"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","1"]]},"terms":[{"coeff":{"coeffs":[["1","2","1"],["0","0","0"],["1","5","4"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194133,"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-dee5112139f19a9e"]},{"id":194134,"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-dee5112139f19a9e"]},{"id":194135,"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-dee5112139f19a9e"]}],"region_exact":{},"incoming_edges":[{"id":"e-dee5112139f19a9e","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\":1}}"},"operation_detail":"mobius, shift 0","conclusion_id":"n-8378a9feb3237cd5","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":"e7ea3b63b0603cba73d868629d23f3e29d1a7c4624904e3ea62da3fc584c3d15","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-5ffbcfe26ecef156","role":"sequence","name":"basis_map_A013610 of Triangle of central factorial numbers |t(2n,2n-2k)| read by rows.","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:            2,              5;\n  2:           10,             59,              85;\n  3:          100,            960,            3033,             3145;\n  4:         1700,          22820,          113961,           250610,           204425;\n  5:        44200,         765020,         5267806,         18025921,         30626660,          20646925;\n  6:      1635400,       34714740,       305836722,       1430790947,       3746944965,        5204801925,        2993804125;\n  7:     81770000,     2057910800,     22130639880,     131789381584,     469213064809,      998388254355,     1175036185475,       589779412625;\n  8:   5315050000,   154779092000,   1967374667800,   14253884252120,   64368720279673,   185482994188988,   332963133425110,    340319961487700,    151573309044625;\n  9: 435834100000, 14419276794000, 211627927659600, 1808215275708840, 9910747444872186, 36129439614390741, 87584950052280120, 136119255205152150, 123032998825161750, 49261325439503125;\n","recurrence_sentence":"The row polynomials satisfy (1+x)*P(n,x) = (n^2+1+(5*n^2+2)*x+(4*n^2+1)*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[Together[((n^2 + 1 + (5*n^2 + 2)*x + (4*n^2 + 1)*x^2)*P[n - 1, x])/(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] = ((n^2 + 1 + (5*n^2 + 2)*x + (4*n^2 + 1)*x^2)*v[i - 1])/(1 + x)); 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-e734a631f8279507","steps":["basis A013610","x \u21a6 x/(x+1)"],"edges":["e-5cbcb537f7289c2f","e-dee5112139f19a9e"],"text":"A008955 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A008955 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","chain":null}