Related papers: The Filter Dichotomy and medial limits

We prove that if $J$ is the limit set of an irreducible conformal iterated function system (with either finite or countably infinite alphabet), then the badly approximable vectors form a set of full Hausdorff dimension in $J$. The same is…

We prove that a set of finite perimeter is indecomposable if and only if it is, up to a choice of suitable representative, connected in the 1-fine topology. This gives a topological characterization of indecomposability which is new even in…

Building on work of van Engelen and van Mill, we show that a zero-dimensional Borel space is homeomorphic to a semifilter if and only if it is homogeneous and not locally compact. Under $\mathbf{\Sigma}^1_1$-Determinacy, this result extends…

We prove that there is no algorithm to decide whether a given integer vector is in the closure of the entropic cone $\overline{\Gamma_{n}^{*}}$. Equivalently, there is no decision procedure to determine whether a given integer-valued…

Hausdorff and box dimension are two familiar notions of fractal dimension. Box dimension can be larger than Hausdorff dimension, because in the definition of box dimension, all sets in the cover have the same diameter, but for Hausdorff…

Let $f: M\rightarrow M$ be a continuous map on a compact metric space $M$ equipped with a fixed metric $d$, and let $\tau$ be the topology on $M$ induced by $d$. First, we will establish some fundamental properties of the mean Hausdorff…

We consider the Grenander estimator that is the maximum likelihood estimator for non-increasing densities. We prove uniform central limit theorems for certain subclasses of bounded variation functions and for H\"older balls of smoothness…

A homeomorphism of a compact metric space is {\em tight} provided every non-degenerate compact connected (not necessarily invariant) subset carries positive entropy. It is shown that every $C^{1+\alpha}$ diffeomorphism of a closed surface…

We prove the existence of holomorphic functions $f$ defined on any open convex subset ${\rm \Omega}\subset {{\mathbb C}}^n$, whose partial sums of the Taylor developments approximate uniformly any complex polynomial on any convex compact…

We prove that the upper envelope of a family of subharmonic functions defined on an open subset of $\mathbb{R}^{N}$, $(N\geq2)$, that is finite every where, is locally bounded above outside a closed nowhere dense set with no bounded…

The Filter Extension Principle (FEP) asserts that every filter can be extended to an ultrafilter, which plays a crucial role in the quest for non-principal ultrafilters. Non-principal ultrafilters find widespread applications in logic, set…

The Hausdorff distance, the Gromov-Hausdorff, the Fr\'echet and the natural pseudo-distances are instances of dissimilarity measures widely used in shape comparison. We show that they share the property of being defined as $\inf_\rho…

Motivated by the notion of intermediate dimensions introduced by Falconer et al., we introduce a continuum of topological entropies that are intermediate between the (Bowen) topological entropy and the lower and upper capacity topological…

We prove a strong dichotomy for the number of ultrapowers of a given countable model associated with nonprincipal ultrafilters on N. They are either all isomorphic, or else there are $2^{2^{\aleph_0}}$ many nonisomorphic ultrapowers. We…

As a generalization of Hausdorff's extension theorem of metrics, we prove an interpolation theorem of a family of metrics defined on closed subsets of metrizable spaces. As an application, we investigate typicality of subsets of moduli…

Let $f$ be a holomorphic function on the unit disc, and $(S_{n_{k}})$ be a subsequence of its Taylor polynomials about $0$. It is shown that the nontangential limit of $f$ and lim$_{k\rightarrow \infty }S_{n_{k}}$ agree at almost all points…

We present the Tetrahedral Compactness Theorem which states that sequences of Riemannian manifolds with a uniform upper bound on volume and diameter that satisfy a uniform tetrahedral property have a subsequence which converges in the…

Let $A(x): =(A_{i, j}(x))$ be a continuous function defined on some subshift of $\Omega:= \{0,1, \cdots, m-1\}^\mathbb{N}$, taking $d\times d$ non-negative matrices as values and let $\nu$ be an ergodic $\sigma$-invariant measure on the…

In this work we establish universal ensemble independent bounds on the mean and variance of the mutual information and channel capacity for imaging through a complex medium. Both upper and lower bounds are derived and are solely dependent…

We show that for families of measures on Euclidean space which satisfy an ergodic-theoretic form of "self-similarity" under the operation of re-scaling, the dimension of linear images of the measure behaves in a semi-continuous way. We…