Hall's conjecture

Last updated

In mathematics, Hall's conjecture is an open question on the differences between perfect squares and perfect cubes. It asserts that a perfect square y2 and a perfect cube x3 that are not equal must lie a substantial distance apart. This question arose from consideration of the Mordell equation in the theory of integer points on elliptic curves.

The original version of Hall's conjecture, formulated by Marshall Hall, Jr. in 1970, says that there is a positive constant C such that for any integers x and y for which y2x3,

Hall suggested that perhaps C could be taken as 1/5, which was consistent with all the data known at the time the conjecture was proposed. Danilov showed in 1982 that the exponent 1/2 on the right side (that is, the use of |x|1/2) cannot be replaced by any higher power: for no δ > 0 is there a constant C such that |y2 - x3| > C|x|1/2 + δ whenever y2x3.

In 1965, Davenport proved an analogue of the above conjecture in the case of polynomials: if f(t) and g(t) are nonzero polynomials over C such that g(t)3f(t)2 in C[t], then

The weak form of Hall's conjecture, stated by Stark and Trotter around 1980, replaces the square root on the right side of the inequality by any exponent less than 1/2: for any ε > 0, there is some constant c(ε) depending on ε such that for any integers x and y for which y2x3,

The original, strong, form of the conjecture with exponent 1/2 has never been disproved, although it is no longer believed to be true and the term Hall's conjecture now generally means the version with the ε in it. For example, in 1998, Noam Elkies found the example

4478849284284020423079182 - 58538865167812233 = -1641843,

for which compatibility with Hall's conjecture would require C to be less than .0214 1/50, so roughly 10 times smaller than the original choice of 1/5 that Hall suggested.

The weak form of Hall's conjecture would follow from the ABC conjecture. [1] A generalization to other perfect powers is Pillai's conjecture, though it is also known that Pillai's conjecture would be true if Hall's conjecture held for any specific 0 < ε < 1/2. [2]

The table below displays the known cases with . Note that y can be computed as the nearest integer to x3/2.

#xr
121.41
252344.26 [lower-alpha 1]
381583.76 [lower-alpha 1]
4938441.03 [lower-alpha 1]
53678062.93 [lower-alpha 1]
64213511.05 [lower-alpha 1]
77201143.77 [lower-alpha 1]
89397873.16 [lower-alpha 1]
9281873514.87 [lower-alpha 1]
101107813861.23 [lower-alpha 1]
111543192691.08 [lower-alpha 1]
123842427661.34 [lower-alpha 1]
133906200821.33 [lower-alpha 1]
1437906892012.20 [lower-alpha 1]
15655894283782.19 [lower-alpha 2]
169527643894461.15 [lower-alpha 2]
17124385172601051.27 [lower-alpha 2]
18354956942274891.15 [lower-alpha 2]
19531970869582901.66 [lower-alpha 2]
20585388651678122346.60 [lower-alpha 2]
21128136087661028061.30 [lower-alpha 2]
22234155460671248921.46 [lower-alpha 2]
23381159910678612716.50 [lower-alpha 2]
243220012997963798441.04 [lower-alpha 2]
254714770859993898821.38 [lower-alpha 2]
268105747624039770644.66 [lower-alpha 2]
2798708846171635187701.90 [lower-alpha 3]
28425323745801899660733.47 [lower-alpha 3]
29516988914324297063821.75 [lower-alpha 3]
30446483294635179205351.79 [lower-alpha 3]
312314116676272256506493.71 [lower-alpha 3]
326017246822803103640651.88 [lower-alpha 3]
3349967988232452997505332.17 [lower-alpha 3]
3455929303781828488744041.38 [lower-alpha 3]
35140387906742566912308471.27 [lower-alpha 3]
367714803271396068026860410.18 [lower-alpha 4]
371801790042951058496688185.65 [lower-alpha 4]
383721933779672384749608831.33 [lower-alpha 3]
3966494777981832420567813616.53 [lower-alpha 3]
4020288713731858925006361551.14 [lower-alpha 4]
41107478350834710812688258561.35 [lower-alpha 3]
42372239000787342151819465871.38 [lower-alpha 3]
43695869516104856333674914171.22 [lower-alpha 5]
4436904453831732273063766347201.51 [lower-alpha 3]
451335457635742620546171476413491.69 [lower-alpha 5]
4616292129774381720734239614078710.65 [lower-alpha 5]
473741926908962192108781216451712.97 [lower-alpha 5]
484018447745008187811646238211771.29 [lower-alpha 5]
495008592245886461064036690092911.06 [lower-alpha 5]
5011145923086309958051235711518441.04 [lower-alpha 6]
51397395909250547735077903633468133.75 [lower-alpha 5]
528626111438107247636133661166438581.10 [lower-alpha 5]
5310625217510247713765900622799758591.006 [lower-alpha 5]
5460786730431260840650079021758469551.03 [lower-alpha 3]
  1. 1 2 3 4 5 6 7 8 9 10 11 12 13 J. Gebel, A. Pethö and H.G. Zimmer.
  2. 1 2 3 4 5 6 7 8 9 10 11 12 Noam D. Elkies.
  3. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 I. Jiménez Calvo, J. Herranz and G. Sáez.
  4. 1 2 3 Johan Bosman (using the software of JHS).
  5. 1 2 3 4 5 6 7 8 9 S. Aanderaa, L. Kristiansen and H.K. Ruud.
  6. L.V. Danilov. Item 50 belongs to the infinite sequence found by Danilov.

