Related papers: Integration of positive constructible functions ag…
We consider several systems of algebras of real- and complex-valued functions, which appear in o-minimal geometry and related geometrically tame contexts. For each such system, we prove its stability under parametric integration and we…
We prove that all functions obeying the Kramers-Kronig relations can be approximated as superpositions of Lorentzian functions, to any precision. As a result, the typical text-book analysis of dielectric dispersion response functions in…
We describe dynamical properties of a map $\mathfrak{F}$ defined on the space of rational functions. The fixed points of $\mathfrak{F}$ are classified and the long time behavior of a subclass is described in terms of Eulerian polynomials.
In this paper we develop constructive invertibility conditions for the twisted convolution. Our approach is based on splitting the twisted convolution with rational parameters into a finite number of weighted convolutions, which can be…
The notion of the Radon transform on the Heisenberg group was introduced by R. Strichartz and inspired by D. Geller and E.M. Stein's related work. The more general transversal Radon transform integrates functions on the m-dimensional real…
We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…
We offer a systematic study of rigid analytic motives over general rigid analytic spaces, and we develop their six-functor formalism. A key ingredient is an extended proper base change theorem that we are able to justify by reducing to the…
For a formal scheme over a complete discrete valuation ring with a good action of a finite group, we define equivariant motivic integration, and we prove a change of variable formula for that.To do so, we construct and examine an induced…
We study the problem of constructing a contragredient functor on the category of admissible locally analytic representations of a p-adic analytic group G. A naive contragredient does not exist. As a best approximation, we construct an…
We provide a general method to construct local infrared subtraction counterterms for unresolved radiative contributions to differential cross sections, to any order in perturbation theory. We start from the factorised structure of virtual…
Relativistic formalism of Green's functions is dicussed in QCD and QED,where the relativistic Green's functions are constructed using the Schwinger proper time formalism and the Fock-Feynman-Schwinger method.As a result a simple and exact…
A functional equation for the motivic integral corresponding to the Milnor number of an arc is derived using the Denef-Loeser formula for the change of variables. Its solution is a function of five auxiliary parameters, it is unique up to…
The theory of linear Fredholm integral-functional equations of the second kind with linear functionals and with a parameter is considered. The necessary and sufficient conditions are obtained for the coefficients of the equation and those…
We present a refinement of the Calculus of Inductive Constructions in which one can easily define a notion of relational parametricity. It provides a new way to automate proofs in an interactive theorem prover like Coq.
We give a new presentation of interactive realizability with a more explicit syntax. Interactive realizability is a realizability semantics that extends the Curry-Howard correspondence to (sub-)classical logic, more precisely to first-order…
The operad of moulds is realized in terms of an operational calculus of formal integrals (continuous formal power series). This leads to many simplifications and to the discovery of various suboperads. In particular, we prove a conjecture…
A natural connection between rational functions of several real or complex variables, and subspace collections is explored. A new class of function, superfunctions, are introduced which are the counterpart to functions at the level of…
We exhibit a sound and complete implicit-complexity formalism for functions feasibly computable by structural recursions over inductively defined data structures. Feasibly computable here means that the structural-recursive definition runs…
The usual definition of the set of constructible reals is $\Sigma ^1_2$. This set can have a simpler definition if, for example, it is countable or if every real is constructible. H. Friedman asked if the set of constructible reals can be…
Given a monoidal adjunction, we show that the right adjoint induces a braided lax monoidal functor between the corresponding Drinfeld centers provided that certain natural transformations, called projection formula morphisms, are…