{"id":"n-e3ab0b197a84a529","revision":1,"first_index":0,"fingerprint":"f6-3d5efa0e2f3a3ce6","name":"obreschkoff_combination of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*1^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":[["9","1"],["72","17","1"],["576","208","25","1"],["4608","2240","408","33","1"],["36864","22528","5504","672","41","1"],["294912","217088","66560","10880","1000","49","1"],["2359296","2031616","749568","153600","18880","1392","57","1"],["18874368","18612224","8028160","1978368","304640","30016","1848","65","1"],["150994944","167772160","82837504","23855104","4415488","544768","44800","2368","73","1"],["1207959552","1493172224","830472192","273678336","59179008","8773632","903168","63744","2952","81","1"],["9663676416","13153337344","8136949760","3019898880","747110400","129368064","15998976","1413120","87360","3600","89","1"],["77309411328","114890375168","78248935424","32296140800","8996782080","1782054912","257359872","27303936","2112000","116160","4312","97","1"],["618475290624","996432412672","740881858560","336618061824","104270397440","23253221376","3840933888","475791360","44199936","3041280","150656","5088","105","1"],["4947802324992","8589934592000","6923487281152","3433826353152","1170781241344","290296168448","53980692480","7647264768","829390848","68530176","4246528","191360","5928","113","1"],["39582418599936","73667279060992","63977832841216","34394098106368","12800076283904","3493150588928","722141708288","115158810624","14282391552","1377632256","102502400","5777408","238784","6832","121","1"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["10","90","810","7290","65610","590490","5314410","47829690","430467210","3874204890","34867844010","313810596090","2824295364810","25418658283290","228767924549610"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["9","1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["8","1"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162802,"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-8868d67f2610da37"]}],"region_exact":{},"incoming_edges":[{"id":"e-8868d67f2610da37","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-e3ab0b197a84a529","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":"026e25c66acc94a53c8f7ff806ce0c5e92442f0986529867b246c26f38d2b609","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-366b2525683554ec","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*1^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-366b2525683554ec","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*1^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-194200511c6d67f5","kind":"oeis_match","node_a_id":"n-e3ab0b197a84a529","node_b_id":null,"fingerprint":null,"oeis_id":"A167908","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":"A167908","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-33e23cd33c7f7c9d","kind":"oeis_match","node_a_id":"n-e3ab0b197a84a529","node_b_id":null,"fingerprint":null,"oeis_id":"A168879","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":"A168879","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-4d9f26869f3b22f1","kind":"oeis_match","node_a_id":"n-e3ab0b197a84a529","node_b_id":null,"fingerprint":null,"oeis_id":"A168783","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":"A168783","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-7bd2730d06fc10d9","kind":"oeis_match","node_a_id":"n-e3ab0b197a84a529","node_b_id":null,"fingerprint":null,"oeis_id":"A168831","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":"A168831","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-7de94f7c105f6762","kind":"oeis_match","node_a_id":"n-e3ab0b197a84a529","node_b_id":null,"fingerprint":null,"oeis_id":"A168735","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":"A168735","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-b58a7e47fd09ad65","kind":"oeis_match","node_a_id":"n-e3ab0b197a84a529","node_b_id":null,"fingerprint":null,"oeis_id":"A168927","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":"A168927","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-b87fd0f88f18a9dc","kind":"oeis_match","node_a_id":"n-e3ab0b197a84a529","node_b_id":null,"fingerprint":null,"oeis_id":"A168687","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":"A168687","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-ee23eec8360a3ff9","kind":"oeis_match","node_a_id":"n-e3ab0b197a84a529","node_b_id":null,"fingerprint":null,"oeis_id":"A003952","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":"A003952","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A003952","relation":"match_row_sums"},{"oeis_id":"A167908","relation":"match_row_sums"},{"oeis_id":"A168687","relation":"match_row_sums"},{"oeis_id":"A168735","relation":"match_row_sums"},{"oeis_id":"A168783","relation":"match_row_sums"},{"oeis_id":"A168831","relation":"match_row_sums"},{"oeis_id":"A168879","relation":"match_row_sums"},{"oeis_id":"A168927","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:          9,          1;\n  1:         72,         17,         1;\n  2:        576,        208,        25,         1;\n  3:       4608,       2240,       408,        33,        1;\n  4:      36864,      22528,      5504,       672,       41,       1;\n  5:     294912,     217088,     66560,     10880,     1000,      49,      1;\n  6:    2359296,    2031616,    749568,    153600,    18880,    1392,     57,     1;\n  7:   18874368,   18612224,   8028160,   1978368,   304640,   30016,   1848,    65,    1;\n  8:  150994944,  167772160,  82837504,  23855104,  4415488,  544768,  44800,  2368,   73,  1;\n  9: 1207959552, 1493172224, 830472192, 273678336, 59179008, 8773632, 903168, 63744, 2952, 81, 1;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (8+x)*P(n-1,x) for n >= 1, with P(0,x) = 9 + x.","mathematica":"P[0, x_] := 9 + x;\nP[n_, x_] := P[n, x] = Expand[(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] = 9 + x; for(n = 1, N, my(i = n + 1); v[i] = (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-366b2525683554ec","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-8868d67f2610da37"],"text":"A038279 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038279 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}