Related Research Articles

<span class="mw-page-title-main">Diophantine equation</span> Polynomial equation whose integer solutions are sought

In mathematics, a Diophantine equation is an equation, typically a polynomial equation in two or more unknowns with integer coefficients, for which only integer solutions are of interest. A linear Diophantine equation equates to a constant the sum of two or more monomials, each of degree one. An exponential Diophantine equation is one in which unknowns can appear in exponents.

In number theory, Euler's conjecture is a disproved conjecture related to Fermat's Last Theorem. It was proposed by Leonhard Euler in 1769. It states that for all integers n and k greater than 1, if the sum of n many kth powers of positive integers is itself a kth power, then n is greater than or equal to k:

Catalan's conjecture (or Mihăilescu's theorem) is a theorem in number theory that was conjectured by the mathematician Eugène Charles Catalan in 1844 and proven in 2002 by Preda Mihăilescu at Paderborn University. The integers 23 and 32 are two perfect powers (that is, powers of exponent higher than one) of natural numbers whose values (8 and 9, respectively) are consecutive. The theorem states that this is the only case of two consecutive perfect powers. That is to say, that

In mathematics, a Diophantine equation is an equation of the form P(x1, ..., xj, y1, ..., yk) = 0 (usually abbreviated P(x, y) = 0) where P(x, y) is a polynomial with integer coefficients, where x1, ..., xj indicate parameters and y1, ..., yk indicate unknowns.

Hilbert's tenth problem is the tenth on the list of mathematical problems that the German mathematician David Hilbert posed in 1900. It is the challenge to provide a general algorithm that, for any given Diophantine equation, can decide whether the equation has a solution with all unknowns taking integer values.

<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">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, the Nagell–Lutz theorem is a result in the diophantine geometry of elliptic curves, which describes rational torsion points on elliptic curves over the integers. It is named for Trygve Nagell and Élisabeth Lutz.

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

<span class="mw-page-title-main">Congruent number</span>

In number theory, a congruent number is a positive integer that is the area of a right triangle with three rational number sides. A more general definition includes all positive rational numbers with this property.

In mathematics, in the field of number theory, the Ramanujan–Nagell equation is an equation between a square number and a number that is seven less than a power of two. It is an example of an exponential Diophantine equation, an equation to be solved in integers where one of the variables appears as an exponent.

Markov number or Markoff number is a positive integer x, y or z that is part of a solution to the Markov Diophantine equation

<span class="mw-page-title-main">Mordell curve</span> Elliptic curve

In algebra, a Mordell curve is an elliptic curve of the form y2 = x3 + n, where n is a fixed non-zero integer.

Brocard's problem is a problem in mathematics that seeks integer values of such that is a perfect square, where is the factorial. Only three values of are known — 4, 5, 7 — and it is not known whether there are any more.

In number theory, Szpiro's conjecture relates to the conductor and the discriminant of an elliptic curve. In a slightly modified form, it is equivalent to the well-known abc conjecture. It is named for Lucien Szpiro, who formulated it in the 1980s. Szpiro's conjecture and its equivalent forms have been described as "the most important unsolved problem in Diophantine analysis" by Dorian Goldfeld, in part to its large number of consequences in number theory including Roth's theorem, the Mordell conjecture, the Fermat–Catalan conjecture, and Brocard's problem.

An important aspect in the study of elliptic curves is devising effective ways of counting points on the curve. There have been several approaches to do so, and the algorithms devised have proved to be useful tools in the study of various fields such as number theory, and more recently in cryptography and Digital Signature Authentication. While in number theory they have important consequences in the solving of Diophantine equations, with respect to cryptography, they enable us to make effective use of the difficulty of the discrete logarithm problem (DLP) for the group , of elliptic curves over a finite field , where q = pk and p is a prime. The DLP, as it has come to be known, is a widely used approach to public key cryptography, and the difficulty in solving this problem determines the level of security of the cryptosystem. This article covers algorithms to count points on elliptic curves over fields of large characteristic, in particular p > 3. For curves over fields of small characteristic more efficient algorithms based on p-adic methods exist.

In mathematics, a superelliptic curve is an algebraic curve defined by an equation of the form

The Lander, Parkin, and Selfridge conjecture concerns the integer solutions of equations which contain sums of like powers. The equations are generalisations of those considered in Fermat's Last Theorem. The conjecture is that if the sum of some k-th powers equals the sum of some other k-th powers, then the total number of terms in both sums combined must be at least k.

In mathematics, the rank of an elliptic curve is the rational Mordell–Weil rank of an elliptic curve defined over the field of rational numbers or more generally a number field K. Mordell's theorem says the group of rational points on an elliptic curve has a finite basis. This means that for any elliptic curve there is a finite subset of the rational points on the curve, from which all further rational points may be generated. If the number of rational points on a curve is infinite then some point in a finite basis must have infinite order. The number of independent basis points with infinite order is the rank of the curve.

<span class="mw-page-title-main">Sixth power</span>

In arithmetic and algebra the sixth power of a number n is the result of multiplying six instances of n together. So:

References

  1. Schmidt, Wolfgang M. (1996). Diophantine approximations and Diophantine equations. Lecture Notes in Mathematics. Vol. 1467 (2nd ed.). Springer-Verlag. pp. 205–206. ISBN   3-540-54058-X. Zbl   0754.11020.
  2. Nair, M (1 December 1977). "A NOTE ON THE EQUATION x^3−y^2=k". The Quarterly Journal of Mathematics. 29 (4): 483–487.