{"id":"n-7a6c33994a6c1ce3","revision":1,"first_index":0,"fingerprint":"f6-184084f9fbde5b90","name":"obreschkoff_combination of Triangle read by rows whose (i,j)-th entry is binomial(i,j)*11^(i-j)*11^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","11"],["132","253","121"],["1452","4235","4114","1331"],["15972","62557","91839","59895","14641"],["175692","863819","1698356","1669074","819896","161051"],["1932612","11434621","28183925","37041730","27378670","10790417","1771561"],["21258732","147039563","435804006","717482205","708624400","419859957","138181758","19487171"],["233846052","1851281245","6411279259","12686148321","15687172655","12413327927","6138458865","1734358219","214358881"],["2572306572","22936400267","90888165544","210071703380","312106530736","309105506402","204069654712","86600987924","21435888100","2357947691"],["28295372292","280595775229","1252070223921","3310558558164","5743960575276","6833332408518","5644926772254","3197377068996","1188405636264","261732193701","25937424601"],["311249095212","3397802622731","16859325990650","50188916602935","99599710467840","138350222821734","137260850988492","97265342253750","48243609757860","15951516129615","3164365801322","285311670611"],["3423740047332","40799568897373","222828414747191","737530668529435","1647674897778525","2617449266185314","3031721811912486","2579788125664662","1600598472127710","706146384762225","210274701240307","37946452191263","3138428376721"],["37661140520652","486456398391755","2899907820090204","10563949916042886","26237261229387560","46916365803602229","62140881859075800","61726609313348628","45984252575716092","25374193425789285","10080631946027852","2730432687747270","451933686247824","34522712143931"],["414272545727172","5765292928036477","37250006403301549","148102435097463990","404813322599734906","804689897362887679","1199629724289458319","1362542402896668708","1184819480779711920","784942906016559147","390003079089988507","140921710971526342","35006030113946034","5351020382309305","379749833583241"],["4556998002998892","67975220211400139","473168292644718286","2038876856508420929","6082073334669187856","13304535419588848435","22047515838175805978","28183893399047397297","28020980720440186908","21667386254758981737","12924405836172024194","5840172690676663339","1935205151940196136","443927555458808729","63038472374818006","4177248169415651"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["23","506","11132","244904","5387888","118533536","2607737792","57370231424","1262145091328","27767192009216","610878224202752","13439320932460544","295665060514131968","6504631331310903296","143101889288839872512"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["12","11"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["11","11"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162873,"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-d2886dc5bcf83686"]}],"region_exact":{},"incoming_edges":[{"id":"e-d2886dc5bcf83686","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-7a6c33994a6c1ce3","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":"b6f85920842ee603b2fed00aab5465542d0bfc5fb16b7976b72fd0e21702b2f1","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-8064e72cf80883a7","role":"sequence","name":"Triangle read by rows whose (i,j)-th entry is binomial(i,j)*11^(i-j)*11^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-8064e72cf80883a7","role":"sequence","name":"Triangle read by rows whose (i,j)-th entry is binomial(i,j)*11^(i-j)*11^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-0699a4868150f364","kind":"oeis_match","node_a_id":"n-7a6c33994a6c1ce3","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168844","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-2231fbd62e6c9edb","kind":"oeis_match","node_a_id":"n-7a6c33994a6c1ce3","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168748","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-8f9aecc12e59bfe2","kind":"oeis_match","node_a_id":"n-7a6c33994a6c1ce3","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A167937","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-97e4e12e081d7b5e","kind":"oeis_match","node_a_id":"n-7a6c33994a6c1ce3","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168796","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-b16afcf248b992bf","kind":"oeis_match","node_a_id":"n-7a6c33994a6c1ce3","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168700","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-d98b87f55a0e90a9","kind":"oeis_match","node_a_id":"n-7a6c33994a6c1ce3","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168892","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-dc6182767508c755","kind":"oeis_match","node_a_id":"n-7a6c33994a6c1ce3","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168988","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-e8a98dc9e61f1a21","kind":"oeis_match","node_a_id":"n-7a6c33994a6c1ce3","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":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168940","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:          12,           11;\n  1:         132,          253,           121;\n  2:        1452,         4235,          4114,          1331;\n  3:       15972,        62557,         91839,         59895,         14641;\n  4:      175692,       863819,       1698356,       1669074,        819896,        161051;\n  5:     1932612,     11434621,      28183925,      37041730,      27378670,      10790417,       1771561;\n  6:    21258732,    147039563,     435804006,     717482205,     708624400,     419859957,     138181758,      19487171;\n  7:   233846052,   1851281245,    6411279259,   12686148321,   15687172655,   12413327927,    6138458865,    1734358219,     214358881;\n  8:  2572306572,  22936400267,   90888165544,  210071703380,  312106530736,  309105506402,  204069654712,   86600987924,   21435888100,   2357947691;\n  9: 28295372292, 280595775229, 1252070223921, 3310558558164, 5743960575276, 6833332408518, 5644926772254, 3197377068996, 1188405636264, 261732193701, 25937424601;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (11+11*x)*P(n-1,x) for n >= 1, with P(0,x) = 12 + 11*x.","mathematica":"P[0, x_] := 12 + 11*x;\nP[n_, x_] := P[n, x] = Expand[(11 + 11*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 + 11*x; for(n = 1, N, my(i = n + 1); v[i] = (11 + 11*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-8064e72cf80883a7","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-d2886dc5bcf83686"],"text":"A038325 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038325 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}