Related papers: Sharper bounds for the Chebyshev function $\psi(x)…

We get the computable error bounds for generalized Cornish-Fisher expansions for quantiles of statistics provided that the computable error bounds for Edgeworth-Chebyshev type expansions for distributions of these statistics are known. The…

We prove a lower bound for the Cheeger constant of a cylinder $\Omega\times (0,L)$, where $\Omega$ is an open and bounded set. As a consequence, we obtain existence of minimizers for the shape functional defined as the ratio between the…

We study the query complexity of finding a Tarski fixed point over the $k$-dimensional grid $\{1,\ldots,n\}^k$. Improving on the previous best upper bound of $\smash{O(\log^{\lceil 2k/3\rceil} n)}$ [FPS20], we give a new algorithm with…

We provide empirical evidence for the Erd\H{o}s-Straus conjecture by improving computational bounds to $10^{18}$ and by evaluating the solution-counting function $f(p)$ for this conjecture.

We prove the infinitude of shifted primes $p-1$ without prime factors above $p^{0.2844}$. This refines $p^{0.2961}$ from Baker and Harman in 1998. Consequently, we obtain an improved lower bound on the the distribution of Carmichael…

In this paper we establish explicit upper and lower bounds for the ratio of the arithmetic and geometric means of the prime numbers, which improve the current best estimates. Further, we prove several conjectures related to this ration…

Hildebrand proved that the smooth approximation for the number $\Psi(x,y)$ of $y$-friable integers not exceeding $x$ holds for $y>(\log x)^{2+\varepsilon}$ under the Riemann hypothesis and conjectured that it fails when $y\leqslant (\log…

Standard prime-number counting functions, such as $\psi(x)$, $\theta(x)$, and $\pi(x)$, have error terms with limiting logarithmic distributions once suitably normalized. The same is true of weighted versions of those sums, like $\pi_r(x) =…

On a convex bounded open set, we prove that Poincar\'e-Sobolev constants for functions vanishing at the boundary can be bounded from below in terms of the norm of the distance function in a suitable Lebesgue space. This generalizes a result…

In this article, we obtain effective estimates for the error term $\Delta_{k}(x)$ for all integers $k \geq2$, and completely explicit estimates for integers $k \in [3,9]$. The explicit results improve the powers of $x$ appearing in the…

We improve the error term in the van der Corput transform for exponential sums \sum_{a \le n \le b} g(n) exp(2\pi i f(n)). For many functions g and f, we can extract the next term in the asymptotic, showing that previous results, such as…

We show that it is possible to obtain an $O(\epsilon^{-4/3})$ expected runtime --- including computational cost --- for finding $\epsilon$-stationary points of smooth nonconvex functions using cutting plane methods. This improves on the…

We revisit the standard ``telescoping sum'' argument ubiquitous in the final steps of analyzing evaluation complexity of algorithms for smooth nonconvex optimization, and obtain a refined formulation of the resulting bound as a function of…

Three kinds of effective error bounds of the quadrature formulas with multiple nodes that are generalizations of the well known Micchelli-Rivlin quadrature formula, when the integrand is a function analytic in the regions bounded by…

We provide an upper bound on the efficient irrationality exponents of cubic algebraics $x$ with the minimal polynomial $x^3 - tx^2 - a$. In particular, we show that it becomes non-trivial, i.e. better than the classical bound of Liouville…

A new bound for the remainder term in the Taylor expansion of the complex exponent $e^{ix}$, $x\in\R$, is proved yielding precise moment-type estimates of the accuracy of the approximation of the characteristic function (the…

We describe a method for the rapid numerical evaluation of the Bessel functions of the first and second kinds of nonnegative real orders and positive arguments. Our algorithm makes use of the well-known observation that although the Bessel…

For a principal type pseudodifferential operator, we prove that condition (psi) implies local solvability with a loss of 3/2 derivatives. We use many elements of Dencker's paper on the proof of the Nirenberg-Treves conjecture and we provide…

For a fixed cusp form $\pi$ on $\operatorname{GL}_3(\mathbb{Z})$ and a varying Dirichlet character $\chi$ of prime conductor $q$, we prove that the subconvex bound \[ L(\pi \otimes \chi, \tfrac{1}{2}) \ll q^{3/4 - \delta} \] holds for any…

We provide several asymptotic expansions of the prime counting function $\pi(x)$ and related functions. We define an {\it asymptotic continued fraction expansion} of a complex-valued function of a real or complex variable to be a possibly…