{"id":"n-df9ff482d15e6222","revision":0,"first_index":0,"fingerprint":"f6-959faa625dfaa291","name":"derivative 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":-1,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[[],["1"],["6","6"],["120","180","45"],["5040","9240","3780","420"],["362880","756000","396900","75600","4725"],["39916800","91143360","56133000","14137200","1559250","62370"],["6227020800","15256200960","10534043520","3178375200","472972500","34054020","945945"],["1307674368000","3390612825600","2555413660800","878139662400","158918760000","15664849200","794593800","16216200"],["355687428096000","966707617075200","781533142790400","296776697817600","61886370546000","7502781686400","526815689400","19848628800","310134825"],["121645100408832000","344130127307366400","294835501920960000","121296470270976000","28213585299900000","3976960585197600","346482626490000","18227657448000","530330550750","6547290750"],["51090942171709440000","149643747686264832000","134671009816985241600","59199911567596800000","15033738170571120000","2381305795340472000","242958237463141200","15971199163920000","653367238524000","15124241632500","151242416325"],["25852016738884976640000","78069919669148639232000","73306240262570668953600","34085066220924861542400","9309068971877394720000","1619871905950041744000","186835240331318779200","14467757590260374400","743858601059574000","24350029028325000","459171975962700","3794809718700"],["15511210043330985984000000","48134552638433432371200000","46911366145135475343360000","22894581074640605890560000","6650599702530338755200000","1251195212726346888000000","159347408122334151720000","14018804277908189760000","853220842861817430000","35272756335316500000","945128983856557500","14799757902930000","102776096548125"],["10888869450418352160768000000","34628061294520142767718400000","34881228415741657702072320000","17760805095622582447534080000","5441413102445418254956800000","1093818469695878491044480000","151274529702758501479440000","14758206339437860178880000","1024782211630457099820000","50358100233246705900000","1711081409826203415000","38227774663268190000","505041738437486250","2988412653476250"]],"degrees":[-1,0,1,2,3,4,5,6,7,8,9,10,11,12,13],"row_sums":["0","1","12","345","18480","1596105","202951980","35703612945","8307234936000","2470641012464625","914462992955011500","412280253287817539625","222444255438875035566000","141527760482828142563765625","104861305454615306530120687500"],"nonn":true,"definitions":[{"position":0,"source":"derived:derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["0"],["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["-48","24","-3"],["176","-76","8"],["-204","64","-4"],["96","-16","0"],["-16","0","0"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["6","-2"],["-16","4"],["8","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":192915,"position":0,"claim":"real_rooted","from_index":0,"region_key":"(-inf, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, 0]","region_exact":null,"edges":["e-5f410c7b8b40e256"]},{"id":192916,"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-5f410c7b8b40e256"]},{"id":192917,"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-5f410c7b8b40e256"]}],"region_exact":{},"incoming_edges":[{"id":"e-5f410c7b8b40e256","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"derivative_polynomial\",\"coefficients\":[{\"numerator\":[\"0\"],\"denominator\":[\"1\"]},{\"numerator\":[\"1\"],\"denominator\":[\"1\"]}]}"},"operation_detail":"derivative_polynomial, shift 0","conclusion_id":"n-df9ff482d15e6222","premise_count":1,"theorem":"Laguerre's theorem on differential operators: if phi is a real polynomial with only real roots, then phi(D) maps every real-rooted polynomial to a real-rooted polynomial or zero (write phi(D) = C D^j prod (1 + c_i D); D preserves real-rootedness by Rolle's theorem and p + c p' is real-rooted for every real c by Rolle's theorem applied to e^(x/c) p; Polya--Schur 1914); when the coefficients of phi have one sign, coefficients of one sign stay of one sign; applied to phi(n, .) for each n","lean_route":null,"lean_declarations":["RealRooted.splits_add_C_mul_derivative_all","RealRooted.splits_C_mul_add_derivative","Polynomial.Splits.derivative"],"certificate_hash":"e1cd3fa2f746a95de4de4e0a8df9a10e48d40fe6c0e81b429d95a99a981ba198","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-1336d058dca9979e","role":"sequence","name":"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-0348b397829aa9fd","kind":"fingerprint_related","node_a_id":"n-8802fa67ca7b6a9f","node_b_id":"n-df9ff482d15e6222","fingerprint":"f6-959faa625dfaa291","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-959faa625dfaa291"},"other_id":"n-8802fa67ca7b6a9f","other":{"id":"n-8802fa67ca7b6a9f","name":"theta_plus_one of basis_map_A007318 of Triangle of coefficients in expansion of (x+1)*(x+3)*...*(x + 2n - 1) in rising powers of x.","first_index":0,"fingerprint":"f6-959faa625dfaa291","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["2","2"],["8","12","3"]],"card_rows":[["1"],["2","2"],["8","12","3"],["48","88","36","4"]],"row_sums_preview":["1","4","23","176","1689","19524","264207","4098240"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-4f6e747b794bcc2e","steps":["x \u21a6 x+1","\u03b8+1"],"edges":["e-29cb0c45f74a7f15","e-6b6fe28ce0cbc59d"],"text":"A028338 \u2192 x \u21a6 x+1 \u2192 \u03b8+1"},"headline":"A028338 \u2192 x \u21a6 x+1 \u2192 \u03b8+1","chain":null}},{"id":"l-ad55731336b07c52","kind":"fingerprint_related","node_a_id":"n-b8a0748f602aaf4f","node_b_id":"n-df9ff482d15e6222","fingerprint":"f6-959faa625dfaa291","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-959faa625dfaa291"},"other_id":"n-b8a0748f602aaf4f","other":{"id":"n-b8a0748f602aaf4f","name":"theta_plus_one of basis_map_A013609 of Triangle read by rows, s_4(n, k) where s_m(n, k) are the Stirling-Frobenius cycle numbers of order m; n >= 0, k >= 0.","first_index":0,"fingerprint":"f6-959faa625dfaa291","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["4","4"],["32","48","12"]],"card_rows":[["1"],["4","4"],["32","48","12"],["384","704","288","32"]],"row_sums_preview":["1","8","92","1408","27024","624768","16909248","524574720"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-9c5c208df8605708","steps":["basis A013609","\u03b8+1"],"edges":["e-8d6d917622b49386","e-46750f40ecde5238"],"text":"A225471 \u2192 basis A013609 \u2192 \u03b8+1"},"headline":"A225471 \u2192 basis A013609 \u2192 \u03b8+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:               0;\n  1:               1;\n  2:               6,               6;\n  3:             120,             180,              45;\n  4:            5040,            9240,            3780,             420;\n  5:          362880,          756000,          396900,           75600,           4725;\n  6:        39916800,        91143360,        56133000,        14137200,        1559250,         62370;\n  7:      6227020800,     15256200960,     10534043520,      3178375200,      472972500,      34054020,       945945;\n  8:   1307674368000,   3390612825600,   2555413660800,    878139662400,   158918760000,   15664849200,    794593800,    16216200;\n  9: 355687428096000, 966707617075200, 781533142790400, 296776697817600, 61886370546000, 7502781686400, 526815689400, 19848628800, 310134825;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -(16*n^4-96*n^3+204*n^2-176*n+48+(16*n^3-64*n^2+76*n-24)*x+(4*n^2-8*n+3)*x^2)*P(n-2,x) + (8*n^2-16*n+6+(4*n-2)*x)*P(n-1,x) for n >= 2, with P(0,x) = 0, P(1,x) = 1.","mathematica":"P[0, x_] := 0;\nP[1, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[-(16*n^4 - 96*n^3 + 204*n^2 - 176*n + 48 + (16*n^3 - 64*n^2 + 76*n - 24)*x + (4*n^2 - 8*n + 3)*x^2)*P[n - 2, x] + (8*n^2 - 16*n + 6 + (4*n - 2)*x)*P[n - 1, x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 0; v[2] = 1; for(n = 2, N, my(i = n + 1); v[i] = -(16*n^4 - 96*n^3 + 204*n^2 - 176*n + 48 + (16*n^3 - 64*n^2 + 76*n - 24)*x + (4*n^2 - 8*n + 3)*x^2)*v[i - 2] + (8*n^2 - 16*n + 6 + (4*n - 2)*x)*v[i - 1]); 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":["D"],"edges":["e-5f410c7b8b40e256"],"text":"A204420 \u2192 D"},"headline":"A204420 \u2192 D","chain":null}