The affine-embedding conjecture for self-similar sets

Let Φ={ϕi(x)=αix+ai}i=1m\Phi=\{\phi_i(x)=\alpha_i x+a_i\}_{i=1}^m and Ψ={ψj(x)=βjx+bj}j=1\Psi=\{\psi_j(x)=\beta_jx+b_j\}_{j=1}^{\ell} be self-similar iterated function systems on R\mathbb R, with attractors XΦX_\Phi and XΨX_\Psi, respectively. The strong separation condition (SSC) means that the basic pieces of the IFS are pairwise disjoint. The affine-embedding conjecture. Assume that XΨX_\Psi is not a singleton, that Φ\Phi satisfies the SSC, and that dimHXΦ<1\dim_{\rm H}X_\Phi<1. If there are real numbers u0u\ne0 and vv such that uXΨ+vXΦuX_\Psi+v\subset X_\Phi, then for every 1j1\le j\le\ell there are rational numbers ri,j0r_{i,j}\ge0 such that

βj=i=1mαiri,j.\beta_j=\prod_{i=1}^m\alpha_i^{r_{i,j}}.

The source describes this as a special case of a conjecture in the cited work and does not provide a resolution in the supplied passage.

Sources & referencesView supporting material

Primary source

Meng Wu, “A proof of Furstenberg's conjecture on the intersections of p and q-invariant sets”, arXiv:1609.08053 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.