Related papers: Codensity and the Giry monad

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…

In this article, we discuss some geometric infinitely divisible (gid) random variables using the Laplace exponents which are Bernstein functions and study their properties. The distributional properties and limiting behavior of the…

We associate certain probability measures on $\R$ to geodesics in the space $\H_L$ of positively curved metrics on a line bundle $L$, and to geodesics in the finite dimensional symmetric space of hermitian norms on $H^0(X, kL)$. We prove…

We construct ergodic probability measures with infinite metric entropy for typical continuous maps and homeomorphisms on compact manifolds. We also construct sequences of such measures that converge to a zero-entropy measure.

We investigate the set of invariant idempotent probabilities for countable idempotent iterated function systems (IFS) defined in compact metric spaces. We demonstrate that, with constant weights, there exists a unique invariant idempotent…

Mixture of experts (MoE) models are widely applied for conditional probability density estimation problems. We demonstrate the richness of the class of MoE models by proving denseness results in Lebesgue spaces, when inputs and outputs…

Given sufficiently many components, it is often cited that finite mixture models can approximate any other probability density function (pdf) to an arbitrary degree of accuracy. Unfortunately, the nature of this approximation result is…

We define a class of groups equipped with an invariant probability measure, which includes all compact groups and is closed under taking ultraproducts with the induced Loeb measure; in fact, this class also contains the ultraproducts all…

We establish Gaussian limits for general measures induced by binomial and Poisson point processes in d-dimensional space. The limiting Gaussian field has a covariance functional which depends on the density of the point process. The general…

We demonstrate that any full and faithful $*$-functor between approximable categories of locally finite coarse spaces induces a coarse embedding between the underlying spaces. Furthermore, we establish a general characterisation of such…

Let $R$ be a finite dimensional $k$-algebra over an algebraically closed field $k$ and $\mathrm{mod} R$ be the category of all finitely generated left $R$-modules. For a given full subcategory $\mathcal{X}$ of $\mathrm{mod} R,$ we denote by…

Lorenz values and the Gini index are popular quantities in Mathematical Economics, and are used here in the context of quantum systems with finite-dimensional Hilbert space. They quantify the uncertainty in the probability distribution…

Here we present an overview of countably-normed spaces. We discuss the main topologies--weak, strong, and inductive--placed on the dual of a countably-normed space and discuss the sigma-fields generated by these topologies. In particular,…

The phenomenon of concentration of measure on high dimensional structures is usually stated in terms of a metric space with a Borel measure, also called an mm-space. We extend some of the mm-space concepts to the setting of a quasi-metric…

In this paper, we address the problem of constructing a uniform probability measure on $\mathbb{N}$. Of course, this is not possible within the bounds of the Kolmogorov axioms and we have to violate at least one axiom. We define a…

The delay monad provides a way to introduce general recursion in type theory. To write programs that use a wide range of computational effects directly in type theory, we need to combine the delay monad with the monads of these effects.…

Let $\pi$ be a factor map from a one-dimensional mixing shift of finite type $X$ onto a sofic shift $Y$. We investigate when $\pi$ sends Gibbs measures on $X$ to non-Gibbs measures on $Y$.

Magnitude homology is an invariant of enriched categories which generalizes ordinary categorical homology -- the homology of the classifying space of a small category. The classifying space can also be generalized in a different direction:…

In this paper we show that for every congruent monotileable amenable group $G$ and for every metrizable Choquet simplex $K$, there exists a minimal $G$-subshift, which is free on a full measure set, whose set of invariant probability…

We investigate the extent to which the weak equivalences in a model category can be equipped with algebraic structure. We prove, for instance, that there exists a monad T such that a morphism of topological spaces admits T-algebra structure…