Related papers: Constructible exponential functions, motivic Fouri…
We prove the functoriality for proper push-forward of the characteristic cycles of constructible complexes by morphisms of smooth projective schemes over a perfect field, under the assumption that the direct image of the singular support…
We construct differential algebras in which spaces of (one-dimensional) periodic ultradistributions are embedded. By proving a Schwartz impossibility type result, we show that our embeddings are optimal in the sense of being consistent with…
In this contribution we generalize the classical Fourier Mellin transform [S. Dorrode and F. Ghorbel, Robust and efficient Fourier-Mellin transform approximations for gray-level image reconstruction and complete invariant description,…
Our main result is the equivalence of two notions of reducibility between structures. One is a syntactical notion which is an effective version of interpretability as in model theory, and the other one is a computational notion which is a…
Given an irrational rotation $T$ on $\M T$ we settle necessary and sufficient conditions on a step function $\phi$ and $t\in \M T$ for the existence of measurable solutions to the cohomogical equation $$\exp{(2i\pi\phi)}=\e{2i\pi t}f/f\rond…
It is shown that the modulation spaces $M_{p}^{w}$ can be characterized by the approximation behavior of their elements using Local Fourier bases. In analogy to the Local Fourier bases, we show that the modulation spaces can also be…
We consider abstract Banach spaces of analytic functions on general bounded domains that satisfy only a minimum number of axioms. We describe all invertible (equivalently, surjective) weighted composition operators acting on such spaces.…
We obtain a characterisation of the Fourier transform on the space of Schwartz-Bruhat functions on locally compact Abelian groups. The result states that any appropriately additive bijection of the Schwartz space onto itself, which…
The loop transform in quantum gauge field theory can be recognized as the Fourier transform (or characteristic functional) of a measure on the space of generalized connections modulo gauge transformations. Since this space is a compact…
Using the integral representations of the solutions of Schr\"odinger equation, which are the essential ingredients of the Gel'fand-Levitan and Marchenko integral equations of inverse scattering theory, we obtain a general theorem on the…
An order theoretic and algebraic framework for the extended real numbers is established which includes extensions of the usual difference to expressions involving $-\infty$ and/or $+\infty$, so-called residuations. Based on this,…
We give two examples of categorical axioms asserting that a canonically defined natural transformation is invertible where the invertibility of any natural transformation implies that the canonical one is invertible. The first example is…
It is well known that the R, the set of real numbers, is an abstract set, where almost all its elements cannot be described in any finite language. We investigate possible approaches to what might be called an epi-constructionist approach…
The moduli space of algebraic foliations on P2 of a fixed degree and with a center singularity has many irreducible components. We find a basis of the Brieskorn module defined for a rational function and prove that set of pull-back…
Using the basis of Hermite-Fourier functions (i.e. the quantum oscillator eigenstates) and the Sturm theorem, we derive the practical constraints for a function and its Fourier transform to be both positive. We propose a constructive method…
We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable…
We describe an inductive machinery to prove various properties of representations of a category equipped with a generic shift functor. Specifically, we show that if a property (P) of representations of the category behaves well under the…
In this paper we present an abstraction-refinement approach to Satisfiability Modulo the theory of transcendental functions, such as exponentiation and trigonometric functions. The transcendental functions are represented as uninterpreted…
We define a new perverse t-exact pullback operation on derived categories of constructible sheaves which generalizes most perverse t-exact functors in sheaf theory, such as microlocalization, the Fourier-Sato transform and vanishing cycles.…
We develop a compositional framework for generalized reversible computing using copy-discard categories and resource theories. We introduce partitioned matrices between partitioned sets as subdistribution matrices which preserve the…