Related papers: Elementary analytic functions in $VTC^0$
We present closed forms for several functions that are fundamental in number theory and we explain the method used to obtain them. Concretely, we find formulas for the p-adic valuation, the number-of-divisors function, the sum-of-divisors…
The paper is concerned with functional type a posteriori estimates for the initial boundary value problem for a parabolic partial differential equation with an obstacle. We deduce a guaranteed and computable bound of the distance between…
The focus of this article is the approximation of functions which are analytic on a compact interval except at the endpoints. Typical numerical methods for approximating such functions depend upon the use of particular conformal maps from…
We study complexity measures on subsets of the boolean hypercube and exhibit connections between algebra (the Hilbert function) and combinatorics (VC theory). These connections yield results in both directions. Our main complexity-theoretic…
The non-commutative analytic Toeplitz algebra is the weak operator topology closed algebra generated by the left regular representation of the free semigroup on $n$ generators. The structure theory of contractions in these algebras is…
For an interval $E=[a,b]$ on the real line, let $\mu$ be either the equilibrium measure, or the normalized Lebesgue measure of $E$, and let $V^{\mu}$ denote the associated logarithmic potential. In the present paper, we construct a function…
Multiple elliptic polylogarithms can be written as (multiple) integrals of products of basic hypergeometric functions. The latter are computable, to arbitrary precision, using a q-difference equation and q-contiguous relations.
Let T : Lp --> Lp be a contraction, with p strictly between 1 and infinity, and assume that T is analytic, that is, there exists a constant K such that n\norm{T^n-T^{n-1}} < K for any positive integer n. Under the assumption that T is…
Given a compact metric space $X$, we associate to it an inverse sequence of finite $T_0$ topological spaces. The inverse limit of this inverse sequence contains a homeomorphic copy of $X$ that is a strong deformation retract. We provide a…
Partial functions are common abstractions in formal specification notations such as Z, B and Alloy. Conversely, executable programming languages usually provide little or no support for them. In this paper we propose to add partial…
We consider normalized analytic function $f$ on the open unit disk for which either $\operatorname{Re} f(z)/g(z)>0$, $|f(z) /g(z) - 1|<1$ or $\operatorname{Re} (1-z^2) f(z) /z>0$ for some analytic function $g$ with $\operatorname{Re}…
We determine the computational complexity of the Hahn-Banach Extension Theorem. To do so, we investigate some basic connections between reverse mathematics and computable analysis. In particular, we use Weak Konig's Lemma within the…
We study a natural complexity measure of Boolean functions known as the rational degree. Denoted $\textrm{rdeg}(f)$, it is the minimal degree of a rational function that is equal to $f$ on the Boolean hypercube. For total functions $f$, it…
We give a syntactic characterization of abstract elementary classes (AECs) closed under intersections using a new logic with a quantifier for isomorphism types that we call structural logic: we prove that AECs with intersections correspond…
The purpose of this paper is to systematically study compactness and essential norm properties of operators on a very general class of weighted Fock spaces over $\C$. In particular, we obtain rather strong necessary and sufficient…
We investigate solutions to the functional equation $f(f(x)) = e^x$, which can be interpreted as the problem of finding a half iterate of the exponential map. While no elementary solution exists, we construct and analyze non-elementary…
In this note we give some sufficient conditions for an analytic function $f(z)$ normalized by $f'(0)=1$ to belong to certain subfamilies of the class of Bazilevic functions. In earlier works, the closure property of many classes of…
Let $E$ be the open unit disk $\{z\in \mathbb{C}: |z|<1\}$. Let $A$ be the class of analytic functions in $E$, which have the form $f(z)=z+a_2z^2+...$. We define operators $L_n^\sigma\colon A\to A$ using the convolution *. Using these…
Alesker's theory of generalized valuations unifies smooth measures and constructible functions on real analytic manifolds, extending classical operations on functions and measures. Alesker showed that these operations agree with the…
Analyticity results of expected pressure and invariant densities in the context of random dynamics of transcendental functions are established. These are obtained by a refinement of work by Rugh leading to a simple approach to analyticity.…