Related papers: Constructible exponential functions, motivic Fouri…
The final goal of the present work is to extend the Fourier transform on the Heisenberg group $\H^d,$ to tempered distributions. As in the Euclidean setting, the strategy is to first show that the Fourier transform is an isomorphism on the…
This paper introduces a direct differentiation-based framework that unifies the derivation of influence functions across parametric, nonparametric, and semiparametric models. We show that the Riesz representer of the functional derivative…
We introduce a new notion of $\boxast$-product of two integrable series with coefficients in distinct Grothendieck rings of algebraic varieties, preserving the integrability and commuting with the limit of rational series. In the same…
In this article we study the subgroup of the Picard group of Voevodsky's category of geometric motives generated by the reduced motives of affine quadrics. Our main tools here are the functors of Bachmann, but we also provide an alternative…
We introduce shift algebras as certain crossed product algebras based on general function spaces and study properties, as well as the classification, of a particular class of modules depending on a set of matrix parameters. It turns out…
Using punctual gluing of $t$-structures, we construct an analogue of S. Morel's weight truncation functors (for certain weight profiles) in the setting of motivic sheaves. As an application we construct a canonical motivic analogue of the…
We introduce a generalization of stationary set reflection which we call "filter reflection", and show it is compatible with the axiom of constructibility as well as with strong forcing axioms. We prove the independence of filter reflection…
We study reductions well suited to compare structures and classes of structures with respect to properties based on enumeration reducibility. We introduce the notion of a positive enumerable functor and study the relationship with…
The purpose is to formulate a Fourier transformation for the space of functionals, as an infinitesimal meaning. We extend ${\bf R}$ to $ ^{\star}(^{\ast}{\bf R})$ under the base of nonstandard methods for the construction. The domain of a…
A fertile field of research in theoretical computer science investigates the representation of general recursive functions in intensional type theories. Among the most successful approaches are: the use of wellfounded relations,…
This is a considerably expanded version of the "pure" part of our 2002 preprint. We define a category of pure birational motives over a field, depending on the choice of an adequate equivalence relation on algebraic cycles. It is obtained…
Alesker has proved the existence of a remarkable isomorphism of the space of translation-invariant smooth valuations that has the same functorial properties as the classical Fourier transform. In this paper, we show how to directly describe…
In our last work, we formulate a Fourier transformation on the infinite-dimensional space of functionals. Here we first calculate the Fourier transformation of infinite-dimensional Gaussian distribution $\exp(-\pi…
We study Fourier theory on quantum Euclidean space. A modified version of the general definition of the Fourier transform on a quantum space is used and its inverse is constructed. The Fourier transforms can be defined by their Bochner's…
Reversible computing is motivated by both pragmatic and foundational considerations arising from a variety of disciplines. We take a particular path through the development of reversible computation, emphasizing compositional reversible…
In this article we investigate the Fourier series and transforms for the functions defined on the [-pi, pi]^ d or on the R^d and belonging to the (Bilateral) Grand Lebesgue Spaces. As a particular case we obtain some results about Fourier's…
We formulate and prove the existence and uniqueness of the generalized Fourier transform associated with the absolutely continuous part of an arbitrary selfadjoint operator on a separable Hilbert space. To this end we develop a novel method…
In this thesis we compare V. Voevodsky's geometric motives to the derived category of M. Nori's abelian category of mixed motives by constructing a triangulated tensor functor between them. It will be compatible with the Betti realizations…
This preliminary report addresses the expressive power of unit resolution regarding input data encoded with partial truth assignments of propositional variables. A characterization of the functions that are computable in this way, which we…
We give an explicit formula for the motivic integrals related to the Milnor number over spaces of parametrised arcs on the plane with fixed tangency orders with the axis. These integrals are rational functions of the parameters and the…