{"id":"n-75e4d4a68031f00a","revision":0,"first_index":0,"fingerprint":"f6-6e298d05f674ef99","name":"mobius_x_over_x_plus_one of shift_x_plus_one of Triangle of B-analogs of Stirling numbers of 2nd kind.","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"],["2","3"],["6","18","13"],["24","110","164","79"],["116","720","1648","1644","601"],["648","5084","15752","24056","18078","5339"],["4088","38824","152036","313928","360094","217326","53861"],["28640","319640","1515488","3954044","6126632","5633150","2843600","607527"],["219920","2822528","15728896","49681504","97229416","120655744","92657840","40236920","7560625"],["1832224","26597168","170460224","632788288","1498809776","2347903736","2431379728","1604212256","611656730","102637235"],["16430176","266256672","1930205392","8240404544","22934777776","43466495728","56788081256","50482315600","29211848326","9932095466","1506225085"],["157554048","2820303584","22825969344","110225803376","352768084160","785425602352","1240990768544","1391043613016","1083696117016","558651248702","171454513500","23726435583"],["1606879040","31496848128","281601265408","1518167309888","5495467167920","14067393759488","26104939500480","35374884301472","34732243385948","24089523222736","11200320258240","3133565264420","398852249097"],["17350255744","369680082368","3619381595520","21555477011584","87107398995872","252172547243536","537927505407168","855912384851200","1015579326986872","887320662317652","554745909289304","234958024145016","60412074026870","7120170905995"],["197553645440","4547087905408","48394790554176","315623006849408","1408941642198432","4553201189622688","10983025539582320","20084608474828736","27974987967431400","29528291580229080","23245594655741324","13231976156109784","5147294083148734","1224596954577926","134408217821205"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","5","37","377","4729","68957","1140157","21028721","426793393","9428277365","224775136021","5743786013225","156430061412265","4518817893114701","137885688900246061"],"nonn":true,"definitions":[{"position":0,"source":"derived:mobius_x_over_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["1","2","1"]]},"terms":[{"coeff":{"coeffs":[["-2","-13","-28","-25","-8"],["4","20","36","28","8"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["-2","-14","-38","-50","-32","-8"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":182532,"position":0,"claim":"real_rooted","from_index":0,"region_key":"[-1, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"lower":{"closed":true,"value":"-1"},"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in [-1, 0]","region_exact":null,"edges":["e-93639b81fc0f3e17"]},{"id":182533,"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-93639b81fc0f3e17"]},{"id":182534,"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-93639b81fc0f3e17"]}],"region_exact":{},"incoming_edges":[{"id":"e-93639b81fc0f3e17","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"mobius\",\"a\":\"1\",\"b\":\"0\",\"c\":\"1\",\"e\":\"1\",\"schedule\":{\"first_index\":0,\"first_degree\":0,\"step\":1}}"},"operation_detail":"mobius, shift 0","conclusion_id":"n-75e4d4a68031f00a","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":"6bc52b8f93dfc9f21e3b4c8106486744f29b96b759a80fa6e896fd9837d1cffe","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"lower":{"closed":true,"value":"-1"},"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-0c5ba5f813be2bea","role":"sequence","name":"shift_x_plus_one of Triangle of B-analogs of Stirling numbers of 2nd kind.","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":[],"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:       2,        3;\n  2:       6,       18,        13;\n  3:      24,      110,       164,        79;\n  4:     116,      720,      1648,      1644,        601;\n  5:     648,     5084,     15752,     24056,      18078,       5339;\n  6:    4088,    38824,    152036,    313928,     360094,     217326,      53861;\n  7:   28640,   319640,   1515488,   3954044,    6126632,    5633150,    2843600,     607527;\n  8:  219920,  2822528,  15728896,  49681504,   97229416,  120655744,   92657840,   40236920,   7560625;\n  9: 1832224, 26597168, 170460224, 632788288, 1498809776, 2347903736, 2431379728, 1604212256, 611656730, 102637235;\n","recurrence_sentence":"The row polynomials satisfy (1+2*x+x^2)*P(n,x) = (4*n-2+(20*n-13)*x+(36*n-28)*x^2+(28*n-25)*x^3+(8*n-8)*x^4)*P(n-1,x) - (2+14*x+38*x^2+50*x^3+32*x^4+8*x^5)*d/dx P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[Together[((4*n - 2 + (20*n - 13)*x + (36*n - 28)*x^2 + (28*n - 25)*x^3 + (8*n - 8)*x^4)*P[n - 1, x] - (2 + 14*x + 38*x^2 + 50*x^3 + 32*x^4 + 8*x^5)*D[P[n - 1, x], x])/(1 + 2*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] = ((4*n - 2 + (20*n - 13)*x + (36*n - 28)*x^2 + (28*n - 25)*x^3 + (8*n - 8)*x^4)*v[i - 1] - (2 + 14*x + 38*x^2 + 50*x^3 + 32*x^4 + 8*x^5)*deriv(v[i - 1], x))/(1 + 2*x + x^2)); 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-28595a60eb57b37f","steps":["x \u21a6 x+1","x \u21a6 x/(x+1)"],"edges":["e-4c7248607accd612","e-93639b81fc0f3e17"],"text":"A039756 \u2192 x \u21a6 x+1 \u2192 x \u21a6 x/(x+1)"},"headline":"A039756 \u2192 x \u21a6 x+1 \u2192 x \u21a6 x/(x+1)","chain":null}