{"id":"n-936d6bd12d8bd41c","revision":1,"first_index":0,"fingerprint":"f6-f1777e18cc7873d6","name":"obreschkoff_combination of Triangle of 3-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","3"],["2","13","9"],["2","35","76","27"],["2","81","393","403","81"],["2","175","1640","3510","1990","243"],["2","365","6089","23554","27124","9337","729"],["2","747","21068","135525","273810","189733","42208","2187"],["2","1513","69681","705869","2297305","2756043","1235027","185599","6561"],["2","3047","223672","3434312","17018372","32368798","25000808","7618448","799258","19683"],["2","6117","703521","15920580","115409904","328311054","399011838","209758884","45102150","3387301","59049"],["2","12259","2181932","71250767","733411772","2993585798","5389777904","4447346678","1657037618","258591063","14179060","177147"],["2","24545","6701081","310653015","4437740265","25195192266","64372199850","78321792078","45842441460","12483826885","1445557357","58782955","531441"],["2","49119","20438696","1328077418","25858363770","199353324981","699862253472","1200909561948","1034911286934","444122630905","90548868792","7919062234","241863406","1594323"],["2","98269","62036505","5593399030","146304346004","1502615546391","7069422224967","16546541403780","20048310870690","12676286891227","4092667369607","636890522214","42680929640","989242705","4782969"],["2","196571","187649068","23288757385","808753718302","10895596181363","67340488930608","209495471077929","344773379081310","306206985174841","145997742168028","36202240422371","4368334762178","227012714105","4027121032","14348907"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["5","24","140","960","7560","67200","665280","7257600","86486400","1117670400","15567552000","232475443200","3705077376000","62768369664000","1126343522304000"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["2","3"],["2","13","9"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","1"],["0","1"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["0","1","-1"]]},"deriv_order":1,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["0","3"],["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":162776,"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-b4867a0cc7e138f4"]}],"region_exact":{},"incoming_edges":[{"id":"e-b4867a0cc7e138f4","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-936d6bd12d8bd41c","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":"51764dcd1183a30137e7507dc0b83e1674c8c968df3ef17752634dee1c6a07c5","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-4c402d5a817396fa","role":"sequence","name":"Triangle of 3-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-4c402d5a817396fa","role":"sequence","name":"Triangle of 3-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":[],"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, 3;\n 1: 2, 13, 9;\n 2: 2, 35, 76, 27;\n 3: 2, 81, 393, 403, 81;\n 4: 2, 175, 1640, 3510, 1990, 243;\n 5: 2, 365, 6089, 23554, 27124, 9337, 729;\n 6: 2, 747, 21068, 135525, 273810, 189733, 42208, 2187;\n 7: 2, 1513, 69681, 705869, 2297305, 2756043, 1235027, 185599, 6561;\n 8: 2, 3047, 223672, 3434312, 17018372, 32368798, 25000808, 7618448, 799258, 19683;\n 9: 2, 6117, 703521, 15920580, 115409904, 328311054, 399011838, 209758884, 45102150, 3387301, 59049;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (1+(n+1)*x)*P(n-2,x) + (x-x^2)*d/dx P(n-2,x) + (n+3)*x*P(n-1,x) + (x-x^2)*d/dx P(n-1,x) for n >= 2, with P(0,x) = 2 + 3*x, P(1,x) = 2 + 13*x + 9*x^2.","mathematica":"P[0, x_] := 2 + 3*x;\nP[1, x_] := 2 + 13*x + 9*x^2;\nP[n_, x_] := P[n, x] = Expand[(1 + (n + 1)*x)*P[n - 2, x] + (x - x^2)*D[P[n - 2, x], x] + (n + 3)*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 + 3*x; v[2] = 2 + 13*x + 9*x^2; for(n = 2, N, my(i = n + 1); v[i] = (1 + (n + 1)*x)*v[i - 2] + (x - x^2)*deriv(v[i - 2], x) + (n + 3)*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-4c402d5a817396fa","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-b4867a0cc7e138f4"],"text":"A144697 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A144697 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}