{"id":"n-bdea7124c5a6f3dd","revision":0,"first_index":1,"fingerprint":"f6-7d14cc12da244347","name":"mobius_x_over_x_plus_one of Triangle read by rows. A generalization of unsigned Lah numbers, called L[4,1].","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"],["2","3"],["12","36","25"],["120","540","750","331"],["1680","10080","21000","18536","5937"],["30240","226800","630000","834120","534330","133651"],["665280","5987520","20790000","36701280","35265780","17641932","3609673"],["17297280","181621440","756756000","1669908240","2139457320","1605415812","656960486","113525595"],["518918400","6227020800","30270240000","80155595520","128367439200","128433264960","78835258320","27246142800","4070168161"],["17643225600","238183545600","1323241920000","4087935371520","7856087279040","9825144769440","8041196348640","4168659848400","1245471457266","163716695587"],["670442572800","10056638592000","62853991200000","221916491596800","497552194339200","746711002477440","763913653120800","528030247464000","236639576880540","62212344323060","7296866339961"],["28158588057600","464616702950400","3226504881600000","12815677389715200","32838444826387200","57496747190762880","70585621548361920","60987493582092000","36442494839603160","14371051538626860","3371152249061982","356790528924523"],["1295295050649600","23315310911692800","178103069464320000","786028213235865600","2265852693020716800","4534029207043015680","6493877182449296640","6733019291462956800","5029064287865236080","2644273483107342240","930438020741107032","196948371966336696","18983329135883665"],["64764752532480000","1262912674383360000","10524272286528000000","51091833860331264000","163644916718162880000","368389873072245024000","603002881227434688000","729410423241820320000","653778357422480690400","429694441004943114000","201594904493906523600","64008220889059426200","12339163938324382250","1091556096587136051"],["3497296636753920000","73443229371832320000","663029154051264000000","3511402399855494144000","12371555703893113728000","30944749338068582016000","56983772275992578016000","78776325710116594560000","82376073035232566990400","64969799479947398836800","38101436949348332960400","16130071664042975402400","4664203968686616490500","825216409019874854556","67439846581526028457"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","5","73","1741","57233","2389141","120661465","7140942173","484124048161","36967280461093","3137853448906601","292984753866143725","29835227755454419633","3289898521678739288501","390462016460845504267513"],"nonn":true,"definitions":[{"position":0,"source":"derived:mobius_x_over_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":1,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["1","1"]]},"terms":[{"coeff":{"coeffs":[["18","165","371","320","96"],["-8","-112","-280","-256","-80"],["0","16","48","48","16"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["8","136","456","632","400","96"],["0","-32","-128","-192","-128","-32"]]},"deriv_order":1,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","16","80","160","160","80","16"]]},"deriv_order":2,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":189307,"position":0,"claim":"real_rooted","from_index":1,"region_key":"[-1, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":1,"region":{"lower":{"closed":true,"value":"-1"},"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 1, is zero or real-rooted with all roots in [-1, 0]","region_exact":null,"edges":["e-e192d79955b7abed"]},{"id":189308,"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-e192d79955b7abed"]},{"id":189309,"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-e192d79955b7abed"]}],"region_exact":{},"incoming_edges":[{"id":"e-e192d79955b7abed","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"mobius\",\"a\":\"1\",\"b\":\"0\",\"c\":\"1\",\"e\":\"1\",\"schedule\":{\"first_index\":1,\"first_degree\":0,\"step\":1}}"},"operation_detail":"mobius, shift 0","conclusion_id":"n-bdea7124c5a6f3dd","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":"fTransform","lean_declarations":["RealRooted.splits_fPolynomial"],"certificate_hash":"ce27253c8eb567cd26caa40c57a39dc15e1bd1606f84045e2f380672bc69c4aa","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":1,"region":{"lower":{"closed":true,"value":"-1"},"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-be41df8499a2681b","role":"sequence","name":"Triangle read by rows. A generalization of unsigned Lah numbers, called L[4,1].","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:           2,            3;\n   3:          12,           36,            25;\n   4:         120,          540,           750,           331;\n   5:        1680,        10080,         21000,         18536,          5937;\n   6:       30240,       226800,        630000,        834120,        534330,        133651;\n   7:      665280,      5987520,      20790000,      36701280,      35265780,      17641932,       3609673;\n   8:    17297280,    181621440,     756756000,    1669908240,    2139457320,    1605415812,     656960486,     113525595;\n   9:   518918400,   6227020800,   30270240000,   80155595520,  128367439200,  128433264960,   78835258320,   27246142800,    4070168161;\n  10: 17643225600, 238183545600, 1323241920000, 4087935371520, 7856087279040, 9825144769440, 8041196348640, 4168659848400, 1245471457266, 163716695587;\n","recurrence_sentence":"The row polynomials satisfy (1+x)*P(n,x) = -(8*n-18-(16*n^2-112*n+165)*x-(48*n^2-280*n+371)*x^2-(48*n^2-256*n+320)*x^3-(16*n^2-80*n+96)*x^4)*P(n-1,x) + (8-(32*n-136)*x-(128*n-456)*x^2-(192*n-632)*x^3-(128*n-400)*x^4-(32*n-96)*x^5)*d/dx P(n-1,x) + (16*x+80*x^2+160*x^3+160*x^4+80*x^5+16*x^6)*d^2/dx^2 P(n-1,x) for n >= 2, with P(1,x) = 1.","mathematica":"P[1, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[Together[(-(8*n - 18 - (16*n^2 - 112*n + 165)*x - (48*n^2 - 280*n + 371)*x^2 - (48*n^2 - 256*n + 320)*x^3 - (16*n^2 - 80*n + 96)*x^4)*P[n - 1, x] + (8 - (32*n - 136)*x - (128*n - 456)*x^2 - (192*n - 632)*x^3 - (128*n - 400)*x^4 - (32*n - 96)*x^5)*D[P[n - 1, x], x] + (16*x + 80*x^2 + 160*x^3 + 160*x^4 + 80*x^5 + 16*x^6)*D[P[n - 1, x], {x, 2}])/(1 + 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] = (-(8*n - 18 - (16*n^2 - 112*n + 165)*x - (48*n^2 - 280*n + 371)*x^2 - (48*n^2 - 256*n + 320)*x^3 - (16*n^2 - 80*n + 96)*x^4)*v[i - 1] + (8 - (32*n - 136)*x - (128*n - 456)*x^2 - (192*n - 632)*x^3 - (128*n - 400)*x^4 - (32*n - 96)*x^5)*deriv(v[i - 1], x) + (16*x + 80*x^2 + 160*x^3 + 160*x^4 + 80*x^5 + 16*x^6)*deriv(deriv(v[i - 1], x), x))/(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-be41df8499a2681b","steps":["x \u21a6 x/(x+1)"],"edges":["e-e192d79955b7abed"],"text":"A048854 \u2192 x \u21a6 x/(x+1)"},"headline":"A048854 \u2192 x \u21a6 x/(x+1)","chain":null}