Broderick–Fishman–Reich conjecture for intrinsic approximation on missing-digit fractals

At least 1 year old · documented by

Let k∈Nk\in\mathbb{N}, and let K\mathcal{K} be a proper missing-digit fractal in [0,1]k[0,1]^k that is not contained in any proper affine subspace. Let μ\mu be its Cantor–Lebesgue measure, and let WkK(τ)W_k^{\mathcal{K}}(\tau) denote the set of points intrinsically approximable at rate τ\tau by rational vectors lying in K\mathcal{K}. Broderick–Fishman–Reich conjecture. For all τ>0\tau>0,

μ(WkK(τ))=0.\mu\bigl(W_k^{\mathcal{K}}(\tau)\bigr)=0.

This conjecture concerns intrinsic Diophantine approximation on fractals. The supplied context records related zero-measure results for τ>1\tau>1 in dimension one and τ>1/k\tau>1/k under affine irreducibility, but does not resolve the stated all-τ>0\tau>0 assertion.

References

Primary source

Sam Chow and Han Yu, “Simultaneous and multiplicative Diophantine approximation on missing-digit fractals”, arXiv:2412.12070 (2025).

Additional references

2 papers in this index state this conjecture (2024). The statement above is taken from the most recent of them; the others are arXiv:2402.18395.

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.