{"id":"n-e22a7f0db816391e","revision":1,"first_index":0,"fingerprint":"f6-0cc4706afbac7a71","name":"obreschkoff_combination of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*7^j.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":3,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["1452","2695","1666","343"],["15972","39809","37191","15435","2401"],["175692","549703","687764","430122","134456","16807"],["1932612","7276577","11413325","9545690","4489870","1126069","117649"],["21258732","93570631","176482614","184895865","116208400","43815849","9176622","823543"],["233846052","1178088065","2596303171","3269232813","2572563455","1295433139","407653785","73295327","5764801"],["2572306572","14595891079","36805951336","54135683140","51182827696","32257708714","13552223608","3659825092","576480100","40353607"],["28295372292","178560947873","507036702249","853134173892","941960886636","713114589726","374878420686","135123641268","31960056744","4479250377","282475249"],["311249095212","2162238032647","6827330359850","12933732828555","16333508970240","14437986693438","9115464755628","4110508998750","1297426113060","272992151355","34461980378","1977326743"],["3423740047332","25963362025601","90236300186879","190062373633055","270204728472525","273152416419498","201336019165974","109023852275646","43045250234910","12084896456325","2290026843643","262984456819","13841287201"],["37661140520652","309563162612935","1174342836234876","2722340211271758","4302688628629160","4896109679922153","4126763125762200","2608614509193924","1236664718513532","434250612663945","109784570474348","18923016930510","1993145356944","96889010407"],["414272545727172","3668822772386849","15084713336874181","38166142177633470","66385956393823066","83976026879547803","79667162142839271","57582101481468564","31863613468006320","13433409768898119","4247384563865443","976645179556046","154385717439954","15017796613085","678223072849"],["4556998002998892","43256958316345543","191613606112323934","525420557312087437","997408515575488016","1388437990431787295","1464170971728066602","1191073251296029101","753574458518349468","370812801733923549","140755098584806706","40474788922174607","8534759148731816","1245895784823613","112585030092934","4747561509943"],["50126978032987812","507725527500793217","2410548375449982075","7120921373219229345","14649437572514980235","22254677503778076357","25824946622031243687","23351002566352786325","16626831802774047855","9353962028701605315","4143995696570338609","1430508368237567619","377205873091272225","73448167674182455","9959705824787565","840318387259911","33232930569601"],["551396758362865932","5935869648739640071","30070110822455355344","95203973733561397320","210990262910199388000","347347515549163701572","439857155368790215056","437635654584099355384","346352167794984030680","219281404935135993450","111061686863184961904","44743561926605614072","14162823181666967808","3448370956054912580","623693937791940400","78961443033371976","6247790947084988","232630513987207"]],"degrees":[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],"row_sums":["6156","110808","1994544","35901792","646232256","11632180608","209379250944","3768826516992","67838877305856","1221099791505408","21979796247097344","395636332447752192","7121453984059539456","128186171713071710208","2307351090835290783744"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1452","2695","1666","343"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["11","7"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162903,"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-57fae4cb2b7c6f75"]}],"region_exact":{},"incoming_edges":[{"id":"e-57fae4cb2b7c6f75","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-e22a7f0db816391e","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":"f64e1cb0233d1db61a06ff41c0f1982be5a161d2765bf73f161348903fa69067","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-7dcf11eddf2b9a8a","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*7^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-7dcf11eddf2b9a8a","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*7^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-37b83b39268ab182","kind":"oeis_match","node_a_id":"n-e22a7f0db816391e","node_b_id":null,"fingerprint":null,"oeis_id":"A168696","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":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A168696","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-41d441848edff68c","kind":"oeis_match","node_a_id":"n-e22a7f0db816391e","node_b_id":null,"fingerprint":null,"oeis_id":"A168984","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":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A168984","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-9558118914514159","kind":"oeis_match","node_a_id":"n-e22a7f0db816391e","node_b_id":null,"fingerprint":null,"oeis_id":"A168888","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":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A168888","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-9dcca88a5433943e","kind":"oeis_match","node_a_id":"n-e22a7f0db816391e","node_b_id":null,"fingerprint":null,"oeis_id":"A167929","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":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A167929","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-b6d1272b6e5aac5b","kind":"oeis_match","node_a_id":"n-e22a7f0db816391e","node_b_id":null,"fingerprint":null,"oeis_id":"A168792","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":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A168792","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-c5ee4365e9148f4a","kind":"oeis_match","node_a_id":"n-e22a7f0db816391e","node_b_id":null,"fingerprint":null,"oeis_id":"A168744","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":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A168744","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-e1f835b510b39497","kind":"oeis_match","node_a_id":"n-e22a7f0db816391e","node_b_id":null,"fingerprint":null,"oeis_id":"A168936","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":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A168936","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-ff7621b23fb948ed","kind":"oeis_match","node_a_id":"n-e22a7f0db816391e","node_b_id":null,"fingerprint":null,"oeis_id":"A168840","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":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A168840","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A167929","relation":"match_row_sums"},{"oeis_id":"A168696","relation":"match_row_sums"},{"oeis_id":"A168744","relation":"match_row_sums"},{"oeis_id":"A168792","relation":"match_row_sums"},{"oeis_id":"A168840","relation":"match_row_sums"},{"oeis_id":"A168888","relation":"match_row_sums"},{"oeis_id":"A168936","relation":"match_row_sums"},{"oeis_id":"A168984","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:          1452,           2695,           1666,             343;\n  1:         15972,          39809,          37191,           15435,            2401;\n  2:        175692,         549703,         687764,          430122,          134456,           16807;\n  3:       1932612,        7276577,       11413325,         9545690,         4489870,         1126069,          117649;\n  4:      21258732,       93570631,      176482614,       184895865,       116208400,        43815849,         9176622,          823543;\n  5:     233846052,     1178088065,     2596303171,      3269232813,      2572563455,      1295433139,       407653785,        73295327,        5764801;\n  6:    2572306572,    14595891079,    36805951336,     54135683140,     51182827696,     32257708714,     13552223608,      3659825092,      576480100,       40353607;\n  7:   28295372292,   178560947873,   507036702249,    853134173892,    941960886636,    713114589726,    374878420686,    135123641268,    31960056744,     4479250377,     282475249;\n  8:  311249095212,  2162238032647,  6827330359850,  12933732828555,  16333508970240,  14437986693438,   9115464755628,   4110508998750,  1297426113060,   272992151355,   34461980378,   1977326743;\n  9: 3423740047332, 25963362025601, 90236300186879, 190062373633055, 270204728472525, 273152416419498, 201336019165974, 109023852275646, 43045250234910, 12084896456325, 2290026843643, 262984456819, 13841287201;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (11+7*x)*P(n-1,x) for n >= 1, with P(0,x) = 1452 + 2695*x + 1666*x^2 + 343*x^3.","mathematica":"P[0, x_] := 1452 + 2695*x + 1666*x^2 + 343*x^3;\nP[n_, x_] := P[n, x] = Expand[(11 + 7*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] = 1452 + 2695*x + 1666*x^2 + 343*x^3; for(n = 1, N, my(i = n + 1); v[i] = (11 + 7*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-7dcf11eddf2b9a8a","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-57fae4cb2b7c6f75"],"text":"A038321 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038321 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}