{"id":"n-6c5e699d59b34d2c","revision":1,"first_index":0,"fingerprint":"f6-2d83285c2fac835c","name":"obreschkoff_combination of Triangle read by rows, for 0 <= k <= n: T(n, k) = binomial(n, k) * binomial(binomial(n + 3, 2), 2).","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":[["18","15"],["60","105","45"],["150","405","360","105"],["315","1155","1575","945","210"],["588","2730","5040","4620","2100","378"],["1008","5670","13230","16380","11340","4158","630"],["1620","10710","30240","47250","44100","24570","7560","990"],["2475","18810","62370","117810","138600","103950","48510","12870","1485"],["3630","31185","118800","263340","374220","353430","221760","89100","20790","2145"],["5148","49335","212355","540540","900900","1027026","810810","437580","154440","32175","3003"],["7098","75075","360360","1036035","1981980","2648646","2522520","1711710","810810","255255","48048","4095"],["9555","110565","585585","1876875","4054050","6216210","6936930","5675670","3378375","1426425","405405","69615","5460"],["12600","158340","917280","3243240","7807800","13513500","17297280","16576560","11891880","6306300","2402400","622440","98280","7140"],["16320","221340","1392300","5383560","14294280","27567540","39819780","43758000","36756720","23483460","11231220","3898440","928200","135660","9180"],["20808","302940","2056320","8632260","25061400","53297244","85765680","106331940","102393720","76576500","44108064","19213740","6126120","1349460","183600","11628"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["33","210","1020","4200","15456","52416","167040","506880","1478400","4173312","11461632","30750720","80855040","208896000","531431424"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["18","15"]],"recurrence":{"denominator":{"coeffs":[["4","4"],["6","5"],["2","1"]]},"terms":[{"coeff":{"coeffs":[["24","44","20"],["14","23","9"],["2","3","1"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162741,"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-aeab44183cd7972d"]}],"region_exact":{},"incoming_edges":[{"id":"e-aeab44183cd7972d","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-6c5e699d59b34d2c","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":"1058c5c067854196c0dd4e8daec384039e410e5ad95e61f8bf02ba1f616f8418","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-dd4aa31f3d11d152","role":"sequence","name":"Triangle read by rows, for 0 <= k <= n: T(n, k) = binomial(n, k) * binomial(binomial(n + 3, 2), 2).","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-dd4aa31f3d11d152","role":"sequence","name":"Triangle read by rows, for 0 <= k <= n: T(n, k) = binomial(n, k) * binomial(binomial(n + 3, 2), 2).","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-acaa1178a44d9950","kind":"fingerprint_related","node_a_id":"n-9f81ae11556c47a0","node_b_id":"n-6c5e699d59b34d2c","fingerprint":"f6-2d83285c2fac835c","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-2d83285c2fac835c"},"other_id":"n-9f81ae11556c47a0","other":{"id":"n-9f81ae11556c47a0","name":"obreschkoff_combination of Triangle read by rows: T(n,k) = binomial(n+4,4) * binomial(n,k), 0 <= k <= n.","first_index":0,"fingerprint":"f6-2d83285c2fac835c","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["6","5"],["20","35","15"],["50","135","120","35"]],"card_rows":[["6","5"],["20","35","15"],["50","135","120","35"],["105","385","525","315","70"]],"row_sums_preview":["11","70","340","1400","5152","17472","55680","168960"],"regions":["(-inf, +inf)"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-79986ab5023c2764","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-19ec7bcbd5a09ffd"],"text":"A178821 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A178821 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}}],"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:   18,    15;\n  1:   60,   105,     45;\n  2:  150,   405,    360,    105;\n  3:  315,  1155,   1575,    945,    210;\n  4:  588,  2730,   5040,   4620,   2100,     378;\n  5: 1008,  5670,  13230,  16380,  11340,    4158,    630;\n  6: 1620, 10710,  30240,  47250,  44100,   24570,   7560,    990;\n  7: 2475, 18810,  62370, 117810, 138600,  103950,  48510,  12870,   1485;\n  8: 3630, 31185, 118800, 263340, 374220,  353430, 221760,  89100,  20790,  2145;\n  9: 5148, 49335, 212355, 540540, 900900, 1027026, 810810, 437580, 154440, 32175, 3003;\n","recurrence_sentence":"The row polynomials satisfy (2*n^2+6*n+4+(n^2+5*n+4)*x)*P(n,x) = (2*n^2+14*n+24+(3*n^2+23*n+44)*x+(n^2+9*n+20)*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 18 + 15*x.","mathematica":"P[0, x_] := 18 + 15*x;\nP[n_, x_] := P[n, x] = Expand[Together[((2*n^2 + 14*n + 24 + (3*n^2 + 23*n + 44)*x + (n^2 + 9*n + 20)*x^2)*P[n - 1, x])/(2*n^2 + 6*n + 4 + (n^2 + 5*n + 4)*x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 18 + 15*x; for(n = 1, N, my(i = n + 1); v[i] = ((2*n^2 + 14*n + 24 + (3*n^2 + 23*n + 44)*x + (n^2 + 9*n + 20)*x^2)*v[i - 1])/(2*n^2 + 6*n + 4 + (n^2 + 5*n + 4)*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-dd4aa31f3d11d152","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-aeab44183cd7972d"],"text":"A344565 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A344565 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}