{"id":"n-ffeb6f77baa8bcee","revision":1,"first_index":2,"fingerprint":"f6-a2866d6de87d0de1","name":"obreschkoff_combination of Triangle read by rows: T(n,k) is the number of permutations of 1..n arranged in a circle with exactly k descents.","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":[["1","2"],["0","5","3"],["0","7","19","4"],["0","9","71","59","5"],["0","11","211","451","161","6"],["0","13","555","2510","2270","405","7"],["0","15","1359","11642","21442","9927","967","8"],["0","17","3183","48165","159899","150099","39597","2231","9"],["0","19","7243","184717","1022911","1702471","920977","148303","5029","10"],["0","21","16163","672320","5889452","15975794","15296234","5153192","531260","11153","11"],["0","23","35575","2357884","31448968","131271262","203104870","121864480","26968096","1842787","24443","12"],["0","25","77511","8049167","158881761","978997530","2301350694","2229517086","888582018","134271549","6241955","53091","13"],["0","27","167571","26933687","769908205","6788081652","23191360830","33965067774","21940841274","6058381395","643685823","20769243","114505","14"],["0","29","360027","88775874","3613630090","44502074115","213727644057","451420049436","440646342492","198574884435","39213600925","2996877954","68174202","245549","15"],["0","31","769567","289255534","16545616382","279235804961","1837080925793","5401769215956","7580188720932","5174850517521","1683008115473","243635834126","13637514302","221441359","524047","16"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["3","8","30","144","840","5760","45360","403200","3991680","43545600","518918400","6706022400","93405312000","1394852659200","22230464256000"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":2,"initial_polynomials":[["1","2"],["0","5","3"]],"recurrence":{"denominator":{"coeffs":[["-1","-2"],["1","5"],["0","-4"],["0","1"]]},"terms":[{"coeff":{"coeffs":[["0","6","0"],["0","-5","-6"],["0","1","11"],["0","0","-6"],["0","0","1"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["0","-2","2","0"],["0","1","1","-2"],["0","0","-3","3"],["0","0","1","-1"]]},"deriv_order":1,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["3","-2","0"],["-1","-4","-2"],["0","5","5"],["0","-1","-4"],["0","0","1"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","0","0","0"],["0","1","1","-2"],["0","0","-3","3"],["0","0","1","-1"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162721,"position":0,"claim":"real_rooted","from_index":2,"region_key":"(-inf, +inf)","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":2,"region":{}},"label":"Real-rooted","description":"Every row P_n, n >= 2, is zero or real-rooted with all roots in (-inf, +inf)","region_exact":null,"edges":["e-33c9a461744a57dc"]}],"region_exact":{},"incoming_edges":[{"id":"e-33c9a461744a57dc","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-ffeb6f77baa8bcee","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":"13112f92adb1b0f2fed3b6d13a1adb1d6a4299f3f17c7bbe115ce9504f6f1530","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":2,"region":{}}],"premises":[{"position":0,"node_id":"n-3ffff24fcb4f40a0","role":"sequence","name":"Triangle read by rows: T(n,k) is the number of permutations of 1..n arranged in a circle with exactly k descents.","uses":{"claim":"real_rooted","from_index":2,"region":{}},"uses_text":"Every row P_n, n >= 2, is zero or real-rooted with all roots in (-inf, +inf)"},{"position":1,"node_id":"n-3ffff24fcb4f40a0","role":"sequence","name":"Triangle read by rows: T(n,k) is the number of permutations of 1..n arranged in a circle with exactly k descents.","uses":{"claim":"interlacing","from_index":3,"kind":"weak","orientation":"unordered"},"uses_text":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 3"}]}],"used_by":[],"used_by_total":0,"links":[{"id":"l-6bac174beba4451e","kind":"oeis_match","node_a_id":"n-ffeb6f77baa8bcee","node_b_id":null,"fingerprint":null,"oeis_id":"A001048","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":2,"low_zeros_dropped":false,"oeis_offset":1,"oeis_term_position":1,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A001048","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-b05eaee4a9f43bd7","kind":"oeis_match","node_a_id":"n-ffeb6f77baa8bcee","node_b_id":null,"fingerprint":null,"oeis_id":"A261766","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":2,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":2,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A261766","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-e215f4f56e26bf0f","kind":"oeis_match","node_a_id":"n-ffeb6f77baa8bcee","node_b_id":null,"fingerprint":null,"oeis_id":"A059171","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":2,"low_zeros_dropped":false,"oeis_offset":1,"oeis_term_position":2,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A059171","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A001048","relation":"match_row_sums"},{"oeis_id":"A059171","relation":"match_row_sums"},{"oeis_id":"A261766","relation":"match_row_sums"}],"bfiles":[],"oeis_texts":[{"oeis_id":"","target":"node","first_row":2,"oeis_offset":2,"reversed":false,"trim_zeros":"none","regular_triangle":false,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n   2: 1,  2;\n   3: 0,  5,     3;\n   4: 0,  7,    19,      4;\n   5: 0,  9,    71,     59,       5;\n   6: 0, 11,   211,    451,     161,        6;\n   7: 0, 13,   555,   2510,    2270,      405,        7;\n   8: 0, 15,  1359,  11642,   21442,     9927,      967,       8;\n   9: 0, 17,  3183,  48165,  159899,   150099,    39597,    2231,      9;\n  10: 0, 19,  7243, 184717, 1022911,  1702471,   920977,  148303,   5029,    10;\n  11: 0, 21, 16163, 672320, 5889452, 15975794, 15296234, 5153192, 531260, 11153, 11;\n","recurrence_sentence":"The row polynomials satisfy (n-1+(n^3-4*n^2+5*n-2)*x)*P(n,x) = ((n^2-5*n+6)*x+(n^4-6*n^3+11*n^2-6*n)*x^2)*P(n-2,x) + ((n-2)*x+(n^3-3*n^2+n+2)*x^2-(n^3-3*n^2+2*n)*x^3)*d/dx P(n-2,x) - (n-3+(n^3-5*n^2+4*n+2)*x-(n^4-4*n^3+5*n^2-2*n)*x^2)*P(n-1,x) + (n*x+(n^3-3*n^2+n)*x^2-(n^3-3*n^2+2*n)*x^3)*d/dx P(n-1,x) for n >= 4, with P(2,x) = 1 + 2*x, P(3,x) = 5*x + 3*x^2.","mathematica":"P[2, x_] := 1 + 2*x;\nP[3, x_] := 5*x + 3*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[(((n^2 - 5*n + 6)*x + (n^4 - 6*n^3 + 11*n^2 - 6*n)*x^2)*P[n - 2, x] + ((n - 2)*x + (n^3 - 3*n^2 + n + 2)*x^2 - (n^3 - 3*n^2 + 2*n)*x^3)*D[P[n - 2, x], x] - (n - 3 + (n^3 - 5*n^2 + 4*n + 2)*x - (n^4 - 4*n^3 + 5*n^2 - 2*n)*x^2)*P[n - 1, x] + (n*x + (n^3 - 3*n^2 + n)*x^2 - (n^3 - 3*n^2 + 2*n)*x^3)*D[P[n - 1, x], x])/(n - 1 + (n^3 - 4*n^2 + 5*n - 2)*x)]];\nTable[CoefficientList[P[n, x], x], {n, 2, 11}] // Flatten","pari":"P(N) = {my(v = vector(N - 1)); v[1] = 1 + 2*x; v[2] = 5*x + 3*x^2; for(n = 4, N, my(i = n - 1); v[i] = (((n^2 - 5*n + 6)*x + (n^4 - 6*n^3 + 11*n^2 - 6*n)*x^2)*v[i - 2] + ((n - 2)*x + (n^3 - 3*n^2 + n + 2)*x^2 - (n^3 - 3*n^2 + 2*n)*x^3)*deriv(v[i - 2], x) - (n - 3 + (n^3 - 5*n^2 + 4*n + 2)*x - (n^4 - 4*n^3 + 5*n^2 - 2*n)*x^2)*v[i - 1] + (n*x + (n^3 - 3*n^2 + n)*x^2 - (n^3 - 3*n^2 + 2*n)*x^3)*deriv(v[i - 1], x))/(n - 1 + (n^3 - 4*n^2 + 5*n - 2)*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(11)","reading":{"first_row":2,"offset":2,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-3ffff24fcb4f40a0","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-33c9a461744a57dc"],"text":"A334218 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A334218 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}