{"id":"n-bc204169a6a7086c","revision":1,"first_index":0,"fingerprint":"f6-3f20e2f2cbb7dd50","name":"obreschkoff_combination of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*10^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","4560","3700","1000"],["22464","73440","90000","49000","10000"],["269568","1105920","1814400","1488000","610000","100000"],["3234816","15966720","32832000","36000000","22200000","7300000","1000000"],["38817792","223948800","553651200","760320000","626400000","309600000","85000000","10000000"],["465813504","3075563520","8883302400","14660352000","15120000000","9979200000","4116000000","970000000","100000000"],["5589762048","41564897280","137355264000","264757248000","328043520000","270950400000","149184000000","52800000000","10900000000","1000000000"],["67077144576","554676387840","2063912140800","4550639616000","6584094720000","6531840000000","4499712000000","2125440000000","658800000000","121000000000","10000000000"],["804925734912","7326888099840","30313709568000","75246796800000","124515532800000","144223027200000","119314944000000","70502400000000","29160000000000","8040000000000","1330000000000","100000000000"],["9659108818944","95971914547200","437033395814400","1206098657280000","2246654361600000","2975831654400000","2874009600000000","2039178240000000","1054944000000000","388080000000000","96360000000000","14500000000000","1000000000000"],["115909305827328","1248254062755840","6204119895244800","18843517845504000","39020838912000000","58176523468800000","64246431744000000","53210234880000000","33051110400000000","15206400000000000","5037120000000000","1137600000000000","157000000000000","10000000000000"],["1390911669927936","16138141811343360","86931979370496000","288163413098496000","656685245399040000","1088326670745600000","1352722415616000000","1280987136000000000","928715673600000000","512987904000000000","212509440000000000","64022400000000000","13260000000000000","1690000000000000","100000000000000"],["16690940039135232","207566818435399680","1204565170559385600","4327280750886912000","10761857075773440000","19626772502937600000","27115935694848000000","28899069788160000000","23954459443200000000","15443011584000000000","7679992320000000000","2893363200000000000","799344000000000000","152880000000000000","18100000000000000","1000000000000000"],["200291280469622784","2657711221616148480","16530450231066624000","63973020716236800000","172415092418150400000","343139840792985600000","521658953367552000000","617948194406400000000","576444211200000000000","424860733440000000000","246590023680000000000","111520281600000000000","38525760000000000000","9828000000000000000","1746000000000000000","193000000000000000","10000000000000000"],["2403495365635473408","33895447464090009600","224942514988960972800","932980750905507840000","2708711316180172800000","5841829013697331200000","9691305848340480000000","12631967866552320000000","13096812478464000000000","10862770913280000000000","7207687618560000000000","3804143616000000000000","1577511936000000000000","503193600000000000000","119232000000000000000","19776000000000000000","2050000000000000000","100000000000000000"]],"degrees":[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],"row_sums":["11132","244904","5387888","118533536","2607737792","57370231424","1262145091328","27767192009216","610878224202752","13439320932460544","295665060514131968","6504631331310903296","143101889288839872512","3148241564354477195264","69261314415798498295808"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1872","4560","3700","1000"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["12","10"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162913,"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-0e5e881cd5b1385e"]}],"region_exact":{},"incoming_edges":[{"id":"e-0e5e881cd5b1385e","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-bc204169a6a7086c","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":"a9a7355d9ac1ebc660a9f71a43b3c8471f5a7078b97619b5d7387b458b257bbc","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-ec89fb3fc20684fc","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*12^(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-ec89fb3fc20684fc","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*12^(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-336315ac8495823a","kind":"oeis_match","node_a_id":"n-bc204169a6a7086c","node_b_id":null,"fingerprint":null,"oeis_id":"A168796","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":13},"in_catalog":false,"oeis_id":"A168796","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-7ebd0e7840e32203","kind":"oeis_match","node_a_id":"n-bc204169a6a7086c","node_b_id":null,"fingerprint":null,"oeis_id":"A168700","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":13},"in_catalog":false,"oeis_id":"A168700","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-a2da36edfc97cd71","kind":"oeis_match","node_a_id":"n-bc204169a6a7086c","node_b_id":null,"fingerprint":null,"oeis_id":"A168988","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":13},"in_catalog":false,"oeis_id":"A168988","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-a9f356faf6152365","kind":"oeis_match","node_a_id":"n-bc204169a6a7086c","node_b_id":null,"fingerprint":null,"oeis_id":"A168940","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":13},"in_catalog":false,"oeis_id":"A168940","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-bd92bc45a20db706","kind":"oeis_match","node_a_id":"n-bc204169a6a7086c","node_b_id":null,"fingerprint":null,"oeis_id":"A167937","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":13},"in_catalog":false,"oeis_id":"A167937","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-c051e39a1bf8040d","kind":"oeis_match","node_a_id":"n-bc204169a6a7086c","node_b_id":null,"fingerprint":null,"oeis_id":"A168892","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":13},"in_catalog":false,"oeis_id":"A168892","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-c7b315463d0c5097","kind":"oeis_match","node_a_id":"n-bc204169a6a7086c","node_b_id":null,"fingerprint":null,"oeis_id":"A168748","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":13},"in_catalog":false,"oeis_id":"A168748","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-cdf570d3e05fb700","kind":"oeis_match","node_a_id":"n-bc204169a6a7086c","node_b_id":null,"fingerprint":null,"oeis_id":"A168844","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":13},"in_catalog":false,"oeis_id":"A168844","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A167937","relation":"match_row_sums"},{"oeis_id":"A168700","relation":"match_row_sums"},{"oeis_id":"A168748","relation":"match_row_sums"},{"oeis_id":"A168796","relation":"match_row_sums"},{"oeis_id":"A168844","relation":"match_row_sums"},{"oeis_id":"A168892","relation":"match_row_sums"},{"oeis_id":"A168940","relation":"match_row_sums"},{"oeis_id":"A168988","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,           4560,            3700,             1000;\n  1:         22464,          73440,           90000,            49000,            10000;\n  2:        269568,        1105920,         1814400,          1488000,           610000,           100000;\n  3:       3234816,       15966720,        32832000,         36000000,         22200000,          7300000,          1000000;\n  4:      38817792,      223948800,       553651200,        760320000,        626400000,        309600000,         85000000,         10000000;\n  5:     465813504,     3075563520,      8883302400,      14660352000,      15120000000,       9979200000,       4116000000,        970000000,        100000000;\n  6:    5589762048,    41564897280,    137355264000,     264757248000,     328043520000,     270950400000,     149184000000,      52800000000,      10900000000,      1000000000;\n  7:   67077144576,   554676387840,   2063912140800,    4550639616000,    6584094720000,    6531840000000,    4499712000000,    2125440000000,     658800000000,    121000000000,    10000000000;\n  8:  804925734912,  7326888099840,  30313709568000,   75246796800000,  124515532800000,  144223027200000,  119314944000000,   70502400000000,   29160000000000,   8040000000000,  1330000000000,   100000000000;\n  9: 9659108818944, 95971914547200, 437033395814400, 1206098657280000, 2246654361600000, 2975831654400000, 2874009600000000, 2039178240000000, 1054944000000000, 388080000000000, 96360000000000, 14500000000000, 1000000000000;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (12+10*x)*P(n-1,x) for n >= 1, with P(0,x) = 1872 + 4560*x + 3700*x^2 + 1000*x^3.","mathematica":"P[0, x_] := 1872 + 4560*x + 3700*x^2 + 1000*x^3;\nP[n_, x_] := P[n, x] = Expand[(12 + 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] = 1872 + 4560*x + 3700*x^2 + 1000*x^3; for(n = 1, N, my(i = n + 1); v[i] = (12 + 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-ec89fb3fc20684fc","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-0e5e881cd5b1385e"],"text":"A038336 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038336 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}