{"id":"n-f573c9322e5df2c8","revision":0,"first_index":1,"fingerprint":"f6-11ac09149027f91e","name":"shift_x_plus_one of Triangle of numbers used for basis change between certain falling factorials.","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"],["5","4"],["43","72","30"],["529","1368","1176","336"],["8501","29920","39420","23040","5040"],["169021","755100","1347720","1201200","534600","95040"],["4010455","21758184","49142730","59142720","39999960","14414400","2162160"],["110676833","707280112","1935818640","2941528800","2679986400","1463978880","443963520","57657600"],["3484717129","25651375488","82568248056","151793703936","174319387200","128051159040","58757287680","15397724160","1764322560"],["123320412181","1027994161140","3807078240240","8221185413280","11408087310480","10549156020480","6500479910400","2573936870400","594255916800","60949324800"],["4847038223171","45146191347400","189164857009590","469543542652800","764606705108400","853490307922560","661377093300000","351311908147200","122420235168000","25270527744000","2346549004800"],["209536628422705","2157204484374984","10092243524765160","28321840204709040","52972243427869920","69335554162089600","64806191066010240","43254178224364800","20202955324675200","6289060767897600","1174305952512000","99638080819200"],["9882471447634813","111457337689612512","576023870271606900","1803825132485376000","3812036220693558000","5727441691215129600","6273262628006774400","5047004592774144000","2960059295072880000","1234249282506240000","347300985455424000","59213488029696000","4626053752320000"],["505033804901100749","6193383971188980748","35048218917373769016","121184111481654036816","285637147007891679000","484658635534566292800","609035036983294521600","573888760488871027200","405500405068097539200","212195884348768320000","79933705240701312000","20526045407771904000","3220427319677568000","233153109116928000"],["27802319803528367791","368377504919100489960","2265817949479253543010","8575064733626068816320","22307744750841588958920","42199148812048954165440","59861105031666620682000","64687070089261331712000","53510205962759770224000","33719877037378756224000","15934020292612854432000","5475074428677934080000","1293166861832926080000","187928263392629760000","12677700308232960000"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","9","145","3409","105921","4102681","190630609","10340890785","641787925249","44866443580201","3489524955627921","298914951848510449","27966383049400396225","2837759948683874979129","310425081738609550495441"],"nonn":true,"definitions":[{"position":0,"source":"derived:shift_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":1,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["-1","0","2"],["1","-2","-3"],["1","2","1"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","1","2","1"],["-1","-3","-3","-1"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":189389,"position":0,"claim":"real_rooted","from_index":1,"region_key":"(-inf, -1]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"-1"}}},"label":"Real-rooted","description":"Every row P_n, n >= 1, is zero or real-rooted with all roots in (-inf, -1]","region_exact":null,"edges":["e-10a686a5e1ae469b"]},{"id":189390,"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-10a686a5e1ae469b"]},{"id":189391,"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-10a686a5e1ae469b"]}],"region_exact":{},"incoming_edges":[{"id":"e-10a686a5e1ae469b","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"affine\",\"slope\":\"1\",\"intercept\":\"1\"}"},"operation_detail":"affine, shift 0","conclusion_id":"n-f573c9322e5df2c8","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":null,"lean_declarations":["Polynomial.Splits.comp_of_degree_le_one"],"certificate_hash":"17a850c3040763383e597aee71b0025ea9bcb339d6c84ea1ada77696a5fa3c70","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"-1"}}}],"premises":[{"position":0,"node_id":"n-ee693a689121a12c","role":"sequence","name":"Triangle of numbers used for basis change between certain falling factorials.","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:            5,             4;\n   3:           43,            72,            30;\n   4:          529,          1368,          1176,           336;\n   5:         8501,         29920,         39420,         23040,           5040;\n   6:       169021,        755100,       1347720,       1201200,         534600,          95040;\n   7:      4010455,      21758184,      49142730,      59142720,       39999960,       14414400,       2162160;\n   8:    110676833,     707280112,    1935818640,    2941528800,     2679986400,     1463978880,     443963520,      57657600;\n   9:   3484717129,   25651375488,   82568248056,  151793703936,   174319387200,   128051159040,   58757287680,   15397724160,   1764322560;\n  10: 123320412181, 1027994161140, 3807078240240, 8221185413280, 11408087310480, 10549156020480, 6500479910400, 2573936870400, 594255916800, 60949324800;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (n^2+n-1+(2*n^2-2*n)*x+(n^2-3*n+2)*x^2)*P(n-1,x) - (n+(3*n-1)*x+(3*n-2)*x^2+(n-1)*x^3)*d/dx P(n-1,x) for n >= 2, with P(1,x) = 1.","mathematica":"P[1, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[(n^2 + n - 1 + (2*n^2 - 2*n)*x + (n^2 - 3*n + 2)*x^2)*P[n - 1, x] - (n + (3*n - 1)*x + (3*n - 2)*x^2 + (n - 1)*x^3)*D[P[n - 1, x], x]];\nTable[CoefficientList[P[n, x], x], {n, 1, 10}] // Flatten","pari":"P(N) = {my(v = vector(N)); v[1] = 1; for(n = 2, N, my(i = n); v[i] = (n^2 + n - 1 + (2*n^2 - 2*n)*x + (n^2 - 3*n + 2)*x^2)*v[i - 1] - (n + (3*n - 1)*x + (3*n - 2)*x^2 + (n - 1)*x^3)*deriv(v[i - 1], x)); 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-ee693a689121a12c","steps":["x \u21a6 x+1"],"edges":["e-10a686a5e1ae469b"],"text":"A089503 \u2192 x \u21a6 x+1"},"headline":"A089503 \u2192 x \u21a6 x+1","chain":null}