Related papers: A Marstrand theorem for subsets of integers

It is proved to be consistent relative to a measurable cardinal that there is a uniform ultrafilter on the real numbers which is generated by fewer than the maximum possible number of sets. It is also shown to be consistent relative to a…

We prove a strengthening of Chang's lemma for subsets of $\mathbb F_p^n$. The classical conclusion that the large spectrum is contained in a subspace of dimension at most $2\varepsilon^{-2}\log(1/\alpha)$ is refined to show that every…

Let $\ell_1,\ell_2,\dots$ be a countable collection of lines in ${\mathbb R}^d$. For any $t \in [0,1]$ we construct a compact set $\Gamma\subset{\mathbb R}^d$ with Hausdorff dimension $d-1+t$ which projects injectively into each $\ell_i$,…

We study invariant measures for random countable (finite or infinite) conformal iterated function systems (IFS) with arbitrary overlaps. We do not assume any type of separation condition. We prove, under a mild assumption of finite entropy,…

For any set $A$ of natural numbers with positive upper Banach density, we show the existence of an infinite set $B$ and sequences $(t_k)_{k\in \mathbb{N}}, (s_k)_{k\in \mathbb{N}}$ of natural numbers such that $\left\{ \sum_{n \in F}n : F…

New partial results are obtained related to the following old problem of Erd\"os: for any infinite set $X$ of real numbers to show that there is always a measurable (or, equivalently, closed) subset of reals of positive Lebesgue measure…

We construct a subring as mentioned in the title (hence this subring has Lebesgue measure zero).

We prove various theorems on approximation using polynomials with integer coefficients in the Bernstein basis of any given order. In the extreme, we draw the coefficients from $\{ \pm 1\}$ only. A basic case of our results states that for…

In this paper we prove a basic theorem which says that if f : F_p^n -> [0,1] has the property that ||f^||_(1/3) is not too ``large''(actually, it also holds for quasinorms 1/2-\delta in place of 1/3), and E(f) = p^{-n} sum_m f(m) is not too…

We give an example of a countable theory T such that for every cardinal lambda >= aleph_2 there is a fully indiscernible set A of power lambda such that the principal types are dense over A, yet there is no atomic model of T over A. In…

Given any Banach space $X$, let $L_2^X$ denote the Banach space of all measurable functions $f:[0,1]\to X$ for which ||f||_2:=(int_0^1 ||f(t)||^2 dt)^{1/2} is finite. We show that $X$ is a UMD--space (see \cite{BUR:1986}) if and only if…

This paper extends some results of [M5] and [M3], in particular, removing assumptions of positive lower density. We give conditions on a general family $P_{\lambda}:\mathbb{R}^{n}\to\mathbb{R}^{m}, \lambda \in \Lambda,$ of orthogonal…

We introduce an interesting method of proving separable reduction theorems - the method of elementary submodels. We are studying whether it is true that a set (function) has given property if and only if it has this property with respect to…

Let $s\in (0,1)$, and let $F\subset \mathbb{R}$ be a self similar set such that $0 < \dim_H F \leq s$ . We prove that there exists $\delta= \delta(s) >0$ such that if $F$ admits an affine embedding into a homogeneous self similar set $E$…

Let $\alpha$ be a complex number. We show that there is a finite subset $F$ of the ring of the rational integers $\mathbb{Z}$, such that $F\left[ \alpha\right] =\mathbb{Z}\left[ \alpha\right]$, if and only if $\alpha$ is an algebraic number…

We examine the dimensions of the intersection of a subset $E$ of an $m$-ary Cantor space $\mathcal{C}^m$ with the image of a subset $F$ under a random isometry with respect to a natural metric. We obtain almost sure upper bounds for the…

If $E \subset \mathbb{R}^2$ is a compact set of Hausdorff dimension greater than $5/4$, we prove that there is a point $x \in E$ so that the set of distances $\{ |x-y| \}_{y \in E}$ has positive Lebesgue measure.

R. Jin showed that whenever A and B are sets of integers having positive upper Banach density, the sumset A+B is piecewise syndetic. This result was strengthened by Bergelson, Furstenberg, and Weiss to conclude that A+B must be piecewise…

For a given element $f\in L^1$ and a convex cone $C\subset L^\infty$, $C\cap L^\infty_+=\{0\}$ we give necessary and sufficient conditions for the existence of an element $g\ge f$ lying in the polar of $C$. This polar is taken in…

Given a surjective mapping $f : E \to F$ between Banach spaces, we investigate the existence of a subspace $G$ of $E$, with the same density character as $F$, such that the restriction of $f$ to $G$ remains surjective. We obtain a positive…