Felipe A. Ramirez
Abstract:In metric Diophantine approximation, one frequently encounters the problem of showing that a limsup set has positive or full measure. Often it is a set of points in $m$-dimensional Euclidean space, or a set of $n$-by-$m$ systems of linear forms, satisfying some approximation condition infinitely often. The main results of this paper are bootstraps: if one can establish positive measure for such a limsup set in $m$-dimensional Euclidean space, then one can establish positive or full measure for an associated limsup set in the setting of $n$-by-$m$ systems of linear forms. Consequently, a class of $m$-dimensional results in Diophantine approximation can be bootstrapped to corresponding $n$-by-$m$-dimensional results. This leads to short proofs of existing, new, and hypothetical theorems for limsup sets that arise in the theory of systems of linear forms. We present several of these.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is in metric Diophantine approximation, how to prove that certain limsup sets have positive measure or full measure. Specifically, the author has studied the measure problem of limsup sets in high - dimensional Euclidean spaces and systems of linear forms, and proposed a "lifting" method, that is, if it can be proven that a certain limsup set has positive measure or full measure in a lower dimension (such as 1 - by - \(m\)), then it can also be proven that the corresponding limsup set has positive measure or full measure in a higher dimension (such as \(n\)-by - \(m\)).
### Specific problem description
In metric Diophantine approximation, a frequently encountered problem is to prove that a certain limsup set has positive measure or full measure. These sets are usually sets of points or sets of systems of linear forms that satisfy certain approximation conditions. For example, consider a system of linear forms that maps an infinite number of integer vectors into certain target spheres:
\[ \mathcal{A}_{\mathcal{C}}^{n,m}(\psi) = \left\{ X \in \mathbb{R}^{n \times m} : qX \in \mathcal{B}(0, \psi(q)) + \mathcal{C}(q) \text{ for infinitely many } q \in \mathbb{Z}^n \right\}, \]
where:
- \( \mathcal{B}(0, \psi(q)) \subseteq \mathbb{R}^m \) is a ball centered at the origin with radius \( \psi(q)\),
- \( \mathcal{C}(q) \subseteq \mathbb{R}^m \) is a discrete set, representing the allowed target translations.
The main problem of this paper is to determine the Lebesgue measure of these sets, especially when the corresponding series diverges, to prove that these sets have positive measure or full measure.
### Main contributions
The author introduced the auxiliary function \( \Psi_k\), and by using the existing low - dimensional results, proposed a "lifting" method to generalize the low - dimensional results to high - dimensional ones. Specifically, if it can be proven that a certain limsup set has positive measure or full measure in the 1 - by - \(m\) setting, then it can be deduced that the corresponding limsup set in the \(n\)-by - \(m\) setting also has positive measure or full measure. This provides short proofs for many existing, new, and hypothetical theorems.
### Application examples
The paper gives several application examples, including but not limited to:
1. **Khintchine 1924, 1926 → Khintchine–Groshev 1938**: Derive the multi - dimensional Khintchine–Groshev theorem from the one - dimensional Khintchine theorem.
2. **Szüsz 1958 and Schmidt 1964 → Sprindzuk 1979**: Derive the inhomogeneous Khintchine–Groshev theorem from the inhomogeneous Khintchine theorem.
3. **Gallagher 1965 → Beresnevich–Velani 2010**: Derive the Beresnevich–Velani theorem from Gallagher's theorem, removing the monotonicity assumption.
4. **Yu 2019 → Multivariable version of Allen–Ramírez 2023 (\(m > 2\))**: Derive the multivariable version of the inhomogeneous Khintchine–Groshev theorem from Yu's theorem.
Through these applications, the paper shows how to use low - dimensional results to simplify and generalize the proofs of high - dimensional problems.