{"id":"n-277dc4a4d0ef7c4f","revision":0,"first_index":0,"fingerprint":"f6-18f46c82cbc91532","name":"reversal of Triangle read by rows: Joffe's central differences of zero, T(n,k), 1 <= k <= 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":false,"rows":[["1"],["6","1"],["90","30","1"],["2520","1260","126","1"],["113400","75600","13230","510","1"],["7484400","6237000","1580040","126720","2046","1"],["681080400","681080400","227026800","28828800","1171170","8190","1"],["81729648000","95351256000","39502663200","6972966000","494053560","10663380","32766","1"],["12504636144000","16672848192000","8266953895200","1882311631200","196556560200","8203431600","96461910","131070","1"],["2375880867360000","3563821301040000","2059096751712000","576371099304000","80735951696400","5283068427000","133955839080","870123240","524286","1"],["548828480360160000","914714133933600000","603711328396176000","200946724026048000","35589155470268400","3255176777252400","138104723433600","2167656876000","7838973450","2097150","1"],["151476660579404160000","277707211062240960000","206176565788633440000","79645466376075600000","17131288994099280000","2040089704773120000","126301275727704000","3550162645260000","34902001272600","70582218300","8388606","1"],["49229914688306352000000","98459829376612704000000","81229359235705480800000","35750295190317708000000","9072369992559313440000","1341213260195128320000","111457811625103944000","4781156660784504000","90324656188767000","560408322474000","635365793790","33554430","1"],["18608907752179801056000000","40319300129722902288000000","36597518579286942076800000","18087070656483753724800000","5298779817618040353600000","940067598207159021600000","99212586047500685760000","5896518025761483120000","178083067096700766000","2283334779230505000","8984323401810120","5718795460560","134217726","1"],["8094874872198213459360000000","18888041368462498071840000000","18708155260191426661632000000","10262074176606835687104000000","3412553687304301522382400000","708490825421164249464000000","91325001120047485670880000","7057187670131421863040000","305134942368112442586000","6561690510910440906000","57487664033844080400","143909300701857600","51471172410930","536870910","1"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","7","121","3907","202741","15430207","1619195761","224061282907","39531606447181","8661323866026007","2307185279184885001","734307168916191403507","275199311597682485597221","119956934012963778952439407","60172884133239122388455031841"],"nonn":true,"definitions":[{"position":0,"source":"derived:reversal","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","0"],["3","0"],["2","1"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","-1","1"],["0","-4","-2"]]},"deriv_order":1,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","0","2","1"]]},"deriv_order":2,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":193821,"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-2abff62f54316fad"]},{"id":193822,"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-2abff62f54316fad"]},{"id":193823,"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-2abff62f54316fad"]}],"region_exact":{},"incoming_edges":[{"id":"e-2abff62f54316fad","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"reversal\",\"schedule\":{\"first_index\":0,\"first_degree\":0,\"step\":1}}"},"operation_detail":"reversal, shift 0","conclusion_id":"n-277dc4a4d0ef7c4f","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":"reversed","lean_declarations":["RealRooted.X_pow_mul_reverse_eq_zero_or_splits","RealRooted.reflect_eq_zero_or_splits"],"certificate_hash":"713d70c7c55e8b83368fa251c815db6bb8abad25653858f212ebdbf99ea3a5bc","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-4ef34abfaa61f0d6","role":"sequence","name":"Triangle read by rows: Joffe's central differences of zero, T(n,k), 1 <= k <= 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-baad8e38a33e2d4b","kind":"fingerprint_related","node_a_id":"n-4ef34abfaa61f0d6","node_b_id":"n-277dc4a4d0ef7c4f","fingerprint":"f6-18f46c82cbc91532","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-18f46c82cbc91532"},"other_id":"n-4ef34abfaa61f0d6","other":{"id":"n-4ef34abfaa61f0d6","name":"Triangle read by rows: Joffe's central differences of zero, T(n,k), 1 <= k <= n.","first_index":0,"fingerprint":"f6-18f46c82cbc91532","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["1","6"],["1","30","90"]],"card_rows":[["1"],["1","6"],["1","30","90"],["1","126","1260","2520"]],"row_sums_preview":["1","7","121","3907","202741","15430207","1619195761","224061282907"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":["A241171"],"derivation":{"root":"n-4ef34abfaa61f0d6","steps":[],"edges":[],"text":"A241171"},"headline":"A241171: Triangle read by rows: Joffe's central differences of zero, T(n,k), 1 <= k <= n.","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,                1;\n  2:               90,               30,                1;\n  3:             2520,             1260,              126,               1;\n  4:           113400,            75600,            13230,             510,              1;\n  5:          7484400,          6237000,          1580040,          126720,           2046,             1;\n  6:        681080400,        681080400,        227026800,        28828800,        1171170,          8190,            1;\n  7:      81729648000,      95351256000,      39502663200,      6972966000,      494053560,      10663380,        32766,         1;\n  8:   12504636144000,   16672848192000,    8266953895200,   1882311631200,   196556560200,    8203431600,     96461910,    131070,      1;\n  9: 2375880867360000, 3563821301040000, 2059096751712000, 576371099304000, 80735951696400, 5283068427000, 133955839080, 870123240, 524286, 1;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (2*n^2+3*n+1+n^2*x)*P(n-1,x) - ((4*n+1)*x+(2*n-1)*x^2)*d/dx P(n-1,x) + (2*x^2+x^3)*d^2/dx^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[(2*n^2 + 3*n + 1 + n^2*x)*P[n - 1, x] - ((4*n + 1)*x + (2*n - 1)*x^2)*D[P[n - 1, x], x] + (2*x^2 + x^3)*D[P[n - 1, x], {x, 2}]];\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] = (2*n^2 + 3*n + 1 + n^2*x)*v[i - 1] - ((4*n + 1)*x + (2*n - 1)*x^2)*deriv(v[i - 1], x) + (2*x^2 + x^3)*deriv(deriv(v[i - 1], x), 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-4ef34abfaa61f0d6","steps":["reverse"],"edges":["e-2abff62f54316fad"],"text":"A241171 \u2192 reverse"},"headline":"A241171 \u2192 reverse","chain":null}