{"id":"n-bd6fba845345add6","revision":1,"first_index":0,"fingerprint":"f6-535287d0474f2922","name":"obreschkoff_combination of Triangle whose (i,j)-th entry is binomial(i,j)*9^(i-j)*11^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":[["810","2871","3388","1331"],["7290","34749","62073","49247","14641"],["65610","392931","940896","1126026","673486","161051"],["590490","4258089","12790305","20484090","18447660","8857805","1771561"],["5314410","44818191","161951724","325050165","391353930","282644505","113379904","19487171"],["47829690","461822229","1950565617","4706920449","7097737185","6848693775","4129508691","1422563483","214358881"],["430467210","4682526651","22635135072","63818505828","115655759604","139713353010","112501209744","58227666948","17577428242","2357947691"],["3874204890","46877879169","255224008809","823353038244","1742905400544","2529633532734","2549357770806","1761562309716","798701190606","214573239881","25937424601"],["34867844010","464517166311","2812672750140","10217641441095","24743032025580","41938661200590","50770188797328","43896996266310","26565496122330","10716872255595","2593742460100","285311670611"],["313810596090","4564200780909","30423743580681","122898173221395","335081344082265","649621303086690","918256972382442","953545043167398","721956424030380","388672307645985","141229276952445","31098972096599","3138428376721"],["2824295364810","44529723585171","324019900816128","1440744738380046","4367612002175730","9532486512685125","15410147085395568","18682732084713444","16986603291114798","11439571433148045","5546458876677840","1833412795346286","370334548453078","34522712143931"],["25418658283290","431834761279449","3406006066782033","16530921554397822","55156700141762076","133836110638099155","243548675408096487","337656206701772244","358389482551881066","289808779100595183","175753415654729055","77511762801572814","23500551684886848","4384384442279237","379749833583241"],["228767924549610","4166118092631231","35404236975112236","186244360724182761","678250438374234726","1811248697302275231","3664135295691959088","5717941289805011553","6939723616686424278","6550563319976048373","4769677310999108508","2630893437416174931","1064134355981282586","297965528514268461","51645977367320776","4177248169415651"],["2058911320946490","40011510003726789","364465431794953665","2065645853243879445","8152941913334122905","23761993097837059065","52900953331552659333","91766959860856653945","125354866738032945585","135292029663335102415","114983292318728508675","76144491357735767967","38517037015409467515","14387167672422524595","3742434609962840055","605700984565269395","45949729863572161"],["18530201888518410","382751614563952491","3720315496195577664","22599932428939405320","96098581605689780040","303540298927208883540","737490504060181583712","1407813125394789138168","2137630359111719703660","2596531801088378323170","2523061957165242704640","1950116637725635507128","1184242738073778655272","553171916221306864020","191940755886313331040","46618089570678665160","7076258398990112794","505447028499293771"]],"degrees":[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],"row_sums":["8400","168000","3360000","67200000","1344000000","26880000000","537600000000","10752000000000","215040000000000","4300800000000000","86016000000000000","1720320000000000000","34406400000000000000","688128000000000000000","13762560000000000000000"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["810","2871","3388","1331"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["9","11"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162910,"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-0ccb5845893f0f92"]}],"region_exact":{},"incoming_edges":[{"id":"e-0ccb5845893f0f92","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-bd6fba845345add6","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":"61b2e23b19cdd33519b894609b8c879b158c4b988067977260f59c046fb8ee2a","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-cfc5b48d32898a3e","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*9^(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-cfc5b48d32898a3e","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*9^(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-052a09b30e723cb7","kind":"oeis_match","node_a_id":"n-bd6fba845345add6","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":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A168890","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-224d73a81a468f87","kind":"oeis_match","node_a_id":"n-bd6fba845345add6","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":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A168986","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-34ca5a01900ad878","kind":"oeis_match","node_a_id":"n-bd6fba845345add6","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":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A168938","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-37171e49ee5f6131","kind":"oeis_match","node_a_id":"n-bd6fba845345add6","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":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A168698","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-3be352b07e8ed141","kind":"oeis_match","node_a_id":"n-bd6fba845345add6","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":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A168746","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-6f6325bccda39416","kind":"oeis_match","node_a_id":"n-bd6fba845345add6","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":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A168842","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-affb069d0b8c2286","kind":"oeis_match","node_a_id":"n-bd6fba845345add6","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":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A167933","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-de696adec5f5cfb0","kind":"oeis_match","node_a_id":"n-bd6fba845345add6","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":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A168794","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:          810,          2871,           3388,            1331;\n  1:         7290,         34749,          62073,           49247,           14641;\n  2:        65610,        392931,         940896,         1126026,          673486,          161051;\n  3:       590490,       4258089,       12790305,        20484090,        18447660,         8857805,         1771561;\n  4:      5314410,      44818191,      161951724,       325050165,       391353930,       282644505,       113379904,        19487171;\n  5:     47829690,     461822229,     1950565617,      4706920449,      7097737185,      6848693775,      4129508691,      1422563483,       214358881;\n  6:    430467210,    4682526651,    22635135072,     63818505828,    115655759604,    139713353010,    112501209744,     58227666948,     17577428242,      2357947691;\n  7:   3874204890,   46877879169,   255224008809,    823353038244,   1742905400544,   2529633532734,   2549357770806,   1761562309716,    798701190606,    214573239881,     25937424601;\n  8:  34867844010,  464517166311,  2812672750140,  10217641441095,  24743032025580,  41938661200590,  50770188797328,  43896996266310,  26565496122330,  10716872255595,   2593742460100,   285311670611;\n  9: 313810596090, 4564200780909, 30423743580681, 122898173221395, 335081344082265, 649621303086690, 918256972382442, 953545043167398, 721956424030380, 388672307645985, 141229276952445, 31098972096599, 3138428376721;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (9+11*x)*P(n-1,x) for n >= 1, with P(0,x) = 810 + 2871*x + 3388*x^2 + 1331*x^3.","mathematica":"P[0, x_] := 810 + 2871*x + 3388*x^2 + 1331*x^3;\nP[n_, x_] := P[n, x] = Expand[(9 + 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] = 810 + 2871*x + 3388*x^2 + 1331*x^3; for(n = 1, N, my(i = n + 1); v[i] = (9 + 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-cfc5b48d32898a3e","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-0ccb5845893f0f92"],"text":"A038301 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038301 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}