A remark on positive definite quadratic forms and rational points (Q522050): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let \(f(\bar x)=\sum_{i,j=1}^n f_{i,j}x_ix_j\), where \(f_{i,j}=f_{j,i}\in\mathbb Z\) and \(\bar x=(x_1, \ldots , x_n)\), be a positive definite quadratic form. Consider the manifold \(M\subset \mathbb R^n\) given by \(f(\bar x)=1\). The goal is to approximate points in \(M\) by points in \(\mathbb Q^n\cap M\) (contrary to the more usual goal of finding approximations in all of \(\mathbb Q^n\)). Suppose further that \(f(\bar x)-y^2\) is isotropic. The author gives an explicit formula for a constant \(C_f\) such that for \(\bar\alpha\in M\) and \(T\geq 3C_f\) there exists \[ \bar r=\left(\frac{a_1}{q}, \ldots , \frac{a_n}{q}\right)\in \mathbb Q^n\cap M \] satisfying (1) \(1\leq q\leq T\) and (2) \[ f(\bar\alpha -\bar r)\leq \frac{6C_f^2}{qT}. \] This is an effective version of an unpublished result of \textit{L. Fishman} et al. [``Intrinsic Diophantine approximation on quadric hypersurfaces'', Preprint, \url{arXiv:1405.7650}]. The proof uses a theorem of Minkowski on successive minima and a nullstellensatz of Cassels. | |||
Property / review text: Let \(f(\bar x)=\sum_{i,j=1}^n f_{i,j}x_ix_j\), where \(f_{i,j}=f_{j,i}\in\mathbb Z\) and \(\bar x=(x_1, \ldots , x_n)\), be a positive definite quadratic form. Consider the manifold \(M\subset \mathbb R^n\) given by \(f(\bar x)=1\). The goal is to approximate points in \(M\) by points in \(\mathbb Q^n\cap M\) (contrary to the more usual goal of finding approximations in all of \(\mathbb Q^n\)). Suppose further that \(f(\bar x)-y^2\) is isotropic. The author gives an explicit formula for a constant \(C_f\) such that for \(\bar\alpha\in M\) and \(T\geq 3C_f\) there exists \[ \bar r=\left(\frac{a_1}{q}, \ldots , \frac{a_n}{q}\right)\in \mathbb Q^n\cap M \] satisfying (1) \(1\leq q\leq T\) and (2) \[ f(\bar\alpha -\bar r)\leq \frac{6C_f^2}{qT}. \] This is an effective version of an unpublished result of \textit{L. Fishman} et al. [``Intrinsic Diophantine approximation on quadric hypersurfaces'', Preprint, \url{arXiv:1405.7650}]. The proof uses a theorem of Minkowski on successive minima and a nullstellensatz of Cassels. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11E10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11J83 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6705517 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quadratic forms | |||
Property / zbMATH Keywords: quadratic forms / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
rational points | |||
Property / zbMATH Keywords: rational points / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Diophantine approximations | |||
Property / zbMATH Keywords: Diophantine approximations / rank | |||
Normal rank |
Revision as of 05:38, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A remark on positive definite quadratic forms and rational points |
scientific article |
Statements
A remark on positive definite quadratic forms and rational points (English)
0 references
12 April 2017
0 references
Let \(f(\bar x)=\sum_{i,j=1}^n f_{i,j}x_ix_j\), where \(f_{i,j}=f_{j,i}\in\mathbb Z\) and \(\bar x=(x_1, \ldots , x_n)\), be a positive definite quadratic form. Consider the manifold \(M\subset \mathbb R^n\) given by \(f(\bar x)=1\). The goal is to approximate points in \(M\) by points in \(\mathbb Q^n\cap M\) (contrary to the more usual goal of finding approximations in all of \(\mathbb Q^n\)). Suppose further that \(f(\bar x)-y^2\) is isotropic. The author gives an explicit formula for a constant \(C_f\) such that for \(\bar\alpha\in M\) and \(T\geq 3C_f\) there exists \[ \bar r=\left(\frac{a_1}{q}, \ldots , \frac{a_n}{q}\right)\in \mathbb Q^n\cap M \] satisfying (1) \(1\leq q\leq T\) and (2) \[ f(\bar\alpha -\bar r)\leq \frac{6C_f^2}{qT}. \] This is an effective version of an unpublished result of \textit{L. Fishman} et al. [``Intrinsic Diophantine approximation on quadric hypersurfaces'', Preprint, \url{arXiv:1405.7650}]. The proof uses a theorem of Minkowski on successive minima and a nullstellensatz of Cassels.
0 references
quadratic forms
0 references
rational points
0 references
Diophantine approximations
0 references