Related papers: Dimension growth for iterated sumsets

Given a set $A \subseteq \mathbb{F}_p^n$, what conditions does one need to guarantee that iterated sumsets of the form $A+\cdots+A$ expand quickly (say, within $O(p)$ terms) to the whole space? When only the size of $A$ is known, such…

We sharpen and generalize the dimension growth bounds for the number of points of bounded height lying on an irreducible algebraic variety of degree $d$, over any global field. In particular, we focus on the affine hypersurface situation by…

We study the Hausdorff dimension of self-similar sets and measures on the line. We show that if the dimension is smaller than the minimum of 1 and the similarity dimension, then at small scales there are super-exponentially close cylinders.…

We investigate the occurrence of additive and multiplicative structures in random subsets of the natural numbers. Specifically, for a Bernoulli random subset of $\mathbb{N}$ where each integer is included independently with probability…

We demonstrate $k+1$-term arithmetic progressions in certain subsets of the real line whose "higher-order Fourier dimension" is sufficiently close to 1. This Fourier dimension, introduced in previous work, is a higher-order (in the sense of…

We prove inverse theorems for the size of sumsets and the $L^q$ norms of convolutions in the discretized setting, extending to arbitrary dimension an earlier result of the author in the line. These results have applications to the…

We investigate the Hausdorff measure and content on a class of quasi self-similar sets that include, for example, graph-directed and sub self-similar and self-conformal sets. We show that any Hausdorff measurable subset of such a set has…

For a real $x\in(0,1)\setminus\mathbb{Q}$, let $x=[a_1(x),a_2(x),\cdots]$ be its continued fraction expansion. Let $s_n(x)=\sum_{j=1}^n a_j(x)$. The Hausdorff dimensions of the level sets $E_{\varphi(n),\alpha}:=\{x\in(0,1):…

We provide optimal upper bounds on the growth of iterated sumsets $hA=A+\dots+A$ for finite subsets $A$ of abelian semigroups. More precisely, we show that the new upper bounds recently derived from Macaulay's theorem in commutative algebra…

It is known that, unlike the Hausdorff dimension, the Assouad dimension of a self-similar set can exceed the similarity dimension if there are overlaps in the construction. Our main result is the following precise dichotomy for self-similar…

We show that self-similar sets arising from iterated function systems that satisfy the Moran open-set condition, a canonical class of fractal sets, are `equi-homogeneous'. This is a regularity property that, roughly speaking, means that at…

In this paper, we investigate the Hausdorff dimension of the invariant measures of the iterated function system (IFS) $\{\alpha x, \beta x, \gamma x+(1-\gamma)\}$. We provide an "almost every" type result by a direct application of the…

We show that self-conformal subsets of $\mathbb{R}$ that do not satisfy the weak separation condition have full Assouad dimension. Combining this with a recent results by K\"aenm\"aki and Rossi we conclude that an interesting dichotomy…

We prove that the Hausdorff dimension of the set $\mathbf{x}\in [0,1)^d$, such that $$ \left|\sum_{n=1}^N \exp\left(2 \pi i\left(x_1n+\ldots+x_d n^d\right)\right) \right|\ge c N^{1/2} $$ holds for infinitely many natural numbers $N$, is at…

In this article we aim to develop from first principles a theory of sum sets and partial sum sets, which are defined analogously to difference sets and partial difference sets. We obtain non-existence results and characterisations. In…

Denote by $f_D(n)$ the maximum size of a set family $\mathcal{F}$ on $[n] \stackrel{\mbox{\normalfont\tiny def}}{=} \{1, \dots, n\}$ with distance set $D$. That is, $|A \bigtriangleup B| \in D$ holds for every pair of distinct sets $A, B…

We show that if $f:X\to Y$ is a quasisymmetric mapping between Ahlfors regular spaces, then $\dim_H f(E)\leq\dim_H E$ for "almost every" bounded Ahlfors regular set $E\subseteq X$. If additionally, $X$ and $Y$ are Loewner spaces then…

We resolve a few questions regarding the uniformity and size of microsets of subsets of Euclidean space. First, we construct a compact set $K\subset\mathbb{R}^d$ with Assouad dimension arbitrarily close to $d$ such that every microset of…

We study self-similar sets and measures on $\mathbb{R}^{d}$. Assuming that the defining iterated function system $\Phi$ does not preserve a proper affine subspace, we show that one of the following holds: (1) the dimension is equal to the…

We prove a continuous Freiman's $3k-4$ theorem for small sumsets in $\mathbb{R}$ by using some ideas from Ruzsa's work on measure of sumsets in $\mathbb{R}$ as well as some graphic representation of density functions of sets. We thereby get…