{"id":"n-ac84be3513d8b44f","revision":1,"first_index":0,"fingerprint":"f6-e26fe1444ee45b76","name":"obreschkoff_combination of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^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","3648","2368","512"],["22464","58752","57600","25088","4096"],["269568","884736","1161216","761856","249856","32768"],["3234816","12773376","21012480","18432000","9093120","2392064","262144"],["38817792","179159040","354336768","389283840","256573440","101449728","22282240","2097152"],["465813504","2460450816","5685313536","7506100224","6193152000","3269984256","1078984704","203423744","16777216"],["5589762048","33251917824","87907368960","135555710976","134366625792","88785027072","39107690496","11072962560","1828716544","134217728"],["67077144576","443741110272","1320903770112","2329927483392","2696845197312","2140353331200","1179572502528","445737074688","110528299008","16240345088","1073741824"],["804925734912","5861510479872","19400774123520","38526359961600","51001562234880","47259001552896","31277696679936","14785424916480","4892236185600","1079110533120","142807662592","8589934592"],["9659108818944","76777531637760","279701373321216","617522512527360","920229626511360","975120516513792","753404372582400","427646672437248","176990233559040","52087215882240","10346576216064","1245540515840","68719476736"],["115909305827328","998603250204672","3970636732956672","9647881136898048","15982935618355200","19063283210256384","16841816603099136","11158995049906176","5545056182206464","2040968459059200","540856641650688","97719095918592","10788957847552","549755813888"],["1390911669927936","12910513449074688","55636466797117440","147539667506429952","268978276515446784","356622883469918208","354608064919240704","268642473423667200","155812634585726976","68852070966362112","22818027372281856","5499482284228608","911220261519360","92908732547072","4398046511104"],["16690940039135232","166053454748319744","770921709158006784","2215567744454098944","4408056658236801024","6431300813762592768","7108279846790234112","6060574200437932032","4018891402418061312","2072725928282161152","824632896198279168","248538006388998144","54930501412061184","8404666882719744","796046418509824","35184372088832"],["200291280469622784","2126168977292918784","10579488147882639360","32754186606713241600","70621221854474403840","112440063031045521408","136749764671583551488","129593129179577057280","96711290432520192000","57023842358730424320","26477402180636639232","9579519246254211072","2647470068056719360","540300013889126400","76789892083875840","6790583813144576","281474976710656"],["2403495365635473408","27116357971272007680","143963209592935022592","477686144463620014080","1109488155107398778880","1914250531208341487616","2540517680307366789120","2649115667527593099264","2197280518626858762240","1457976431764926627840","773919565037483065344","326773448400143646720","108405794786714320896","27663360711123271680","5243878816119521280","695806142428741632","57702370225684480","2251799813685248"]],"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":[["1872","3648","2368","512"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["12","8"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162908,"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-acb1eb270a760ac4"]}],"region_exact":{},"incoming_edges":[{"id":"e-acb1eb270a760ac4","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-ac84be3513d8b44f","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":"ef61d68b29006849e7470b1db39b604204565d957e078cba78bcc2c429fdae86","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-6874f381e9c7e0a2","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^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-6874f381e9c7e0a2","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^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-0b0d1a7b407f018a","kind":"oeis_match","node_a_id":"n-ac84be3513d8b44f","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},{"id":"l-39318fda2854804a","kind":"oeis_match","node_a_id":"n-ac84be3513d8b44f","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-4002e323f6fbe50f","kind":"oeis_match","node_a_id":"n-ac84be3513d8b44f","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-885c78bde0252600","kind":"oeis_match","node_a_id":"n-ac84be3513d8b44f","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-bdad21b7ff93564d","kind":"oeis_match","node_a_id":"n-ac84be3513d8b44f","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-bf0f84d495d3fa18","kind":"oeis_match","node_a_id":"n-ac84be3513d8b44f","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-ccee36618583f50b","kind":"oeis_match","node_a_id":"n-ac84be3513d8b44f","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-ed23e8fdb9431f29","kind":"oeis_match","node_a_id":"n-ac84be3513d8b44f","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}],"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:          1872,           3648,            2368,             512;\n  1:         22464,          58752,           57600,           25088,            4096;\n  2:        269568,         884736,         1161216,          761856,          249856,           32768;\n  3:       3234816,       12773376,        21012480,        18432000,         9093120,         2392064,          262144;\n  4:      38817792,      179159040,       354336768,       389283840,       256573440,       101449728,        22282240,         2097152;\n  5:     465813504,     2460450816,      5685313536,      7506100224,      6193152000,      3269984256,      1078984704,       203423744,        16777216;\n  6:    5589762048,    33251917824,     87907368960,    135555710976,    134366625792,     88785027072,     39107690496,     11072962560,      1828716544,      134217728;\n  7:   67077144576,   443741110272,   1320903770112,   2329927483392,   2696845197312,   2140353331200,   1179572502528,    445737074688,    110528299008,    16240345088,     1073741824;\n  8:  804925734912,  5861510479872,  19400774123520,  38526359961600,  51001562234880,  47259001552896,  31277696679936,  14785424916480,   4892236185600,  1079110533120,   142807662592,    8589934592;\n  9: 9659108818944, 76777531637760, 279701373321216, 617522512527360, 920229626511360, 975120516513792, 753404372582400, 427646672437248, 176990233559040, 52087215882240, 10346576216064, 1245540515840, 68719476736;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (12+8*x)*P(n-1,x) for n >= 1, with P(0,x) = 1872 + 3648*x + 2368*x^2 + 512*x^3.","mathematica":"P[0, x_] := 1872 + 3648*x + 2368*x^2 + 512*x^3;\nP[n_, x_] := P[n, x] = Expand[(12 + 8*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 + 3648*x + 2368*x^2 + 512*x^3; for(n = 1, N, my(i = n + 1); v[i] = (12 + 8*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-6874f381e9c7e0a2","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-acb1eb270a760ac4"],"text":"A038334 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038334 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}