{"id":"n-82d14b372b8d9609","revision":1,"first_index":0,"fingerprint":"f6-3b70c6222436ef34","name":"obreschkoff_combination of Triangle read by rows whose (i,j)-th entry is binomial(i,j)*11^(i-j)*10^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","10"],["132","230","100"],["1452","3850","3400","1000"],["15972","56870","75900","45000","10000"],["175692","785290","1403600","1254000","560000","100000"],["1932612","10395110","23292500","27830000","18700000","6700000","1000000"],["21258732","133672330","360168600","539055000","484000000","260700000","78000000","10000000"],["233846052","1682982950","5298577900","9531291000","10714550000","7707700000","3465000000","890000000","100000000"],["2572306572","20851272970","75114186400","157829980000","213172960000","191930200000","115192000000","44440000000","10000000000","1000000000"],["28295372292","255087068390","1034768780100","2487271644000","3923202360000","4242961800000","3186414000000","1640760000000","554400000000","111000000000","10000000000"],["311249095212","3088911475210","13933327265000","37707675885000","68027942400000","85904603400000","77480172000000","49912500000000","22506000000000","6765000000000","1220000000000","100000000000"],["3423740047332","37090517179430","184155714667100","554117707385000","1125384125250000","1625230061400000","1711327926000000","1323839220000000","746691000000000","299475000000000","81070000000000","13300000000000","1000000000000"],["37661140520652","442233089447050","2396618033132400","7936851927906000","17920402451600000","29131371927900000","35076907800000000","31675510680000000","21451993200000000","10761135000000000","3886520000000000","957000000000000","144000000000000","10000000000000"],["414272545727172","5241175389124070","30785129258926900","111271551538290000","276492946246660000","499649115722900000","677159705079000000","699199695480000000","552727032000000000","332892417000000000","150363070000000000","49392200000000000","11154000000000000","1550000000000000","100000000000000"],["4556998002998892","61795654737636490","391048175739436600","1531838359510459000","4154137924096160000","8261069735418500000","12445247913098000000","14462793701070000000","13071994306800000000","9189086907000000000","4982917940000000000","2046944900000000000","616616000000000000","128590000000000000","16600000000000000","1000000000000000"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["22","462","9702","203742","4278582","89850222","1886854662","39623947902","832102905942","17474161024782","366957381520422","7706105011928862","161828205250506102","3398392310260628142","71366238515473190982"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["12","10"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["11","10"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162876,"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-4af761c482728828"]}],"region_exact":{},"incoming_edges":[{"id":"e-4af761c482728828","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-82d14b372b8d9609","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":"eb72981ef6ba865b8b4f93fedc7f7a69f674a20b49cf4789568ee0963c507d13","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-e1d1088f7d1ff894","role":"sequence","name":"Triangle read by rows whose (i,j)-th entry is binomial(i,j)*11^(i-j)*10^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-e1d1088f7d1ff894","role":"sequence","name":"Triangle read by rows whose (i,j)-th entry is binomial(i,j)*11^(i-j)*10^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-04080fe883fe3297","kind":"oeis_match","node_a_id":"n-82d14b372b8d9609","node_b_id":null,"fingerprint":null,"oeis_id":"A168939","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":"A168939","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-1f9dbce7f062e270","kind":"oeis_match","node_a_id":"n-82d14b372b8d9609","node_b_id":null,"fingerprint":null,"oeis_id":"A168891","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":"A168891","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-21594d2296f2815e","kind":"oeis_match","node_a_id":"n-82d14b372b8d9609","node_b_id":null,"fingerprint":null,"oeis_id":"A168699","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":"A168699","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-3fefc9b183c02e36","kind":"oeis_match","node_a_id":"n-82d14b372b8d9609","node_b_id":null,"fingerprint":null,"oeis_id":"A167935","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":"A167935","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-4b819f9a773c7e0a","kind":"oeis_match","node_a_id":"n-82d14b372b8d9609","node_b_id":null,"fingerprint":null,"oeis_id":"A168747","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":"A168747","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-66ca05c9141a4915","kind":"oeis_match","node_a_id":"n-82d14b372b8d9609","node_b_id":null,"fingerprint":null,"oeis_id":"A168843","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":"A168843","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-68333c71f0ae47d7","kind":"oeis_match","node_a_id":"n-82d14b372b8d9609","node_b_id":null,"fingerprint":null,"oeis_id":"A168795","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":"A168795","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-b4a1806e8704cf14","kind":"oeis_match","node_a_id":"n-82d14b372b8d9609","node_b_id":null,"fingerprint":null,"oeis_id":"A168987","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":"A168987","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A167935","relation":"match_row_sums"},{"oeis_id":"A168699","relation":"match_row_sums"},{"oeis_id":"A168747","relation":"match_row_sums"},{"oeis_id":"A168795","relation":"match_row_sums"},{"oeis_id":"A168843","relation":"match_row_sums"},{"oeis_id":"A168891","relation":"match_row_sums"},{"oeis_id":"A168939","relation":"match_row_sums"},{"oeis_id":"A168987","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,           10;\n  1:         132,          230,           100;\n  2:        1452,         3850,          3400,          1000;\n  3:       15972,        56870,         75900,         45000,         10000;\n  4:      175692,       785290,       1403600,       1254000,        560000,        100000;\n  5:     1932612,     10395110,      23292500,      27830000,      18700000,       6700000,       1000000;\n  6:    21258732,    133672330,     360168600,     539055000,     484000000,     260700000,      78000000,      10000000;\n  7:   233846052,   1682982950,    5298577900,    9531291000,   10714550000,    7707700000,    3465000000,     890000000,    100000000;\n  8:  2572306572,  20851272970,   75114186400,  157829980000,  213172960000,  191930200000,  115192000000,   44440000000,  10000000000,   1000000000;\n  9: 28295372292, 255087068390, 1034768780100, 2487271644000, 3923202360000, 4242961800000, 3186414000000, 1640760000000, 554400000000, 111000000000, 10000000000;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (11+10*x)*P(n-1,x) for n >= 1, with P(0,x) = 12 + 10*x.","mathematica":"P[0, x_] := 12 + 10*x;\nP[n_, x_] := P[n, x] = Expand[(11 + 10*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 + 10*x; for(n = 1, N, my(i = n + 1); v[i] = (11 + 10*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-e1d1088f7d1ff894","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-4af761c482728828"],"text":"A038324 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038324 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}