Kernkonzepte
The study provides a detailed analysis of binomial sums using Mellin transform with explicit error bounds.
Zusammenfassung
The study explores the application of the Mellin transform with explicit error bounds in analyzing binomial sums. It addresses questions related to 132-avoiding permutations, unique longest increasing subsequences, and Dyck paths. The authors develop a toolkit for asymptotic analysis in computer algebra systems. Various techniques such as splitting sums, approximating binomial coefficients, and applying the Mellin transform are discussed. The study presents explicit error bounds for asymptotic formulas to address complexities in computations. A new package in SageMath enhances arithmetic with B-terms for more accurate results.
Statistiken
For n ≥ 10000, F(n) = (2n/n) - (n^2/8 + n/24)
Bn≥N ≤ 50153/10000e^(-n^2/5)n^(9/2) log log n
Bn≥N ≤ 146718899/10000√n log log n
Bn≥N ≤ 406531/100n^(3/4)
Residue at s=1 and s=2: -n^2/8 + n/24