Siegel's lemma

Last updated

In mathematics, specifically in transcendental number theory and Diophantine approximation, Siegel's lemma refers to bounds on the solutions of linear equations obtained by the construction of auxiliary functions. The existence of these polynomials was proven by Axel Thue; [1] Thue's proof used Dirichlet's box principle. Carl Ludwig Siegel published his lemma in 1929. [2] It is a pure existence theorem for a system of linear equations.

Contents

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

Statement

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

where the coefficients are integers, not all 0, and bounded by B. The system then has a solution

with the Xs all integers, not all 0, and bounded by

[4]

Bombieri & Vaaler (1983) gave the following sharper bound for the X's:

where D is the greatest common divisor of the M ×M minors of the matrix A, and AT is its transpose. Their proof involved replacing the pigeonhole principle by techniques from the geometry of numbers.

See also

Related Research Articles

<span class="mw-page-title-main">Enrico Bombieri</span> Italian mathematician (born 1940)

Enrico Bombieri is an Italian mathematician, known for his work in analytic number theory, Diophantine geometry, complex analysis, and group theory. Bombieri is currently Professor Emeritus in the School of Mathematics at the Institute for Advanced Study in Princeton, New Jersey. Bombieri won the Fields Medal in 1974 for his work on the large sieve and its application to the distribution of prime numbers.

In mathematics, a transcendental number is a real or complex number that is not algebraic – that is, not the root of a non-zero polynomial with integer coefficients. The best-known transcendental numbers are π and e. The quality of a number being transcendental is called transcendence.

<span class="mw-page-title-main">Faltings's theorem</span> Curves of genus > 1 over the rationals have only finitely many rational points

Faltings's theorem is a result in arithmetic geometry, according to which a curve of genus greater than 1 over the field of rational numbers has only finitely many rational points. This was conjectured in 1922 by Louis Mordell, and known as the Mordell conjecture until its 1983 proof by Gerd Faltings. The conjecture was later generalized by replacing by any number field.

<i>abc</i> conjecture The product of distinct prime factors of a,b,c, where c is a+b, is rarely much less than c

The abc conjecture is a conjecture in number theory that arose out of a discussion of Joseph Oesterlé and David Masser in 1985. It is stated in terms of three positive integers and that are relatively prime and satisfy . The conjecture essentially states that the product of the distinct prime factors of is usually not much smaller than . A number of famous conjectures and theorems in number theory would follow immediately from the abc conjecture or its versions. Mathematician Dorian Goldfeld described the abc conjecture as "The most important unsolved problem in Diophantine analysis".

<span class="mw-page-title-main">Geometry of numbers</span>

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 in and the study of these lattices provides fundamental information on algebraic numbers. Hermann Minkowski initiated this line of research at the age of 26 in his work The Geometry of Numbers.

<span class="mw-page-title-main">Diophantine approximation</span> Rational-number approximation of a real number

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.

In mathematics, Diophantine geometry is the study of Diophantine equations by means of powerful methods in algebraic geometry. By the 20th century it became clear for some mathematicians that methods of algebraic geometry are ideal tools to study these equations. Diophantine geometry is part of the broader field of arithmetic geometry.

In mathematics, a Pisot–Vijayaraghavan number, also called simply a Pisot number or a PV number, is a real algebraic integer greater than 1, all of whose Galois conjugates are less than 1 in absolute value. These numbers were discovered by Axel Thue in 1912 and rediscovered by G. H. Hardy in 1919 within the context of Diophantine approximation. They became widely known after the publication of Charles Pisot's dissertation in 1938. They also occur in the uniqueness problem for Fourier series. Tirukkannapuram Vijayaraghavan and Raphael Salem continued their study in the 1940s. Salem numbers are a closely related set of numbers.

<span class="mw-page-title-main">Axel Thue</span> Norwegian mathematician (1863–1922)

Axel Thue was a Norwegian mathematician, known for his original work in diophantine approximation and combinatorics.

In mathematics, Roth's theorem or Thue–Siegel–Roth theorem is a fundamental result in diophantine approximation to algebraic numbers. It is of a qualitative type, stating that algebraic numbers cannot have many rational number approximations that are 'very good'. Over half a century, the meaning of very good here was refined by a number of mathematicians, starting with Joseph Liouville in 1844 and continuing with work of Axel Thue, Carl Ludwig Siegel, Freeman Dyson, and Klaus Roth.

In mathematics, a Thue equation is a Diophantine equation of the form

Transcendental number theory is a branch of number theory that investigates transcendental numbers, in both qualitative and quantitative ways.

In number theory, Dirichlet's theorem on Diophantine approximation, also called Dirichlet's approximation theorem, states that for any real numbers and , with , there exist integers and such that and

In number theory and algebraic geometry, a rational point of an algebraic variety is a point whose coordinates belong to a given field. If the field is not mentioned, the field of rational numbers is generally understood. If the field is the field of real numbers, a rational point is more commonly called a real point.

This is a glossary of arithmetic and diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of proposed conjectures, which can be related at various levels of generality.

A height function is a function that quantifies the complexity of mathematical objects. In Diophantine geometry, height functions quantify the size of solutions to Diophantine equations and are typically functions from a set of points on algebraic varieties to the real numbers.

In mathematics, Siegel's theorem on integral points states that for a smooth algebraic curve C of genus g defined over a number field K, presented in affine space in a given coordinate system, there are only finitely many points on C with coordinates in the ring of integers O of K, provided g > 0.

In mathematics, the subspace theorem says that points of small height in projective space lie in a finite number of hyperplanes. It is a result obtained by Wolfgang M. Schmidt.

In transcendental number theory, a mathematical discipline, Baker's theorem gives a lower bound for the absolute value of linear combinations of logarithms of algebraic numbers. Nearly fifteen years earlier, Alexander Gelfond had considered the problem with only integer coefficients to be of "extraordinarily great significance". The result, proved by Alan Baker, subsumed many earlier results in transcendental number theory. Baker used this to prove the transcendence of many numbers, to derive effective bounds for the solutions of some Diophantine equations, and to solve the class number problem of finding all imaginary quadratic fields with class number 1.

In mathematics, Minkowski's second theorem is a result in the geometry of numbers about the values taken by a norm on a lattice and the volume of its fundamental cell.

References

  1. Thue, Axel (1909). "Über Annäherungswerte algebraischer Zahlen". J. Reine Angew. Math. 1909 (135): 284–305. doi:10.1515/crll.1909.135.284. S2CID   125903243.
  2. Siegel, Carl Ludwig (1929). "Über einige Anwendungen diophantischer Approximationen". Abh. Preuss. Akad. Wiss. Phys. Math. Kl.: 41–69., reprinted in Gesammelte Abhandlungen, volume 1; the lemma is stated on page 213
  3. Bombieri, E.; Mueller, J. (1983). "On effective measures of irrationality for and related numbers". Journal für die reine und angewandte Mathematik. 342: 173–196.
  4. ( Hindry & Silverman 2000 ) Lemma D.4.1, page 316.