{"id":"n-8db14b5bac94a50b","revision":1,"first_index":0,"fingerprint":"f6-5dc2b0cb1509cea5","name":"obreschkoff_combination of Triangle of 2-Eulerian numbers.","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":false,"rows":[["2","2"],["2","9","4"],["2","25","37","8"],["2","59","204","139","16"],["2","129","889","1339","489","32"],["2","271","3400","9630","7670","1643","64"],["2","557","12009","58202","85292","40065","5345","128"],["2","1131","40300","314189","767250","659653","196064","16995","256"],["2","2281","130705","1569829","5985793","8483323","4632259","914935","53161","512"],["2","4583","414168","7424688","42223188","92111334","82704552","30289992","4121322","164347","1024"],["2","9189","1291393","33740700","276632712","885156870","1215849078","734105772","187643790","18075853","503793","2048"],["2","18403","3981388","148853687","1714451292","7763709078","15507949296","14305526646","6064036818","1114909063","77681300","1534931","4096"],["2","36833","12177273","642214447","10182025585","63487061226","177628119114","237370221534","154010304036","47349736165","6411127597","328641603","4655993","8192"],["2","73695","37035208","2724157906","58495469034","491449903661","1871304644640","3483244481004","3271453695798","1545689028457","353523823512","35922158690","1373561438","14078571","16384"],["2","147421","112186489","11405951694","327370415756","3641937769919","18448557192943","46415744538612","60568514182482","41480390008363","14662332518711","2545874896286","197139983424","5686693849","42473281","32768"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["4","15","72","420","2880","22680","201600","1995840","21772800","259459200","3353011200","46702656000","697426329600","11115232128000","188305108992000"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["2","2"],["2","9","4"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","0"],["0","1"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["0","1","-1"]]},"deriv_order":1,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["0","2"],["0","1"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","1","-1"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162764,"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-839c605163c8e6c6"]}],"region_exact":{},"incoming_edges":[{"id":"e-839c605163c8e6c6","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-8db14b5bac94a50b","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":"272d97e0ceb3a805b57df2eb66de960cbbb559ed9d2878d3596e69408cfffc6b","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-d2e17233522b2755","role":"sequence","name":"Triangle of 2-Eulerian numbers.","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-d2e17233522b2755","role":"sequence","name":"Triangle of 2-Eulerian numbers.","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-3818f60961800253","kind":"oeis_match","node_a_id":"n-8db14b5bac94a50b","node_b_id":null,"fingerprint":null,"oeis_id":"A171005","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":3,"oeis_term_position":0,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A171005","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A171005","relation":"match_row_sums"}],"bfiles":[{"node_id":"n-8db14b5bac94a50b","oeis_id":"A171005","target":"row_sums","oeis_offset":3,"first_row":0,"rows_used":200,"terms_matched":15,"oeis_terms_agreeing":21,"oeis_terms_available":21,"term_count":200,"raw_size":35138}],"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,    2;\n  1: 2,    9,      4;\n  2: 2,   25,     37,       8;\n  3: 2,   59,    204,     139,       16;\n  4: 2,  129,    889,    1339,      489,       32;\n  5: 2,  271,   3400,    9630,     7670,     1643,       64;\n  6: 2,  557,  12009,   58202,    85292,    40065,     5345,      128;\n  7: 2, 1131,  40300,  314189,   767250,   659653,   196064,    16995,     256;\n  8: 2, 2281, 130705, 1569829,  5985793,  8483323,  4632259,   914935,   53161,    512;\n  9: 2, 4583, 414168, 7424688, 42223188, 92111334, 82704552, 30289992, 4121322, 164347, 1024;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (1+n*x)*P(n-2,x) + (x-x^2)*d/dx P(n-2,x) + (n+2)*x*P(n-1,x) + (x-x^2)*d/dx P(n-1,x) for n >= 2, with P(0,x) = 2 + 2*x, P(1,x) = 2 + 9*x + 4*x^2.","mathematica":"P[0, x_] := 2 + 2*x;\nP[1, x_] := 2 + 9*x + 4*x^2;\nP[n_, x_] := P[n, x] = Expand[(1 + n*x)*P[n - 2, x] + (x - x^2)*D[P[n - 2, x], x] + (n + 2)*x*P[n - 1, x] + (x - x^2)*D[P[n - 1, x], x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 2 + 2*x; v[2] = 2 + 9*x + 4*x^2; for(n = 2, N, my(i = n + 1); v[i] = (1 + n*x)*v[i - 2] + (x - x^2)*deriv(v[i - 2], x) + (n + 2)*x*v[i - 1] + (x - x^2)*deriv(v[i - 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-d2e17233522b2755","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-839c605163c8e6c6"],"text":"A144696 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A144696 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}