Feng–Huang–Rao's algebraic dependence conjecture for affine embeddings of Cantor sets

Let FF and EE be totally disconnected self-similar sets in Rd\mathbb{R}^d, generated by the iterated function systems Φ={ϕi}i=1l\Phi=\lbrace\phi_i\rbrace_{i=1}^l and Ψ={ψj}j=1m\Psi=\lbrace\psi_j\rbrace_{j=1}^m, respectively. Let αi(0,1)\alpha_i\in(0,1) and βj(0,1)\beta_j\in(0,1) denote the contraction ratios of ϕi\phi_i and ψj\psi_j. An affine embedding of FF into EE is an affine map whose restriction maps FF into EE. Feng–Huang–Rao's conjecture. If FF can be affinely embedded into EE, then for every 1il1\leq i\leq l there exist ti,jQt_{i,j}\in\mathbb{Q} with ti,j0t_{i,j}\geq0 such that

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

In particular, if βj=β\beta_j=\beta for all 1jm1\leq j\leq m, then for every 1il1\leq i\leq l,

logαilogβQ.\frac{\log\alpha_i}{\log\beta}\in\mathbb{Q}.

The conjecture predicts arithmetic restrictions on contraction ratios whenever one totally disconnected self-similar set affinely embeds into another. Its status is not resolved by the supplied source context.

Sources & referencesView supporting material

Primary source

Amir Algom, “Affine embeddings of Cantor sets in the plane”, arXiv:1709.03906 (2018).

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.