{"id":"n-91c62c75d8f18841","revision":0,"first_index":0,"fingerprint":"f6-797bb38c8aa87a31","name":"mobius_x_over_x_plus_one of reversal of Triangle of coefficients of polynomials u(n,x) jointly generated with A207607; see the Formula section.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":2,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[["2","11","13"],["2","17","44","34"],["2","23","93","155","89"],["2","29","160","417","510","233"],["2","35","245","874","1668","1608","610"],["2","41","348","1580","4130","6195","4924","1597"],["2","47","469","2589","8625","17711","21841","14761","4181"],["2","53","608","3955","16044","42006","70844","74089","43540","10946"],["2","59","765","5732","27440","87549","188237","268910","243966","126805","28657"],["2","65","940","7974","44028","165914","434840","791615","979852","784614","365532","75025"],["2","71","1133","10735","67185","292266","905142","2008586","3166460","3455260","2475408","1044816","196418"],["2","77","1344","14069","98450","485847","1737912","4558098","8757378","12163025","11861336","7686426","2965334","514229"],["2","83","1573","18030","139524","770462","3128268","9479568","21526530","36426573","45183951","39815174","23549204","8365415","1346269"],["2","89","1820","22672","192270","1174965","5341204","18378525","48227322","96448065","145706292","163204002","131133390","71326601","23477180","3524578"],["2","95","2085","28049","258713","1733745","8726575","33631675","100234629","231650463","413523957","563896305","575561445","424911597","213907779","65590703","9227465"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["26","97","362","1351","5042","18817","70226","262087","978122","3650401","13623482","50843527","189750626","708158977","2642885282"],"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":[["2","11","13"]],"recurrence":{"denominator":{"coeffs":[["18","72","108","72","18"],["24","96","144","96","24"],["8","32","48","32","8"]]},"terms":[{"coeff":{"coeffs":[["18","141","441","714","636","297","57","0"],["24","196","639","1091","1054","570","155","15"],["8","68","230","415","440","278","98","15"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","-6","-69","-273","-522","-528","-273","-57","0"],["0","-4","-46","-200","-450","-580","-434","-176","-30"]]},"deriv_order":1,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","0","0","3","30","105","180","165","78","15"]]},"deriv_order":2,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":174555,"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-5cd9a3c9efb59107"]},{"id":174556,"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-5cd9a3c9efb59107"]},{"id":174557,"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-5cd9a3c9efb59107"]}],"region_exact":{},"incoming_edges":[{"id":"e-5cd9a3c9efb59107","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"mobius\",\"a\":\"1\",\"b\":\"0\",\"c\":\"1\",\"e\":\"1\",\"schedule\":{\"first_index\":0,\"first_degree\":2,\"step\":1}}"},"operation_detail":"mobius, shift 0","conclusion_id":"n-91c62c75d8f18841","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":"34e5a420cc1c351fb694b2b997c912adb8cc9faf8a9e2fd5df8254467b53184a","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-5561b91e0c2d41c3","role":"sequence","name":"reversal of Triangle of coefficients of polynomials u(n,x) jointly generated with A207607; see the Formula section.","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-ae83247baf4dcd8d","kind":"candidate_equal","node_a_id":"n-91c62c75d8f18841","node_b_id":"n-4a8b92b99ec82596","fingerprint":null,"oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"reason":"no all-index equality certificate was found","rows_compared":15},"other_id":"n-4a8b92b99ec82596","other":{"id":"n-4a8b92b99ec82596","name":"reversal of basis_map_A007318 of Triangle of coefficients of polynomials u(n,x) jointly generated with A207607; see the Formula section.","first_index":0,"fingerprint":"f6-797bb38c8aa87a31","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["2","11","13"],["2","17","44","34"],["2","23","93","155","89"]],"card_rows":[["2","11","13"],["2","17","44","34"],["2","23","93","155","89"],["2","29","160","417","510","233"]],"row_sums_preview":["26","97","362","1351","5042","18817","70226","262087"],"regions":["(-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-dfab35176bd08e72","steps":["x \u21a6 x+1","reverse"],"edges":["e-23e971f1ed1ce0e7","e-c8e1c16005fade80"],"text":"A207606 \u2192 x \u21a6 x+1 \u2192 reverse"},"headline":"A207606 \u2192 x \u21a6 x+1 \u2192 reverse","chain":null}},{"id":"l-96c80261b30af764","kind":"fingerprint_related","node_a_id":"n-dd70177049267f47","node_b_id":"n-91c62c75d8f18841","fingerprint":"f6-797bb38c8aa87a31","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-797bb38c8aa87a31"},"other_id":"n-dd70177049267f47","other":{"id":"n-dd70177049267f47","name":"basis_map_A007318 of Triangle of coefficients of polynomials u(n,x) jointly generated with A207607; see the Formula section.","first_index":0,"fingerprint":"f6-797bb38c8aa87a31","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["13","11","2"],["34","44","17","2"],["89","155","93","23","2"]],"card_rows":[["13","11","2"],["34","44","17","2"],["89","155","93","23","2"],["233","510","417","160","29","2"]],"row_sums_preview":["26","97","362","1351","5042","18817","70226","262087"],"regions":["(-inf, 0]","(-5, -1)"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-dfab35176bd08e72","steps":["x \u21a6 x+1"],"edges":["e-23e971f1ed1ce0e7"],"text":"A207606 \u2192 x \u21a6 x+1"},"headline":"A207606 \u2192 x \u21a6 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: 2, 11,  13;\n  1: 2, 17,  44,   34;\n  2: 2, 23,  93,  155,    89;\n  3: 2, 29, 160,  417,   510,    233;\n  4: 2, 35, 245,  874,  1668,   1608,    610;\n  5: 2, 41, 348, 1580,  4130,   6195,   4924,   1597;\n  6: 2, 47, 469, 2589,  8625,  17711,  21841,  14761,   4181;\n  7: 2, 53, 608, 3955, 16044,  42006,  70844,  74089,  43540,  10946;\n  8: 2, 59, 765, 5732, 27440,  87549, 188237, 268910, 243966, 126805,  28657;\n  9: 2, 65, 940, 7974, 44028, 165914, 434840, 791615, 979852, 784614, 365532, 75025;\n","recurrence_sentence":"The row polynomials satisfy (8*n^2+24*n+18+(32*n^2+96*n+72)*x+(48*n^2+144*n+108)*x^2+(32*n^2+96*n+72)*x^3+(8*n^2+24*n+18)*x^4)*P(n,x) = (8*n^2+24*n+18+(68*n^2+196*n+141)*x+(230*n^2+639*n+441)*x^2+(415*n^2+1091*n+714)*x^3+(440*n^2+1054*n+636)*x^4+(278*n^2+570*n+297)*x^5+(98*n^2+155*n+57)*x^6+(15*n^2+15*n)*x^7)*P(n-1,x) - ((4*n+6)*x+(46*n+69)*x^2+(200*n+273)*x^3+(450*n+522)*x^4+(580*n+528)*x^5+(434*n+273)*x^6+(176*n+57)*x^7+30*n*x^8)*d/dx P(n-1,x) + (3*x^3+30*x^4+105*x^5+180*x^6+165*x^7+78*x^8+15*x^9)*d^2/dx^2 P(n-1,x) for n >= 1, with P(0,x) = 2 + 11*x + 13*x^2.","mathematica":"P[0, x_] := 2 + 11*x + 13*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((8*n^2 + 24*n + 18 + (68*n^2 + 196*n + 141)*x + (230*n^2 + 639*n + 441)*x^2 + (415*n^2 + 1091*n + 714)*x^3 + (440*n^2 + 1054*n + 636)*x^4 + (278*n^2 + 570*n + 297)*x^5 + (98*n^2 + 155*n + 57)*x^6 + (15*n^2 + 15*n)*x^7)*P[n - 1, x] - ((4*n + 6)*x + (46*n + 69)*x^2 + (200*n + 273)*x^3 + (450*n + 522)*x^4 + (580*n + 528)*x^5 + (434*n + 273)*x^6 + (176*n + 57)*x^7 + 30*n*x^8)*D[P[n - 1, x], x] + (3*x^3 + 30*x^4 + 105*x^5 + 180*x^6 + 165*x^7 + 78*x^8 + 15*x^9)*D[P[n - 1, x], {x, 2}])/(8*n^2 + 24*n + 18 + (32*n^2 + 96*n + 72)*x + (48*n^2 + 144*n + 108)*x^2 + (32*n^2 + 96*n + 72)*x^3 + (8*n^2 + 24*n + 18)*x^4)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 2 + 11*x + 13*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((8*n^2 + 24*n + 18 + (68*n^2 + 196*n + 141)*x + (230*n^2 + 639*n + 441)*x^2 + (415*n^2 + 1091*n + 714)*x^3 + (440*n^2 + 1054*n + 636)*x^4 + (278*n^2 + 570*n + 297)*x^5 + (98*n^2 + 155*n + 57)*x^6 + (15*n^2 + 15*n)*x^7)*v[i - 1] - ((4*n + 6)*x + (46*n + 69)*x^2 + (200*n + 273)*x^3 + (450*n + 522)*x^4 + (580*n + 528)*x^5 + (434*n + 273)*x^6 + (176*n + 57)*x^7 + 30*n*x^8)*deriv(v[i - 1], x) + (3*x^3 + 30*x^4 + 105*x^5 + 180*x^6 + 165*x^7 + 78*x^8 + 15*x^9)*deriv(deriv(v[i - 1], x), x))/(8*n^2 + 24*n + 18 + (32*n^2 + 96*n + 72)*x + (48*n^2 + 144*n + 108)*x^2 + (32*n^2 + 96*n + 72)*x^3 + (8*n^2 + 24*n + 18)*x^4)); 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-dfab35176bd08e72","steps":["reverse","x \u21a6 x/(x+1)"],"edges":["e-168aa17620d6f7b1","e-5cd9a3c9efb59107"],"text":"A207606 \u2192 reverse \u2192 x \u21a6 x/(x+1)"},"headline":"A207606 \u2192 reverse \u2192 x \u21a6 x/(x+1)","chain":null}