{"id":"n-5d0c50b73be837bc","revision":1,"first_index":0,"fingerprint":"f6-b759540d7ac01940","name":"obreschkoff_combination of Triangle read by rows: T(n, k) is the Sheffer triangle ((1 - 3*x)^(-1/3), (-1/3)*log(1 - 3*x)). A generalized Stirling1 triangle.","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":[["2","1"],["5","6","1"],["32","44","13","1"],["308","457","171","23","1"],["3920","6132","2644","467","36","1"],["61880","100778","47959","10050","1040","52","1"],["1164800","1959520","1004544","237574","29705","2025","71","1"],["25450880","43989048","23923066","6202357","888069","74102","3584","93","1"],["632952320","1119583712","639188488","178298084","28317982","2734697","163492","5906","118","1"],["17649632000","31854922480","18947969388","5613611676","968623473","104673114","7301931","328584","9207","146","1"],["545312768000","1001919851520","617393300032","192452960256","35558563500","4205502300","330553041","17470593","613650","13730","177","1"],["18489511040000","34518255329600","21938296817920","7144470084796","1398620624676","178239610065","15422879835","923584893","38307423","1080035","19745","211","1"],["682527093248000","1292751531070720","844438052927232","285722654938544","58789581001888","7981175721816","747915930696","49544077407","2339145864","78227963","1810072","27549","248","1"],["27247200012032000","52291946997252480","35006255942371648","12252471875231432","2633213885335956","377514201519598","37852514543415","2726959715766","142996803378","5465065034","150572136","2911402","37466","288","1"],["1169635902955520000","2272023307639500800","1555091656066240000","561026250987745152","125308392211349984","18842903431868152","2002973877500596","154965869400342","8868917932017","377763115301","11934295373","275680405","4521699","49847","331","1"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["3","12","90","960","13200","221760","4398240","100531200","2601244800","75147072000","2397191596800","83683779379200","3173009968128000","129849331003392000","5704095611934720000"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["2","1"]],"recurrence":{"denominator":{"coeffs":[["-1","1"],["3","0"]]},"terms":[{"coeff":{"coeffs":[["-4","0","1"],["0","6","0"],["9","0","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162809,"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-38cf740a66d8523a"]}],"region_exact":{},"incoming_edges":[{"id":"e-38cf740a66d8523a","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-5d0c50b73be837bc","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":"f7617f053b5f53ca62f334e230015735dcd934efd44fe005fb029260a08bf434","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-260e022530e5976c","role":"sequence","name":"Triangle read by rows: T(n, k) is the Sheffer triangle ((1 - 3*x)^(-1/3), (-1/3)*log(1 - 3*x)). A generalized Stirling1 triangle.","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-260e022530e5976c","role":"sequence","name":"Triangle read by rows: T(n, k) is the Sheffer triangle ((1 - 3*x)^(-1/3), (-1/3)*log(1 - 3*x)). A generalized Stirling1 triangle.","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":[],"oeis":[],"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: 2, 1;\n 1: 5, 6, 1;\n 2: 32, 44, 13, 1;\n 3: 308, 457, 171, 23, 1;\n 4: 3920, 6132, 2644, 467, 36, 1;\n 5: 61880, 100778, 47959, 10050, 1040, 52, 1;\n 6: 1164800, 1959520, 1004544, 237574, 29705, 2025, 71, 1;\n 7: 25450880, 43989048, 23923066, 6202357, 888069, 74102, 3584, 93, 1;\n 8: 632952320, 1119583712, 639188488, 178298084, 28317982, 2734697, 163492, 5906, 118, 1;\n 9: 17649632000, 31854922480, 18947969388, 5613611676, 968623473, 104673114, 7301931, 328584, 9207, 146, 1;\n","recurrence_sentence":"The row polynomials satisfy (3*n-1+x)*P(n,x) = (9*n^2-4+6*n*x+x^2)*P(n-1,x) for n >= 1, with P(0,x) = 2 + x.","mathematica":"P[0, x_] := 2 + x;\nP[n_, x_] := P[n, x] = Expand[Together[((9*n^2 - 4 + 6*n*x + x^2)*P[n - 1, x])/(3*n - 1 + x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 2 + x; for(n = 1, N, my(i = n + 1); v[i] = ((9*n^2 - 4 + 6*n*x + x^2)*v[i - 1])/(3*n - 1 + x)); 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-260e022530e5976c","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-38cf740a66d8523a"],"text":"A286718 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A286718 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}