Related papers: An optimal construction of Hanf sentences

This paper considers "geometric" ideal triangulations of cusped hyperbolic 3-manifolds, i.e. decompositions into positive volume ideal hyperbolic tetrahedra. We exhibit infinitely many geometric ideal triangulations of the figure eight knot…

We obtain upper bounds on the number of singular points of factorial terminal Fano threefolds.

We develop the foundations of a general framework for producing optimal upper and lower bounds on the sum $\sum_p a_p$ over primes $p$, where $(a_n)_{x/2<n\le x}$ is an arbitrary non-negative sequence satisfying Type I and Type II…

In this paper, new upper and lower bounds for the Trapezoid inequality of absolutely continuous functions are obtained. Applications to some special means are provided as well.

We give an upper bound for the exponential $\sum_{m=1}^M \exp( 2i\pi f (m))$ in terms of $M$ and $\lambda$, where $\lambda$ is a small positive number which denotes the size of the fourth derivative of the real valued function $f$. The…

The natural Hopf algebra $\mathbf{N} \cdot \mathcal{O}$ of an operad $\mathcal{O}$ is a Hopf algebra whose bases are indexed by some words on $\mathcal{O}$. We construct polynomial realizations of $\mathbf{N} \cdot \mathcal{O}$ by using…

In the present paper the authors construct normal numbers in base $q$ by concatenating $q$-adic expansions of prime powers $\lfloor\alpha p^\theta\rfloor$ with $\alpha>0$ and $\theta>1$.

I give simple elementary proofs for some well-known Hankel determinants and their q-analogues.

We establish optimal order a priori error estimates for implicit-explicit BDF methods for abstract semilinear parabolic equations with time-dependent operators in a complex Banach space settings, under a sharp condition on the…

We show how to construct all the extensions of left braces by ideals with trivial structure. This is useful to find new examples of left braces. But, to do so, we must know the basic blocks for extensions: the left braces with no ideals…

A finite expansion of the exponential map for a $N\times N$ matrix is presented. The method uses the Cayley-Hamilton theorem for writing the higher matrix powers in terms of the first N-1 ones. The resulting sums over the corresponding…

We establish an essentially optimal estimate for the ninth moment of the exponential sum having argument $\alpha x^3+\beta x$. The first substantial advance in this topic for over 60 years, this leads to improvements in Heath-Brown's…

We obtain positive lower bounds on the Hausdorff dimension of sets of real numbers given by expressions of the form $\sum_{n=1}^\infty \frac{1}{a_n b_n}$, where $b_n$ satisfies some growth condition and $a_n$ lies in some set, possibly…

Let $\Omega$ be a bounded domain of $\mathbb{R}^3$ whose closure $\overline{\Omega}$ is polyhedral, and let $\mathcal{T}$ be a triangulation of $\overline{\Omega}$. Assuming that the boundary of $\Omega$ is sufficiently regular, we provide…

We consider the problems of extreming the first eigenvalue and the fundamental gap of a sub-elliptic operator with Dirichlet boundary condition, when the potential $V$ is subjected to a $p$-norm constraint. The existence results for weak…

We prove explicit doubling inequalities and obtain uniform upper bounds (under $(d-1)$-dimensional Hausdorff measure) of nodal sets of weak solutions for a family of linear elliptic equations with rapidly oscillating periodic coefficients.…

We prove some upper bounds for the Dirichlet eigenvalues of a class of fully nonlinear elliptic equations, namely the Hessian equations

We study the succinctness of the complement and intersection of regular expressions. In particular, we show that when constructing a regular expression defining the complement of a given regular expression, a double exponential size…

Easily computable lower and upper bounds are found for the sum of Catalan numbers. The lower bound is proven to be tighter than the upper bound, which previously was declared to be only an asymptotic. The average of these bounds is proven…

In this paper we improve the bounds of the third order Hankel determinant for two classes of univalent functions with bounded turning. The bounds are not sharp, but the sharp ones are conjectured.