{"id":"n-c16529cef04f3a7e","revision":0,"first_index":0,"fingerprint":"f6-7b46e765e8c58e5d","name":"mobius_x_over_x_plus_one of Triangle read by rows: BellMatrix(Product_{p in P(n)} p), where P(n) = {k : k mod m = 1 and 1 <= k <= m*(n + 1)} and m = 3.","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"],["0","1"],["0","4","5"],["0","28","68","41"],["0","280","1000","1184","465"],["0","3640","17080","29920","23200","6721"],["0","58240","337680","780200","898200","515380","117941"],["0","1106560","7627200","21833560","33233480","28375340","12887924","2433145"],["0","24344320","194237120","662282880","1251205760","1414794640","957657008","359351328","57673281"],["0","608608000","5512707200","21790207040","49100844800","68997774160","61924342480","34667560480","11070122144","1543866945"],["0","17041024000","172649276800","775629612800","2028292414400","3402910340480","3798934528480","2822360576560","1345710743440","373698364100","46052954821"],["0","528271744000","5916720409600","29758639926400","88522747420800","172492934644800","230082109093760","212777629070160","134723890316400","55898451977500","13724932905860","1514472783561"],["0","17961239296000","220292007936000","1225779770969600","4085091728748800","9060867567136000","14045809865989440","15529021373219200","12246041233099520","6750856189113960","2477836975080280","545012013473664","54426342354385"],["0","664565853952000","8856049762560000","53996305665702400","199199921970649600","495271579362560000","874373645391326080","1124016811120082880","1060182788615991040","728231112201112520","355283152053195080","116865659944532928","23272355116112128","2121878761891201"],["0","26582634158080000","382370450029568000","2534407590351436800","10250058184317952000","28223983704268352000","55879063181288547200","81843172846885049600","89792664803135694400","73798852429420518400","44878360556576667120","19628666694922365080","5847457992044246760","1063496486650995124","89187219264121525"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","1","9","137","2929","80561","2707641","107497209","4921546337","255216033249","14783279835881","945940800292841","66258996306416849","5042335825819667857","414238324773313594009"],"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","1"]]},"terms":[{"coeff":{"coeffs":[["-3","-4","0","1"],["3","5","1","-1"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","1","3","3","1"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":185275,"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-1e83f6b2db5998d9"]},{"id":185276,"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-1e83f6b2db5998d9"]},{"id":185277,"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-1e83f6b2db5998d9"]}],"region_exact":{},"incoming_edges":[{"id":"e-1e83f6b2db5998d9","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-c16529cef04f3a7e","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":"d95cd002caebd56185a1d63547aaf684c38a9ae053f2c7bdf2ffef986f067e8b","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-706703e52ab62d2a","role":"sequence","name":"Triangle read by rows: BellMatrix(Product_{p in P(n)} p), where P(n) = {k : k mod m = 1 and 1 <= k <= m*(n + 1)} and m = 3.","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":[{"id":"l-a145a7014bc62bfd","kind":"fingerprint_related","node_a_id":"n-c16529cef04f3a7e","node_b_id":"n-0da1732cb46801e3","fingerprint":"f6-7b46e765e8c58e5d","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-7b46e765e8c58e5d"},"other_id":"n-0da1732cb46801e3","other":{"id":"n-0da1732cb46801e3","name":"mobius_x_over_x_plus_one of Triangle read by rows, the Bell transform of the triple factorial numbers A007559(n+1) without column 0.","first_index":1,"fingerprint":"f6-7b46e765e8c58e5d","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["4","5"],["28","68","41"]],"card_rows":[["1"],["4","5"],["28","68","41"],["280","1000","1184","465"]],"row_sums_preview":["1","9","137","2929","80561","2707641","107497209","4921546337"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-df97cd413ec843e8","steps":["x \u21a6 x/(x+1)"],"edges":["e-01b1fc21e7fc94a7"],"text":"A035469 \u2192 x \u21a6 x/(x+1)"},"headline":"A035469 \u2192 x \u21a6 x/(x+1)","chain":null}}],"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: 0,         1;\n  2: 0,         4,          5;\n  3: 0,        28,         68,          41;\n  4: 0,       280,       1000,        1184,         465;\n  5: 0,      3640,      17080,       29920,       23200,        6721;\n  6: 0,     58240,     337680,      780200,      898200,      515380,      117941;\n  7: 0,   1106560,    7627200,    21833560,    33233480,    28375340,    12887924,     2433145;\n  8: 0,  24344320,  194237120,   662282880,  1251205760,  1414794640,   957657008,   359351328,    57673281;\n  9: 0, 608608000, 5512707200, 21790207040, 49100844800, 68997774160, 61924342480, 34667560480, 11070122144, 1543866945;\n","recurrence_sentence":"The row polynomials satisfy (1+x)*P(n,x) = (3*n-3+(5*n-4)*x+n*x^2-(n-1)*x^3)*P(n-1,x) + (x+3*x^2+3*x^3+x^4)*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[((3*n - 3 + (5*n - 4)*x + n*x^2 - (n - 1)*x^3)*P[n - 1, x] + (x + 3*x^2 + 3*x^3 + x^4)*D[P[n - 1, x], x])/(1 + x)]];\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] = ((3*n - 3 + (5*n - 4)*x + n*x^2 - (n - 1)*x^3)*v[i - 1] + (x + 3*x^2 + 3*x^3 + 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 - 1, v[i])))};\nT(9)","reading":{"first_row":0,"offset":0,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-706703e52ab62d2a","steps":["x \u21a6 x/(x+1)"],"edges":["e-1e83f6b2db5998d9"],"text":"A371080 \u2192 x \u21a6 x/(x+1)"},"headline":"A371080 \u2192 x \u21a6 x/(x+1)","chain":null}