We show for decreasing, positive approximation functions ψ such that τ = lim q → ∞ -log ψ (q)/log q < 13 + √738 and such that q² ψ (q) → 0 that the set Exact(ψ ) of numbers approximable to the exact order ψ has positive Fourier dimension. This implies that the set Exact(ψ ) contains normal numbers.
No takes yet. Share an insight, caveat, or question.
Fraser et al. (2024) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: