{"id":"n-3df856e22293eef3","revision":0,"first_index":0,"fingerprint":"f6-e426df4ea063f288","name":"mobius_x_over_x_plus_one of basis_map_A013610 of Triangle T(n,k) giving number of degree-2n permutations which decompose into exactly k cycles of even length, k=0..n.","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"],["1","4"],["9","54","72"],["225","1710","3960","2880"],["11025","99540","313740","418320","201600"],["893025","9253440","36163260","67767840","61508160","21772800"],["108056025","1257192090","5800784220","13769050680","17878734720","12106765440","3353011200"],["18261468225","234941116410","1241828487900","3533532682680","5885468709120","5764820181120","3084866104320","697426329600"],["4108830350625","57792347613000","342845511208200","1130338545336000","2278284283875600","2886161092214400","2250596322374400","989834772326400","188305108992000"],["1187451971330625","18098990779369500","118731750927589800","443235313412892000","1042739263454288400","1608717212167665600","1631717108519097600","1051264998809625600","390963999089664000","64023737057280000"],["428670161650355625","7030090595368590750","50427540230636368800","209637820029786548400","561701235113586968400","1016611925716419832800","1261493670861478454400","1061564415931257638400","580566773173792204800","186535520697157632000","26761922089943040000"],["189043541287806830625","3316319714029327755750","25781710901776408378800","117865758909376597719600","353367705980104273458000","731423281738188978338400","1068691119410987594121600","1103942717539869759552000","791058412598996212070400","374867818307037786931200","105815910073032327168000","13488008733331292160000"],["100004033341249813400625","1867381166411622867505500","15621684256029258030323700","77768449582322512404190800","257415240291282366095602800","598236804215604325068897600","1002728724647849446336689600","1223062986986361684087724800","1078627645353711112397337600","671358006618622724104704000","280147571776242697656729600","70413070843605585199104000","8065829222532112711680000"],["62502520838281133375390625","1237116052346139161571375000","11070719476506422276206162500","59540459968172050873845840000","215322439889677237492685310000","554088670838650359434982960000","1045471215855828931508659320000","1466324474119970664990510720000","1530286369236522624109743360000","1174638105884236981243576320000","645042836993187592908748800000","240111469520623379109150720000","54330292854606480084172800000","5646080455772478898176000000"],["45564337691106946230659765625","952484644039343166819598781250","9072618500773554560227106212500","52372278092767627130760608985000","205197831253794067339982721390000","578341817352014674397177678940000","1210960339738206082212148841880000","1915782226476680049300096364080000","2303301587210601231618316592640000","2095843138271192084855459258880000","1421693093934265710037774694400000","697525959245016393626657402880000","234097073802713061059774054400000","48123529864489385984950272000000","4573325169175707907522560000000"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","5","135","8775","1044225","197358525","54273594375","20461145079375","10128266814290625","6370679826188803125","4962759584601077634375","4689807807448018364484375","5285413398993916696773890625","7003172753666939623225405078125","10777882867893420080143898415234375"],"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","-1","-2"],["-4","-2","2"],["4","8","4"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194187,"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-2b8458cee4f12159"]},{"id":194188,"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-2b8458cee4f12159"]},{"id":194189,"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-2b8458cee4f12159"]}],"region_exact":{},"incoming_edges":[{"id":"e-2b8458cee4f12159","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-3df856e22293eef3","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":"3e5e7f6ac7e6449916a642a140e193e042b25ece63a7456e9a5d0f90d724529d","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-77311ba2b23da2eb","role":"sequence","name":"basis_map_A013610 of Triangle T(n,k) giving number of degree-2n permutations which decompose into exactly k cycles of even length, k=0..n.","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:                1,                 4;\n  2:                9,                54,                 72;\n  3:              225,              1710,               3960,               2880;\n  4:            11025,             99540,             313740,             418320,              201600;\n  5:           893025,           9253440,           36163260,           67767840,            61508160,            21772800;\n  6:        108056025,        1257192090,         5800784220,        13769050680,         17878734720,         12106765440,          3353011200;\n  7:      18261468225,      234941116410,      1241828487900,      3533532682680,       5885468709120,       5764820181120,       3084866104320,        697426329600;\n  8:    4108830350625,    57792347613000,    342845511208200,   1130338545336000,    2278284283875600,    2886161092214400,    2250596322374400,     989834772326400,    188305108992000;\n  9: 1187451971330625, 18098990779369500, 118731750927589800, 443235313412892000, 1042739263454288400, 1608717212167665600, 1631717108519097600, 1051264998809625600, 390963999089664000, 64023737057280000;\n","recurrence_sentence":"The row polynomials satisfy (1+x)*P(n,x) = (4*n^2-4*n+1+(8*n^2-2*n-1)*x+(4*n^2+2*n-2)*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[((4*n^2 - 4*n + 1 + (8*n^2 - 2*n - 1)*x + (4*n^2 + 2*n - 2)*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] = ((4*n^2 - 4*n + 1 + (8*n^2 - 2*n - 1)*x + (4*n^2 + 2*n - 2)*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-1336d058dca9979e","steps":["basis A013610","x \u21a6 x/(x+1)"],"edges":["e-05481f5802c9cdfa","e-2b8458cee4f12159"],"text":"A204420 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A204420 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","chain":null}