{"id":"n-ab955e73adb3d5d4","revision":0,"first_index":0,"fingerprint":"f6-438412a981173c5d","name":"mobius_x_over_x_plus_one of basis_map_A013609 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","3"],["9","42","45"],["225","1365","2595","1575"],["11025","81060","213150","240660","99225"],["893025","7657335","25290090","40595310","31862565","9823275"],["108056025","1054240110","4155099795","8528515380","9660499695","5744963070","1404728325"],["18261468225","199237503465","907788686805","2251563559245","3295684947555","2854696199355","1357666885575","273922023375"],["4108830350625","49485112677000","255058017914700","738087915965400","1315677820807350","1482706306481400","1033422580089900","407837511081000","69850115960625"],["1187451971330625","15628349766904875","89695458572019300","295691147500448700","618633287070148350","853466058693898650","777573262639473300","451660534071446700","151918199591783625","22561587455281875"],["428670161650355625","6115627602413579250","38615772101494012425","142532992217897681400","341307384485002585650","554935928729486604300","621236905231715422650","473301184592942105400","235055023147141121925","68760094708478423250","9002073394657468125"],["189043541287806830625","2904039460741510216125","19983403628724618257175","81508467493114485498675","219359991799130720387850","409578211275959841365250","541999528783528531265550","508783247632406017621350","332263737366280271677125","143854777946508146543025","37181040111239021872875","4348001449619557104375"],["100004033341249813400625","1644936910972747831939500","12241043209521691432317450","54608436390374218326674700","162908804470280980246910775","342798869049482920305231000","522225222210163501824494700","580796067048071688799385400","468317884455395723849475375","267150826519313965735607100","102385267538087626832990250","23679190830811183285117500","2500100833531245335015625"],["62502520838281133375390625","1095588291863311019007609375","8760984420857661931757568750","42392976910411028170985966250","138678697357428210024824656875","324212736173366486857434148125","557780000489753159846340112500","715499566896905169231149797500","684736023042070717345507254375","483083838581963342183150315625","244317600111841693642153698750","83909549857466137665466856250","17546016831754577051839078125","1687568062633590601135546875"],["45564337691106946230659765625","847623338584727860289478093750","7244603275334208076134225759375","37764330969221188829214945727500","134290471294417000165979186435625","344936504701250457368507200316250","660480192780776012737352879994375","958340924651320592529192510465000","1059408721677946300452865079881875","888316424368192648133048760266250","556362176091209891594536743523125","252470742733664860479931684327500","78492223808745072462851236396875","14968768296923721379817811843750","1321365793042101440689133203125"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","4","96","5760","645120","116121600","30656102400","11158821273600","5356234211328000","3278015337332736000","2491291656372879360000","2301953490488540528640000","2541356653499348743618560000","3303763649549153366704128000000","4995290638118319890456641536000000"],"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","0","-1"],["-4","-4","0"],["4","8","4"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":193948,"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-7552b95831f8dbdd"]},{"id":193949,"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-7552b95831f8dbdd"]},{"id":193950,"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-7552b95831f8dbdd"]}],"region_exact":{},"incoming_edges":[{"id":"e-7552b95831f8dbdd","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-ab955e73adb3d5d4","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":"500f2b6287909b60b0b72ff2e59be7720772659cb5b0c34f7f92c52b7d7cd831","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-22e887254e1ffff8","role":"sequence","name":"basis_map_A013609 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":[{"id":"l-2184d90c7e9eae1a","kind":"fingerprint_related","node_a_id":"n-4b3d4c96cc07b501","node_b_id":"n-ab955e73adb3d5d4","fingerprint":"f6-438412a981173c5d","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-438412a981173c5d"},"other_id":"n-4b3d4c96cc07b501","other":{"id":"n-4b3d4c96cc07b501","name":"mobius_x_over_x_plus_one of Triangle of polynomial coefficients related to the series expansions of (1-x)^((-1-2*n)/2).","first_index":1,"fingerprint":"f6-438412a981173c5d","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["1","3"],["3","14","15"]],"card_rows":[["1"],["1","3"],["3","14","15"],["15","91","173","105"]],"row_sums_preview":["1","4","32","384","6144","122880","2949120","82575360"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-7c9c430277778c10","steps":["x \u21a6 x/(x+1)"],"edges":["e-cae38603a0ce9cdb"],"text":"A161198 \u2192 x \u21a6 x/(x+1)"},"headline":"A161198 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-5aa643957d9213a4","kind":"fingerprint_related","node_a_id":"n-3e3a66f1d1f268f6","node_b_id":"n-ab955e73adb3d5d4","fingerprint":"f6-438412a981173c5d","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-438412a981173c5d"},"other_id":"n-3e3a66f1d1f268f6","other":{"id":"n-3e3a66f1d1f268f6","name":"mobius_x_over_x_plus_one of basis_map_A013611 of Triangle read by rows: T(n, k) is the Sheffer triangle ((1 - 4*x)^(-1/4), (-1/4)*log(1 - 4*x)). A generalized Stirling1 triangle.","first_index":0,"fingerprint":"f6-438412a981173c5d","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["2","6"],["12","56","60"]],"card_rows":[["1"],["2","6"],["12","56","60"],["120","728","1384","840"]],"row_sums_preview":["1","8","128","3072","98304","3932160","188743680","10569646080"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-4172472abe953cea","steps":["basis A013611","x \u21a6 x/(x+1)"],"edges":["e-403803ced55fc794","e-15e651973dc15447"],"text":"A290319 \u2192 basis A013611 \u2192 x \u21a6 x/(x+1)"},"headline":"A290319 \u2192 basis A013611 \u2192 x \u21a6 x/(x+1)","chain":null}}],"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,                 3;\n  2:                9,                42,                45;\n  3:              225,              1365,              2595,               1575;\n  4:            11025,             81060,            213150,             240660,              99225;\n  5:           893025,           7657335,          25290090,           40595310,           31862565,            9823275;\n  6:        108056025,        1054240110,        4155099795,         8528515380,         9660499695,         5744963070,         1404728325;\n  7:      18261468225,      199237503465,      907788686805,      2251563559245,      3295684947555,      2854696199355,      1357666885575,       273922023375;\n  8:    4108830350625,    49485112677000,   255058017914700,    738087915965400,   1315677820807350,   1482706306481400,   1033422580089900,    407837511081000,     69850115960625;\n  9: 1187451971330625, 15628349766904875, 89695458572019300, 295691147500448700, 618633287070148350, 853466058693898650, 777573262639473300, 451660534071446700, 151918199591783625, 22561587455281875;\n","recurrence_sentence":"The row polynomials satisfy (1+x)*P(n,x) = (4*n^2-4*n+1+(8*n^2-4*n)*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[((4*n^2 - 4*n + 1 + (8*n^2 - 4*n)*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] = ((4*n^2 - 4*n + 1 + (8*n^2 - 4*n)*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-1336d058dca9979e","steps":["basis A013609","x \u21a6 x/(x+1)"],"edges":["e-2613ba1fbc2604f1","e-7552b95831f8dbdd"],"text":"A204420 \u2192 basis A013609 \u2192 x \u21a6 x/(x+1)"},"headline":"A204420 \u2192 basis A013609 \u2192 x \u21a6 x/(x+1)","chain":null}