{"id":"n-7fe445ad40415678","revision":0,"first_index":1,"fingerprint":"f6-9c291abd4c2cf6e9","name":"mobius_x_over_x_plus_one of Triangle read by rows: T(n,k) = binomial(2*n,2*k)*binomial(2*n-2*k,n-k)/(n+1-k) for 0<=k<=n.","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"],["1","2"],["2","10","9"],["5","45","90","51"],["14","196","644","784","323"],["42","840","3990","7770","6765","2188"],["132","3564","22770","62700","86130","58278","15511"],["429","15015","123123","447447","858858","908908","502593","113634"],["1430","62920","640640","2938936","7367360","10810800","9292920","4343160","853467"],["4862","262548","3238092","18174156","56972916","108432324","128537136","92964024","37616427","6536382"],["16796","1091740","15998190","107326440","408142800","965333304","1476872280","1466988480","915385230","326527350","50852019"],["58786","4526522","77597520","611080470","2756097630","7862568714","14881264398","19006169490","16236161865","8906444085","2840372304","400763223"],["208012","18721080","370677384","3377282832","17752798998","59749664040","135832668048","213880850568","234237216906","175459211004","85855040964","24755608584","3192727797"],["742900","77261600","1748043700","18208627580","110006031850","429400657400","1147228525300","2162832257300","2912307442330","2790116915300","1860364470250","821493126350","216143407675","25669818476"],["2674440","318258360","8153030340","96132745800","659908709460","2947056812700","9098842702950","20099392770600","32322141191340","37988805074220","32332971901230","19421095058820","7812974308230","1890217075698","208023278209"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","3","21","191","1961","21595","249085","2970007","36311633","452738867","5734534629","73583105007","954482676217","12495597328011","164886035592397"],"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":[["0","0","0"],["-1","-2","-1"],["2","4","2"]]},"terms":[{"coeff":{"coeffs":[["6","0","-36","-48","-18"],["-16","-16","49","82","33"],["8","14","-8","-26","-12"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","-12","-45","-63","-39","-9"],["0","16","60","84","52","12"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":179315,"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-c4c6589ae629bbfa"]},{"id":179316,"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-c4c6589ae629bbfa"]},{"id":179317,"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-c4c6589ae629bbfa"]}],"region_exact":{},"incoming_edges":[{"id":"e-c4c6589ae629bbfa","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-7fe445ad40415678","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":"f205a7e2083846fa4dbbfcb827cca3c7936c337978839e09dbeb07ca66b9ffe5","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-36098d4730252f73","role":"sequence","name":"Triangle read by rows: T(n,k) = binomial(2*n,2*k)*binomial(2*n-2*k,n-k)/(n+1-k) for 0<=k<=n.","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:    1,      2;\n   3:    2,     10,       9;\n   4:    5,     45,      90,       51;\n   5:   14,    196,     644,      784,      323;\n   6:   42,    840,    3990,     7770,     6765,      2188;\n   7:  132,   3564,   22770,    62700,    86130,     58278,     15511;\n   8:  429,  15015,  123123,   447447,   858858,    908908,    502593,   113634;\n   9: 1430,  62920,  640640,  2938936,  7367360,  10810800,   9292920,  4343160,   853467;\n  10: 4862, 262548, 3238092, 18174156, 56972916, 108432324, 128537136, 92964024, 37616427, 6536382;\n","recurrence_sentence":"The row polynomials satisfy (2*n^2-n+(4*n^2-2*n)*x+(2*n^2-n)*x^2)*P(n,x) = (8*n^2-16*n+6+(14*n^2-16*n)*x-(8*n^2-49*n+36)*x^2-(26*n^2-82*n+48)*x^3-(12*n^2-33*n+18)*x^4)*P(n-1,x) + ((16*n-12)*x+(60*n-45)*x^2+(84*n-63)*x^3+(52*n-39)*x^4+(12*n-9)*x^5)*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[Together[((8*n^2 - 16*n + 6 + (14*n^2 - 16*n)*x - (8*n^2 - 49*n + 36)*x^2 - (26*n^2 - 82*n + 48)*x^3 - (12*n^2 - 33*n + 18)*x^4)*P[n - 1, x] + ((16*n - 12)*x + (60*n - 45)*x^2 + (84*n - 63)*x^3 + (52*n - 39)*x^4 + (12*n - 9)*x^5)*D[P[n - 1, x], x])/(2*n^2 - n + (4*n^2 - 2*n)*x + (2*n^2 - n)*x^2)]];\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^2 - 16*n + 6 + (14*n^2 - 16*n)*x - (8*n^2 - 49*n + 36)*x^2 - (26*n^2 - 82*n + 48)*x^3 - (12*n^2 - 33*n + 18)*x^4)*v[i - 1] + ((16*n - 12)*x + (60*n - 45)*x^2 + (84*n - 63)*x^3 + (52*n - 39)*x^4 + (12*n - 9)*x^5)*deriv(v[i - 1], x))/(2*n^2 - n + (4*n^2 - 2*n)*x + (2*n^2 - n)*x^2)); 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-36098d4730252f73","steps":["x \u21a6 x/(x+1)"],"edges":["e-c4c6589ae629bbfa"],"text":"A280580 \u2192 x \u21a6 x/(x+1)"},"headline":"A280580 \u2192 x \u21a6 x/(x+1)","chain":null}