mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...

, specifically in

transcendental number theory Transcendental number theory is a branch of number theory that investigates transcendental numbers (numbers that are not solutions of any polynomial equation with rational coefficients), in both qualitative and quantitative ways. Transcendenc ...

and

Diophantine approximation In number theory, the study of Diophantine approximation deals with the approximation of real numbers by rational numbers. It is named after Diophantus of Alexandria. The first problem was to know how well a real number can be approximated ...

, Siegel's lemma refers to bounds on the solutions of

linear equation In mathematics, a linear equation is an equation that may be put in the form a_1x_1+\ldots+a_nx_n+b=0, where x_1,\ldots,x_n are the variables (or unknowns), and b,a_1,\ldots,a_n are the coefficients, which are often real numbers. The coeffici ...

s obtained by the construction of

auxiliary function In mathematics, auxiliary functions are an important construction in transcendental number theory. They are functions that appear in most proofs in this area of mathematics and that have specific, desirable properties, such as taking the value ze ...

s. The existence of these

polynomial In mathematics, a polynomial is a Expression (mathematics), mathematical expression consisting of indeterminate (variable), indeterminates (also called variable (mathematics), variables) and coefficients, that involves only the operations of addit ...

s was proven by

Axel Thue Axel Thue (; 19 February 1863 – 7 March 1922) was a Norwegian mathematician, known for his original work in diophantine approximation and combinatorics. Work Thue published his first important paper in 1909. He stated in 1914 the so-called w ...

; Thue's proof used what would be translated from German as Dirichlet's Drawers principle, which is widely known as the

Pigeonhole principle In mathematics, the pigeonhole principle states that if items are put into containers, with , then at least one container must contain more than one item. For example, of three gloves, at least two must be right-handed or at least two must be l ...

Carl Ludwig Siegel Carl Ludwig Siegel (31 December 1896 – 4 April 1981) was a German mathematician specialising in analytic number theory. He is known for, amongst other things, his contributions to the Thue–Siegel–Roth theorem in Diophantine approximation, ...

published his lemma in 1929. It is a pure

existence theorem In mathematics, an existence theorem is a theorem which asserts the existence of a certain object. It might be a statement which begins with the phrase " there exist(s)", or it might be a universal statement whose last quantifier is existential ...

for a

system of linear equations In mathematics, a system of linear equations (or linear system) is a collection of two or more linear equations involving the same variable (math), variables. For example, : \begin 3x+2y-z=1\\ 2x-2y+4z=-2\\ -x+\fracy-z=0 \end is a system of th ...

. Siegel's lemma has been refined in recent years to produce sharper bounds on the estimates given by the lemma.

Statement

Suppose we are given a system of ''M'' linear equations in ''N'' unknowns such that ''N'' > ''M'', say :

a_ X_1 + \cdots+ a_ X_N = 0

\cdots

a_ X_1 +\cdots+ a_ X_N = 0

where the

coefficient In mathematics, a coefficient is a Factor (arithmetic), multiplicative factor involved in some Summand, term of a polynomial, a series (mathematics), series, or any other type of expression (mathematics), expression. It may be a Dimensionless qu ...

s are integers, not all 0, and bounded by ''B''. The system then has a solution :

(X_1, X_2, \dots, X_N)

with the ''X''s all integers, not all 0, and bounded by :

(NB)^.

Lemma D.4.1, page 316. gave the following sharper bound for the ''Xs: :

\max, X_j,  \,\le \left(D^\sqrt\right)^

where ''D'' is the

greatest common divisor In mathematics, the greatest common divisor (GCD), also known as greatest common factor (GCF), of two or more integers, which are not all zero, is the largest positive integer that divides each of the integers. For two integers , , the greatest co ...

of the ''M'' × ''M'' minors of the

matrix Matrix (: matrices or matrixes) or MATRIX may refer to: Science and mathematics * Matrix (mathematics), a rectangular array of numbers, symbols or expressions * Matrix (logic), part of a formula in prenex normal form * Matrix (biology), the m ...

''A'', and ''A''^''T'' is its

transpose In linear algebra, the transpose of a Matrix (mathematics), matrix is an operator which flips a matrix over its diagonal; that is, it switches the row and column indices of the matrix by producing another matrix, often denoted by (among other ...

. Their proof involved replacing the

pigeonhole principle In mathematics, the pigeonhole principle states that if items are put into containers, with , then at least one container must contain more than one item. For example, of three gloves, at least two must be right-handed or at least two must be l ...

by techniques from the

geometry of numbers Geometry of numbers is the part of number theory which uses geometry for the study of algebraic numbers. Typically, a ring of algebraic integers is viewed as a lattice (group), lattice in \mathbb R^n, and the study of these lattices provides fundam ...

References

* *{{Cite book , last1=Hindry , first1=Marc , author1-link=Marc Hindry , last2=Silverman , first2=Joseph H. , author2-link=Joseph H. Silverman , title=Diophantine geometry , publisher=

Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in ...

, location=Berlin, New York , series=Graduate Texts in Mathematics , isbn=978-0-387-98981-5 , mr=1745599 , year=2000 , volume=201 * Wolfgang M. Schmidt. ''Diophantine approximation''. Lecture Notes in Mathematics 785. Springer. (1980 996 with minor corrections (Pages 125-128 and 283–285) * Wolfgang M. Schmidt. "Chapter I: Siegel's Lemma and Heights" (pages 1–33). ''Diophantine approximations and Diophantine equations'', Lecture Notes in Mathematics, Springer Verlag 2000. Lemmas Diophantine approximation Diophantine geometry

Statement

See also

References