Related papers: Ultrametric skeletons

We investigate properties of the class of compact spaces on which every regular Borel measure is separable. This class will be referred to as MS. We discuss some closure properties of MS, and show that some simply defined compact spaces,…

Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by \[I(\mu) = \int_X \int_X d(x,y) d\mu(x) d\mu(y),\] and set $M(X) = \sup…

We prove that for any Borel probability measure $\mu$ on $\mathbb R^n$ there exists a set $X\subset \mathbb R^n$ of $n+1$ points such that any $n$-variate quadratic polynomial $P$ that is nonnegative on $X$ (i.e. $P(x)\geq 0$, for every $x…

Borel probability measures living on metric spaces are fundamental mathematical objects. There are several meaningful distance functions that make the collection of the probability measures living on a certain space a metric space. We are…

This paper characterizes the maximum mean discrepancies (MMD) that metrize the weak convergence of probability measures for a wide class of kernels. More precisely, we prove that, on a locally compact, non-compact, Hausdorff space, the MMD…

Let $\mathscr{C}_n=\{-1,1\}^n$ be the discrete hypercube equipped with the uniform probability measure $\sigma_n$. Talagrand's influence inequality (1994) asserts that there exists $C\in(0,\infty)$ such that for every $n\in\mathbb{N}$,…

Let $f$ be a $C^1$-diffeomorphism and $\mu$ be a hyperbolic ergodic $f$-invariant Borel probability measure with positive measure-theoretic entropy. Assume that the Oseledec splitting $$T_xM=E_1(x) \oplus\cdots\oplus E_s(x) \oplus…

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…

We prove an analogue of the portmanteau theorem on weak convergence of probability measures allowing measures which are unbounded on an underlying metric space but finite on the complement of any Borel neighbourhood of a fixed element.

In this paper, we first show that the collection of all subsets of \( \mathbb{R} \) having lower dimension \( \gamma \in [0,1] \) is dense in \( \Pi(\mathbb{R}) \), the space of compact subsets of \( \mathbb{R} \). Furthermore, we show that…

We show that the variance of a probability measure $\mu$ on a compact subset $X$ of a complete metric space $M$ is bounded by the square of the circumradius $R$ of the canonical embedding of $X$ into the space $P(M)$ of probability measures…

A topological space is almost locally compact if it contains a dense locally compact subspace. We generalize a result from \cite{Ma}, showing that isomorphism on Borel classes of almost locally compact Polish metric structures is always…

We first prove that for every metrizable space $X$, for every closed subset $F$ whose complement is zero-dimensional, the space $X$ can be embedded into a product space of the closed subset $F$ and a metrizable zero-dimensional space as a…

We prove that if $E$ is a compact subset of the unit disk ${\mathbb D}$ in the complex plane, if $E$ contains a sequence of distinct points $a_n\not= 0$ for $n\geq 1$ such that $\lim_{n\to\infty} a_n=0$ and for all $n$ we have $ |a_{n+1}|…

We introduce a probability distribution on $\mathcal{P}([0,1]^d)$, the space of all Borel probability measures on $[0,1]^d$. Under this distribution, almost all measures are shown to have infinite upper quasi-Assouad dimension and zero…

The halfspace depth of a $d$-dimensional point $x$ with respect to a finite (or probability) Borel measure $\mu$ in $\mathbb{R}^d$ is defined as the infimum of the $\mu$-masses of all closed halfspaces containing $x$. A natural question is…

Let $\nu$ be a Borel probability measure on a $d$-dimensional Euclidean space $\mathbb{R}^d$, $d\geq 1$, with a compact support, and let $(p_0, p_1, p_2, \ldots, p_N)$ be a probability vector with $p_j>0$ for $0\leq j\leq N$. Let $\{S_j:…

We demonstrate that the set $L^\infty(X, [-1,1])$ of all measurable functions over a Borel measure space $(X, \mathcal B, \mu )$ with values in the unit interval is typically non-polyhedric when interpreted as a subset of a dual space. Our…

Let $(\Omega, \mathcal{A}, \mu)$ be a probability space. The classical Borel-Cantelli Lemma states that for any sequence of $\mu$-measurable sets $E_i$ ($i=1,2,3,\dots$), if the sum of their measures converges then the corresponding…

We prove that if $K$ is a compact space and the space $P(K\times K)$ of regular probability measures on $K\times K$ has countable tightness in its $weak^*$ topology, then $L_1(\mu)$ is separable for every $\mu\in P(K)$. It has been known…