{"id":"n-9d70b831afe98ad1","revision":0,"first_index":0,"fingerprint":"f6-16092db140f6ed9d","name":"mobius_x_over_x_plus_one of basis_map_A013611 of Pascal-(1,2,1) array read by antidiagonals.","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"],["2","6"],["6","36","46"],["16","144","400","336"],["44","528","2248","3984","2476"],["120","1800","10352","28368","36888","18216"],["328","5904","42776","159072","319224","327312","134056"],["896","18816","164480","773760","2110592","3332736","2819456","986496"],["2448","58752","601536","3424896","11838816","25405056","33023424","23771520","7259536"],["6688","180576","2119296","14168448","59378112","161573184","285214848","314817408","197180704","53422176"],["18272","548160","7254624","55708416","274558656","906539904","2029164480","3038798592","2913277408","1614758208","393128416"],["49920","1647360","24270592","210518784","1193338368","4637799936","12600657408","23920528896","31083665152","26330367744","13087679232","2892992256"],["136384","4909824","79695232","770615040","4939953984","22100497920","70710508800","162937972224","268274286400","307739557632","233453694336","105177182976","21289237696"],["372608","14531712","257658112","2748159744","19659206272","99541567872","366812302848","995565943296","1989396657280","2889994839936","2966321157376","2037218344704","839234272640","156665348736"],["1017984","42755328","822178688","9588939264","75731611776","428224967424","1786900545408","5587412732928","13151098301824","23180519897856","30115136298624","27961557907968","17541020227968","6655979015424","1152884469376"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","8","88","896","9280","95744","988672","10207232","105385984","1088061440","11233755136","115983515648","1197478248448","12363430363136","127646920867840"],"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"],["4","12","12","4"]]},"terms":[{"coeff":{"coeffs":[["64","510","1590","2540","2220","1014","190"],["-83","-660","-2111","-3488","-3153","-1484","-285"],["27","198","617","1028","957","470","95"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["42","492","2210","5140","6830","5252","2182","380"],["-18","-210","-954","-2266","-3094","-2454","-1054","-190"]]},"deriv_order":1,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["3","48","304","1000","1910","2208","1528","584","95"]]},"deriv_order":2,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":183314,"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-dd6c6745382849f6"]},{"id":183315,"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-dd6c6745382849f6"]},{"id":183316,"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-dd6c6745382849f6"]}],"region_exact":{},"incoming_edges":[{"id":"e-dd6c6745382849f6","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-9d70b831afe98ad1","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":"01fb6b03b402b49651b605e45989015d98d8b4010417ed9e480d5dbd0aac0d26","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-a8ddb226edd55d5f","role":"sequence","name":"basis_map_A013611 of Pascal-(1,2,1) array read by antidiagonals.","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:    2,      6;\n  2:    6,     36,      46;\n  3:   16,    144,     400,      336;\n  4:   44,    528,    2248,     3984,     2476;\n  5:  120,   1800,   10352,    28368,    36888,     18216;\n  6:  328,   5904,   42776,   159072,   319224,    327312,    134056;\n  7:  896,  18816,  164480,   773760,  2110592,   3332736,   2819456,    986496;\n  8: 2448,  58752,  601536,  3424896, 11838816,  25405056,  33023424,  23771520,   7259536;\n  9: 6688, 180576, 2119296, 14168448, 59378112, 161573184, 285214848, 314817408, 197180704, 53422176;\n","recurrence_sentence":"The row polynomials satisfy (4*n+12*n*x+12*n*x^2+4*n*x^3)*P(n,x) = (27*n^2-83*n+64+(198*n^2-660*n+510)*x+(617*n^2-2111*n+1590)*x^2+(1028*n^2-3488*n+2540)*x^3+(957*n^2-3153*n+2220)*x^4+(470*n^2-1484*n+1014)*x^5+(95*n^2-285*n+190)*x^6)*P(n-1,x) - (18*n-42+(210*n-492)*x+(954*n-2210)*x^2+(2266*n-5140)*x^3+(3094*n-6830)*x^4+(2454*n-5252)*x^5+(1054*n-2182)*x^6+(190*n-380)*x^7)*d/dx P(n-1,x) + (3+48*x+304*x^2+1000*x^3+1910*x^4+2208*x^5+1528*x^6+584*x^7+95*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 - 83*n + 64 + (198*n^2 - 660*n + 510)*x + (617*n^2 - 2111*n + 1590)*x^2 + (1028*n^2 - 3488*n + 2540)*x^3 + (957*n^2 - 3153*n + 2220)*x^4 + (470*n^2 - 1484*n + 1014)*x^5 + (95*n^2 - 285*n + 190)*x^6)*P[n - 1, x] - (18*n - 42 + (210*n - 492)*x + (954*n - 2210)*x^2 + (2266*n - 5140)*x^3 + (3094*n - 6830)*x^4 + (2454*n - 5252)*x^5 + (1054*n - 2182)*x^6 + (190*n - 380)*x^7)*D[P[n - 1, x], x] + (3 + 48*x + 304*x^2 + 1000*x^3 + 1910*x^4 + 2208*x^5 + 1528*x^6 + 584*x^7 + 95*x^8)*D[P[n - 1, x], {x, 2}])/(4*n + 12*n*x + 12*n*x^2 + 4*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 - 83*n + 64 + (198*n^2 - 660*n + 510)*x + (617*n^2 - 2111*n + 1590)*x^2 + (1028*n^2 - 3488*n + 2540)*x^3 + (957*n^2 - 3153*n + 2220)*x^4 + (470*n^2 - 1484*n + 1014)*x^5 + (95*n^2 - 285*n + 190)*x^6)*v[i - 1] - (18*n - 42 + (210*n - 492)*x + (954*n - 2210)*x^2 + (2266*n - 5140)*x^3 + (3094*n - 6830)*x^4 + (2454*n - 5252)*x^5 + (1054*n - 2182)*x^6 + (190*n - 380)*x^7)*deriv(v[i - 1], x) + (3 + 48*x + 304*x^2 + 1000*x^3 + 1910*x^4 + 2208*x^5 + 1528*x^6 + 584*x^7 + 95*x^8)*deriv(deriv(v[i - 1], x), x))/(4*n + 12*n*x + 12*n*x^2 + 4*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-f25cd955a876cde3","steps":["basis A013611","x \u21a6 x/(x+1)"],"edges":["e-84c91f2034e460dd","e-dd6c6745382849f6"],"text":"A081577 \u2192 basis A013611 \u2192 x \u21a6 x/(x+1)"},"headline":"A081577 \u2192 basis A013611 \u2192 x \u21a6 x/(x+1)","chain":null}