Related papers: On the arithmetic sums of Cantor sets

For a compact set $K\subset \mathbb{R}^1$ and a family $\{C_\lambda\}_{\lambda\in J}$ of dynamically defined Cantor sets sufficiently close to affine with $\text{dim}_H\, K+\text{dim}_H\, C_\lambda>1$ for all $\lambda\in J$, under natural…

For $\lambda\in(0,1/3]$ let $C_\lambda$ be the middle-$(1-2\lambda)$ Cantor set in $\mathbb R$. Given $t\in[-1,1]$, excluding the trivial case we show that \[ \Lambda(t):=\left\{\lambda\in(0,1/3]:…

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$,…

Considerable attention has been given to the study of the arithmetic sum of two planar sets. We focus on understanding the measure and dimension of $A+\Gamma:=\left\{a+v:a\in A, v\in \Gamma \right\}$ when $A\subset \mathbb{R}^2$ and…

For $\lambda\in(0,1/2]$ let $K_\lambda \subset\mathbb{R}$ be a self-similar set generated by the iterated function system $\{\lambda x, \lambda x+1-\lambda\}$. Given $x\in(0,1/2)$, let $\Lambda(x)$ be the set of $\lambda\in(0,1/2]$ such…

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…

We show that under natural technical conditions, the sum of a $C^2$ dynamically defined Cantor set with a compact set in most cases (for almost all parameters) has positive Lebesgue measure, provided that the sum of the Hausdorff dimensions…

Given $\rho\in (0,1/4]$, the four corner Cantor set $E\subset \mathbb{R}^{2}$ is a self-similar set generated by the iterated function system \[ \left\{(\rho x, \rho y), \quad(\rho x, \rho y+1-\rho),\quad (\rho x+1-\rho, \rho y),\quad(\rho…

We prove that a purely unrectifiable self-similar set of finite 1-dimensional Hausdorff measure in the plane, satisfying the Open Set Condition, has radial projection of zero length from every point.

The Doob convergence theorem implies that the set of divergence of any martingale has measure zero. We prove that, conversely, any $G\_{\delta\sigma}$ subset of the Cantor space with Lebesgue-measure zero can be represented as the set of…

Suppose that $\mathcal{C}$ is the space of all middle Cantor sets. We characterize all triples $(\alpha,~\beta,~\lambda)\in \mathcal{C}\times\mathcal{C}\times \mathbb{R}^*$ that satisfy $C_\alpha- \lambda C_\beta=[-\lambda,~1]. $ Also all…

We show that for all Cantor set $K_1$ on ${\mathbb R}^d$, it is always possible to find another Cantor set $K_2$ so that the sum $g(K_1)+ K_2$ (where $g$ is a $C^1$ local diffeomorphism) has non-empty interior, and the existence of the…

We consider the self-similar structure of the class of generalized Cantor sets $$\Gamma_{\mathcal{D}}=\Big\{\sum_{n=1}^\infty d_n\beta^{n}: d_n\in D_n, n\ge 1\Big\},$$ where $0<\beta<1$ and $D_n, n\ge 1,$ are nonempty and finite subsets of…

Let $\hat{L}$ be the projective completion of an ample line bundle $L$ over $D$, a smooth projective manifold. Hwang-Singer \cite{HwangS} have constructed complete CSCK metric on $\hat{L}\backslash D$. When the corresponding \kahler form is…

We present a complete proof of a theorem of C.G. Moreira. Under mild checkable conditions, the theorem asserts that the Hausdorff dimension of the arithmetic sum of two dynamically defined Cantor subsets of the real line, equals either the…

Let $\beta>1$. Define a class of similitudes \[S=\left\{f_{i}(x)=\dfrac{x}{\beta^{n_i}}+a_i:n_i\in \mathbb{N}^{+}, a_i\in \mathbb{R}\right\}.\] Let $\mathcal{A}$ be the collection of all the self-similar sets generated by the similitudes…

We study the orthogonal projections of a large class of self-affine carpets, which contains the carpets of Bedford and McMullen as special cases. Our main result is that if $\Lambda$ is such a carpet, and certain natural irrationality…

The ternary Cantor set $\mathcal{C}$, constructed by George Cantor in 1883, is the best known example of a perfect nowhere-dense set in the real line. The present article we study the basic properties $\mathcal{C}$ and also study in detail…

In 1954 Marstrand proved that if K is a subset of R^2 with Hausdorff dimension greater than 1, then its one-dimensional projection has positive Lebesgue measure for almost-all directions. In this article, we give a combinatorial proof of…

We construct C*-diagonals with connected spectra in all classifiable stably finite C*-algebras which are unital or stably projectionless with continuous scale. For classifiable stably finite C*-algebras with torsion-free $K_0$ and trivial…