{"id":"n-1438be315d9d27d7","revision":1,"first_index":0,"fingerprint":"f6-9957a1cf35786f48","name":"obreschkoff_combination of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*9^j.","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":[["12","9"],["132","207","81"],["1452","3465","2754","729"],["15972","51183","61479","32805","6561"],["175692","706761","1136916","914166","367416","59049"],["1932612","9355599","18866925","20288070","12269070","3956283","531441"],["21258732","120305097","291736566","392971095","317552400","153940743","41452398","4782969"],["233846052","1514684655","4291848099","6948311139","7029816255","4551319773","1841443065","425684241","43046721"],["2572306572","18766145673","60842490984","115058055420","139862779056","113332863798","61217751672","21255514236","4304672100","387420489"],["28295372292","229578361551","838162711881","1813221028476","2574013068396","2505426513282","1693391042574","784770421644","238651021224","43003674279","3486784401"],["311249095212","2780020327689","11285995084650","27488895720165","44633133008640","50725809261666","41176140087852","23872994021250","9688095028260","2620899608085","425387696922","31381059609"],["3423740047332","33381465461487","149166128880351","403951808683665","738364524576525","959682098956086","909469824321366","633188195024418","321425991502110","116022750943275","28267361138907","4173680927997","282429536481"],["37661140520652","398009780502345","1941260606837244","5785965055443474","11757576048494760","17201783809705671","18641306958139800","15150298564160892","9234379661742972","4169084183895015","1355145731017452","300316740458130","40669853253264","2541865828329"],["414272545727172","4717057850211663","24935954699730789","81116961071413410","181407022032433626","295037806343215221","359870430826888839","334425046829028012","237930863356620720","128969342978531913","52428360696247107","15499795724196498","3150219049909074","393989203390995","22876792454961"],["4556998002998892","55616089263872841","316749022348943646","1116710164083124611","2725529891999490576","4878079068067270065","6613914996184714218","6917509392561307683","5627064918384080028","3560040542973437523","1737436054465505394","642352999232385441","174150571066768296","32685852686482611","3797547547523526","205891132094649"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["21","420","8400","168000","3360000","67200000","1344000000","26880000000","537600000000","10752000000000","215040000000000","4300800000000000","86016000000000000","1720320000000000000","34406400000000000000"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["12","9"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["11","9"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162867,"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-316947e1f7e184b6"]}],"region_exact":{},"incoming_edges":[{"id":"e-316947e1f7e184b6","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-1438be315d9d27d7","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":"0bb03ab238ff32cd4f7bff7e9eb6fefeec9e7f0ec89619515ae016ca00fdadea","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-4e096b5929fd3f2e","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*9^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-4e096b5929fd3f2e","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*9^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-21f5e241ffb7f2cb","kind":"oeis_match","node_a_id":"n-1438be315d9d27d7","node_b_id":null,"fingerprint":null,"oeis_id":"A168698","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":"A168698","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-2c61bad81fc27077","kind":"oeis_match","node_a_id":"n-1438be315d9d27d7","node_b_id":null,"fingerprint":null,"oeis_id":"A168746","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":"A168746","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-4b2e277af59bb210","kind":"oeis_match","node_a_id":"n-1438be315d9d27d7","node_b_id":null,"fingerprint":null,"oeis_id":"A168842","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":"A168842","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-4f903f11fa971808","kind":"oeis_match","node_a_id":"n-1438be315d9d27d7","node_b_id":null,"fingerprint":null,"oeis_id":"A167933","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":"A167933","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-57c30a1278b852da","kind":"oeis_match","node_a_id":"n-1438be315d9d27d7","node_b_id":null,"fingerprint":null,"oeis_id":"A168938","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":"A168938","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-6aa45ea63241e6ca","kind":"oeis_match","node_a_id":"n-1438be315d9d27d7","node_b_id":null,"fingerprint":null,"oeis_id":"A168794","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":"A168794","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-80fde3c3d94c4e01","kind":"oeis_match","node_a_id":"n-1438be315d9d27d7","node_b_id":null,"fingerprint":null,"oeis_id":"A168986","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":"A168986","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-bd6aedd316b06295","kind":"oeis_match","node_a_id":"n-1438be315d9d27d7","node_b_id":null,"fingerprint":null,"oeis_id":"A168890","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":"A168890","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A167933","relation":"match_row_sums"},{"oeis_id":"A168698","relation":"match_row_sums"},{"oeis_id":"A168746","relation":"match_row_sums"},{"oeis_id":"A168794","relation":"match_row_sums"},{"oeis_id":"A168842","relation":"match_row_sums"},{"oeis_id":"A168890","relation":"match_row_sums"},{"oeis_id":"A168938","relation":"match_row_sums"},{"oeis_id":"A168986","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:          12,            9;\n  1:         132,          207,           81;\n  2:        1452,         3465,         2754,           729;\n  3:       15972,        51183,        61479,         32805,          6561;\n  4:      175692,       706761,      1136916,        914166,        367416,         59049;\n  5:     1932612,      9355599,     18866925,      20288070,      12269070,       3956283,        531441;\n  6:    21258732,    120305097,    291736566,     392971095,     317552400,     153940743,      41452398,      4782969;\n  7:   233846052,   1514684655,   4291848099,    6948311139,    7029816255,    4551319773,    1841443065,    425684241,     43046721;\n  8:  2572306572,  18766145673,  60842490984,  115058055420,  139862779056,  113332863798,   61217751672,  21255514236,   4304672100,   387420489;\n  9: 28295372292, 229578361551, 838162711881, 1813221028476, 2574013068396, 2505426513282, 1693391042574, 784770421644, 238651021224, 43003674279, 3486784401;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (11+9*x)*P(n-1,x) for n >= 1, with P(0,x) = 12 + 9*x.","mathematica":"P[0, x_] := 12 + 9*x;\nP[n_, x_] := P[n, x] = Expand[(11 + 9*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] = 12 + 9*x; for(n = 1, N, my(i = n + 1); v[i] = (11 + 9*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-4e096b5929fd3f2e","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-316947e1f7e184b6"],"text":"A038323 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038323 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}