{"id":"n-2368212452cf1434","revision":1,"first_index":0,"fingerprint":"f6-73bcdb549bd5a284","name":"obreschkoff_combination of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*3^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":[["1872","1368","333","27"],["22464","22032","8100","1323","81"],["269568","331776","163296","40176","4941","243"],["3234816","4790016","2954880","972000","179820","17739","729"],["38817792","67184640","49828608","20528640","5073840","752328","61965","2187"],["465813504","922669056","799497216","395829504","122472000","24249456","3000564","212139","6561"],["5589762048","12469469184","12361973760","7148445696","2657152512","658409472","108755136","11547360","715149","19683"],["67077144576","166402916352","185752092672","122867269632","53331167232","15872371200","3280290048","464833728","43223868","2381643","59049"],["804925734912","2198066429952","2728233861120","2031663513600","1008575815680","350461956096","86980594176","15418874880","1913187600","158251320","7853517","177147"],["9659108818944","28791574364160","39333005623296","32564663746560","18197900328960","7231270920192","2095152998400","445968281088","69214875840","7638578640","568996164","25686315","531441"],["115909305827328","374476218826752","558370790572032","508774981828608","316068795187200","141368952029184","46835648741376","11637078368256","2168483353344","299307571200","29743689888","2015224272","83436237","1594323"],["1390911669927936","4841442543403008","7823878143344640","7780412153659392","5319150487732224","2644633809911808","986134640984064","280151886643200","60933035344896","10097140914432","1254846992256","113413760928","7046907660","269440587","4782969"],["16690940039135232","62270045530619904","108410865350344704","116836580273946624","87171042313764864","47693057182138368","19767517121544192","6320226562670592","1571652084068352","303964797007872","45349586650368","5125506107904","424804174704","24374010024","865717389","14348907"],["200291280469622784","797313366484844544","1487740520795996160","1727271559338393600","1396562248587018240","833829813126955008","380289377004945408","135145270116679680","37820504696832000","8362533816299520","1456089430828032","197554833245952","20474168420160","1566900644400","83510638740","2769339051","43046721"],["2403495365635473408","10168634239227002880","20244826349006487552","25190480274448711680","21940561661059399680","14195644503284514816","7064961963440209920","2762611372414992384","859281866712023040","213811919886090240","42560674618834944","6738926291435520","838354520779776","80225312993280","5702829598080","283763984832","8824577805","129140163"]],"degrees":[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],"row_sums":["3600","54000","810000","12150000","182250000","2733750000","41006250000","615093750000","9226406250000","138396093750000","2075941406250000","31139121093750000","467086816406250000","7006302246093750000","105094533691406250000"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1872","1368","333","27"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["12","3"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162896,"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-bebf949c785e986b"]}],"region_exact":{},"incoming_edges":[{"id":"e-bebf949c785e986b","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-2368212452cf1434","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":"2df17944608f10d065973a1e844e87dcabf390d6013360ea3d5e0b8cb9150620","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-615df6ea54d3bbef","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*3^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-615df6ea54d3bbef","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*3^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-3be2f45a0bc5ce29","kind":"oeis_match","node_a_id":"n-2368212452cf1434","node_b_id":null,"fingerprint":null,"oeis_id":"A168933","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":"A168933","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-450b91b9ce3792ca","kind":"oeis_match","node_a_id":"n-2368212452cf1434","node_b_id":null,"fingerprint":null,"oeis_id":"A169029","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":"A169029","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-899d20ca9ba2a40c","kind":"oeis_match","node_a_id":"n-2368212452cf1434","node_b_id":null,"fingerprint":null,"oeis_id":"A168693","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":"A168693","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-91c872b93e08616c","kind":"oeis_match","node_a_id":"n-2368212452cf1434","node_b_id":null,"fingerprint":null,"oeis_id":"A168789","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":"A168789","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-9fae0076692b5a6a","kind":"oeis_match","node_a_id":"n-2368212452cf1434","node_b_id":null,"fingerprint":null,"oeis_id":"A168981","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":"A168981","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-ed7dd0c001292c14","kind":"oeis_match","node_a_id":"n-2368212452cf1434","node_b_id":null,"fingerprint":null,"oeis_id":"A168837","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":"A168837","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-f07e5ca4ff0ecabf","kind":"oeis_match","node_a_id":"n-2368212452cf1434","node_b_id":null,"fingerprint":null,"oeis_id":"A168885","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":"A168885","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-f76c1510d3b08440","kind":"oeis_match","node_a_id":"n-2368212452cf1434","node_b_id":null,"fingerprint":null,"oeis_id":"A168741","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":"A168741","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A168693","relation":"match_row_sums"},{"oeis_id":"A168741","relation":"match_row_sums"},{"oeis_id":"A168789","relation":"match_row_sums"},{"oeis_id":"A168837","relation":"match_row_sums"},{"oeis_id":"A168885","relation":"match_row_sums"},{"oeis_id":"A168933","relation":"match_row_sums"},{"oeis_id":"A168981","relation":"match_row_sums"},{"oeis_id":"A169029","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:          1872,           1368,            333,             27;\n  1:         22464,          22032,           8100,           1323,             81;\n  2:        269568,         331776,         163296,          40176,           4941,           243;\n  3:       3234816,        4790016,        2954880,         972000,         179820,         17739,           729;\n  4:      38817792,       67184640,       49828608,       20528640,        5073840,        752328,         61965,         2187;\n  5:     465813504,      922669056,      799497216,      395829504,      122472000,      24249456,       3000564,       212139,        6561;\n  6:    5589762048,    12469469184,    12361973760,     7148445696,     2657152512,     658409472,     108755136,     11547360,      715149,      19683;\n  7:   67077144576,   166402916352,   185752092672,   122867269632,    53331167232,   15872371200,    3280290048,    464833728,    43223868,    2381643,     59049;\n  8:  804925734912,  2198066429952,  2728233861120,  2031663513600,  1008575815680,  350461956096,   86980594176,  15418874880,  1913187600,  158251320,   7853517,   177147;\n  9: 9659108818944, 28791574364160, 39333005623296, 32564663746560, 18197900328960, 7231270920192, 2095152998400, 445968281088, 69214875840, 7638578640, 568996164, 25686315, 531441;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (12+3*x)*P(n-1,x) for n >= 1, with P(0,x) = 1872 + 1368*x + 333*x^2 + 27*x^3.","mathematica":"P[0, x_] := 1872 + 1368*x + 333*x^2 + 27*x^3;\nP[n_, x_] := P[n, x] = Expand[(12 + 3*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] = 1872 + 1368*x + 333*x^2 + 27*x^3; for(n = 1, N, my(i = n + 1); v[i] = (12 + 3*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-615df6ea54d3bbef","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-bebf949c785e986b"],"text":"A038329 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038329 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}