Related papers: Improving semi-groups bounds with resolvent estima…
This paper contains a small improvement to the explicit bounds on the growth of the function $S(T)$. It is shown how more substantial improvements are possible if one has better explicit bounds on the growth of $|\zeta(\frac{1}{2}+it)|$.
We establish that, under certain closure assumptions on a pseudovariety of semigroups, the corresponding relatively free profinite semigroups freely generated by a non-singleton finite set act faithfully on their minimum ideals. As…
The most developed aspect of the theory of finite semigroups is their classification in pseudovarieties. The main motivation for investigating such entities comes from their connection with the classification of regular languages via…
In this paper, we describe an algorithm for computing the left, right, or 2-sided congruences of a finitely presented semigroup or monoid with finitely many classes, and an alternative algorithm when the finitely presented semigroup or…
For any ring $R$, we introduce an invariant in the form of a partially ordered abelian semigroup $\mathrm{S}(R)$ built from an equivalence relation on the class of countably generated projective modules. We call $\mathrm{S}(R)$ the Cuntz…
We prove that the range of exponents in Mockenhaupt's restriction theorem for Salem sets, with the endpoint estimate due to Bak and Seeger, is optimal.
We systematize and generalize recent results of Gerlach and Gl\"uck on the strong convergence and spectral theory of bounded (positive) operator semigroups $(T_s)_{s\in S}$ on Banach spaces (lattices). (Here, $S$ can be an arbitrary…
This paper examines the coefficient problems for the class of semigroup generators, a topic in complex dynamics that has recently been studied in context of geometric function theory. Further, sharp bounds of coefficient functional such as…
One introduces natural and simple methods to deduce $L^{s}$-$L^{\infty}$-re\-gularisation estimates for $1\le s< \infty$ of nonlinear semigroups holding uniformly for all time with sharp exponents from natural Gagliardo-Nirenberg…
The purpose of the present notes is to examine the following issues related to the the Chernoff estimate: (1) For contractions on a Banach space we modify the $\sqrt{n}$-estimate and apply it in the proof of the Chernoff product formula for…
We present the first class of mathematically rigorous, general, fully self-referential, self-improving, optimally efficient problem solvers. Inspired by Kurt Goedel's celebrated self-referential formulas (1931), such a problem solver…
Maximizing the sum of two generalized Rayleigh quotients (SRQ) can be reformulated as a one-dimensional optimization problem, where the function value evaluations are reduced to solving semi-definite programming (SDP) subproblems. In this…
Semi-infinite programs are a class of mathematical optimization problems with a finite number of decision variables and infinite constraints. As shown by Blankenship and Falk (Blankenship and Falk. "Infinitely constrained optimization…
We show that the convergence proof of a recent algorithm called dist-EF-SGD for distributed stochastic gradient descent with communication efficiency using error-feedback of Zheng et al. (NeurIPS 2019) is problematic mathematically.…
The present paper is devoted to establishing an optimal approximation exponent for the action of an irreducible uniform lattice subgroup of a product group on its proper factors. Previously optimal approximation exponents for lattice…
We consider quotients of the unit cube semigroup algebra by particular $\mathbb{Z}_r\wr S_n$-invariant ideals. Using Gr\"obner basis methods, we show that the resulting graded quotient algebra has a basis where each element is indexed by…
We contruct a one-to-one correspondence between a subset of numerical semigroups with genus $g$ and $\gamma$ even gaps and the integer points of a rational polytope. In particular, we give an overview to apply this correspondence to try to…
Consider --- for the generator \({-}A\) of a symmetric contraction semigroup over some measure space $\mathrm{X}$, $1\le p < \infty$, $q$ the dual exponent and given measurable functions $F_j,\: G_j : \mathbb{C}^d \to \mathbb{C}$ --- the…
We use automated theorem provers to significantly shorten a formal development in higher order set theory. The development includes many standard theorems such as the fundamental theorem of arithmetic and irrationality of square root of…
We provide new formulas for the coefficients in the partial fraction decomposition of the restricted partition generating function. These techniques allow us to partially resolve a recent conjecture of Sills and Zeilberger. We also describe…