{"id":"n-2323ae2e7daf2827","revision":1,"first_index":0,"fingerprint":"f6-fbb9b0153d17b34b","name":"obreschkoff_combination of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^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","1925","850","125"],["15972","28435","18975","5625","625"],["175692","392645","350900","156750","35000","3125"],["1932612","5197555","5823125","3478750","1168750","209375","15625"],["21258732","66836165","90042150","67381875","30250000","8146875","1218750","78125"],["233846052","841491475","1324644475","1191411375","669659375","240865625","54140625","6953125","390625"],["2572306572","10425636485","18778546600","19728747500","13323310000","5997818750","1799875000","347187500","39062500","1953125"],["28295372292","127543534195","258692195025","310908955500","245200147500","132592556250","49787718750","12818437500","2165625000","216796875","9765625"],["311249095212","1544455737605","3483331816250","4713459485625","4251746400000","2684518856250","1210627687500","389941406250","87914062500","13212890625","1191406250","48828125"],["3423740047332","18545258589715","46038928666775","69264713423125","70336507828125","50788439418750","26739498843750","10342493906250","2916761718750","584912109375","79169921875","6494140625","244140625"],["37661140520652","221116544723525","599154508283100","992106490988250","1120025153225000","910355372746875","548076684375000","247464927187500","83796848437500","21017841796875","3795429687500","467285156250","35156250000","1220703125"],["414272545727172","2620587694562035","7696282314731725","13908943942286250","17280809140416250","15614034866340625","10580620391859375","5462497620937500","2159089968750000","650180501953125","146838935546875","24117285156250","2723144531250","189208984375","6103515625"],["4556998002998892","30897827368818245","97762043934859150","191479794938807375","259633620256010000","258158429231828125","194456998642156250","112990575789609375","51062477760937500","17947435365234375","4866130800781250","999484814453125","150541015625000","15697021484375","1013183593750","30517578125"],["50126978032987812","362661091071995155","1229871620127541875","2595087964001176875","3813368797510146875","4137910822830159375","3429819131222859375","2215181326896484375","1126640134318359375","452734177822265625","143264615634765625","35324986962890625","6653375244140625","925372314453125","89630126953125","5401611328125","152587890625"],["551396758362865932","4239906891956885765","15341893276762936400","34695325704650655000","54922496592617500000","64583863038682487500","58417564557602250000","41516090251975625000","23468948111984375000","10613276627636718750","3839581661093750000","1104897934765625000","249812062500000000","43445971679687500","5612792968750000","507568359375000","28686523437500","762939453125"]],"degrees":[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],"row_sums":["4352","69632","1114112","17825792","285212672","4563402752","73014444032","1168231104512","18691697672192","299067162755072","4785074604081152","76561193665298432","1224979098644774912","19599665578316398592","313594649253062377472"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1452","1925","850","125"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["11","5"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162899,"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-7723a7442c6c45f3"]}],"region_exact":{},"incoming_edges":[{"id":"e-7723a7442c6c45f3","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-2323ae2e7daf2827","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":"43bc6455ce1eec7dcf656bebf5f43c67acd3a52cf90705aac978ceb4387635fd","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-2bc1923905556bf6","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^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-2bc1923905556bf6","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^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-0031e53880e18512","kind":"oeis_match","node_a_id":"n-2323ae2e7daf2827","node_b_id":null,"fingerprint":null,"oeis_id":"A168934","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":14},"in_catalog":false,"oeis_id":"A168934","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-22da26024a131e4e","kind":"oeis_match","node_a_id":"n-2323ae2e7daf2827","node_b_id":null,"fingerprint":null,"oeis_id":"A168790","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":14},"in_catalog":false,"oeis_id":"A168790","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-b18534fe8a6e1a3c","kind":"oeis_match","node_a_id":"n-2323ae2e7daf2827","node_b_id":null,"fingerprint":null,"oeis_id":"A169030","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":14},"in_catalog":false,"oeis_id":"A169030","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-cdbfe449dd7b5e7f","kind":"oeis_match","node_a_id":"n-2323ae2e7daf2827","node_b_id":null,"fingerprint":null,"oeis_id":"A168742","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":14},"in_catalog":false,"oeis_id":"A168742","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-d649c44d901a2ea0","kind":"oeis_match","node_a_id":"n-2323ae2e7daf2827","node_b_id":null,"fingerprint":null,"oeis_id":"A168886","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":14},"in_catalog":false,"oeis_id":"A168886","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-d9dd6452141bb62f","kind":"oeis_match","node_a_id":"n-2323ae2e7daf2827","node_b_id":null,"fingerprint":null,"oeis_id":"A168838","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":14},"in_catalog":false,"oeis_id":"A168838","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-ec66cf90f5b0395d","kind":"oeis_match","node_a_id":"n-2323ae2e7daf2827","node_b_id":null,"fingerprint":null,"oeis_id":"A168982","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":14},"in_catalog":false,"oeis_id":"A168982","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-ff179578c38ad59f","kind":"oeis_match","node_a_id":"n-2323ae2e7daf2827","node_b_id":null,"fingerprint":null,"oeis_id":"A168694","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":14},"in_catalog":false,"oeis_id":"A168694","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A168694","relation":"match_row_sums"},{"oeis_id":"A168742","relation":"match_row_sums"},{"oeis_id":"A168790","relation":"match_row_sums"},{"oeis_id":"A168838","relation":"match_row_sums"},{"oeis_id":"A168886","relation":"match_row_sums"},{"oeis_id":"A168934","relation":"match_row_sums"},{"oeis_id":"A168982","relation":"match_row_sums"},{"oeis_id":"A169030","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,           1925,            850,            125;\n  1:         15972,          28435,          18975,           5625,            625;\n  2:        175692,         392645,         350900,         156750,          35000,           3125;\n  3:       1932612,        5197555,        5823125,        3478750,        1168750,         209375,          15625;\n  4:      21258732,       66836165,       90042150,       67381875,       30250000,        8146875,        1218750,          78125;\n  5:     233846052,      841491475,     1324644475,     1191411375,      669659375,      240865625,       54140625,        6953125,        390625;\n  6:    2572306572,    10425636485,    18778546600,    19728747500,    13323310000,     5997818750,     1799875000,      347187500,      39062500,      1953125;\n  7:   28295372292,   127543534195,   258692195025,   310908955500,   245200147500,   132592556250,    49787718750,    12818437500,    2165625000,    216796875,     9765625;\n  8:  311249095212,  1544455737605,  3483331816250,  4713459485625,  4251746400000,  2684518856250,  1210627687500,   389941406250,   87914062500,  13212890625,  1191406250,   48828125;\n  9: 3423740047332, 18545258589715, 46038928666775, 69264713423125, 70336507828125, 50788439418750, 26739498843750, 10342493906250, 2916761718750, 584912109375, 79169921875, 6494140625, 244140625;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (11+5*x)*P(n-1,x) for n >= 1, with P(0,x) = 1452 + 1925*x + 850*x^2 + 125*x^3.","mathematica":"P[0, x_] := 1452 + 1925*x + 850*x^2 + 125*x^3;\nP[n_, x_] := P[n, x] = Expand[(11 + 5*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 + 1925*x + 850*x^2 + 125*x^3; for(n = 1, N, my(i = n + 1); v[i] = (11 + 5*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-2bc1923905556bf6","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-7723a7442c6c45f3"],"text":"A038319 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038319 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}