Related papers: Restricted Log-Exp-Analytic Power Functions
In the folklore of linear logic, a common intuition is that the structure of finiteness spaces, introduced by Ehrhard, semantically reflects the strong normalization property of cut-elimination. We make this intuition formal in the context…
In this paper we are concerned with the space of tempered ultrahyperfunctions corresponding to a proper open convex cone. A holomorphic extension theorem (the version of the celebrated edge of the wedge theorem) will be given for this…
We seek random versions of some classical theorems on complex approximation by polynomials and rational functions, as well as investigate properties of random compact sets in connection to complex approximation.
Using Chebyshev polynomials combined with some mild combinatorics, we provide a new formula for the analytical planar limit of a random matrix model with a one-cut potential $V$. For potentials $V(x)=x^{2}/2-\sum_{n\ge1}a_{n}x^{n}/n$, as a…
A leading twist expansion in terms of bi-local operators is proposed for the structure functions of deeply inelastic scattering near the elastic limit $x \to 1$, which is also applicable to a range of other processes. Operators of…
We study functional limit theorems for linear type processes with short memory under the assumption that the innovations are dependent identically distributed random variables with infinite variance and in the domain of attraction of stable…
In this note we give an elementary proof of the space-like real analyticity of solutions to a degenerate evolution problem that arises in the study of fractional parabolic operators of the type $(\partial_t - div_x(B(x)\nabla_x))^s$,…
We consider the theory of algebraically closed fields of characteristic zero with multivalued operations $x\mapsto x^r$ (raising to powers). It is in fact the theory of equations in exponential sums. In an earlier paper we have described…
We study the semantics of a resource-sensitive extension of the lambda calculus in a canonical reflexive object of a category of sets and relations, a relational version of Scott's original model of the pure lambda calculus. This calculus…
We consider arbitrary algebraic families of lower order deformations of nondegenerate toric exponential sums over a finite field. We construct a relative polytope with the aid of which we define a ring of coefficients consisting of p-adic…
We introduce the notion of $R$-analytic functions. These are definable in an o-minimal expansion of a real closed field $R$ and are locally the restriction of a $K$-differentiable function (defined by Peterzil and Starchenko) where…
Recently, new classes of positive and measurable functions, $\mathcal{M}(\rho)$ and $\mathcal{M}(\pm \infty)$, have been defined in terms of their asymptotic behaviour at infinity, when normalized by a logarithm (Cadena et al., 2015, 2016,…
This paper studies the equivalence between generalized holomorphic functions (GHF) and complex analytic functions in the framework of Robinson-Colombeau generalized numbers. In every non-Archimedean ring, the use of ordinary series is…
We prove versions of the Phragm\'en--Lindel\"of strong maximum principle for generalized analytic functions defined on unbounded domains. A version of Hadamard's three-lines theorem is also derived.
We construct explicitly Pad\'e approximations of the second kind for a special class of G-functions. These are then applied to prove a Baker-type lower bound for linear forms in the p-adic values of these functions. Moreover, we consider…
The translated logarithmic Lambert function is defined and basic analytic properties of the function are obtained including the derivative, integral, Taylor series expansion, real branches and asymptotic approximation of the function.…
We prove two main results on Denjoy-Carleman classes: (1) a composite function theorem which asserts that a function f(x) in a quasianalytic Denjoy-Carleman class Q, which is formally composite with a generically submersive mapping y=h(x)…
The article develops techniques for solving equations G(x,y)=0, where G(x,y)=G(x_1,...,x_n,y) is a function in a given quasianalytic class (for example, a quasianalytic Denjoy-Carleman class, or the class of infinitely differentiable…
We study finite energy classes of quasiplurisubharmonic (qpsh) functions in the setting of toric compact K{\"a}hler manifolds. We characterize toric qpsh functions and give necessary and sufficient conditions for them to have finite…
Typing of lambda-terms in Elementary and Light Affine Logic (EAL, LAL, resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL (EAL, resp.) proof-nets admits a guaranteed polynomial…