{"id":"n-6abbd94f049bfefa","revision":0,"first_index":0,"fingerprint":"f6-8042f30bf8ddfc41","name":"mobius_x_over_x_plus_one of basis_map_A007318 of Triangle T(n, k) is coefficient of z^n*w^k in 1/(1 - 2*z - 2*w - 2*z*w) read by rows in order 00, 10, 01, 20, 11, 02, ...","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"],["4","6"],["18","54","40"],["80","360","536","264"],["356","2136","4780","4728","1744"],["1584","11880","35488","52776","39072","11520"],["7048","63432","237032","470712","523920","309888","76096"],["31360","329280","1477312","3671040","5456704","4851648","2389120","502656"],["139536","1674432","8767776","26165376","48673296","57792960","42773568","18041472","3320320"],["620864","8381664","50173440","174791232","390534336","580339296","573566976","363553920","134102528","21932544"],["2762528","41437920","279124032","1111840704","2900294688","5176850400","6403301760","5419513728","3003717376","984433152","144876544"],["12291840","202815360","1518243968","6806256768","20302732800","42312219264","62865616512","66587732352","49275748352","24262732800","7154110464","956989440"],["54692416","984463488","8107793728","40398668160","135636601536","323268105600","560804666304","713510868096","660767111680","434374646784","192404060160","51559612416","6321442816"],["243353344","4745390208","42640503296","233774673792","872454397184","2340557894016","4643642778624","6898489511040","7673674012160","6312632142336","3732851732480","1502552383488","369001824256","41756614656"],["1082798208","22738762368","221375492480","1324323667584","5438562018432","16218908452224","36221682850944","61540736872320","79931451212032","78979968078336","58441324231680","31402362101760","11582938398720","2625204510720","275825459200"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","10","112","1240","13744","152320","1688128","18709120","207348736","2297996800","25468152832","282257489920","3128192733184","34669017210880","384228484907008"],"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":[["0","0","0","0"],["1","3","3","1"]]},"terms":[{"coeff":{"coeffs":[["62","414","1140","1660","1350","582","104"],["-85","-576","-1612","-2386","-1971","-862","-156"],["27","180","502","748","627","280","52"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["78","648","2278","4400","5050","3448","1298","208"],["-36","-300","-1062","-2072","-2408","-1668","-638","-104"]]},"deriv_order":1,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["12","120","518","1262","1900","1812","1070","358","52"]]},"deriv_order":2,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":181214,"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-d7c9d8a0a1e4bec4"]},{"id":181215,"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-d7c9d8a0a1e4bec4"]},{"id":181216,"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-d7c9d8a0a1e4bec4"]}],"region_exact":{},"incoming_edges":[{"id":"e-d7c9d8a0a1e4bec4","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-6abbd94f049bfefa","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":"969a08d1f3c8a422827e077911700c7814e34780176a3b56d772623f7baf02af","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-43836771acfe9d89","role":"sequence","name":"basis_map_A007318 of Triangle T(n, k) is coefficient of z^n*w^k in 1/(1 - 2*z - 2*w - 2*z*w) read by rows in order 00, 10, 01, 20, 11, 02, ...","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:      4,       6;\n  2:     18,      54,       40;\n  3:     80,     360,      536,       264;\n  4:    356,    2136,     4780,      4728,      1744;\n  5:   1584,   11880,    35488,     52776,     39072,     11520;\n  6:   7048,   63432,   237032,    470712,    523920,    309888,     76096;\n  7:  31360,  329280,  1477312,   3671040,   5456704,   4851648,   2389120,    502656;\n  8: 139536, 1674432,  8767776,  26165376,  48673296,  57792960,  42773568,  18041472,   3320320;\n  9: 620864, 8381664, 50173440, 174791232, 390534336, 580339296, 573566976, 363553920, 134102528, 21932544;\n","recurrence_sentence":"The row polynomials satisfy (n+3*n*x+3*n*x^2+n*x^3)*P(n,x) = (27*n^2-85*n+62+(180*n^2-576*n+414)*x+(502*n^2-1612*n+1140)*x^2+(748*n^2-2386*n+1660)*x^3+(627*n^2-1971*n+1350)*x^4+(280*n^2-862*n+582)*x^5+(52*n^2-156*n+104)*x^6)*P(n-1,x) - (36*n-78+(300*n-648)*x+(1062*n-2278)*x^2+(2072*n-4400)*x^3+(2408*n-5050)*x^4+(1668*n-3448)*x^5+(638*n-1298)*x^6+(104*n-208)*x^7)*d/dx P(n-1,x) + (12+120*x+518*x^2+1262*x^3+1900*x^4+1812*x^5+1070*x^6+358*x^7+52*x^8)*d^2/dx^2 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[((27*n^2 - 85*n + 62 + (180*n^2 - 576*n + 414)*x + (502*n^2 - 1612*n + 1140)*x^2 + (748*n^2 - 2386*n + 1660)*x^3 + (627*n^2 - 1971*n + 1350)*x^4 + (280*n^2 - 862*n + 582)*x^5 + (52*n^2 - 156*n + 104)*x^6)*P[n - 1, x] - (36*n - 78 + (300*n - 648)*x + (1062*n - 2278)*x^2 + (2072*n - 4400)*x^3 + (2408*n - 5050)*x^4 + (1668*n - 3448)*x^5 + (638*n - 1298)*x^6 + (104*n - 208)*x^7)*D[P[n - 1, x], x] + (12 + 120*x + 518*x^2 + 1262*x^3 + 1900*x^4 + 1812*x^5 + 1070*x^6 + 358*x^7 + 52*x^8)*D[P[n - 1, x], {x, 2}])/(n + 3*n*x + 3*n*x^2 + n*x^3)]];\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] = ((27*n^2 - 85*n + 62 + (180*n^2 - 576*n + 414)*x + (502*n^2 - 1612*n + 1140)*x^2 + (748*n^2 - 2386*n + 1660)*x^3 + (627*n^2 - 1971*n + 1350)*x^4 + (280*n^2 - 862*n + 582)*x^5 + (52*n^2 - 156*n + 104)*x^6)*v[i - 1] - (36*n - 78 + (300*n - 648)*x + (1062*n - 2278)*x^2 + (2072*n - 4400)*x^3 + (2408*n - 5050)*x^4 + (1668*n - 3448)*x^5 + (638*n - 1298)*x^6 + (104*n - 208)*x^7)*deriv(v[i - 1], x) + (12 + 120*x + 518*x^2 + 1262*x^3 + 1900*x^4 + 1812*x^5 + 1070*x^6 + 358*x^7 + 52*x^8)*deriv(deriv(v[i - 1], x), x))/(n + 3*n*x + 3*n*x^2 + n*x^3)); 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-1bffaa6198344f93","steps":["x \u21a6 x+1","x \u21a6 x/(x+1)"],"edges":["e-c090df23694a462d","e-d7c9d8a0a1e4bec4"],"text":"A059473 \u2192 x \u21a6 x+1 \u2192 x \u21a6 x/(x+1)"},"headline":"A059473 \u2192 x \u21a6 x+1 \u2192 x \u21a6 x/(x+1)","chain":null}