Related papers: Continuous R-valuations

Working constructively, we study continuous directed complete posets (dcpos) and the Scott topology. Our two primary novelties are a notion of intrinsic apartness and a notion of sharp elements. Being apart is a positive formulation of…

We investigate the first-order differential calculus over extended metric-topological measure spaces. The latter are quartets $\mathbb X=(X,\tau,{\sf d},\mathfrak m)$, given by an extended metric space $(X,{\sf d})$ together with a weaker…

We prove a criterion for continuity of bilinear maps on countable direct sums of topological vector spaces. As a first application, we get a new proof for the fact (due to Hirai et al. 2001) that the map taking a pair of test functions on…

We characterize the valuations on the space of quasi-concave functions defined on the $N$-dimensional Euclidean space, that are rigid motion invariant and continuous with respect to a suitable topology. Among them we also provide a specific…

In this paper the authors obtain a new equivalent norms of the Besov spaces of variable smoothness and integrability. Our main tools are the continuous version of Calderon reproducing formula, maximal inequalities and variable exponent…

In this article we provide a proof of the so called absolute continuity theorem for random dynamical systems on $R^d$ which have an invariant probability measure. First we present the construction of local stable manifolds in this case.…

We prove an extension of the theorem of Drinfeld, Grinberg and Kazhdan to arcs with arbitrary residue field. As an application we show that the embedding codimension is generically constant on each irreducible subset of the arc space which…

Consider a definable complete d-minimal expansion $(F, <, +, \cdot, 0, 1, \dots,)$ of an oredered field $F$. Let $X$ be a definably compact definably normal definable $C^r$ manifold and $2 \le r <\infty$. We prove that the set of definable…

Quantitative algebras are algebras enriched in the category $\mathsf{Met}$ of metric spaces so that all operations are nonexpanding. Mardare, Plotkin and Panangaden introduced varieties (aka $1$-basic varieties) as classes of quantitative…

We establish a relative monadicity theorem for relative monads with dense roots in a virtual equipment, specialising to a relative monadicity theorem for enriched relative monads. In particular, for a dense $\mathbb V$-functor $j \colon A…

We study the absolute continuity with respect to the Lebesgue measure of the distribution of the nodal volume associated with a smooth, non-degenerated and stationary Gaussian field $(f(x), {x \in \mathbb R^d})$. Under mild conditions, we…

Let $D$ be an integral domain. Then $D$ is an almost valuation (AV-)domain if for $a, b\in D\setminus \{0\}$ there exists a natural number $n$ with $a^{n}\mid b^{n}$ or $b^{n}\mid a^{n}$. AV-domains are closely related to valuation domains,…

We prove that the free additive convolution of two Borel probability measures supported on the real line can have a component that is singular continuous with respect to the Lebesgue measure on the real line only if one of the two measures…

All continuous translation invariant complex-valued valuations on Lebesgue measurable functions are completely classified. And all continuous rotation invariant complex-valued valuations on spherical Lebesgue measurable functions are also…

Let $\mathcal{M}$ be a type II$_1$ von Neumann factor and let $S(\mathcal{M})$ be the associated Murray-von Neumann algebra of all measurable operators affiliated to $\mathcal{M}.$ We extend a result of Kadison and Liu \cite{KL} by showing…

In this paper we develop the theory of the depth of a simple algebraic extension of valued fields $(L/K,v)$. This is defined as the minimal number of augmentations appearing in some Mac Lane-Vaqui\'e chain for the valuation on $K[x]$…

A rational pseudo-rotation $f$ of the torus is a homeomorphism homotopic to the identity with a rotation set consisting of a single vector $v$ of rational coordinates. We give a classification for rational pseudo-rotations with an invariant…

In this paper we strengthen to Morrey-Lorentz spaces the famous trace principle introduced by Adams. More precisely, we show that Riesz potential $I_{\alpha}$ is continuous \begin{equation} \Vert I_{\alpha}f\Vert_{\mathcal{M}_{q,…

Recently, various methods for 6D pose and shape estimation of objects have been proposed. Typically, these methods evaluate their pose estimation in terms of average precision, and reconstruction quality with chamfer distance. In this work…

A new and extensive formalism is developed for monads and galaxies in non-standard enlargements. It is shown that monads and galaxies can be manipulated using order-preserving and order-reversing set-to-set maps, and that set properties…