{"id":"n-18347f928d4972a4","revision":1,"first_index":0,"fingerprint":"f6-07069fdd2e8aedf5","name":"obreschkoff_combination of Triangle read by rows: (i,j)-th entry is binomial(i,j)*3^(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":[["36","264","640","512"],["108","1080","4032","6656","4096"],["324","4104","20736","52224","65536","32768"],["972","14904","95040","322560","614400","622592","262144"],["2916","52488","404352","1728000","4423680","6782976","5767168","2097152"],["8748","180792","1632960","8418816","27095040","55738368","71565312","52428800","16777216"],["26244","612360","6345216","38320128","148635648","383975424","660602880","729808896","469762048","134217728"],["78732","2047032","23934528","165722112","752467968","2341011456","5053612032","7474249728","7247757312","4160749568","1073741824"],["236196","6770952","88179840","688642560","3583180800","13042778112","33888927744","62851645440","81537269760","70464307200","36507222016","8589934592"],["708588","22202424","318707136","2771366400","16258682880","67793780736","206009008128","459666358272","747424972800","863691079680","673236123648","317827579904","68719476736"],["2125764","72275976","1133740800","10863756288","70946979840","333450805248","1160377270272","3027071139840","5919605784576","8570473021440","8929237008384","6339371728896","2748779069440","549755813888"],["6377292","233834040","3979430208","41661195264","299750989824","1567928254464","6148738252800","18364231581696","41975386472448","73068265340928","95351495196672","90452011253760","58961311039488","23639499997184","4398046511104"],["19131876","752520456","13808962944","156819027456","1232542531584","7101792681984","30989640794112","104282600767488","272840012070912","555007887802368","870600608317440","1034167995334656","900500023148544","542608988307456","202310139510784","35184372088832"],["57395628","2410616376","47447052480","580928785920","4952179814400","31165718298624","149783263838208","560764928655360","1652780842352640","3847743759974400","7051864927371264","10067308852543488","10974844032122880","8831827150110720","4947802324992000","1724034232352768","281474976710656"],["172186884","7691014152","161626088448","2122362777600","19503969730560","133114593411072","698675537903616","2880560896671744","9444461956300800","24765478018744320","51937544861908992","86616845976600576","113463002916716544","114294233707315200","85498024175861760","44754521296994304","14636698788954112","2251799813685248"]],"degrees":[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],"row_sums":["1452","15972","175692","1932612","21258732","233846052","2572306572","28295372292","311249095212","3423740047332","37661140520652","414272545727172","4556998002998892","50126978032987812","551396758362865932"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["36","264","640","512"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["3","8"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162865,"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-c18c7d7bde35dd59"]}],"region_exact":{},"incoming_edges":[{"id":"e-c18c7d7bde35dd59","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-18347f928d4972a4","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":"87879c10943b38355fff8e32f517b54d33a6c237952c5df86cb1892f12de0f10","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-26633b980c3508e8","role":"sequence","name":"Triangle read by rows: (i,j)-th entry is binomial(i,j)*3^(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-26633b980c3508e8","role":"sequence","name":"Triangle read by rows: (i,j)-th entry is binomial(i,j)*3^(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-2ab70ac10daf3784","kind":"oeis_match","node_a_id":"n-18347f928d4972a4","node_b_id":null,"fingerprint":null,"oeis_id":"A168833","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":15},"in_catalog":false,"oeis_id":"A168833","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-498db8ce6fb02829","kind":"oeis_match","node_a_id":"n-18347f928d4972a4","node_b_id":null,"fingerprint":null,"oeis_id":"A168977","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":15},"in_catalog":false,"oeis_id":"A168977","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-573ccf81f8dcca66","kind":"oeis_match","node_a_id":"n-18347f928d4972a4","node_b_id":null,"fingerprint":null,"oeis_id":"A169025","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":15},"in_catalog":false,"oeis_id":"A169025","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-7d1cf402e0764c70","kind":"oeis_match","node_a_id":"n-18347f928d4972a4","node_b_id":null,"fingerprint":null,"oeis_id":"A003954","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":15},"in_catalog":false,"oeis_id":"A003954","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-7fb211ddd5a298d3","kind":"oeis_match","node_a_id":"n-18347f928d4972a4","node_b_id":null,"fingerprint":null,"oeis_id":"A168881","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":15},"in_catalog":false,"oeis_id":"A168881","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-d3b9157f97f0b010","kind":"oeis_match","node_a_id":"n-18347f928d4972a4","node_b_id":null,"fingerprint":null,"oeis_id":"A168785","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":15},"in_catalog":false,"oeis_id":"A168785","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-e2bc9b019b00e600","kind":"oeis_match","node_a_id":"n-18347f928d4972a4","node_b_id":null,"fingerprint":null,"oeis_id":"A168929","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":15},"in_catalog":false,"oeis_id":"A168929","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-e2dfd93bce771603","kind":"oeis_match","node_a_id":"n-18347f928d4972a4","node_b_id":null,"fingerprint":null,"oeis_id":"A168737","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":15},"in_catalog":false,"oeis_id":"A168737","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A003954","relation":"match_row_sums"},{"oeis_id":"A168737","relation":"match_row_sums"},{"oeis_id":"A168785","relation":"match_row_sums"},{"oeis_id":"A168833","relation":"match_row_sums"},{"oeis_id":"A168881","relation":"match_row_sums"},{"oeis_id":"A168929","relation":"match_row_sums"},{"oeis_id":"A168977","relation":"match_row_sums"},{"oeis_id":"A169025","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:     36,      264,       640,        512;\n  1:    108,     1080,      4032,       6656,        4096;\n  2:    324,     4104,     20736,      52224,       65536,       32768;\n  3:    972,    14904,     95040,     322560,      614400,      622592,       262144;\n  4:   2916,    52488,    404352,    1728000,     4423680,     6782976,      5767168,      2097152;\n  5:   8748,   180792,   1632960,    8418816,    27095040,    55738368,     71565312,     52428800,     16777216;\n  6:  26244,   612360,   6345216,   38320128,   148635648,   383975424,    660602880,    729808896,    469762048,    134217728;\n  7:  78732,  2047032,  23934528,  165722112,   752467968,  2341011456,   5053612032,   7474249728,   7247757312,   4160749568,   1073741824;\n  8: 236196,  6770952,  88179840,  688642560,  3583180800, 13042778112,  33888927744,  62851645440,  81537269760,  70464307200,  36507222016,   8589934592;\n  9: 708588, 22202424, 318707136, 2771366400, 16258682880, 67793780736, 206009008128, 459666358272, 747424972800, 863691079680, 673236123648, 317827579904, 68719476736;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (3+8*x)*P(n-1,x) for n >= 1, with P(0,x) = 36 + 264*x + 640*x^2 + 512*x^3.","mathematica":"P[0, x_] := 36 + 264*x + 640*x^2 + 512*x^3;\nP[n_, x_] := P[n, x] = Expand[(3 + 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] = 36 + 264*x + 640*x^2 + 512*x^3; for(n = 1, N, my(i = n + 1); v[i] = (3 + 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-26633b980c3508e8","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-c18c7d7bde35dd59"],"text":"A038226 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038226 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}