Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 0705.2628

Resonance between Cantor sets

Yuval Peres·Pablo Shmerkin
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $C_a$ be the central Cantor set obtained by removing a central interval of length $1-2a$ from the unit interval, and continuing this process inductively on each of the remaining two intervals. We prove that if $\log b/\log a$ is irrational, then \[ \dim(C_a+C_b) = \min(\dim(C_a) + \dim(C_b),1), \] where $\dim$ is Hausdorff dimension. More generally, given two self-similar sets $K,K'$ in $\RR$ and a scaling parameter $s>0$, if the dimension of the arithmetic sum $K+sK'$ is strictly smaller than $\dim(K)+\dim(K') \le 1$ (``geometric resonance''), then there exists $r<1$ such that all contraction ratios of the similitudes defining $K$ and $K'$ are powers of $r$ (``algebraic resonance''). Our method also yields a new result on the projections of planar self-similar sets generated by an iterated function system that includes a scaled irrational rotation.

Explore related subjects

math.CAmath.DS

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yuval Peres, Pablo Shmerkin. 2008-03-28. Resonance between Cantor sets. https://arxiv.org/abs/0705.2628

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A discussion of two arguments related to Fefferman's Fourier extension theorem in the plane

The Fourier extension conjecture of E. Stein was proved in the plane in 1970 by C. Fefferman, see also Zygmund and Carleson and Sjölin, with simplifications given by other authors later on, in particular by L. Hörmander and T. Tao. We discuss yet two more arguments for this classical theorem on the parabola. The first argument uses C. Fefferman's decoupling together with a decomposition into Haar wavelets. This sets the stage for the second argument whose point of departure is the bilinear characterization of Tao, Vargas and Vega, and relies on the bilinear interplay with the classical wave packet constructions and discrete characterizations with an induction on scales. Each of the above two arguments rely on some form of Fefferman's convolution decoupling and the special nature of the critical planar index 4 as a positive even integer, but the second might be more amenable to weighted generalizations.

math.CA↗
arXiv2026

Turán problem on the union of three intervals of equal length

This paper addresses the Turán extremal problem on the symmetric three-interval set $Ω_λ= (-1,1) \cup (λ-1,λ+1) \cup (-λ-1,-λ+1)$, $λ\geq 0$. We establish a discrete approximation principle relating the continuous Turán problem on $Ω_λ$ to the discrete Turán problem on an associated finite discrete set. This enables the continuous problem to be exactly expressed as a limit of finite nonnegative trigonometric polynomial problems, which are equivalent to finite semidefinite programs. Using this framework, we compute the Turán constant for integer and rational parameters $λ$. We further analyze the dependence of the Turán constant on $λ$ and derive upper bounds for all $λ> 5$.

math.CA↗