Bak's inhomogeneous dyadic approximation conjecture in Cantor's set

From papers

Throughout, let KK be the middle-third Cantor set, let μ\mu be its natural probability measure, and for ψ:R[0,)\psi:\mathbb R\to[0,\infty) and yRy\in\mathbb R define

W2(ψ,y)={xR:2nxy<ψ(n) for infinitely many nN}.W_2(\psi,y)=\{x\in\mathbb R:\|2^n x-y\|<\psi(n)\text{ for infinitely many }n\in\mathbb N\}.

Here x\|x\| denotes the Euclidean distance from xx to the nearest integer. Bak's conjecture. If yRy\in\mathbb R, then

μ(W2(ψ,y))={0,if n=1ψ(n)<,1,if n=1ψ(n)=.\mu(W_2(\psi,y))=\begin{cases}0,&\text{if }\displaystyle\sum_{n=1}^\infty\psi(n)<\infty,\\\\1,&\text{if }\displaystyle\sum_{n=1}^\infty\psi(n)=\infty. \end{cases}

This conjecture generalizes Velani's inhomogeneous-free conjecture by dropping monotonicity and allowing an arbitrary shift yy; it connects dyadic approximation in the Cantor set with distribution modulo 11 and shrinking-target problems. The supplied excerpt does not state whether the conjecture has been resolved.

Progress summary

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

Sources & referencesView supporting material

Primary source

Demi Allen, Simon Baker, Sam Chow and Han Yu, “A note on dyadic approximation in Cantor's set”, arXiv:2204.09452 (2022).

Solutions 0

No solutions have been posted yet.