Published paper
Abstract
In 2019 Kleinbock and Wadleigh proved a “zero-one law” for uniform inhomogeneous Diophantine approximations. We generalize this statement to arbitrary weight functions and establish a new and simple proof of this statement, based on the transference principle. We also give a complete description of the sets of -Dirichlet pairs with a fixed matrix in this set-up from the Lebesgue-measure point of view. As an application, we consider the set of badly approximable matrices and give a characterization of bad approximability in terms of inhomogeneous approximations. All the aforementioned metrical descriptions work, and can sometimes be strengthened, for weighted Diophantine approximations.
Role in dependence graphs
Proof-critical source
Khintchine-type theorems for weighted uniform inhomogeneous approximations via transference principle
This paper is included only for the following marked statements:
- Theorem 1.3 · statement PDF p. 5; proof PDF pp. 24–26Zero–full Lebesgue-measure law for weighted uniform inhomogeneous approximation.
- Lemma D and weighted transference theorems · Lemma D PDF pp. 11–12; Theorem 1.4 statement PDF p. 6 and proof PDF p. 18Quantitative pseudo-compound-body transference used to pass between homogeneous and inhomogeneous approximation statements.
- Theorem 1.5 · statement PDF p. 6; proof PDF pp. 18–21Measure conclusion obtained from a sharp second-moment limsup estimate.
- Theorem 3.1 and dual-body setup · PDF p. 13; definitions and citation discussion PDF pp. 10–11Classical geometry-of-numbers input used in the paper's lattice formulation.
AI-generated audit
Audit summary
Not a correctness certificate. These reports do not replace expert scrutiny or formal verification.
No audit has been generated for this published version.