Related papers: The Divergence Borel-Cantelli Lemma revisited

We consider the problems of hypothesis testing on a probability measure of independent sample, on solution of ill-posed problem, on deconvolution problem and on Poisson mean measure. For all these setups necessary conditions and sufficient…

Let $T: X\mapsto X$ be a deterministic dynamical system preserving a probability measure $\mu$. A dynamical Borel-Cantelli lemma asserts that for certain sequences of subsets $A_n\subset X$ and $\mu$-almost every point $x\in X$ the…

The Glivenko--Cantelli theorem is a uniform version of the strong law of large numbers. It states that for every IID sequence of random variables, the empirical measure converges to the underlying distribution (in the sense of uniform…

This paper develops a new divergence that generalizes relative entropy and can be used to compare probability measures without a requirement of absolute continuity. We establish properties of the divergence, and in particular derive and…

We give a version of the Borel-Cantelli lemma. As an application, we prove an almost sure local central limit theorem. As another application, we prove a dynamical Borel-Cantelli lemma for systems with sufficiently fast decay of…

Given positive measures $\nu,\mu$ on an arbitrary measurable space $(\Omega, \mathcal F)$, we construct a sequence of finite partitions $(\pi_n)_n$ of $(\Omega, \mathcal F)$ s.t. $$ \sum_{A\in \pi_n: \mu(A)>0} 1_{A} \frac{\nu(A)}{\mu(A)}…

A conjecture of Ulam states that the standard probability measure $\pi$ on the Hilbert cube $I^\omega$ is invariant under the induced metric $d_a$ when the sequence $a = \{ a_i \}$ of positive numbers satisfies the condition…

In relation to the Erd\H os similarity problem (show that for any infinite set $A$ of real numbers there exists a set of positive Lebesgue measure which contains no affine copy of $A$) we give some new examples of infinite sets which are…

Let $\Omega \subset \mathbb{R}^{n+1}$ be an open set whose boundary may be composed of pieces of different dimensions. Assume that $\Omega$ satisfies the quantitative openness and connectedness, and there exist doubling measures $m$ on…

For a large class of Cantor sets on the real-line, we find sufficient and necessary conditions implying that a set has positive (resp. null) measure for all doubling measures of the real-line. We also discuss same type of questions for…

We present a novel proof of de Finetti's Theorem characterizing permutation-invariant probability measures of infinite sequences of variables, so-called exchangeable measures. The proof is phrased in the language of Markov categories, which…

The multifractal spectrum of a Borel measure $\mu$ in $\mathbb{R}^n$ is defined as \[ f_\mu(\alpha) = \dim_H {x:\lim_{r\to 0} \frac{\log \mu(B(x,r))}{\log r}=\alpha}. \] For self-similar measures under the open set condition the behavior of…

We study the set $M_\infty(X)$ of all infinite full non-atomic Borel measures on a Cantor space X. For a measure $\mu$ from $M_\infty(X)$ we define a defective set $M_\mu = \{x \in X : for any clopen set U which contains x we have \mu(U) =…

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…

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…

With a new proof approach we prove in a more general setting the classical convergence theorem that almost everywhere convergence of measurable functions on a finite measure space implies convergence in measure. Specifically, we generalize…

This paper presents a spectral calculus for computing the spectrum of a causal Lorentz invariant Borel complex measure on Minkowski space, thereby enabling one to compute the density for such a measure with respect to Lebesque measure. It…

Let $\mu$ and $\nu$ be two non-degenerate finite signed Borel measures defined on a proper convex cone of $\mathbb{R}^n$. We prove that if all convolution powers of $\mu$ and $\nu$ are appropriately equal (and non-zero) on a proper concave…

One can consider $\mu$-Martin-L\"of randomness for a probability measure $\mu$ on $2^{\omega}$, such as the Bernoulli measure $\mu_p$ given $p \in (0, 1)$. We study Bernoulli randomness of sequences in $n^{\omega}$ with parameters $p_0,…

This is a slightly corrected version of an old work. For a cardinal $\mu$ we give a sufficient condition $\oplus_\mu$ (involving ranks measuring existence of independent sets) for: $\otimes_\mu$ if a Borel set $B\subseteq \mathbb{R} \times…