{"id":"n-5aa82e9690458bf1","revision":1,"first_index":1,"fingerprint":"f6-7fa978b055a9170d","name":"obreschkoff_combination of Triangle of polynomial coefficients related to the series expansions of (1-x)^((-1-2*n)/2).","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":true,"rows":[["2","2"],["4","10","4"],["18","54","40","8"],["120","398","380","136","16"],["1050","3730","4144","1968","416","32"],["11340","42426","52356","29680","8480","1184","64"],["145530","567462","757880","486872","168800","32288","3200","128"],["2162160","8724894","12406012","8763160","3489584","819616","112448","8320","256"],["36486450","151590690","226933344","172867680","76527808","20850368","3544576","366080","20992","512"],["689188500","2936803050","4591521540","3721744352","1793105984","547635648","108829056","14028288","1130496","51712","1024"],["14404039650","62764452630","101865085128","87010547368","44952316480","15046436800","3373810944","511536384","51755520","3345920","124928","2048"],["329983453800","1466803672110","2459673293436","2197858398120","1204484559696","434917531840","107479737728","18485617920","2211230208","180364800","9563136","296960","4096"],["8222087723850","37210116622770","64230462079632","59698899806736","34421365969760","13252869689312","3550291672576","676104191488","92150699520","8924990976","599560192","26546176","696320","8192"],["221363900257500","1018303659005850","1803918340409220","1736102408878032","1046452176496480","425829416213344","122155191897024","25319421011456","3835956101120","424922015232","34019228672","1915277312","71884800","1613824","16384"],["6403741400306250","29901927343695750","54226502634706200","53839637548731000","33752797708514976","14416292481138912","4387267236736384","977257360247168","161701588725248","19977154802176","1835221420032","123528996864","5913829376","190554112","3702784","32768"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["4","18","120","1050","11340","145530","2162160","36486450","689188500","14404039650","329983453800","8222087723850","221363900257500","6403741400306250","198089067316140000"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":1,"initial_polynomials":[["2","2"]],"recurrence":{"denominator":{"coeffs":[["-1","1"],["1","0"]]},"terms":[{"coeff":{"coeffs":[["0","-3","2"],["-3","4","0"],["2","0","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162793,"position":0,"claim":"real_rooted","from_index":1,"region_key":"(-inf, +inf)","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":1,"region":{}},"label":"Real-rooted","description":"Every row P_n, n >= 1, is zero or real-rooted with all roots in (-inf, +inf)","region_exact":null,"edges":["e-3d3610943d28dca0"]}],"region_exact":{},"incoming_edges":[{"id":"e-3d3610943d28dca0","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-5aa82e9690458bf1","premise_count":2,"theorem":"Hermite--Kakeya--Obreschkoff: real-rooted f, g with interlacing zeros give a zero or real-rooted a f + b g for all real a, b (Obreschkoff 1963; Fisk, Polynomials, roots, and interlacing, Thm 1.43)","lean_route":null,"lean_declarations":[],"certificate_hash":"f75630716d0c026310aaa0197d4c4f7255614f6536f10c1e631a39a44428e53f","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":1,"region":{}}],"premises":[{"position":0,"node_id":"n-7c9c430277778c10","role":"sequence","name":"Triangle of polynomial coefficients related to the series expansions of (1-x)^((-1-2*n)/2).","uses":{"claim":"real_rooted","from_index":1,"region":{}},"uses_text":"Every row P_n, n >= 1, is zero or real-rooted with all roots in (-inf, +inf)"},{"position":1,"node_id":"n-7c9c430277778c10","role":"sequence","name":"Triangle of polynomial coefficients related to the series expansions of (1-x)^((-1-2*n)/2).","uses":{"claim":"interlacing","from_index":2,"kind":"weak","orientation":"unordered"},"uses_text":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 2"}]}],"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: 2, 2;\n 2: 4, 10, 4;\n 3: 18, 54, 40, 8;\n 4: 120, 398, 380, 136, 16;\n 5: 1050, 3730, 4144, 1968, 416, 32;\n 6: 11340, 42426, 52356, 29680, 8480, 1184, 64;\n 7: 145530, 567462, 757880, 486872, 168800, 32288, 3200, 128;\n 8: 2162160, 8724894, 12406012, 8763160, 3489584, 819616, 112448, 8320, 256;\n 9: 36486450, 151590690, 226933344, 172867680, 76527808, 20850368, 3544576, 366080, 20992, 512;\n 10: 689188500, 2936803050, 4591521540, 3721744352, 1793105984, 547635648, 108829056, 14028288, 1130496, 51712, 1024;\n","recurrence_sentence":"The row polynomials satisfy (n-1+x)*P(n,x) = (2*n^2-3*n+(4*n-3)*x+2*x^2)*P(n-1,x) for n >= 2, with P(1,x) = 2 + 2*x.","mathematica":"P[1, x_] := 2 + 2*x;\nP[n_, x_] := P[n, x] = Expand[Together[((2*n^2 - 3*n + (4*n - 3)*x + 2*x^2)*P[n - 1, x])/(n - 1 + x)]];\nTable[CoefficientList[P[n, x], x], {n, 1, 10}] // Flatten","pari":"P(N) = {my(v = vector(N)); v[1] = 2 + 2*x; for(n = 2, N, my(i = n); v[i] = ((2*n^2 - 3*n + (4*n - 3)*x + 2*x^2)*v[i - 1])/(n - 1 + x)); 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-7c9c430277778c10","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-3d3610943d28dca0"],"text":"A161198 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A161198 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}