{"id":"n-4a90276c6d0931df","revision":1,"first_index":0,"fingerprint":"f6-04668acf2e74f66d","name":"obreschkoff_combination of Triangle read by rows: T(n,k) is the number of ternary words of length n having k runs (i.e., subwords of maximal length) of identical letters (1 <= k <= n).","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":[["6","6"],["6","18","12"],["6","30","48","24"],["6","42","108","120","48"],["6","54","192","336","288","96"],["6","66","300","720","960","672","192"],["6","78","432","1320","2400","2592","1536","384"],["6","90","588","2184","5040","7392","6720","3456","768"],["6","102","768","3360","9408","17472","21504","16896","7680","1536"],["6","114","972","4896","16128","36288","56448","59904","41472","16896","3072"],["6","126","1200","6840","25920","68544","129024","172800","161280","99840","36864","6144"],["6","138","1452","9240","39600","120384","266112","430848","506880","422400","236544","79872","12288"],["6","150","1728","12144","58080","199584","506880","963072","1368576","1436160","1081344","552960","172032","24576"],["6","162","2028","15600","82368","315744","906048","1976832","3294720","4173312","3953664","2715648","1277952","368640","49152"],["6","174","2352","19656","113568","480480","1537536","3788928","7248384","10762752","12300288","10622976","6709248","2924544","786432","98304"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["12","36","108","324","972","2916","8748","26244","78732","236196","708588","2125764","6377292","19131876","57395628"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["6","6"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","2"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162714,"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-6efef9a3e4d28a62"]}],"region_exact":{},"incoming_edges":[{"id":"e-6efef9a3e4d28a62","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-4a90276c6d0931df","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":"c74235e34aa7d3e1f8340d645b09e8729fc1365ceae67c465c783e83388bbe12","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-765f9e2b013b3c68","role":"sequence","name":"Triangle read by rows: T(n,k) is the number of ternary words of length n having k runs (i.e., subwords of maximal length) of identical letters (1 <= k <= n).","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-765f9e2b013b3c68","role":"sequence","name":"Triangle read by rows: T(n,k) is the number of ternary words of length n having k runs (i.e., subwords of maximal length) of identical letters (1 <= k <= n).","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-f7cc71f81b2cc01a","kind":"fingerprint_related","node_a_id":"n-b8a487699b52b31f","node_b_id":"n-4a90276c6d0931df","fingerprint":"f6-04668acf2e74f66d","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-04668acf2e74f66d"},"other_id":"n-b8a487699b52b31f","other":{"id":"n-b8a487699b52b31f","name":"obreschkoff_combination of Triangle of coefficients in expansion of (1+2*x)^n.","first_index":0,"fingerprint":"f6-04668acf2e74f66d","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["2","2"],["2","6","4"],["2","10","16","8"]],"card_rows":[["2","2"],["2","6","4"],["2","10","16","8"],["2","14","36","40","16"]],"row_sums_preview":["4","12","36","108","324","972","2916","8748"],"regions":["(-inf, +inf)"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-71965e79e47a4526","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-1774203d413cf9ca"],"text":"A013609 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A013609 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}},{"id":"l-0da89014d1bd04d0","kind":"oeis_match","node_a_id":"n-4a90276c6d0931df","node_b_id":null,"fingerprint":null,"oeis_id":"A168825","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":2,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168825","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-559eee768169eb3a","kind":"oeis_match","node_a_id":"n-4a90276c6d0931df","node_b_id":null,"fingerprint":null,"oeis_id":"A025579","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":1,"oeis_term_position":3,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A025579","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-6edca66efc264830","kind":"oeis_match","node_a_id":"n-4a90276c6d0931df","node_b_id":null,"fingerprint":null,"oeis_id":"A003946","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":2,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A003946","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-88e0adaa28a78d17","kind":"oeis_match","node_a_id":"n-4a90276c6d0931df","node_b_id":null,"fingerprint":null,"oeis_id":"A027327","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":2,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A027327","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-d33da43b6bbeb057","kind":"oeis_match","node_a_id":"n-4a90276c6d0931df","node_b_id":null,"fingerprint":null,"oeis_id":"A168729","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":2,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168729","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-d5fc71b650805636","kind":"oeis_match","node_a_id":"n-4a90276c6d0931df","node_b_id":null,"fingerprint":null,"oeis_id":"A052156","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":"A052156","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-d673c8dc5d584872","kind":"oeis_match","node_a_id":"n-4a90276c6d0931df","node_b_id":null,"fingerprint":null,"oeis_id":"A168777","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":2,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168777","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-edca91b2fade0174","kind":"oeis_match","node_a_id":"n-4a90276c6d0931df","node_b_id":null,"fingerprint":null,"oeis_id":"A168681","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":2,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A168681","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A003946","relation":"match_row_sums"},{"oeis_id":"A025579","relation":"match_row_sums"},{"oeis_id":"A027327","relation":"match_row_sums"},{"oeis_id":"A052156","relation":"match_row_sums"},{"oeis_id":"A168681","relation":"match_row_sums"},{"oeis_id":"A168729","relation":"match_row_sums"},{"oeis_id":"A168777","relation":"match_row_sums"},{"oeis_id":"A168825","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: 6,   6;\n  1: 6,  18,  12;\n  2: 6,  30,  48,   24;\n  3: 6,  42, 108,  120,    48;\n  4: 6,  54, 192,  336,   288,    96;\n  5: 6,  66, 300,  720,   960,   672,   192;\n  6: 6,  78, 432, 1320,  2400,  2592,  1536,   384;\n  7: 6,  90, 588, 2184,  5040,  7392,  6720,  3456,   768;\n  8: 6, 102, 768, 3360,  9408, 17472, 21504, 16896,  7680,  1536;\n  9: 6, 114, 972, 4896, 16128, 36288, 56448, 59904, 41472, 16896, 3072;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (1+2*x)*P(n-1,x) for n >= 1, with P(0,x) = 6 + 6*x.","mathematica":"P[0, x_] := 6 + 6*x;\nP[n_, x_] := P[n, x] = Expand[(1 + 2*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] = 6 + 6*x; for(n = 1, N, my(i = n + 1); v[i] = (1 + 2*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-765f9e2b013b3c68","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-6efef9a3e4d28a62"],"text":"A120909 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A120909 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}