{"id":"n-59aff779bb582ee4","revision":2,"first_index":1,"fingerprint":"f6-313435422367fb28","name":"basis_map_A008288 of T(n,k) = binomial(n,k)*binomial(n+k,k), 0 <= k <= n, triangle read by rows.","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"],["3","2"],["13","24","6"],["63","202","130","20"],["321","1480","1700","630","70"],["1683","10138","17500","11270","2898","252"],["8989","66864","156954","151242","65982","12936","924"],["48639","430610","1289550","1700334","1096458","358116","56628","3432"],["265729","2728464","9981384","16964772","14902932","7110246","1847274","244530","12870"],["1462563","17086258","74022520","155439460","176066748","113649822","42701230","9187750","1045330","48620"],["8097453","106051528","531685550","1336789740","1876353908","1556517534","785810454","242492250","44462990","4434144","184756"],["45046719","653688154","3725828314","10950639232","18483962172","18984054102","12263034082","5053240582","1319720506","210638636","18693948","705432"],["251595969","4006851160","25602385900","86329915594","171189233098","211590350842","168804801230","88606584170","30732892502","6946388904","981020768","78420524","2704156"],["1409933619","24448398154","173153425364","659874456282","1508880355422","2194820472302","2105002865082","1360503788982","598590583906","178835775636","35591685248","4505747932","327618900","10400600"],["7923848253","148607429728","1155767901250","4917464500390","12771857958658","21473681141434","24236344373054","18795727867850","10150926016190","3832408155144","1004030568356","178371032900","20455751500","1363964400","40116600"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","5","43","415","4201","43741","463891","4983767","54058201","590710301","6492880307","71709251879","795123144817","8845955507429","98694970625707"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A008288","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":1,"initial_polynomials":[["1"],["3","2"],["13","24","6"],["63","202","130","20"]],"recurrence":{"denominator":{"coeffs":[["-14"],["25"],["-13"],["2"]]},"terms":[{"coeff":{"coeffs":[["36"],["-45"],["17"],["-2"]]},"deriv_order":0,"offset":4,"sign":"none"},{"coeff":{"coeffs":[["-252","-126"],["324","162"],["-128","-64"],["16","8"]]},"deriv_order":0,"offset":3,"sign":"none"},{"coeff":{"coeffs":[["370","-210"],["-498","284"],["210","-120"],["-28","16"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["-168","-84"],["244","122"],["-112","-56"],["16","8"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":166214,"position":0,"claim":"real_rooted","from_index":1,"region_key":"[-1564556493/268435456, -46056243/268435456]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":1,"region":{"lower":{"closed":true,"value":"-1564556493/268435456"},"upper":{"closed":true,"value":"-46056243/268435456"}}},"label":"Real-rooted","description":"Every row P_n, n >= 1, is zero or real-rooted with all roots in [-1564556493/268435456, -46056243/268435456]","region_exact":null,"edges":["e-0d826cc18bc3a95c"]},{"id":166215,"position":1,"claim":"one_signed_coefficients","from_index":1,"region_key":null,"provenance":"derived_from_edges","claim_data":{"alternating":false,"claim":"one_signed_coefficients","from_index":1},"label":"Coefficients of one sign","description":"Every nonzero row, n >= 1: the coefficients of P_n have one sign","region_exact":null,"edges":["e-0d826cc18bc3a95c","e-422298c8a4851a11"]},{"id":166216,"position":2,"claim":"hadamard_kernel","from_index":1,"region_key":null,"provenance":"derived_from_edges","claim_data":{"claim":"hadamard_kernel","from_index":1},"label":"Hadamard kernel (Malo)","description":"Rows P_n, n >= 1, are Hadamard kernels (preserve real-rootedness)","region_exact":null,"edges":["e-0d826cc18bc3a95c","e-422298c8a4851a11"]},{"id":168713,"position":3,"claim":"real_rooted","from_index":1,"region_key":"[-1564556493/268435456, -46056243/268435456]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":1,"region":{"lower":{"closed":true,"exact":{"radicand":"2","rational_part":"-3","sqrt_coefficient":"-2"},"value":"-1564556493/268435456"},"upper":{"closed":true,"exact":{"radicand":"2","rational_part":"-3","sqrt_coefficient":"2"},"value":"-46056243/268435456"}}},"label":"Real-rooted","description":"Every row P_n, n >= 1, is zero or real-rooted with all roots in [\u22123\u22122\u221a2, \u22123+2\u221a2] (rational outer bound [-1564556493/268435456, -46056243/268435456])","region_exact":"[\u22123\u22122\u221a2, \u22123+2\u221a2]","edges":["e-422298c8a4851a11"]}],"region_exact":{"[-1564556493/268435456, -46056243/268435456]":"[\u22123\u22122\u221a2, \u22123+2\u221a2]"},"incoming_edges":[{"id":"e-0d826cc18bc3a95c","operation":{"map":"A008288","operation":"basis_map"},"operation_detail":"A008288","conclusion_id":"n-59aff779bb582ee4","premise_count":1,"theorem":"affine current multiplier with an affine initial row (module documentation, \"The affine-current theorem\"): with beta = b/d, K = beta^2 + a beta - c > 0 and eta = m/d >= 0, every real polynomial with all roots in E = [-beta - sqrt(K), -beta + sqrt(K)] has a real-rooted image, and no interval of positive length outside E works (Theorem 1); for eta > 0 the images lie in I = [(-a - 2 beta - 2 sqrt(K))/d, (-a - 2 beta + 2 sqrt(K))/d] if and only if eta >= 1/2 and (s - (2 eta - 1) beta)^2 <= (2 eta - 1)^2 K, s = l - eta a (Theorem 2); with a >= 0, K >= beta^2, a + 2 beta >= 0, a^2 + 4c >= 0, l >= 0 and the scalar criterion, PF inputs with roots in [-R, 0], R = beta + sqrt(K), have PF images, sharply (the common-interlacer proof; the Chebyshev case is Iserles and Saff, Math. Proc. Cambridge Philos. Soc. 105 (1989), Theorem 1; the scalar criterion is RealRooted orderTwoConstants_nonneg_iff)","lean_route":null,"lean_declarations":[],"certificate_hash":"9dbd62e08f56d968e702f6f164e3fd48b70a343bf1df7fa1008ab056e715b7ca","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":1,"region":{"lower":{"closed":true,"value":"-1564556493/268435456"},"upper":{"closed":true,"value":"-46056243/268435456"}}}],"premises":[{"position":0,"node_id":"n-4689fb1386d440ad","role":"sequence","name":"T(n,k) = binomial(n,k)*binomial(n+k,k), 0 <= k <= n, triangle read by rows.","uses":{"claim":"real_rooted","from_index":1,"region":{"lower":{"closed":true,"value":"-1"},"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 1, is zero or real-rooted with all roots in [-1, 0]"}]},{"id":"e-422298c8a4851a11","operation":{"map":"A008288","operation":"basis_map"},"operation_detail":"A008288","conclusion_id":"n-59aff779bb582ee4","premise_count":1,"theorem":"affine current multiplier with an affine initial row (module documentation, \"The affine-current theorem\"): with beta = b/d, K = beta^2 + a beta - c > 0 and eta = m/d >= 0, every real polynomial with all roots in E = [-beta - sqrt(K), -beta + sqrt(K)] has a real-rooted image, and no interval of positive length outside E works (Theorem 1); for eta > 0 the images lie in I = [(-a - 2 beta - 2 sqrt(K))/d, (-a - 2 beta + 2 sqrt(K))/d] if and only if eta >= 1/2 and (s - (2 eta - 1) beta)^2 <= (2 eta - 1)^2 K, s = l - eta a (Theorem 2); with a >= 0, K >= beta^2, a + 2 beta >= 0, a^2 + 4c >= 0, l >= 0 and the scalar criterion, PF inputs with roots in [-R, 0], R = beta + sqrt(K), have PF images, sharply (the common-interlacer proof; the Chebyshev case is Iserles and Saff, Math. Proc. Cambridge Philos. Soc. 105 (1989), Theorem 1; the scalar criterion is RealRooted orderTwoConstants_nonneg_iff)","lean_route":null,"lean_declarations":[],"certificate_hash":"8ec9791e800f857d1b6c0908f4a4be1d73fa83371ed0e3be628ab3509a62f7e6","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":1,"region":{"lower":{"closed":true,"exact":{"radicand":"2","rational_part":"-3","sqrt_coefficient":"-2"},"value":"-1564556493/268435456"},"upper":{"closed":true,"exact":{"radicand":"2","rational_part":"-3","sqrt_coefficient":"2"},"value":"-46056243/268435456"}}}],"premises":[{"position":0,"node_id":"n-4689fb1386d440ad","role":"sequence","name":"T(n,k) = binomial(n,k)*binomial(n+k,k), 0 <= k <= n, triangle read by rows.","uses":{"claim":"real_rooted","from_index":1,"region":{"lower":{"closed":true,"value":"-1"},"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 1, is zero or real-rooted with all roots in [-1, 0]"}]}],"used_by":[],"used_by_total":0,"links":[],"oeis":[],"bfiles":[],"oeis_texts":[{"oeis_id":"","target":"node","first_row":1,"oeis_offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n   1:       1;\n   2:       3,        2;\n   3:      13,       24,        6;\n   4:      63,      202,      130,        20;\n   5:     321,     1480,     1700,       630,        70;\n   6:    1683,    10138,    17500,     11270,      2898,       252;\n   7:    8989,    66864,   156954,    151242,     65982,     12936,      924;\n   8:   48639,   430610,  1289550,   1700334,   1096458,    358116,    56628,    3432;\n   9:  265729,  2728464,  9981384,  16964772,  14902932,   7110246,  1847274,  244530,   12870;\n  10: 1462563, 17086258, 74022520, 155439460, 176066748, 113649822, 42701230, 9187750, 1045330, 48620;\n","recurrence_sentence":"The row polynomials satisfy (2*n^3-13*n^2+25*n-14)*P(n,x) = -(2*n^3-17*n^2+45*n-36)*P(n-4,x) + (16*n^3-128*n^2+324*n-252+(8*n^3-64*n^2+162*n-126)*x)*P(n-3,x) - (28*n^3-210*n^2+498*n-370-(16*n^3-120*n^2+284*n-210)*x)*P(n-2,x) + (16*n^3-112*n^2+244*n-168+(8*n^3-56*n^2+122*n-84)*x)*P(n-1,x) for n >= 5, with P(1,x) = 1, P(2,x) = 3 + 2*x, P(3,x) = 13 + 24*x + 6*x^2, P(4,x) = 63 + 202*x + 130*x^2 + 20*x^3.","mathematica":"P[1, x_] := 1;\nP[2, x_] := 3 + 2*x;\nP[3, x_] := 13 + 24*x + 6*x^2;\nP[4, x_] := 63 + 202*x + 130*x^2 + 20*x^3;\nP[n_, x_] := P[n, x] = Expand[Together[(-(2*n^3 - 17*n^2 + 45*n - 36)*P[n - 4, x] + (16*n^3 - 128*n^2 + 324*n - 252 + (8*n^3 - 64*n^2 + 162*n - 126)*x)*P[n - 3, x] - (28*n^3 - 210*n^2 + 498*n - 370 - (16*n^3 - 120*n^2 + 284*n - 210)*x)*P[n - 2, x] + (16*n^3 - 112*n^2 + 244*n - 168 + (8*n^3 - 56*n^2 + 122*n - 84)*x)*P[n - 1, x])/(2*n^3 - 13*n^2 + 25*n - 14)]];\nTable[CoefficientList[P[n, x], x], {n, 1, 10}] // Flatten","pari":"P(N) = {my(v = vector(N)); v[1] = 1; v[2] = 3 + 2*x; v[3] = 13 + 24*x + 6*x^2; v[4] = 63 + 202*x + 130*x^2 + 20*x^3; for(n = 5, N, my(i = n); v[i] = (-(2*n^3 - 17*n^2 + 45*n - 36)*v[i - 4] + (16*n^3 - 128*n^2 + 324*n - 252 + (8*n^3 - 64*n^2 + 162*n - 126)*x)*v[i - 3] - (28*n^3 - 210*n^2 + 498*n - 370 - (16*n^3 - 120*n^2 + 284*n - 210)*x)*v[i - 2] + (16*n^3 - 112*n^2 + 244*n - 168 + (8*n^3 - 56*n^2 + 122*n - 84)*x)*v[i - 1])/(2*n^3 - 13*n^2 + 25*n - 14)); v};\nrow(n, p) = {my(c = Vecrev(p)); c};\nT(N) = {my(v = P(N)); concat(vector(#v, i, row(i, v[i])))};\nT(10)","reading":{"first_row":1,"offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-4689fb1386d440ad","steps":["basis A008288"],"edges":["e-0d826cc18bc3a95c"],"text":"A063007 \u2192 basis A008288"},"headline":"A063007 \u2192 basis A008288","chain":null}