{"id":"n-9be64351f5eed0f6","revision":1,"first_index":0,"fingerprint":"f6-18df9602bbacc126","name":"obreschkoff_combination of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*6^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","2310","1224","216"],["15972","34122","27324","9720","1296"],["175692","471174","505296","270864","72576","7776"],["1932612","6237066","8385300","6011280","2423520","520992","46656"],["21258732","80203398","129660696","116435880","62726400","20272032","3639168","279936"],["233846052","1009789770","1907488044","2058758856","1388605680","599350752","161663040","24914304","1679616"],["2572306572","12510763782","27041107104","34091275680","27627215616","14924492352","5374397952","1244035584","167961600","10077696"],["28295372292","153052241034","372516760836","537250675104","508447025856","329932709568","148665331584","45930779136","9311791104","1118624256","60466176"],["311249095212","1853346885126","5015997815400","8144857991160","8816421335040","6679941960384","3614914904832","1397230560000","378014376960","68175613440","7376873472","362797056"],["3423740047332","22254310307658","66296057280156","119689424795160","145849782632400","126377889574464","79843715715456","37059025588992","12541541506560","3018018009600","490199288832","48252008448","2176782336"],["37661140520652","265339853668230","862782491927664","1714360016427696","2322484157727360","2265255481113504","1636548210316800","886711575771648","360311110106112","108447447144960","23500300234752","3471967825920","313456656384","13060694016"],["414272545727172","3144705233474442","11082646533213684","24034655132270640","35833485833567136","38852715238612704","31593563200165824","19573116595388928","9283691665797120","3354788579231232","909187985452032","179193447493632","24279830175744","2024407572480","78364164096"],["4556998002998892","37077392842581894","140777343266197176","330877085654259144","538376274962862336","642380782626142560","580645486633500288","404865661750273152","219559307896101888","92604824366326272","30129799315359744","7426255835142144","1342238816894976","167947464351744","13008451239936","470184984576"],["50126978032987812","435193309286394186","1771015132983660300","4484312001794033640","7907401538517040560","10296446258664742176","10241385048725358528","7937395199054006400","4844346357358759680","2336008915406200320","887056738666914816","262467610078722048","59322161996697600","9900855009239040","1150777749749760","83222742269952","2821109907456"],["551396758362865932","5087888270348262918","22092326318538628416","59953522817636331840","113887288934451648000","160705318076414407296","174433913087967396864","148759657481946221568","100912181125270394880","54762176213620761600","23773677617773264896","8209484142867431424","2227349442436005888","464842377081815040","72063685302681600","7820116663468032","530368662601728","16926659444736"]],"degrees":[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],"row_sums":["5202","88434","1503378","25557426","434476242","7386096114","125563633938","2134581776946","36287890208082","616894133537394","10487200270135698","178282404592306866","3030800878069216722","51523614927176684274","875901453762003632658"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1452","2310","1224","216"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["11","6"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162898,"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-a06c6022a905308b"]}],"region_exact":{},"incoming_edges":[{"id":"e-a06c6022a905308b","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-9be64351f5eed0f6","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":"4e7846e1c20c8be33ed10caf73c0f661738fcf795eb14ea6b8c9ce5c34a667a7","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-1f2dec04776afb2b","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*6^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-1f2dec04776afb2b","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*6^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-117b2b3e8421df5c","kind":"oeis_match","node_a_id":"n-9be64351f5eed0f6","node_b_id":null,"fingerprint":null,"oeis_id":"A168695","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":"A168695","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-4d95f11b069d7a10","kind":"oeis_match","node_a_id":"n-9be64351f5eed0f6","node_b_id":null,"fingerprint":null,"oeis_id":"A168743","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":"A168743","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-5aa192daa87c5ed5","kind":"oeis_match","node_a_id":"n-9be64351f5eed0f6","node_b_id":null,"fingerprint":null,"oeis_id":"A168791","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":"A168791","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-af2e499f17852aa4","kind":"oeis_match","node_a_id":"n-9be64351f5eed0f6","node_b_id":null,"fingerprint":null,"oeis_id":"A168839","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":"A168839","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-b45dd744d0f4c167","kind":"oeis_match","node_a_id":"n-9be64351f5eed0f6","node_b_id":null,"fingerprint":null,"oeis_id":"A168887","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":"A168887","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-c29d60366046ab32","kind":"oeis_match","node_a_id":"n-9be64351f5eed0f6","node_b_id":null,"fingerprint":null,"oeis_id":"A168983","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":"A168983","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-ca5bb1471618c4ab","kind":"oeis_match","node_a_id":"n-9be64351f5eed0f6","node_b_id":null,"fingerprint":null,"oeis_id":"A169031","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":"A169031","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-f499534fce7c7f29","kind":"oeis_match","node_a_id":"n-9be64351f5eed0f6","node_b_id":null,"fingerprint":null,"oeis_id":"A168935","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":"A168935","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A168695","relation":"match_row_sums"},{"oeis_id":"A168743","relation":"match_row_sums"},{"oeis_id":"A168791","relation":"match_row_sums"},{"oeis_id":"A168839","relation":"match_row_sums"},{"oeis_id":"A168887","relation":"match_row_sums"},{"oeis_id":"A168935","relation":"match_row_sums"},{"oeis_id":"A168983","relation":"match_row_sums"},{"oeis_id":"A169031","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,           2310,           1224,             216;\n  1:         15972,          34122,          27324,            9720,            1296;\n  2:        175692,         471174,         505296,          270864,           72576,            7776;\n  3:       1932612,        6237066,        8385300,         6011280,         2423520,          520992,          46656;\n  4:      21258732,       80203398,      129660696,       116435880,        62726400,        20272032,        3639168,         279936;\n  5:     233846052,     1009789770,     1907488044,      2058758856,      1388605680,       599350752,      161663040,       24914304,        1679616;\n  6:    2572306572,    12510763782,    27041107104,     34091275680,     27627215616,     14924492352,     5374397952,     1244035584,      167961600,      10077696;\n  7:   28295372292,   153052241034,   372516760836,    537250675104,    508447025856,    329932709568,   148665331584,    45930779136,     9311791104,    1118624256,     60466176;\n  8:  311249095212,  1853346885126,  5015997815400,   8144857991160,   8816421335040,   6679941960384,  3614914904832,  1397230560000,   378014376960,   68175613440,   7376873472,   362797056;\n  9: 3423740047332, 22254310307658, 66296057280156, 119689424795160, 145849782632400, 126377889574464, 79843715715456, 37059025588992, 12541541506560, 3018018009600, 490199288832, 48252008448, 2176782336;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (11+6*x)*P(n-1,x) for n >= 1, with P(0,x) = 1452 + 2310*x + 1224*x^2 + 216*x^3.","mathematica":"P[0, x_] := 1452 + 2310*x + 1224*x^2 + 216*x^3;\nP[n_, x_] := P[n, x] = Expand[(11 + 6*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 + 2310*x + 1224*x^2 + 216*x^3; for(n = 1, N, my(i = n + 1); v[i] = (11 + 6*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-1f2dec04776afb2b","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-a06c6022a905308b"],"text":"A038320 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038320 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}