Related papers: Ultrametric skeletons
In this paper, we prove the existence of a measure-preserving bijection from unit square to unit segment. This bijection is also called the probability isomorphism between two probability spaces. Then we give a new proof of the existence of…
Given a compact metric space $X$ and a probability measure in the $\sigma-$algebra of Borel subsets of $X$, we will establish a dominated convergence theorem for ultralimits of sequences of integrable maps and apply it to deduce a…
Let $E$ be a countable Borel equivalence relation on the space $\mathcal{E}_{\infty}$ of all infinite partitions of the natural numbers. We show that $E$ coincides with equality below a Carlson-Simpson generic element of…
In this paper, we completely characterize the positive Borel measures $\mu$ on the unit ball $\mathbb{B}_n$ of $\mathbb{C}^n$ such that the Carleson embedding from holomorphic Hardy type tent spaces $\mathcal{HT}^p_{q,\alpha}$ into the tent…
Within a category $\mathtt{C}$, having objects $\mathtt{C}_0$, it may be instructive to know not only that two objects are non-isomorphic, but also how far from being isomorphic they are. We introduce pseudo-metrics $d:\mathtt{C}_0 \times…
We consider a random walk on a closed manifold $M$ driven by a probability measure $\mu$ on the space of $C^2$ diffeomorphisms. Provided $\mu$ has compact support, satisfies certain gap and pinching conditions, and is weak-$*$ close to a…
Given a compact pseudo-metric space, we associate to it upper and lower dimensions, depending only on the metric. Then we construct a doubling metric for which the measure of a dillated ball is closely related to these dimensions.
We focus on the Sobolev spaces of bounded subanalytic submanifolds of $\mathbb{R}^n$. We prove that if $M$ is such a manifold then the space $\mathscr{C}_0^\infty(M)$ is dense in $W^{1,p}(M,\partial M)$ (the kernel of the trace operator)…
We prove that every finite Borel measure $\mu$ in $\mathbb{R}^N$ that is bounded from above by the Hausdorff measure $\mathcal{H}^s$ can be split in countable many parts $\mu\lfloor_{E_k}$ that are bounded from above by the Hausdorff…
Given a compact set $E \subset \mathbb{R}^{d - 1}$, $d \geq 1$, write $K_{E} := [0,1] \times E \subset \mathbb{R}^{d}$. A theorem of C. Bishop and J. Tyson states that any set of the form $K_{E}$ is minimal for conformal dimension: if…
In this paper we study the connection between the analytic capacity of a set and the size of its orthogonal projections. More precisely, we prove that if $E\subset \mathbb C$ is compact and $\mu$ is a Borel measure supported on $E$, then…
We study the complexity with respect to Borel reducibility of the relations of isometry and isometric embeddability between ultrametric Polish spaces for which a set $D$ of possible distances is fixed in advance. These are, respectively, an…
In this note we study when an invariant probability measure lifts to an invariant measure. Consider a standard Borel space $X$, a Borel probability measure $\mu$ on $X$, a Borel map $T \colon X \to X$ preserving $\mu$, a compact metric…
The main result of this note, Theorem 2, is the following: a Borel measure on the space of infinite Hermitian matrices, that is invariant under the action of the infinite unitary group and that admits well-defined projections onto the…
The Brunn-Minkowski Theory has seen several generalizations over the past century. Many of the core ideas have been generalized to measures. With the goal of framing these generalizations as a weighted Brunn-Minkowski theory, we prove the…
We show that for every large enough integer $N$, there exists an $N$-point subset of $L_1$ such that for every $D>1$, embedding it into $\ell_1^d$ with distortion $D$ requires dimension $d$ at least $N^{\Omega(1/D^2)}$, and that for every…
We study the large-scale behavior of Newton-Sobolev functions on complete, connected, proper, separable metric measure spaces equipped with a Borel measure $\mu$ with $\mu(X) = \infty$ and $0 < \mu(B(x, r)) < \infty$ for all $x \in X$ and…
We show from a categorical point of view that probability measures on certain measurable or topological spaces arise canonically as the extension of probability distributions on countable sets. We do this by constructing probability monads…
We prove that a singular part $\mu_s$ of a measure $\mu$ satisfying ${\cal A}\mu =0$ for a linear partial differential operator ${\cal A}$ defined on $R^d$ has the range in the intersection of kernels of the principal symbol of ${\cal A}$…
Let $A$ be the disk algebra, $\Omega$ be a compact Hausdorff space and $\mu$ be a finite Borel measure in $\Omega$. It is shown that the dual of $C(\Omega,A)$ has the Dunford-Pettis Property. This proved in particular that the spaces…