{"id":"n-00954e931f2325b9","revision":1,"first_index":0,"fingerprint":"f6-c0bbc5ef1b77e180","name":"obreschkoff_combination of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*12^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","12"],["132","276","144"],["1452","4620","4896","1728"],["15972","68244","109296","77760","20736"],["175692","942348","2021184","2166912","1161216","248832"],["1932612","12474132","33541200","48090240","38776320","16671744","2985984"],["21258732","160406796","518642784","931487040","1003622400","648705024","232906752","35831808"],["233846052","2019579540","7629952176","16470070848","22217690880","19179224064","10346434560","3189030912","429981696"],["2572306572","25021527564","108164428416","272730205440","442035449856","477583755264","343961468928","159236554752","42998169600","5159780352"],["28295372292","306104482068","1490067043344","4298005400832","8135152413696","10557846706176","9514581221376","5879139729408","2383818522624","572735619072","61917364224"],["311249095212","3706693770252","20063991261600","65158863929280","141062741360640","213758142732288","231354553909248","178845511680000","96771680501760","34905914081280","7553918435328","743008370688"],["3423740047332","44508620615316","265184229120624","957515398361280","2333596522118400","4044092466382848","5109997805789184","4743555275390976","3210634625679360","1545225220915200","501964071763968","98820113301504","8916100448256"],["37661140520652","530679707336460","3451129967710656","13714880131421568","37159746523637760","72488175395632128","104739085460275200","113499081698770944","92239644187164672","55525092938219520","24064307440386048","7110590107484160","1283918464548864","106993205379072"],["414272545727172","6289410466948884","44330586132854736","192277241058165120","573335773337074176","1243286887635606528","2021988044810612736","2505358924209782784","2376625066444062720","1717651752566390784","931008497102880768","366988180466958336","99450184399847424","16583946833756160","1283918464548864"],["4556998002998892","74154785685163788","563109373064788704","2647016685234073152","8614020399405797376","20556185044036561920","37161311144544018432","51822804704034963456","56207182821402083328","47413670075559051264","30852914498928377856","15208971950371110912","5497810194001821696","1375825627969486848","213130465115111424","15407021574586368"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["24","552","12696","292008","6716184","154472232","3552861336","81715810728","1879463646744","43227663875112","994236269127576","22867434189934248","525950986368487704","12096872686475217192","278228071788929995416"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["12","12"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["11","12"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162882,"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-4797824a301b09a2"]}],"region_exact":{},"incoming_edges":[{"id":"e-4797824a301b09a2","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-00954e931f2325b9","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":"b2b1ae18262bd1e231a2fe23fae68880f4c93f6f954636671cdf99bb5d8fe7ba","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-9e472291b944d56e","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*12^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-9e472291b944d56e","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*12^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-30b35cb8adec0b09","kind":"oeis_match","node_a_id":"n-00954e931f2325b9","node_b_id":null,"fingerprint":null,"oeis_id":"A168797","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":"A168797","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-3164b75146059b38","kind":"oeis_match","node_a_id":"n-00954e931f2325b9","node_b_id":null,"fingerprint":null,"oeis_id":"A168749","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":"A168749","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-547ea070a4e06677","kind":"oeis_match","node_a_id":"n-00954e931f2325b9","node_b_id":null,"fingerprint":null,"oeis_id":"A168845","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":"A168845","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-621203c3a9fee8f4","kind":"oeis_match","node_a_id":"n-00954e931f2325b9","node_b_id":null,"fingerprint":null,"oeis_id":"A168701","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":"A168701","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-691555b9107dc293","kind":"oeis_match","node_a_id":"n-00954e931f2325b9","node_b_id":null,"fingerprint":null,"oeis_id":"A167938","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":"A167938","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-9850c249ebc26402","kind":"oeis_match","node_a_id":"n-00954e931f2325b9","node_b_id":null,"fingerprint":null,"oeis_id":"A168941","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":"A168941","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-d9f3ae8c3530034e","kind":"oeis_match","node_a_id":"n-00954e931f2325b9","node_b_id":null,"fingerprint":null,"oeis_id":"A168893","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":"A168893","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-e7bcef5b99e703de","kind":"oeis_match","node_a_id":"n-00954e931f2325b9","node_b_id":null,"fingerprint":null,"oeis_id":"A168989","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":"A168989","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A167938","relation":"match_row_sums"},{"oeis_id":"A168701","relation":"match_row_sums"},{"oeis_id":"A168749","relation":"match_row_sums"},{"oeis_id":"A168797","relation":"match_row_sums"},{"oeis_id":"A168845","relation":"match_row_sums"},{"oeis_id":"A168893","relation":"match_row_sums"},{"oeis_id":"A168941","relation":"match_row_sums"},{"oeis_id":"A168989","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,           12;\n  1:         132,          276,           144;\n  2:        1452,         4620,          4896,          1728;\n  3:       15972,        68244,        109296,         77760,         20736;\n  4:      175692,       942348,       2021184,       2166912,       1161216,         248832;\n  5:     1932612,     12474132,      33541200,      48090240,      38776320,       16671744,       2985984;\n  6:    21258732,    160406796,     518642784,     931487040,    1003622400,      648705024,     232906752,      35831808;\n  7:   233846052,   2019579540,    7629952176,   16470070848,   22217690880,    19179224064,   10346434560,    3189030912,     429981696;\n  8:  2572306572,  25021527564,  108164428416,  272730205440,  442035449856,   477583755264,  343961468928,  159236554752,   42998169600,   5159780352;\n  9: 28295372292, 306104482068, 1490067043344, 4298005400832, 8135152413696, 10557846706176, 9514581221376, 5879139729408, 2383818522624, 572735619072, 61917364224;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (11+12*x)*P(n-1,x) for n >= 1, with P(0,x) = 12 + 12*x.","mathematica":"P[0, x_] := 12 + 12*x;\nP[n_, x_] := P[n, x] = Expand[(11 + 12*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 + 12*x; for(n = 1, N, my(i = n + 1); v[i] = (11 + 12*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-9e472291b944d56e","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-4797824a301b09a2"],"text":"A038326 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038326 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}