{"id":"n-5ca0512feb069e44","revision":0,"first_index":0,"fingerprint":"f6-42e9f6f4286ebba9","name":"one_plus_derivative 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.","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":false,"rows":[["1"],["6","4"],["44","64","16"],["488","944","480","64"],["7312","16640","11648","3072","256"],["138336","351296","298240","110080","17920","1024"],["3164352","8714240","8452864","3850240","885760","98304","4096"],["84934272","249223936","267061760","141044736","40499200","6393856","516096","16384"],["2617217280","8087003136","9371922432","5534613504","1861443584","369754112","42663936","2621440","65536"],["91061061120","293820171264","362970783744","234167975936","88836292608","20824817664","3041525760","268173312","12976128","262144"],["3530893224960","11823082094592","15408975138816","10687292375040","4462362460160","1187774988288","205912670208","23089643520","1608253440","62914560","1048576"],["150979285739520","522134823481344","712394547093504","525072392863744","237213132062720","69896941469696","13831125073920","1849409667072","164450795520","9285140480","299892736","4194304"],["7057681496248320","25113401813827584","35657316711825408","27686558239031296","13366253544472576","4283050361880576","942594392588288","144475863121920","15377265328128","1111909990400","51950649344","1409286144","16777216"],["358065255015014400","1306950362458767360","1922021473583038464","1561599590835814400","798084865409548288","274505344061538304","65969319353253888","11288882054168576","1382165734490112","120005677023232","7199824805888","283098742784","6543114240","67108864"],["19594582780940697600","73180782602763632640","111044260743271612416","93901392524259360768","50432848505096372224","18436122451361398784","4773285782296199168","895042067829358592","122741273969819648","12295621369135104","888150331228160","44946832752640","1508405936128","30064771072","268435456"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","10","124","1976","38928","916896","25169856","789690240","27887304960","1095004039680","47331054812160","2233545697474560","114267874975027200","6299994753716428800","372394288989060710400"],"nonn":true,"definitions":[{"position":0,"source":"derived:one_plus_derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"],["6","4"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["-36","48","-16"],["48","-32","0"],["-16","0","0"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["-8","8"],["8","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":190039,"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-7b582e6cac0ad202"]},{"id":190040,"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-7b582e6cac0ad202"]},{"id":190041,"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-7b582e6cac0ad202"]},{"id":190042,"position":3,"claim":"interlacing","from_index":1,"region_key":null,"provenance":"edges","claim_data":{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"},"label":"Interlacing of consecutive rows","description":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 1","region_exact":null,"edges":["e-7b582e6cac0ad202"]}],"region_exact":{},"incoming_edges":[{"id":"e-7b582e6cac0ad202","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"derivative_polynomial\",\"coefficients\":[{\"numerator\":[\"1\"],\"denominator\":[\"1\"]},{\"numerator\":[\"1\"],\"denominator\":[\"1\"]}]}"},"operation_detail":"derivative_polynomial, shift 0","conclusion_id":"n-5ca0512feb069e44","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":"4551f649d7c3750769418328e13b465594d1149e72908a3fe9e9f2d465812dcb","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-fb74a9e290f1102e","role":"sequence","name":"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.","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-0952c65fac5e903d","kind":"fingerprint_related","node_a_id":"n-5ca0512feb069e44","node_b_id":"n-6577090cee20b8ba","fingerprint":"f6-42e9f6f4286ebba9","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-42e9f6f4286ebba9"},"other_id":"n-6577090cee20b8ba","other":{"id":"n-6577090cee20b8ba","name":"one_plus_derivative 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.","first_index":0,"fingerprint":"f6-42e9f6f4286ebba9","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["3","2"],["33","48","12"]],"card_rows":[["1"],["3","2"],["33","48","12"],["915","1770","900","120"]],"row_sums_preview":["1","5","93","3705","255465","27077085","4088135205","833709301425"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-1336d058dca9979e","steps":["basis A013609","D+1"],"edges":["e-2613ba1fbc2604f1","e-dbfa2177d006c2e3"],"text":"A204420 \u2192 basis A013609 \u2192 D+1"},"headline":"A204420 \u2192 basis A013609 \u2192 D+1","chain":null}},{"id":"l-b3f8cd70386641ae","kind":"fingerprint_related","node_a_id":"n-07593db20f25af3f","node_b_id":"n-5ca0512feb069e44","fingerprint":"f6-42e9f6f4286ebba9","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-42e9f6f4286ebba9"},"other_id":"n-07593db20f25af3f","other":{"id":"n-07593db20f25af3f","name":"one_plus_derivative of Triangle of polynomial coefficients related to the series expansions of (1-x)^((-1-2*n)/2).","first_index":1,"fingerprint":"f6-42e9f6f4286ebba9","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["3","2"],["11","16","4"]],"card_rows":[["1"],["3","2"],["11","16","4"],["61","118","60","8"]],"row_sums_preview":["1","5","31","247","2433","28653","393279","6169455"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-7c9c430277778c10","steps":["D+1"],"edges":["e-632365d14fbacf91"],"text":"A161198 \u2192 D+1"},"headline":"A161198 \u2192 D+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:           6,            4;\n  2:          44,           64,           16;\n  3:         488,          944,          480,           64;\n  4:        7312,        16640,        11648,         3072,         256;\n  5:      138336,       351296,       298240,       110080,       17920,        1024;\n  6:     3164352,      8714240,      8452864,      3850240,      885760,       98304,       4096;\n  7:    84934272,    249223936,    267061760,    141044736,    40499200,     6393856,     516096,     16384;\n  8:  2617217280,   8087003136,   9371922432,   5534613504,  1861443584,   369754112,   42663936,   2621440,    65536;\n  9: 91061061120, 293820171264, 362970783744, 234167975936, 88836292608, 20824817664, 3041525760, 268173312, 12976128, 262144;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -(16*n^2-48*n+36+(32*n-48)*x+16*x^2)*P(n-2,x) + (8*n-8+8*x)*P(n-1,x) for n >= 2, with P(0,x) = 1, P(1,x) = 6 + 4*x.","mathematica":"P[0, x_] := 1;\nP[1, x_] := 6 + 4*x;\nP[n_, x_] := P[n, x] = Expand[-(16*n^2 - 48*n + 36 + (32*n - 48)*x + 16*x^2)*P[n - 2, x] + (8*n - 8 + 8*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] = 1; v[2] = 6 + 4*x; for(n = 2, N, my(i = n + 1); v[i] = -(16*n^2 - 48*n + 36 + (32*n - 48)*x + 16*x^2)*v[i - 2] + (8*n - 8 + 8*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-4172472abe953cea","steps":["basis A013611","D+1"],"edges":["e-403803ced55fc794","e-7b582e6cac0ad202"],"text":"A290319 \u2192 basis A013611 \u2192 D+1"},"headline":"A290319 \u2192 basis A013611 \u2192 D+1","chain":null}