Related papers: Euler integration over definable functions
We show that parameterized versions of splitting theorems in Morse theory can be effectively used to generalize some famous bifurcation theorems for potential operators. In particular, such generalizations based on the author's recent…
The theory of matrix models is reviewed from the point of view of its relation to integrable hierarchies. Determinantal formulas, relation to conformal field models and the theory of Generalized Kontsevich model are discussed in some…
We propose Partially Interpretable Estimators (PIE) which attribute a prediction to individual features via an interpretable model, while a (possibly) small part of the PIE prediction is attributed to the interaction of features via a…
This note studies the behavior of Euler characteristics and of intersection homology Euler characterstics under proper morphisms of algebraic (or analytic) varieties. The methods also yield, for algebraic (or analytic) varieties, formulae…
A large class of quantum field theories on 1+1 dimensional Minkowski space, namely, certain integrable models, has recently been constructed rigorously by Lechner. However, the construction is very abstract and the concrete form of local…
We define an operation of evaluation at a point for motivic constructible (exponential) functions from the Cluckers-Loeser framework of motivic integration and show that two such motivic functions are abstractly equal if and only if their…
We consider the notion of the matrix (tensor) distribution of a measurable function of several variables. On the one hand, it is an invariant of this function with respect to a certain group of transformations of variables; on the other…
The semi-classical study of a 1-dimensional Schr\"odinger operator near a non-degenerate maximum of the potential has lead Colin de Verdi\`ere and Parisse to prove a microlocal normal form theorem for any 1-dimensional pseudo-differential…
We provide a novel transcription of monotone operator theory to the non-Euclidean finite-dimensional spaces $\ell_1$ and $\ell_{\infty}$. We first establish properties of mappings which are monotone with respect to the non-Euclidean norms…
A "Bochner-type" integral for vector lattice-valued functions with respect to (possibly infinite) vector lattice-valued measures is presented with respect to abstract convergences, satisfying suitable axioms, and some fundamental properties…
The following two assertions are equivalent for an o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$. There exists a definable bijection between a bounded interval and an unbounded interval. Any definable continuous…
We construct two particular solutions of the full Euler system which emanate from the same initial data. Our aim is to show that the convex combination of these two solutions form a measure-valued solution which may not be approximated by a…
The Hurwitz-type Euler zeta function is defined as a deformation of the Hurwitz zeta function: \begin{equation*} \zeta_E(s,x)=\sum_{n=0}^\infty\frac{(-1)^n}{(n+x)^s}. \end{equation*} In this paper, by using the method of Fourier expansions,…
In this work we define operator-valued Fourier transforms for suitable integrable elements with respect to the Plancherel weight of a (not necessarily Abelian) locally compact group. Our main result is a generalized version of the Fourier…
An explicit computation of the so-called string-theoretic E-function of a normal complex variety X with at most log-terminal singularities can be achieved by constructing one snc-desingularization of X, accompanied with the intersection…
The $u$-plane integrals of topologically twisted $N = 2$ supersymmetric gauge theories generally contain contact terms of nonlocal topological observables. This paper proposes an interpretation of these contact terms from the point of view…
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…
The concept of complementability is extended from bounded operators to densely defined operators on Hilbert spaces. By introducing appropriate projections and decomposition techniques, a framework is developed for analyzing…
We introduce two notions of effective reducibility for set-theoretical statements, based on computability with Ordinal Turing Machines (OTMs), one of which resembles Turing reducibility while the other is modelled after Weihrauch…
This paper constructively proves the existence of an effective procedure generating a computable (total) function that is not contained in any given effectively enumerable set of such functions. The proof implies the existence of machines…