Towards BAD conjecture
Abstract
Description
For $α, β, δ\in [0,1], α+β= 1 $ we consider sets $$ {\rm BAD}^* (α, β;δ) = \left\{ξ= (ξ_1,ξ_2) \in [0,1]^2: ,\inf_{p\in \mathbb{N}} \max \{(p\log(p+1))^α||pξ_1||,
(p\log (p+1))^β||pξ_2||\} \ge δ\right\}. $$ We prove that for different $(α_1,β_1), (α_2,β_2), α_1 +β_1 = α_2 +β_2 = 1 $ and $δ$ small enough $$ {\rm BAD}^* (α_1, β_1 ;δ) \bigcap {\rm BAD}^* (α_2, β_2 ;δ) \neq \varnothing . $$
Our result is based on A. Khintchine's construction and an original method due to Y. Peres and W. Schlag.
Minor correction of errors in Lemma 2
Minor correction of errors in Lemma 2