{"id":"n-92d05df66a553ff7","revision":1,"first_index":0,"fingerprint":"f6-f7279d99fdb813e1","name":"obreschkoff_combination of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*8^j.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":1,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["12","8"],["132","184","64"],["1452","3080","2176","512"],["15972","45496","48576","23040","4096"],["175692","628232","898304","642048","229376","32768"],["1932612","8316088","14907200","14248960","7659520","2195456","262144"],["21258732","106937864","230507904","275996160","198246400","85426176","20447232","2097152"],["233846052","1346386360","3391089856","4880020992","4388679680","2525659136","908328960","186646528","16777216"],["2572306572","16681018376","48073079296","80808949760","87315644416","62891687936","30196891648","9319743488","1677721600","134217728"],["28295372292","204069654712","662252019264","1273483081728","1606943686656","1390333722624","835299311616","344092311552","93012885504","14898167808","1073741824"],["311249095212","2471129180168","8917329449600","19306330053120","27864245207040","28149220442112","20310962208768","10467409920000","3775880232960","907982929920","130996502528","8589934592"],["3423740047332","29672413743544","117859657386944","283708266181120","460957337702400","532555386519552","448614347833344","277629206790144","125273961922560","40194854092800","8704824967168","1142461300736","68719476736"],["37661140520652","353786471557640","1533835541204736","4063668187087872","7340196844175360","9545767953334272","9195200918323200","6642836057358336","3599047235469312","1444335090401280","417311907381248","82205674045440","9895604649984","549755813888"],["414272545727172","4192940311299256","19702482725713216","56971034387604480","113251510782631936","163725022240079872","177513353728229376","146632803977527296","92732208049029120","44680063878168576","16145111704403968","4242757673549824","766497043513344","85212151152640","4398046511104"],["4556998002998892","49436523790109192","250270832473239424","784301240069355008","1701534893709787136","2706987330901934080","3262447068931162112","3033067673578635264","2193116720359538688","1233338367052087296","535036739773792256","175831228044279808","42373528867045376","7069310010785792","730075720843264","35184372088832"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["20","380","7220","137180","2606420","49521980","940917620","17877434780","339671260820","6453753955580","122621325156020","2329805177964380","44266298381323220","841059669245141180","15980133715657682420"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["12","8"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["11","8"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162866,"position":0,"claim":"real_rooted","from_index":0,"region_key":"(-inf, +inf)","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, +inf)","region_exact":null,"edges":["e-991e7bd9709a3127"]}],"region_exact":{},"incoming_edges":[{"id":"e-991e7bd9709a3127","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-92d05df66a553ff7","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":"5a716da97f4219be2f5a285928885eb6de48c8b60817e438622f7928803c412f","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-2f02b2035f8f4541","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*8^j.","uses":{"claim":"real_rooted","from_index":0,"region":{}},"uses_text":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, +inf)"},{"position":1,"node_id":"n-2f02b2035f8f4541","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*8^j.","uses":{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"},"uses_text":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 1"}]}],"used_by":[],"used_by_total":0,"links":[{"id":"l-2e42e62cc6e86392","kind":"oeis_match","node_a_id":"n-92d05df66a553ff7","node_b_id":null,"fingerprint":null,"oeis_id":"A168697","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168697","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-3bdd8bf752821e81","kind":"oeis_match","node_a_id":"n-92d05df66a553ff7","node_b_id":null,"fingerprint":null,"oeis_id":"A168841","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168841","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-6d5d35e5ca2cf0b8","kind":"oeis_match","node_a_id":"n-92d05df66a553ff7","node_b_id":null,"fingerprint":null,"oeis_id":"A167931","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A167931","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-7a3f2cdb70f5d8b3","kind":"oeis_match","node_a_id":"n-92d05df66a553ff7","node_b_id":null,"fingerprint":null,"oeis_id":"A168793","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168793","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-9e621e31b13bde7e","kind":"oeis_match","node_a_id":"n-92d05df66a553ff7","node_b_id":null,"fingerprint":null,"oeis_id":"A168745","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168745","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-c4b067958a2fea48","kind":"oeis_match","node_a_id":"n-92d05df66a553ff7","node_b_id":null,"fingerprint":null,"oeis_id":"A168985","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168985","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-ef6f430e8cdb7a4d","kind":"oeis_match","node_a_id":"n-92d05df66a553ff7","node_b_id":null,"fingerprint":null,"oeis_id":"A168889","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168889","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-fa40c6364e6c70a3","kind":"oeis_match","node_a_id":"n-92d05df66a553ff7","node_b_id":null,"fingerprint":null,"oeis_id":"A168937","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168937","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A167931","relation":"match_row_sums"},{"oeis_id":"A168697","relation":"match_row_sums"},{"oeis_id":"A168745","relation":"match_row_sums"},{"oeis_id":"A168793","relation":"match_row_sums"},{"oeis_id":"A168841","relation":"match_row_sums"},{"oeis_id":"A168889","relation":"match_row_sums"},{"oeis_id":"A168937","relation":"match_row_sums"},{"oeis_id":"A168985","relation":"match_row_sums"}],"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:          12,            8;\n  1:         132,          184,           64;\n  2:        1452,         3080,         2176,           512;\n  3:       15972,        45496,        48576,         23040,          4096;\n  4:      175692,       628232,       898304,        642048,        229376,         32768;\n  5:     1932612,      8316088,     14907200,      14248960,       7659520,       2195456,       262144;\n  6:    21258732,    106937864,    230507904,     275996160,     198246400,      85426176,     20447232,      2097152;\n  7:   233846052,   1346386360,   3391089856,    4880020992,    4388679680,    2525659136,    908328960,    186646528,    16777216;\n  8:  2572306572,  16681018376,  48073079296,   80808949760,   87315644416,   62891687936,  30196891648,   9319743488,  1677721600,   134217728;\n  9: 28295372292, 204069654712, 662252019264, 1273483081728, 1606943686656, 1390333722624, 835299311616, 344092311552, 93012885504, 14898167808, 1073741824;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (11+8*x)*P(n-1,x) for n >= 1, with P(0,x) = 12 + 8*x.","mathematica":"P[0, x_] := 12 + 8*x;\nP[n_, x_] := P[n, x] = Expand[(11 + 8*x)*P[n - 1, x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 12 + 8*x; for(n = 1, N, my(i = n + 1); v[i] = (11 + 8*x)*v[i - 1]); 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-2f02b2035f8f4541","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-991e7bd9709a3127"],"text":"A038322 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038322 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}