Related papers: Borel Measurable Hahn-Mazurkiewicz Theorem
In the general context of computable metric spaces and computable measures we prove a kind of constructive Borel-Cantelli lemma: given a sequence (constructive in some way) of sets $A_{i}$ with effectively summable measures, there are…
A longstanding question in the dual Brunn-Minkowski theory is what are the dual analogues of Federer's curvature measures for convex bodies. The answer to this is provided. This leads naturally to dual versions of Minkowski-type problems,…
An abstract system of congruences describes a way of partitioning a space into finitely many pieces satisfying certain congruence relations. Examples of abstract systems of congruences include paradoxical decompositions and $n$-divisibility…
A measurable map between measure spaces is shown to have bounded compression if and only if its image via the measure-algebra functor is Lipschitz-continuous w.r.t. the measure-algebra distances. This provides a natural interpretation of…
In the paper we would like to pay attention to some analogies between Haar meager sets and Haar null sets. Among others, we will show that $0\in \inn (A-A)$ for each Borel set $A$, which is not Haar meager in an abelian Polish group.…
We study a natural measurable selection problem for which the standard uniformisation theorems do not seem to apply directly, yet a Borel selector exists. More precisely, we consider families of finite dimensional functions that admit…
We quantify Prokhorov's Theorem by establishing an explicit formula for the Hausdorff measure of non-compactness (HMNC) for the parametrized Prokhorov metric on the set of Borel probability measures on a Polish space. Furthermore, we…
We consider the Monge-Kantorovich transport problem in an abstract measure theoretic setting. Our main result states that duality holds if $c:X\times Y\to [0,\infty)$ is an arbitrary Borel measurable cost function on the product of Polish…
We prove in this article that every Borelian measure, for example, the distribution of a random variable, in separable Banach space has a support which is compact embedded Banach subspace; and prove that if the norm of the random variable…
We extend the study of \emph{melonic} quartic tensor models to models with arbitrary quartic interactions. This extension requires a new version of the loop vertex expansion using several species of intermediate fields and iterated…
We study a uniform, quantitative form of the amenability-hyperfiniteness paradigm for bounded-degree Borel graphs generating countable Borel equivalence relations. We introduce \emph{uniform Borel amenability} and prove that it is…
We characterize the structural impediments to the existence of Borel perfect matchings for acyclic locally countable Borel graphs admitting a Borel selection of finitely many ends from their connected components. In particular, this yields…
We generalize the classical Monge-Kantorovich duality--typically established for tight (Radon) probability measures--to separable Baire probability measures, which are strictly more general than tight measures on completely regular…
It is shown that given a metric space $X$ and a $\sigma$-finite positive regular Borel measure $\mu$ on $X$, there exists a bounded continuous real-valued function on $X$ that is one-to-one on the complement of a set of $\mu$ measure zero.
We study the Minkowski problem corresponding to the p-harmonic measures and obtain results previously known for harmonic measures due to Jerison. We show that a class of Borel measures on spheres can be prescribed by p-harmonic measures on…
An important consequence of the Hahn-Banach Theorem says that on any locally convex Hausdorff topological space $X$, there are sufficiently many continuous linear functionals to separate points of $X$. In the paper, we establish a `local'…
We prove the following isoperimetric type inequality: Given a finite absolutely continuous Borel measure on ${\mathbb R}^n$, halfspaces have maximal measure among all subsets with prescribed barycenter. As a consequence, we make progress…
Recent work of the author established dual representation theorems for certain vector spaces that arise in an important article of Allcock and Vaaler. These results constructed an object called a consistent map which acts like a measure on…
The Steinhaus-Weil theorem that concerns us here is the simple, or classical, `interior-points' property -- that in a Polish topological group a non-negligible set B has the identity as an interior point of $BB^{-1}$. There are various…
We establish that a second countable locally compact groupoid possessing a continuous Haar system is topologically amenable if and only if it is Borel amenable. We give some examples and applications.