{"id":"n-15f7f9eaa70b650d","revision":1,"first_index":0,"fingerprint":"f6-0bc72b01ed588d8f","name":"obreschkoff_combination of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*3^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":[["576","624","225","27"],["4608","6720","3672","891","81"],["36864","67584","49536","18144","3321","243"],["294912","651264","599040","293760","81000","11907","729"],["2359296","6094848","6746112","4147200","1529280","338256","41553","2187"],["18874368","55836672","72253440","53415936","24675840","7293888","1347192","142155","6561"],["150994944","503316480","745537536","644087808","357654528","132378624","32659200","5178816","478953","19683"],["1207959552","4479516672","7474249728","7389315072","4793499648","2131992576","658409472","139408128","19368072","1594323","59049"],["9663676416","39460012032","73232547840","81537269760","60515942400","31436439552","11663253504","3090493440","573168960","70858800","5255361","177147"],["77309411328","344671125504","704240418816","871995801600","728739348480","433039343616","187615346688","59713708032","13856832000","2286377280","254619288","17183259","531441"],["618475290624","2989297238016","6667936727040","9088687669248","8445902192640","5650532794368","2800040804352","1040555704320","289995780096","59861514240","8896086144","901323936","55801305","1594323"],["4947802324992","25769803776000","62311385530368","92713311535104","94833280548864","70541968932864","39351924817920","16724568047616","5441633353728","1348879454208","250753231872","33898849920","3150382248","180158499","4782969"],["39582418599936","221001837182976","575800495570944","928640648871936","1036806178996224","848835593109504","526441305341952","251852318834688","93706770972672","27115935694848","6052664217600","1023450494976","126899607744","10892414736","578739249","14348907"],["316659348799488","1886761953263616","5269409476116480","9156526677688320","11080371378585600","9901103281864704","6758037222064128","3594142466703360","1505211124285440","498047798476800","129769120825344","26345596612608","4085548346880","467838141120","37307158200","1851009003","43046721"],["2533274790395904","16044073672507392","47815561668722688","89060441849856000","116112551061749760","112449940390674432","83767607622107136","49027251399819264","22824116394393600","8500015760670720","2532296362033152","600072135376896","111721176612864","15999350169600","1701971688960","126729546624","5897400777","129140163"]],"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":[["576","624","225","27"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["8","3"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162864,"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-b64329fdd6480cca"]}],"region_exact":{},"incoming_edges":[{"id":"e-b64329fdd6480cca","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-15f7f9eaa70b650d","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":"17da32a1f1b78dada2635002bc0dbfd7a1469f830cc51000f1b9384064beb367","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-108b34f10b7468f4","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*3^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-108b34f10b7468f4","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*3^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-4f6af512a9cb0c8d","kind":"oeis_match","node_a_id":"n-15f7f9eaa70b650d","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-5663e47613e16cf1","kind":"oeis_match","node_a_id":"n-15f7f9eaa70b650d","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},{"id":"l-6bf264632568acca","kind":"oeis_match","node_a_id":"n-15f7f9eaa70b650d","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-732c6b586bee989b","kind":"oeis_match","node_a_id":"n-15f7f9eaa70b650d","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-76b059a1e225688e","kind":"oeis_match","node_a_id":"n-15f7f9eaa70b650d","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-910624d8c8662a8e","kind":"oeis_match","node_a_id":"n-15f7f9eaa70b650d","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-b88df8f8cc9d7d3e","kind":"oeis_match","node_a_id":"n-15f7f9eaa70b650d","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-f9c2a3ca67e1cd6c","kind":"oeis_match","node_a_id":"n-15f7f9eaa70b650d","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}],"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:         576,          624,          225,           27;\n  1:        4608,         6720,         3672,          891,           81;\n  2:       36864,        67584,        49536,        18144,         3321,          243;\n  3:      294912,       651264,       599040,       293760,        81000,        11907,          729;\n  4:     2359296,      6094848,      6746112,      4147200,      1529280,       338256,        41553,        2187;\n  5:    18874368,     55836672,     72253440,     53415936,     24675840,      7293888,      1347192,      142155,        6561;\n  6:   150994944,    503316480,    745537536,    644087808,    357654528,    132378624,     32659200,     5178816,      478953,      19683;\n  7:  1207959552,   4479516672,   7474249728,   7389315072,   4793499648,   2131992576,    658409472,   139408128,    19368072,    1594323,     59049;\n  8:  9663676416,  39460012032,  73232547840,  81537269760,  60515942400,  31436439552,  11663253504,  3090493440,   573168960,   70858800,   5255361,   177147;\n  9: 77309411328, 344671125504, 704240418816, 871995801600, 728739348480, 433039343616, 187615346688, 59713708032, 13856832000, 2286377280, 254619288, 17183259, 531441;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (8+3*x)*P(n-1,x) for n >= 1, with P(0,x) = 576 + 624*x + 225*x^2 + 27*x^3.","mathematica":"P[0, x_] := 576 + 624*x + 225*x^2 + 27*x^3;\nP[n_, x_] := P[n, x] = Expand[(8 + 3*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] = 576 + 624*x + 225*x^2 + 27*x^3; for(n = 1, N, my(i = n + 1); v[i] = (8 + 3*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-108b34f10b7468f4","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-b64329fdd6480cca"],"text":"A038281 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038281 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}