{"id":"n-4559e6a7432013d0","revision":1,"first_index":0,"fingerprint":"f6-cd2a717ae5c77684","name":"obreschkoff_combination of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*2^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","912","148","8"],["22464","14688","3600","392","16"],["269568","221184","72576","11904","976","32"],["3234816","3193344","1313280","288000","35520","2336","64"],["38817792","44789760","22146048","6082560","1002240","99072","5440","128"],["465813504","615112704","355332096","117282816","24192000","3193344","263424","12416","256"],["5589762048","8312979456","5494210560","2118057984","524869632","86704128","9547776","675840","27904","512"],["67077144576","110935277568","82556485632","36405116928","10534551552","2090188800","287981568","27205632","1686528","61952","1024"],["804925734912","1465377619968","1212548382720","601974374400","199224852480","46151368704","7636156416","902430720","74649600","4116480","136192","2048"],["9659108818944","19194382909440","17481335832576","9648789258240","3594646978560","952266129408","183936614400","26101481472","2700656640","198696960","9867264","296960","4096"],["115909305827328","249650812551168","248164795809792","150748142764032","62433342259200","18616487510016","4111771631616","681091006464","84610842624","7785676800","515801088","23298048","643072","8192"],["1390911669927936","3227628362268672","3477279174819840","2305307304787968","1050696392638464","348264534638592","86574234599424","16396635340800","2377512124416","262649806848","21760966656","1311178752","54312960","1384448","16384"],["16690940039135232","41513363687079936","48182606822375424","34618246007095296","17218971321237504","6280567200940032","1735419884470272","369908093288448","61323416174592","7906821931008","786431213568","59256078336","3274113024","125239296","2965504","32768"],["200291280469622784","531542244323229696","661218009242664960","511784165729894400","275864147869040640","109804749053755392","33386173015523328","7909736888401920","1475697180672000","217528695521280","25250818424832","2283935367168","157801512960","8051097600","286064640","6324224","65536"],["2403495365635473408","6779089492818001920","8997700599558438912","7463846007244062720","4333938105888276480","1869385284383145984","620243574293790720","161689188691869696","33527839944867840","5561738707599360","738067212140544","77908861255680","6461488889856","412216197120","19534970880","648019968","13434880","131072"]],"degrees":[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],"row_sums":["2940","41160","576240","8067360","112943040","1581202560","22136835840","309915701760","4338819824640","60743477544960","850408685629440","11905721598812160","166680102383370240","2333521433367183360","32669300067140567040"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1872","912","148","8"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["12","2"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162894,"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-9d869e2e35cfa66c"]}],"region_exact":{},"incoming_edges":[{"id":"e-9d869e2e35cfa66c","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-4559e6a7432013d0","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":"09e0038e9eb784c0dde66250ee9fdcbc9db4ebe78f335331b2f9393d847d0f53","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-ea9b82d727693fb6","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*2^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-ea9b82d727693fb6","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*2^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-15e547f9ebbba1a3","kind":"oeis_match","node_a_id":"n-4559e6a7432013d0","node_b_id":null,"fingerprint":null,"oeis_id":"A168884","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":"A168884","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-1c73d58954f6b315","kind":"oeis_match","node_a_id":"n-4559e6a7432013d0","node_b_id":null,"fingerprint":null,"oeis_id":"A168932","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":"A168932","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-8b2218b2c57f2878","kind":"oeis_match","node_a_id":"n-4559e6a7432013d0","node_b_id":null,"fingerprint":null,"oeis_id":"A168836","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":"A168836","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-92c22ee4721d4270","kind":"oeis_match","node_a_id":"n-4559e6a7432013d0","node_b_id":null,"fingerprint":null,"oeis_id":"A168788","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":"A168788","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-98e268680c657216","kind":"oeis_match","node_a_id":"n-4559e6a7432013d0","node_b_id":null,"fingerprint":null,"oeis_id":"A168980","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":"A168980","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-c5da3141bf6e2504","kind":"oeis_match","node_a_id":"n-4559e6a7432013d0","node_b_id":null,"fingerprint":null,"oeis_id":"A168692","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":"A168692","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-cc81aabbc63a6ff4","kind":"oeis_match","node_a_id":"n-4559e6a7432013d0","node_b_id":null,"fingerprint":null,"oeis_id":"A168740","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":"A168740","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-e889d515f2b06676","kind":"oeis_match","node_a_id":"n-4559e6a7432013d0","node_b_id":null,"fingerprint":null,"oeis_id":"A169028","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":"A169028","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A168692","relation":"match_row_sums"},{"oeis_id":"A168740","relation":"match_row_sums"},{"oeis_id":"A168788","relation":"match_row_sums"},{"oeis_id":"A168836","relation":"match_row_sums"},{"oeis_id":"A168884","relation":"match_row_sums"},{"oeis_id":"A168932","relation":"match_row_sums"},{"oeis_id":"A168980","relation":"match_row_sums"},{"oeis_id":"A169028","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,            912,            148,             8;\n  1:         22464,          14688,           3600,           392,            16;\n  2:        269568,         221184,          72576,         11904,           976,           32;\n  3:       3234816,        3193344,        1313280,        288000,         35520,         2336,           64;\n  4:      38817792,       44789760,       22146048,       6082560,       1002240,        99072,         5440,         128;\n  5:     465813504,      615112704,      355332096,     117282816,      24192000,      3193344,       263424,       12416,        256;\n  6:    5589762048,     8312979456,     5494210560,    2118057984,     524869632,     86704128,      9547776,      675840,      27904,       512;\n  7:   67077144576,   110935277568,    82556485632,   36405116928,   10534551552,   2090188800,    287981568,    27205632,    1686528,     61952,    1024;\n  8:  804925734912,  1465377619968,  1212548382720,  601974374400,  199224852480,  46151368704,   7636156416,   902430720,   74649600,   4116480,  136192,   2048;\n  9: 9659108818944, 19194382909440, 17481335832576, 9648789258240, 3594646978560, 952266129408, 183936614400, 26101481472, 2700656640, 198696960, 9867264, 296960, 4096;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (12+2*x)*P(n-1,x) for n >= 1, with P(0,x) = 1872 + 912*x + 148*x^2 + 8*x^3.","mathematica":"P[0, x_] := 1872 + 912*x + 148*x^2 + 8*x^3;\nP[n_, x_] := P[n, x] = Expand[(12 + 2*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 + 912*x + 148*x^2 + 8*x^3; for(n = 1, N, my(i = n + 1); v[i] = (12 + 2*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-ea9b82d727693fb6","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-9d869e2e35cfa66c"],"text":"A038328 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038328 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}