{"id":"n-57fab0d047111899","revision":0,"first_index":1,"fingerprint":"f6-c15c2b3e5c2d6a7d","name":"basis_map_A013609 of Triangle read by rows: coefficients of the partial fraction decomposition of [d^n/dx^n] (x/(1-x))^n/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"],["1","2"],["5","16","12"],["25","114","168","80"],["129","768","1680","1600","560"],["681","5010","14520","20720","14560","4032"],["3653","32016","115500","219520","231840","129024","29568"],["19825","201698","870576","2066400","2913120","2439360","1123584","219648"],["108545","1257472","6318144","17982720","31711680","35481600","24600576","9664512","1647360"],["598417","7777314","44583120","147950880","313236000","438774336","406678272","240514560","82368000","12446720"],["3317445","47800080","307844460","1166943360","2883360480","4852463616","5633147520","4454461440","2296419840","697016320","94595072"],["18474633","292292946","2089284120","8906005680","25155530400","49436202816","68976940032","68332492800","47104611840","21520378880","5864894464","722362368"],["103274625","1779856128","13981617936","66197651520","210391861680","472884572160","770760646656","917940621312","792824947200","484326768640","198649651200","49120641024","5538111488"],["579168825","10799942322","92479560264","481490689680","1700579200320","4302692634240","8023407135744","11164961753088","11594399731200","8874673167360","4866916454400","1810962456576","409820250112","42600857600"],["3256957317","65336473104","605695397580","3439276888320","13363518168000","37587441475584","78922761485568","125674282905600","152510786588160","140365843537920","96450365147136","47982197932032","16337428889600","3408068608000","328635187200"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","3","33","387","4737","59523","761121","9854211","128772609","1694927619","22437369633","298419470979","3984500221569","53376363001731","717044895641121"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":1,"initial_polynomials":[["1"],["1","2"],["5","16","12"]],"recurrence":{"denominator":{"coeffs":[["1"],["-1"]]},"terms":[{"coeff":{"coeffs":[["4"],["-1"]]},"deriv_order":0,"offset":3,"sign":"none"},{"coeff":{"coeffs":[["-23","-28"],["7","8"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["12","12"],["-7","-8"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":199579,"position":0,"claim":"real_rooted","from_index":1,"region_key":"(-inf, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 1, is zero or real-rooted with all roots in (-inf, 0]","region_exact":null,"edges":["e-0a5f37a76159525c"]},{"id":199580,"position":1,"claim":"one_signed_coefficients","from_index":1,"region_key":null,"provenance":"derived_from_edges","claim_data":{"alternating":false,"claim":"one_signed_coefficients","from_index":1},"label":"Coefficients of one sign","description":"Every nonzero row, n >= 1: the coefficients of P_n have one sign","region_exact":null,"edges":["e-0a5f37a76159525c"]},{"id":199581,"position":2,"claim":"hadamard_kernel","from_index":1,"region_key":null,"provenance":"derived_from_edges","claim_data":{"claim":"hadamard_kernel","from_index":1},"label":"Hadamard kernel (Malo)","description":"Rows P_n, n >= 1, are Hadamard kernels (preserve real-rootedness)","region_exact":null,"edges":["e-0a5f37a76159525c"]}],"region_exact":{},"incoming_edges":[{"id":"e-0a5f37a76159525c","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-57fab0d047111899","premise_count":1,"theorem":"geometric family P_k = g(t) (a + d t)^k: T(p) = g(t) p(a + d t), so the roots of T(p) are those of g and the points (r - a)/d for the roots r of p (elementary)","lean_route":null,"lean_declarations":[],"certificate_hash":"b29f4982106a88e171ad8e83ec685e08f7942d7d83977ec8cbd4ee0d0fb49bf1","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-b0d6ec97a8d172b8","role":"sequence","name":"Triangle read by rows: coefficients of the partial fraction decomposition of [d^n/dx^n] (x/(1-x))^n/n!.","uses":{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 1, 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":1,"oeis_offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n   1:      1;\n   2:      1,       2;\n   3:      5,      16,       12;\n   4:     25,     114,      168,        80;\n   5:    129,     768,     1680,      1600,       560;\n   6:    681,    5010,    14520,     20720,     14560,      4032;\n   7:   3653,   32016,   115500,    219520,    231840,    129024,     29568;\n   8:  19825,  201698,   870576,   2066400,   2913120,   2439360,   1123584,    219648;\n   9: 108545, 1257472,  6318144,  17982720,  31711680,  35481600,  24600576,   9664512,  1647360;\n  10: 598417, 7777314, 44583120, 147950880, 313236000, 438774336, 406678272, 240514560, 82368000, 12446720;\n","recurrence_sentence":"The row polynomials satisfy -(n-1)*P(n,x) = -(n-4)*P(n-3,x) + (7*n-23+(8*n-28)*x)*P(n-2,x) - (7*n-12+(8*n-12)*x)*P(n-1,x) for n >= 4, with P(1,x) = 1, P(2,x) = 1 + 2*x, P(3,x) = 5 + 16*x + 12*x^2.","mathematica":"P[1, x_] := 1;\nP[2, x_] := 1 + 2*x;\nP[3, x_] := 5 + 16*x + 12*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[(-(n - 4)*P[n - 3, x] + (7*n - 23 + (8*n - 28)*x)*P[n - 2, x] - (7*n - 12 + (8*n - 12)*x)*P[n - 1, x])/(-n + 1)]];\nTable[CoefficientList[P[n, x], x], {n, 1, 10}] // Flatten","pari":"P(N) = {my(v = vector(N)); v[1] = 1; v[2] = 1 + 2*x; v[3] = 5 + 16*x + 12*x^2; for(n = 4, N, my(i = n); v[i] = (-(n - 4)*v[i - 3] + (7*n - 23 + (8*n - 28)*x)*v[i - 2] - (7*n - 12 + (8*n - 12)*x)*v[i - 1])/(-n + 1)); v};\nrow(n, p) = {my(c = Vecrev(p)); c};\nT(N) = {my(v = P(N)); concat(vector(#v, i, row(i, v[i])))};\nT(10)","reading":{"first_row":1,"offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-b0d6ec97a8d172b8","steps":["basis A013609"],"edges":["e-0a5f37a76159525c"],"text":"A253283 \u2192 basis A013609"},"headline":"A253283 \u2192 basis A013609","chain":null}