Related papers: On the functoriality of Lott's secondary analytic …
We develop a Fourier analysis for a generalization of the class of periodic functions, often referred to as $(\theta, T)$-periodic functions, and prove several properties and inequalities related to the Fourier transform, including a type…
We present an extreme-value analysis of the classical law of the iterated logarithm (LIL) for Brownian motion. Our result can be viewed as a new improvement to the LIL.
Representation theorems relate seemingly complex objects to concrete, more tractable ones. In this paper, we take advantage of the abstraction power of category theory and provide a general representation theorem for a wide class of…
We show how two iterated products of selection functions can both be used in conjunction with system T to interpret, via the dialectica interpretation and modified realizability, full classical analysis. We also show that one iterated…
Exponentiable functors between quantaloid-enriched categories are characterized in elementary terms. The proof goes as follows: the elementary conditions on a given functor translate into existence statements for certain adjoints that obey…
Relational semantics for linear logic is a form of non-idempotent intersection type system, from which several informations on the execution of a proof-structure can be recovered. An element of the relational interpretation of a…
In this paper, we prove that slice polyanalytic functions on quaternions can be considered as solutions of a power of some special global operator with nonconstant coefficients as it happens in the case of slice hyperholomorphic functions.…
We show that the derivative of a log-analytic function is log-analytic. We prove that log-analytic functions exhibit strong quasianalytic properties. We establish the parametric version of Tamm's theorem for log-analytic functions.
We interpret the "explicit formulas" in the sense of analytic number theory for the zeta function of an elliptic curve over a finite field as a transversal index theorem on a 3-dimensional laminated space.
We develop a class of integrals on a manifold M called exponential iterated integrals, an extension of K. T. Chen's iterated integrals. It is shown that the matrix entries of any upper triangular representation of the fundamental group of M…
Using quilted Floer cohomology and relative quilt invariants, we define a composition functor for categories of Lagrangian correspondences in monotone and exact symplectic Floer theory. We show that this functor agrees with geometric…
Ackermann's function can be expressed using an iterative algorithm, which essentially takes the form of a term rewriting system. Although the termination of this algorithm is far from obvious, its equivalence to the traditional recursive…
In this paper we present new results about the topology of the Milnor fibrations of analytic function-germs with a special attention to the topology of the fibers. In particular, we provide a short review on the existence of the Milnor…
In this paper we prove a few propositions concerning factorizations of morphisms in pro categories, the most important of which solves an open problem of Isaksen concerning the existence of certain types of functorial factorizations. On our…
In this paper, we construct the renormalized analytic torsion in the setup of manifold endowed with fibred boundary metrics. The method of construction is to determine the asymptotic of heat kernel, both in short time regime and long time…
The main result concerns a bicategorical factorization system on the bicategory $\mathrm{Cat}$ of categories and functors. Each functor $A\xra{f} B$ factors up to isomorphism as $A\xra{j}E\xra{p}B$ where $j$ is what we call an ultimate…
This paper discusses, certain algebraic, analytic, and topological results on partial iterated function systems($IFS_p$'s). Also, the article proves the Collage theorem for partial iterated function systems. Further, it provides a method to…
In this paper we show that, as in the spacelike case, the inverse logarithmic expansion is applicable for all values of the argument of the analytic coupling constant. We present two different approaches, one of which is based primarily on…
We extend some definitions and give new results about the theory of slice analysis in several quaternionic variables. The sets of slice functions which are respectively slice, slice regular and circular w.r.t. given variables are…
A matrix approach to continuous iteration is proposed for general formal series. It leads, in particular, to an order{to{order iteration of the exponential function, and consequently to an algorithmic approach to tetration. Lower{order…