An effective version of the Oppenheim conjecture with a polynomial error rate
arXiv:2305.18271
Abstract
We prove an effective version of the Oppenheim conjecture with a polynomial error rate. The proof is based on an effective equidistribution theorem which in turn relies on recent progress towards restricted projection problem.
7 pages