{"id":"n-f83cea3351353f16","revision":0,"first_index":1,"fingerprint":"f6-732c894f3f2377d3","name":"mobius_x_over_x_plus_one of Triangle T(n,k) read by rows: T(n, k) = (m*n - m*k + 1)*T(n - 1, k - 1) + (9*k - 8)*(m*k - (m - 1))*T(n - 1, k) where m = 0.","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","13","13"],["1","114","255","143"],["1","1115","4020","4757","1852"],["1","11116","58504","111131","91304","27563"],["1","111117","833631","2301964","3021081","1915356","473725"],["1","1111118","12060957","46116631","86373209","86374968","44458945","9290396"],["1","11111119","181380046","929741371","2330249251","3263155111","2618039404","1129406335","203745235"],["1","111111120","2868442614","19165836327","61548837867","112927271913","125366296404","83662314795","30995447643","4912490375"],["1","1111111121","47722631265","405300384114","1617449208222","3728857481271","5367648589248","4924628953728","2809906470396","911606641235","128777672338"],["1","11111111122","828952215475","8776833928611","42629378193258","120114332607732","215336130127194","254730638166357","199023723367644","99141525172790","28599343167020","3643086083981"],["1","111111111123","14872314315288","194185264856153","1132738004766798","3827592802264230","8317036002566292","12185284313228454","12225794456938635","8313417088459196","3673098833503782","953506638150540","110557605978901"],["1","1111111111124","272796194211540","4385125413900947","30475164115475650","121827170288735055","314638358961708924","555353921509107150","687068737482509667","597942596522041772","359674750352768278","142697716105935576","33657610758481813","3579776914324250"],["1","11111111111125","5075349912240115","101112612246513464","833081598797698823","3898956489065274350","11790942192322086795","24568626203061971172","36442694358235722129","38967174540308419547","29915611131924941567","16122696908729991878","5801371749942426919","1253273472590084245","123074955978249433"],["1","111111111111126","95253870554782809","2383222350625245247","23197998507736981551","126021606747117448368","440959956057702551755","1067921526304525543938","1860506102710141408521","2376338748677100661598","2235167750192160630417","1534021059946917035937","748467091240446036731","246299654224623436752","49065909895183260399","4474133111905169219"],["1","1111111111111127","1797045762763093746","57476600373692932567","658906676231964354221","4124527987527920263641","16537266640781628893152","45981034174806500665037","92623738373034737322312","138434994627407970581231","155102204508383627817466","130132697825159817497007","80711733083110996970819","35961369613373573291677","10899024169883198190888","2013931604702689139729","171363047274358839412"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["27","513","11745","299619","8656875","285786225","10666827873","441558049059","19943009142939","972835054141185","50948194436139393","2851574835730311747","169823702674226731563","10714920124947851304369","713412067088926550964033"],"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","13","13"]],"recurrence":{"denominator":{"coeffs":[["1","1"]]},"terms":[{"coeff":{"coeffs":[["1","3","2","0"],["0","-9","-18","-9"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","9","27","27","9"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":191641,"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-5edc43fdc7ab3066"]},{"id":191642,"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-5edc43fdc7ab3066"]},{"id":191643,"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-5edc43fdc7ab3066"]}],"region_exact":{},"incoming_edges":[{"id":"e-5edc43fdc7ab3066","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"mobius\",\"a\":\"1\",\"b\":\"0\",\"c\":\"1\",\"e\":\"1\",\"schedule\":{\"first_index\":1,\"first_degree\":2,\"step\":1}}"},"operation_detail":"mobius, shift 0","conclusion_id":"n-f83cea3351353f16","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":"d6c82715fe8b06582b08c3ce3197e66b5e67847ddd8ef8af85edf807ba635950","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-2b620f031a59b07c","role":"sequence","name":"Triangle T(n,k) read by rows: T(n, k) = (m*n - m*k + 1)*T(n - 1, k - 1) + (9*k - 8)*(m*k - (m - 1))*T(n - 1, k) where m = 0.","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,          13,           13;\n   2: 1,         114,          255,           143;\n   3: 1,        1115,         4020,          4757,           1852;\n   4: 1,       11116,        58504,        111131,          91304,           27563;\n   5: 1,      111117,       833631,       2301964,        3021081,         1915356,          473725;\n   6: 1,     1111118,     12060957,      46116631,       86373209,        86374968,        44458945,         9290396;\n   7: 1,    11111119,    181380046,     929741371,     2330249251,      3263155111,      2618039404,      1129406335,       203745235;\n   8: 1,   111111120,   2868442614,   19165836327,    61548837867,    112927271913,    125366296404,     83662314795,     30995447643,     4912490375;\n   9: 1,  1111111121,  47722631265,  405300384114,  1617449208222,   3728857481271,   5367648589248,   4924628953728,   2809906470396,   911606641235,   128777672338;\n  10: 1, 11111111122, 828952215475, 8776833928611, 42629378193258, 120114332607732, 215336130127194, 254730638166357, 199023723367644, 99141525172790, 28599343167020, 3643086083981;\n","recurrence_sentence":"The row polynomials satisfy (1+x)*P(n,x) = (1-(9*n-3)*x-(18*n-2)*x^2-9*n*x^3)*P(n-1,x) + (9*x+27*x^2+27*x^3+9*x^4)*d/dx P(n-1,x) for n >= 2, with P(1,x) = 1 + 13*x + 13*x^2.","mathematica":"P[1, x_] := 1 + 13*x + 13*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((1 - (9*n - 3)*x - (18*n - 2)*x^2 - 9*n*x^3)*P[n - 1, x] + (9*x + 27*x^2 + 27*x^3 + 9*x^4)*D[P[n - 1, x], x])/(1 + x)]];\nTable[CoefficientList[P[n, x], x], {n, 1, 10}] // Flatten","pari":"P(N) = {my(v = vector(N)); v[1] = 1 + 13*x + 13*x^2; for(n = 2, N, my(i = n); v[i] = ((1 - (9*n - 3)*x - (18*n - 2)*x^2 - 9*n*x^3)*v[i - 1] + (9*x + 27*x^2 + 27*x^3 + 9*x^4)*deriv(v[i - 1], 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-2b620f031a59b07c","steps":["x \u21a6 x/(x+1)"],"edges":["e-5edc43fdc7ab3066"],"text":"A166979 \u2192 x \u21a6 x/(x+1)"},"headline":"A166979 \u2192 x \u21a6 x/(x+1)","chain":null}