Hall's conjecture


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 y2 ≠ x3,
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 can't be replaced by any higher power: for no δ > 0 is there a constant C such that |y2 - x3| > C|x|1/2 + δ whenever y2 ≠ x3.
In 1965, Davenport proved an analogue of the above conjecture in the case of polynomials:
if f and g are nonzero polynomials over C such that
g3 ≠ f2 in C, 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 y2 ≠ x3,
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. A generalization to other perfect powers is Pillai's conjecture.
The table bellow displays the known cases with. Note that y can be computed as the
nearest integer to x3/2.
#xr
121.41
252344.26
381583.76
4938441.03
53678062.93
64213511.05
77201143.77
89397873.16
9281873514.87
101107813861.23
111543192691.08
123842427661.34
133906200821.33
1437906892012.20
15655894283782.19
169527643894461.15
17124385172601051.27
18354956942274891.15
19531970869582901.66
20585388651678122346.60
21128136087661028061.30
22234155460671248921.46
23381159910678612716.50
243220012997963798441.04
254714770859993898821.38
268105747624039770644.66
2798708846171635187701.90
28425323745801899660733.47
29516988914324297063821.75
30446483294635179205351.79
312314116676272256506493.71
326017246822803103640651.88
3349967988232452997505332.17
3455929303781828488744041.38
35140387906742566912308471.27
367714803271396068026860410.18
371801790042951058496688185.65
383721933779672384749608831.33
3966494777981832420567813616.53
4020288713731858925006361551.14
41107478350834710812688258561.35
42372239000787342151819465871.38
43695869516104856333674914171.22
4436904453831732273063766347201.51
451335457635742620546171476413491.69
4616292129774381720734239614078710.65
473741926908962192108781216451712.97
484018447745008187811646238211771.29
495008592245886461064036690092911.06
5011145923086309958051235711518441.04
51397395909250547735077903633468133.75
528626111438107247636133661166438581.10
5310625217510247713765900622799758591.006
5460786730431260840650079021758469551.03