{"id":"n-131a01f7fbbf225f","revision":1,"first_index":0,"fingerprint":"f6-365d4eae33c635d7","name":"obreschkoff_combination of Triangle whose (n,k)-th entry is 15^(n-k)*binomial(n,k).","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":[["16","1"],["240","31","1"],["3600","705","46","1"],["54000","14175","1395","61","1"],["810000","266625","35100","2310","76","1"],["12150000","4809375","793125","69750","3450","91","1"],["182250000","84290625","16706250","1839375","121500","4815","106","1"],["2733750000","1446609375","334884375","44296875","3661875","193725","6405","121","1"],["41006250000","24432890625","6469875000","999337500","99225000","6567750","289800","8220","136","1"],["615093750000","407499609375","121481015625","21459937500","2487712500","197741250","10914750","413100","10260","151","1"],["9226406250000","6727587890625","2229714843750","443380078125","58775625000","5453831250","361462500","17111250","567000","12525","166","1"],["138396093750000","110140224609375","40173310546875","8880416015625","1325014453125","140583093750","10875768750","618131250","25616250","754875","15015","181","1"],["2075941406250000","1790499462890625","712739882812500","173379550781250","28755632812500","3433760859375","303719625000","20147737500","1002375000","36939375","980100","17730","196","1"],["31139121093750000","28933433349609375","12481597705078125","3313433144531250","604714042968750","80262045703125","7989555234375","605935687500","35183362500","1556465625","51640875","1246050","20670","211","1"],["467086816406250000","465140621337890625","216157398925781250","62183094873046875","12384143789062500","1808644728515625","200105374218750","17078590546875","1133686125000","58530346875","2331078750","70331625","1556100","23835","226","1"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["17","272","4352","69632","1114112","17825792","285212672","4563402752","73014444032","1168231104512","18691697672192","299067162755072","4785074604081152","76561193665298432","1224979098644774912"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["16","1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["15","1"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162861,"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-e331e686933fdde7"]}],"region_exact":{},"incoming_edges":[{"id":"e-e331e686933fdde7","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-131a01f7fbbf225f","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":"658ff7db85ec142955084209798a507be6ced84593c8ff550292a30523b740c8","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-ff0214c333bfdcca","role":"sequence","name":"Triangle whose (n,k)-th entry is 15^(n-k)*binomial(n,k).","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-ff0214c333bfdcca","role":"sequence","name":"Triangle whose (n,k)-th entry is 15^(n-k)*binomial(n,k).","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-1be17cd3b6dfae86","kind":"oeis_match","node_a_id":"n-131a01f7fbbf225f","node_b_id":null,"fingerprint":null,"oeis_id":"A167926","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":"A167926","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-345a4387e3d3fd0d","kind":"oeis_match","node_a_id":"n-131a01f7fbbf225f","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168982","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-3afa4f7b425ff86e","kind":"oeis_match","node_a_id":"n-131a01f7fbbf225f","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168790","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-783fcdd59817dfab","kind":"oeis_match","node_a_id":"n-131a01f7fbbf225f","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168838","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-8d090a764a4ae0b3","kind":"oeis_match","node_a_id":"n-131a01f7fbbf225f","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168742","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-a9aeb633a4b5edb0","kind":"oeis_match","node_a_id":"n-131a01f7fbbf225f","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168886","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-f13859df961f7de6","kind":"oeis_match","node_a_id":"n-131a01f7fbbf225f","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168934","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-f25aca423c493a87","kind":"oeis_match","node_a_id":"n-131a01f7fbbf225f","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168694","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A167926","relation":"match_row_sums"},{"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"}],"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:           16,            1;\n  1:          240,           31,            1;\n  2:         3600,          705,           46,           1;\n  3:        54000,        14175,         1395,          61,          1;\n  4:       810000,       266625,        35100,        2310,         76,         1;\n  5:     12150000,      4809375,       793125,       69750,       3450,        91,        1;\n  6:    182250000,     84290625,     16706250,     1839375,     121500,      4815,      106,      1;\n  7:   2733750000,   1446609375,    334884375,    44296875,    3661875,    193725,     6405,    121,     1;\n  8:  41006250000,  24432890625,   6469875000,   999337500,   99225000,   6567750,   289800,   8220,   136,   1;\n  9: 615093750000, 407499609375, 121481015625, 21459937500, 2487712500, 197741250, 10914750, 413100, 10260, 151, 1;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (15+x)*P(n-1,x) for n >= 1, with P(0,x) = 16 + x.","mathematica":"P[0, x_] := 16 + x;\nP[n_, x_] := P[n, x] = Expand[(15 + 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] = 16 + x; for(n = 1, N, my(i = n + 1); v[i] = (15 + 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-ff0214c333bfdcca","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-e331e686933fdde7"],"text":"A027467 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A027467 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}