Related papers: Borel sets which are null or non-$\sigma$-finite f…

R.D.Mauldin asked if every translation invariant $\sigma$-finite Borel measure on $\RR^d$ is a constant multiple of Lebesgue measure. The aim of this paper is to show that the answer is "yes and no", since surprisingly the answer depends on…

Following Davies, Elekes and Keleti, we study measured sets, i.e. Borel sets $B$ in $\mathbb{R}$ (or in a Polish group) for which there is a translation invariant Borel measure assigning positive and \sigma-finite measure to $B$. We…

Let $\mu$ be a translation invariant measure on $(\mathbb{R}^d,\mathcal{B}(\mathbb{R}^d))$ and let $\lambda$ denote the Lebesgue measure on $\mathbb{R}^d$. If there exists an open set $U$ such that $0<\mu(U)=\lambda(U)<\infty$, it is a…

We show that some set-theoretic assumptions (for example Martin's Axiom) imply that there is no translation invariant Borel hull operation on the family of Lebesgue null sets and on the family of meager sets in (in R^n). We also prove that…

A result of P. Tukia from 1989 says that Lebesgue measure on $\mathbb{R}$ has conformal dimension zero: for every $\epsilon > 0$, there is a Borel set $G \subset \mathbb{R}$ of full Lebesgue measure, and a quasisymmetric homeomorphism $f…

In this article we study the generalized Fourier dimension of the set of Liouville numbers $\mathbb{L}$. Being a set of zero Hausdorff dimension, the analysis has to be done at the level of functions with a slow decay at infinity acting as…

We give a complete characterization of the size of Borel sets that are mid-point convex but not (essentially) convex, in terms of their Hausdorff dimensions and Hausdorff measures.

We prove that the boundary of every multigeometric Cantorval is a null set, and extend this result to a larger class of standard achievable Cantorvals. In addition, we discuss the sets of uniqueness of achievement sets and show that they…

Besicovitch showed that if a set is null for the Hausdorff measure associated to a given dimension function, then it is still null for the Hausdorff measure corresponding to a smaller dimension function. We prove that this is not true for…

J. Zapletal asked if all the forcing notions considered in his monograph are homogeneous. Specifically, he asked if the forcing consisting of Borel sets of $\sigma$-finite 2-dimensional Hausdorff measure in $\mathbb{R}^3$ (ordered under…

A finite Borel measure $\mu$ in ${\mathbb R}^d$ is called a frame-spectral measure if it admits an exponential frame (or Fourier frame) for $L^2(\mu)$. It has been conjectured that a frame-spectral measure must be translationally absolutely…

We investigate variants of the Erd\H{o}s similarity problem for Cantor sets. We prove that under a mild Hausdorff or packing logarithmic dimension assumption, Cantor sets are not full measure universal, significantly improving the known…

Let $n \in \mathbb{Z}_{\geq 3}$ be given. We prove Lebesgue-almost everywhere pointwise inversion formulae for the Siegel transforms in the geometry of numbers. These inversion formulae are quite general; for instance, they are valid for…

Given an analytic equivalence relation, we tend to wonder whether it is Borel. When it is non Borel, there is always the hope it will be Borel on a "large" set -- nonmeager or of positive measure. That has led Kanovei, Sabok and Zapletal to…

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…

We prove that the set of exceptional $\lambda\in (1/2,1)$ such that the associated Bernoulli convolution is singular has zero Hausdorff dimension, and likewise for biased Bernoulli convolutions, with the exceptional set independent of the…

We study some special classes of piecewise continuous maps on a finite smooth partition of a compact manifold and look for invariant measures for such maps. We show that in the simplest one-dimensional case (so-called interval translation…

Let $T_1,\ldots, T_m$ be a family of $d\times d$ invertible real matrices with $\|T_i\|<1/2$ for $1\leq i\leq m$. For ${\bf a}=(a_1,\ldots, a_m)\in \Bbb R^{md}$, let $\pi^{{\bf a}}:\; \Sigma=\{1,\ldots, m\}^{\Bbb N}\to \Bbb R^d$ denote the…

We consider the dynamics of semi-hyperbolic semigroups generated by finitely many rational maps on the Riemann sphere. Assuming that the nice open set condition holds it is proved that there exists a geometric measure on the Julia set with…

We resolve the topological version of the Erd\H{o}s Similarity conjecture introduced previously by Gallagher, Lai and Weber. We show that a set is topologically universal on ${\mathbb R}$ if and only if it is of strong measure zero. As a…