Related papers: Probability monads as codensity monads

In finite probability theory, events are subsets of the outcome set. Subsets can be represented by 1-dimensional column vectors. By extending the representation of events to two dimensional matrices, we can introduce "superposition events."…

We derive the isoperimetric profile of Gaussian type for an absolutely continuous probability measure on Euclidean spaces with respect to the Lebesgue measure, whose density is a radial function.The key is a generalization of the Poincar\'e…

In this short note, we prove that the stochastic order of Radon probability measures on any ordered topological space is antisymmetric. This has been known before in various special cases. We give a simple and elementary proof of the…

Represented spaces form the general setting for the study of computability derived from Turing machines. As such, they are the basic entities for endeavors such as computable analysis or computable measure theory. The theory of represented…

This is a little investigation into the classification of complexes of direct sums of line bundles on projective spaces. We consider complexes on projective k-space Pk : O_Pk(-1)^a --> O_Pk^b --> O_Pk(1)^c, with the first map injective and…

We prove that the functor $\Hat{P}$ of Radon probability measures transforms any open map between completely metrizable spaces into a soft map. This result is applied to establish some properties of Milyutin maps between completely…

Here we shall consider the topology and dynamics associated to a wide class of matchbox manifolds, including a large selection of tiling spaces and all minimal matchbox manifolds of dimension one. For such spaces we introduce topological…

It is proved that $P(\beta X)=\beta P(X)$ if and only if $P(X)$ is a pseudocompact space, where $P(X)$ is the space of probability Radon measures with weak topology and $\beta X$ is a Stone-Cech extension of the space $X$. A locally compact…

The notion of Hausdorff number of a topological space is first introduced in \cite{bonan}, with the main objective of using this notion to obtain generalizations of some known bounds for cardinality of topological spaces. Here we consider…

In this paper we study a class of random Cantor sets. We determine their almost sure Hausdorff, packing, box, and Assouad dimensions. From a topological point of view, we also compute their typical dimensions in the sense of Baire category.…

We present some applications of the notion of numerosity to measure theory, including the construction of a non-Archimedean model for the probability of infinite sequences of coin tosses.

In this article, we extend the foundations of the theory of differential inclusions in the space of compactly supported probability measures, introduced recently by the authors, to the setting of general Wasserstein spaces. In this context,…

We explore the phenomenological implications of generalizing measures to a multidimensional multiverse. We consider a simple model in which the vacua are nucleated from a $D$-dimensional parent spacetime through dynamical compactification…

Let S be a nonexceptional oriented surface of finite type. We construct an uncountable family of probability measures on the space of area on holomorphic quadratic differentials over the moduli space for S containing the usual Lebesgue…

We show that every nonempty compact and convex space M of probability Radon measures either contains a measure which has `small' local character in M or else M contains a measure of `large' Maharam type. Such a dichotomy is related to…

Measurable sets are defined as those locally approximable, in a certain sense, by sets in the given algebra (or ring). A corresponding measure extension theorem is proved. It is also shown that a set is locally approximable in the mentioned…

We prove the equivalence of two seemingly very different ways of generalising Rademacher's theorem to metric measure spaces. One such generalisation is based upon the notion of forming partial derivatives along a very rich structure of…

We consider the numbers of positive and negative eigenvalues of matrices of squared distances between randomly sampled i.i.d. points in a given metric measure space. These numbers and their limits, as the number of points grows, in fact…

Playing off against each other the real and complex structures, we elucidate the local structure of certain representation spaces in the world of Poisson geometry. Particular cases of these spaces arise as moduli spaces of semistable…

In this paper, we develop a general theory on the coverage probability of random intervals defined in terms of discrete random variables with continuous parameter spaces. The theory shows that the minimum coverage probabilities of random…